Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Eugene Asarin, Patricia Bouyer - Formal Modeling and Analysis of Timed Systems
Eugene Asarin, Patricia Bouyer Formal Modeling and Analysis of Timed Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Zoltá Ésik, Zoltán Ésik - Computer Science Logic
Zoltá Ésik, Zoltán Ésik Computer Science Logic Anglais 26.06.2009 Livre de poche Fr. 135.00 6-7 semaines
Helder Coelho, Solange Oliveira Rezende, Jaime Simao Sichman, Jaime Simão Sichman - Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Helder Coelho, Solange Oliveira Rezende, Jaime Simao Sichman, Jaime Simão Sichman Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Janus Górski, Janusz Górski, Janusz Gòrski - Computer Safety, Reliability, and Security
Janus Górski, Janusz Górski, Janusz Gòrski Computer Safety, Reliability, and Security Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Manfred Broy, Ingolf Krüger, Michael Meisinger - Automotive Software-Connected Services in Mobile Networks
Manfred Broy, Ingolf Krüger, Michael Meisinger Automotive Software-Connected Services in Mobile Networks Anglais 05.11.2012 Livre de poche Fr. 70.00 6-7 semaines
Susanne Graf, Wenhui Zhang - Automated Technology for Verification and Analysis
Susanne Graf, Wenhui Zhang Automated Technology for Verification and Analysis Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Jifeng He, Zhiming Liu - Formal Methods and Software Engineering
Jifeng He, Zhiming Liu Formal Methods and Software Engineering Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Mik Hermann, Miki Hermann, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Mik Hermann, Miki Hermann, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Ivic Crnkovic, Ivica Crnkovic, Ralf H Reussner, Christine Hofmeister, Ralf Reussner, Ralf H. Reussner - Quality of Software Architectures
Ivic Crnkovic, Ivica Crnkovic, Ralf H Reussner, Christine Hofmeister, Ralf Reussner, Ralf H. Reussner Quality of Software Architectures Anglais 15.03.2011 Livre de poche Fr. 70.00 6-7 semaines
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff Formal Approaches to Software Testing and Runtime Verification Anglais 15.03.2011 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 31.12.2015 Livre de poche Fr. 56.90 6-7 semaines
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi - Recent Advances in Constraints
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi Recent Advances in Constraints Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Dang, Dang, Zhe Dang, Osca H Ibarra, Oscar H Ibarra, Oscar H. Ibarra - Developments in Language Theory
Dang, Dang, Zhe Dang, Osca H Ibarra, Oscar H Ibarra, Oscar H. Ibarra Developments in Language Theory Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Kokichi Futatsugi, Jean-Pierr Jouannaud, Jean-Pierre Jouannaud, José Meseguer - Algebra, Meaning, and Computation
Kokichi Futatsugi, Jean-Pierr Jouannaud, Jean-Pierre Jouannaud, José Meseguer Algebra, Meaning, and Computation Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects Anglais 20.10.2006 Livre de poche Fr. 70.00 6-7 semaines
Frank Pfenning - Term Rewriting and Applications
Frank Pfenning Term Rewriting and Applications Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Joann Jedrzejowicz, Joanna Jedrzejowicz, Szepietowski, Szepietowski, Andrzej Szepietowski - Mathematical Foundations of Computer Science 2005
Joann Jedrzejowicz, Joanna Jedrzejowicz, Szepietowski, Szepietowski, Andrzej Szepietowski Mathematical Foundations of Computer Science 2005 Anglais 15.03.2011 Livre de poche Fr. 135.00 6-7 semaines
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner Rewriting, Computation and Proof Anglais 05.08.2009 Livre de poche Fr. 70.00 6-7 semaines
Gurevich, Gurevich, Yuri Gurevich, Bertran Meyer, Bertrand Meyer - Tests and Proofs
Gurevich, Gurevich, Yuri Gurevich, Bertran Meyer, Bertrand Meyer Tests and Proofs Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
Jens Brandt, Klaus Schneider - Theorem Proving in Higher Order Logics
Jens Brandt, Klaus Schneider Theorem Proving in Higher Order Logics Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines