75 years of mathematics of computation : symposium Celebrating 75 Years of Mathematics of Computation, November 1-3, 2018, the Institute for Computational and Experimental Research in Mathematics (ICERM) /Publisher: [Providence, Rhode Island] : American Mathematical Society,
Date: [2020] This title can be found in 1 Iowa libraries.
Proceedings of the 14th And 15th Asian Logic Conferences /Publisher: Singapore ; World Scientific Publishing Co. Pte. Ltd.,
Date: [2019] This title can be found in 1 Iowa libraries.
Recent advances in real complexity and computation : UIMP-RSME Lluis Santaló Summer School 2012, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Menéndez Pelayo, Santander, Spain /Publisher: Providence, Rhode Island : American Mathematical Society ;
Date: [2013] This title can be found in 3 Iowa libraries.
Logic-based program synthesis and transformation : 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /Publisher: Heidelberg ; Springer Science+Business Media,
Date: c2012. This title can be found in 1 Iowa libraries.
Computational group theory and the theory of groups, II : Computational Group Theory and Cohomology, August 4-8, 2008, Harlaxton College, Grantham, United Kingdom : AMS Special Session, Computational Group Theory, October 17-19, 2008, Western Michigan University, Kalamazoo, MI /Publisher: Providence, R.I. : American Mathematical Society,
Date: c2010. This title can be found in 2 Iowa libraries.
Computational science -- ICCS 2009 9th international conference, Baton Rouge, LA., USA, May 25-27, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Theory and applications of models of computation 6th international conference, TAMC 2009, Changsa, China, May 18-22, 2009 ; proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Complex systems : task group summaries ; Conference, Arnold and Mabel Beckman Center, Irvine, California, November 13-15, 2008 /Publisher: Washington, D.C. : National Academies Press,
Date: c2009. This title can be found in 1 Iowa libraries.
Infinity in logic and computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Parameterized and exact computation 4th international workshop, IWPEC 2009, Copenhagen, Denmark, September 1011, 2009 : revised selected papers /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Computational science and its appilcations, ICCSA 2009 international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Algorithm theory--SWAT 2008 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008 ; proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Computational science -- ICCS 2008 8th international conference, Krakow, Poland, June 23-25, 2008 ; proceedings /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Computational science and its applications--ICCSA 2008 international conference, Perugia, Italy, June 30 - July 3, 2008 ; proceedings /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Parameterized and exact computation third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Theory and applications of models of computation 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Computational group theory and the theory of groups : AMS Special Session on Computational Group Theory, March 3-4, 2007, Davidson College, Davidson, North Carolina /Publisher: Providence, R.I. : American Mathematical Society,
Date: c2008. This title can be found in 1 Iowa libraries.
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 2 Iowa libraries.
Computational science and its applications : ICCSA 2007, international conference, Kuala Lumpur, Malaysia, August 26-29, 2007 : proceedings /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.