Theory and applications of models of computation : 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 ; proceedings /

Mathematical foundations of computer science 2011 : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, proceedings /
Published: (2011)

Computable models /
by: Turner, Raymond, 1947-
Published: (2009)

Computability theory /
by: Cooper, S. B. (S. Barry)
Published: (2004)

A relational theory of computing /
by: Sanderson, John G., 1929-
Published: (1980)

Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings /
Published: (2009)

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
Published: (2010)

Numerical validation in current hardware architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008 ; revised papers /
Published: (2009)

Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings /
Published: (2011)

Mathematics and computation, a contemporary view : the Abel Symposium 2006 : proceedings of the third Abel Symposium, Alesund, Norway, May 25-27, 2006 /
Published: (2008)

Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings /
Published: (2008)

Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings /
Published: (2007)

Computer algebra in scientific computing : 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings /
Published: (2011)

Theoretical aspects of computing--ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings /
Published: (2010)

Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
Published: (2009)

High performance networking, computing, communication systems, and mathematical foundations : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings /
Published: (2010)

Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /
Published: (2008)

Theory and Applications of Models of Computation : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings /
Published: (2022)

Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings /
Published: (2005)

Theoretical and mathematical foundations of computer science : second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers /
Published: (2011)

Mathematical foundations of computer science 2005 : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29- September 2, 2005 : proceedings /
Published: (2005)

Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings /
Published: (2009)

Building bridges : between mathematics and computer science /
Published: (2008)

Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /
Published: (2006)

Formal concept analysis : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings /
Published: (2010)

Foundations of computational mathematics : selected papers of a conference held at Rio de Janeiro, January 1997 /
Published: (1997)

Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13 - 16, 2008 /
Published: (2009)

Modelling foundations and applications : 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010 ; proceedings /
Published: (2010)

Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /
Published: (2006)

Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 /
Published: (2009)

Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings /
Published: (2007)

Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Published: (2011)

Computability theory: an introduction
by: Jones, Neil D.
Published: (1973)

Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
Published: (1984)

Stochastic algorithms: foundations and applications : 4th international symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007 : proceedings /
Published: (2007)

Coordination models and languages : 12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings /
Published: (2010)

Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 /
Published: (2010)