Sprache
Thema
Format
Zurücksetzen Verfügbarkeit
Autoren

Suchresultat

Gregory Chaitin, Gregory J. Chaitin - Meta Maths
Gregory Chaitin, Gregory J. Chaitin Meta Maths Englisch 10.08.2007 Taschenbuch vergriffen
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 Englisch 17.04.2014 Taschenbuch vergriffen
Ernst-Erich Doberkat - Special Topics in Mathematics for Computer Scientists
Ernst-Erich Doberkat Special Topics in Mathematics for Computer Scientists Englisch 23.08.2016 Taschenbuch vergriffen
Egon Börger, Alexander Raschke - Modeling Companion for Software Practitioners
Egon Börger, Alexander Raschke Modeling Companion for Software Practitioners Englisch 10.04.2018 Taschenbuch vergriffen
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 Englisch 17.10.2017 Taschenbuch vergriffen
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 Englisch 27.04.2012 Taschenbuch vergriffen
Peter Clote, Evangelos Kranakis - Boolean Functions and Computation Models
Peter Clote, Evangelos Kranakis Boolean Functions and Computation Models Englisch 21.10.2010 Taschenbuch vergriffen
Aaron R. Bradley, Zohar Manna - The Calculus of Computation
Aaron R. Bradley, Zohar Manna The Calculus of Computation Englisch 19.10.2010 Taschenbuch vergriffen
Thomas Piecha, Peter Schroeder-Heister - Advances in Proof-Theoretic Semantics
Thomas Piecha, Peter Schroeder-Heister Advances in Proof-Theoretic Semantics Englisch 04.11.2015 Fester Einband vergriffen
Anna-Lena Lamprecht - Leveraging Applications of Formal Methods, Verification, and Validation
Anna-Lena Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation Englisch 22.12.2016 Taschenbuch vergriffen
Pierre Ganty, Michele Loreti - Trustworthy Global Computing
Pierre Ganty, Michele Loreti Trustworthy Global Computing Englisch 26.01.2016 Taschenbuch vergriffen
Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani - Artificial Life and Evolutionary Computation
Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani Artificial Life and Evolutionary Computation Englisch 03.04.2018 Taschenbuch vergriffen
Emmanouel Garoufallou, Damiana Koutsomiha, Rania Siatri, Sirje Virkus - Metadata and Semantic Research
Emmanouel Garoufallou, Damiana Koutsomiha, Rania Siatri, Sirje Virkus Metadata and Semantic Research Englisch 14.11.2017 Taschenbuch vergriffen
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 Englisch 06.11.2013 Taschenbuch vergriffen
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems Englisch 25.11.2010 Taschenbuch vergriffen
Giampaolo Bella - Formal Correctness of Security Protocols
Giampaolo Bella Formal Correctness of Security Protocols Englisch 30.11.2010 Taschenbuch vergriffen
Heinz-Dieter Ebbinghaus - Ernst Zermelo
Heinz-Dieter Ebbinghaus Ernst Zermelo Englisch 14.10.2010 Taschenbuch vergriffen
Christoph Lange, Przemys¿aw Ró¿ewski, Przemyslaw Rózewski, Przemysław Różewski - Knowledge Engineering and Semantic Web
Christoph Lange, Przemys¿aw Ró¿ewski, Przemyslaw Rózewski, Przemysław Różewski Knowledge Engineering and Semantic Web Englisch 18.10.2017 Taschenbuch vergriffen
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels - ABZ 2014: The Landing Gear Case Study
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels ABZ 2014: The Landing Gear Case Study Englisch 26.05.2014 Taschenbuch vergriffen
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 Englisch 30.10.2014 Taschenbuch vergriffen