Languages
Subject
Format
Clear Availabity
Authors

Search result

Ernst-Erich Doberkat - Special Topics in Mathematics for Computer Scientists
Ernst-Erich Doberkat Special Topics in Mathematics for Computer Scientists English 23.08.2016 Paperback / Softback Sold out
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV English 17.10.2017 Paperback / Softback Sold out
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... - Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... Finite Model Theory and Its Applications English 30.10.2014 Paperback / Softback Sold out
Aldo Gangemi, Asunción Gómez-Pérez, Enrico Motta, Mari Carmen Suárez-Figueroa - Ontology Engineering in a Networked World
Aldo Gangemi, Asunción Gómez-Pérez, Enrico Motta, Mari Carmen Suárez-Figueroa Ontology Engineering in a Networked World English 17.04.2014 Paperback / Softback Sold out
Peter Clote, Evangelos Kranakis - Boolean Functions and Computation Models
Peter Clote, Evangelos Kranakis Boolean Functions and Computation Models English 21.10.2010 Paperback / Softback Sold out
Aaron R. Bradley, Zohar Manna - The Calculus of Computation
Aaron R. Bradley, Zohar Manna The Calculus of Computation English 19.10.2010 Paperback / Softback Sold out
Thomas Piecha, Peter Schroeder-Heister - Advances in Proof-Theoretic Semantics
Thomas Piecha, Peter Schroeder-Heister Advances in Proof-Theoretic Semantics English 04.11.2015 Hardback Sold out
Pierre Ganty, Michele Loreti - Trustworthy Global Computing
Pierre Ganty, Michele Loreti Trustworthy Global Computing English 26.01.2016 Paperback / Softback Sold out
Anna Horská - Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
Anna Horská Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals English 06.11.2013 Paperback / Softback Sold out
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems English 25.11.2010 Paperback / Softback Sold out
Gregory Chaitin, Gregory J. Chaitin - Meta Maths
Gregory Chaitin, Gregory J. Chaitin Meta Maths English 10.08.2007 Paperback Sold out
Kees van Deemter, Kees van Deemter, Kees (Reader in Computing Science van Deemter - Not Exactly
Kees van Deemter, Kees van Deemter, Kees (Reader in Computing Science van Deemter Not Exactly English 27.04.2012 Paperback Sold out
Marc Chamberland, Chamberland Marc - Single Digits
Marc Chamberland, Chamberland Marc Single Digits English 30.06.2015 Hardback Sold out
Paul Lockhart, Lockhart Paul - Arithmetic
Paul Lockhart, Lockhart Paul Arithmetic English, French 31.08.2017 Hardback Sold out
Books Penguin, Dr Gareth Moore, Gareth Moore, Various - The Penguin Book of Puzzles
Books Penguin, Dr Gareth Moore, Gareth Moore, Various The Penguin Book of Puzzles English 02.11.2017 Paperback / Softback Sold out
Anon, GCHQ - The GCHQ Puzzle Book
Anon, GCHQ The GCHQ Puzzle Book English 20.10.2016 Paperback / Softback Sold out