Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Ruy De Queiroz, Rosalie Iemhoff, Michae Moortgat, Michael Moortgat - Logic, Language, Information, and Computation
Ruy De Queiroz, Rosalie Iemhoff, Michae Moortgat, Michael Moortgat Logic, Language, Information, and Computation Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... - Mechanizing Mathematical Reasoning
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... Mechanizing Mathematical Reasoning Anglais 26.04.2005 Livre de poche Fr. 135.00 6-7 semaines
Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos - Mathematical Aspects of Computer and Information Sciences
Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos Mathematical Aspects of Computer and Information Sciences Anglais 21.12.2017 Livre de poche Fr. 70.00 6-7 semaines
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 Anglais 26.06.2009 Livre de poche Fr. 70.00 6-7 semaines
Andrew Butterfield, Clemens Grelck, Frank Huch - Implementation and Application of Functional Languages
Andrew Butterfield, Clemens Grelck, Frank Huch Implementation and Application of Functional Languages Anglais 27.12.2006 Livre de poche Fr. 70.00 6-7 semaines
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski - Fundamental Approaches to Software Engineering
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski Fundamental Approaches to Software Engineering Anglais 22.03.2016 Livre de poche Fr. 70.00 6-7 semaines
Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs
Sebastian Gabmeyer, Einar Broch Johnsen Tests and Proofs Anglais 18.06.2017 Livre de poche Fr. 70.00 6-7 semaines
Bernhard Gramlich - Frontiers of Combining Systems
Bernhard Gramlich Frontiers of Combining Systems Anglais 12.09.2005 Livre de poche Fr. 70.00 6-7 semaines
Serge Gaspers, Toby Walsh - Theory and Applications of Satisfiability Testing - SAT 2017
Serge Gaspers, Toby Walsh Theory and Applications of Satisfiability Testing - SAT 2017 Anglais 09.08.2017 Livre de poche Fr. 70.00 6-7 semaines
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar - Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar Theorem Proving in Higher Order Logics Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Karsten Konrad - Model Generation for Natural Language Interpretation and Analysis
Karsten Konrad Model Generation for Natural Language Interpretation and Analysis Anglais 11.03.2004 Livre de poche Fr. 70.00 6-7 semaines
Alan Blackwell, Ki Marriott, Kim Marriott, Atsushi Shimojima - Diagrammatic Representation and Inference
Alan Blackwell, Ki Marriott, Kim Marriott, Atsushi Shimojima Diagrammatic Representation and Inference Anglais 16.08.2005 Livre de poche Fr. 70.00 6-7 semaines
J. J. Alferes, Jose Alferes, Jose J. Alferes, Jose Julio Alferes, Jos Julio Alferes, Jose Julio Alferes... - Logics in Artificial Intelligence
J. J. Alferes, Jose Alferes, Jose J. Alferes, Jose Julio Alferes, Jos Julio Alferes, Jose Julio Alferes... Logics in Artificial Intelligence Anglais 18.08.2005 Livre de poche Fr. 135.00 6-7 semaines
Masami Hagiya, Azuma Ohuchi - DNA Computing
Masami Hagiya, Azuma Ohuchi DNA Computing Anglais 05.02.2003 Livre de poche Fr. 70.00 6-7 semaines
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan - Modeling and Verification of Parallel Processes
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan Modeling and Verification of Parallel Processes Anglais 24.10.2001 Livre de poche Fr. 60.90 6-7 semaines
Edwin Brady, Cezary Kaliszyk, Andrea Kohlhase, Claudio Sacerdoti Coen - Intelligent Computer Mathematics
Edwin Brady, Cezary Kaliszyk, Andrea Kohlhase, Claudio Sacerdoti Coen Intelligent Computer Mathematics Anglais 03.07.2019 Livre de poche Fr. 70.00 6-7 semaines
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan - Computer Aided Verification
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan Computer Aided Verification Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Pasca Fontaine, Pascal Fontaine - Automated Deduction - CADE 27
Pasca Fontaine, Pascal Fontaine Automated Deduction - CADE 27 Anglais 31.10.2019 Livre de poche Fr. 110.00 6-7 semaines
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods Anglais 06.08.2025 Livre de poche Fr. 169.00 6-7 semaines
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... - Automated Reasoning
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... Automated Reasoning Anglais 05.09.2024 Livre de poche Fr. 56.90 6-7 semaines