Languages
Subject
Format
Availabity
Authors

Search result

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
Micha¿ Skrzypczak, Michal Skrzypczak, Michał Skrzypczak - Descriptive Set Theoretic Methods in Automata Theory
Micha¿ Skrzypczak, Michal Skrzypczak, Michał Skrzypczak Descriptive Set Theoretic Methods in Automata Theory English 06.08.2016 Paperback / Softback Sold out
Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics English 10.09.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
Corina S Pasareanu, Corina S. Pasareanu, Gwen Salaün - Formal Aspects of Component Software
Corina S Pasareanu, Corina S. Pasareanu, Gwen Salaün Formal Aspects of Component Software English 09.01.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
Giampaolo Bella - Formal Correctness of Security Protocols
Giampaolo Bella Formal Correctness of Security Protocols English 30.11.2010 Paperback / Softback Sold out
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionu uu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionu uu Recent Trends in Algebraic Development Techniques English 31.12.2015 Paperback / Softback Sold out
Heinz-Dieter Ebbinghaus - Ernst Zermelo
Heinz-Dieter Ebbinghaus Ernst Zermelo English 14.10.2010 Paperback / Softback Sold out
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
Egon Börger, Alexander Raschke - Modeling Companion for Software Practitioners
Egon Börger, Alexander Raschke Modeling Companion for Software Practitioners English 10.04.2018 Paperback / Softback Sold out
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder - A List of Successes That Can Change the World
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder A List of Successes That Can Change the World English 31.03.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
Stephen Pollard - A Mathematical Prelude to the Philosophy of Mathematics
Stephen Pollard A Mathematical Prelude to the Philosophy of Mathematics English 03.09.2016 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