Lingue
Categoria
Format
Resettare disponibilità
Autori

Risultato ricerca

Gregory Chaitin, Gregory J. Chaitin - Meta Maths
Gregory Chaitin, Gregory J. Chaitin Meta Maths Inglese 10.08.2007 Tascabile Esaurito
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 Inglese 17.04.2014 Tascabile Esaurito
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 Inglese 27.04.2012 Tascabile Esaurito
Peter Clote, Evangelos Kranakis - Boolean Functions and Computation Models
Peter Clote, Evangelos Kranakis Boolean Functions and Computation Models Inglese 21.10.2010 Tascabile Esaurito
Aaron R. Bradley, Zohar Manna - The Calculus of Computation
Aaron R. Bradley, Zohar Manna The Calculus of Computation Inglese 19.10.2010 Tascabile Esaurito
Thomas Piecha, Peter Schroeder-Heister - Advances in Proof-Theoretic Semantics
Thomas Piecha, Peter Schroeder-Heister Advances in Proof-Theoretic Semantics Inglese 04.11.2015 Copertina rigida Esaurito
Anna-Lena Lamprecht - Leveraging Applications of Formal Methods, Verification, and Validation
Anna-Lena Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation Inglese 22.12.2016 Tascabile Esaurito
Pierre Ganty, Michele Loreti - Trustworthy Global Computing
Pierre Ganty, Michele Loreti Trustworthy Global Computing Inglese 26.01.2016 Tascabile Esaurito
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 Inglese 03.04.2018 Tascabile Esaurito
Emmanouel Garoufallou, Damiana Koutsomiha, Rania Siatri, Sirje Virkus - Metadata and Semantic Research
Emmanouel Garoufallou, Damiana Koutsomiha, Rania Siatri, Sirje Virkus Metadata and Semantic Research Inglese 14.11.2017 Tascabile Esaurito
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 Inglese 06.11.2013 Tascabile Esaurito
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems Inglese 25.11.2010 Tascabile Esaurito
Giampaolo Bella - Formal Correctness of Security Protocols
Giampaolo Bella Formal Correctness of Security Protocols Inglese 30.11.2010 Tascabile Esaurito
Heinz-Dieter Ebbinghaus - Ernst Zermelo
Heinz-Dieter Ebbinghaus Ernst Zermelo Inglese 14.10.2010 Tascabile Esaurito
Ernst-Erich Doberkat - Special Topics in Mathematics for Computer Scientists
Ernst-Erich Doberkat Special Topics in Mathematics for Computer Scientists Inglese 23.08.2016 Tascabile Esaurito
Egon Börger, Alexander Raschke - Modeling Companion for Software Practitioners
Egon Börger, Alexander Raschke Modeling Companion for Software Practitioners Inglese 10.04.2018 Tascabile Esaurito
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 Inglese 17.10.2017 Tascabile Esaurito
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 Inglese 18.10.2017 Tascabile Esaurito
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 Inglese 26.05.2014 Tascabile Esaurito
Stephen Pollard - A Mathematical Prelude to the Philosophy of Mathematics
Stephen Pollard A Mathematical Prelude to the Philosophy of Mathematics Inglese 03.09.2016 Tascabile Esaurito