Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... - A General Framework for Reasoning On Inconsistency
Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... A General Framework for Reasoning On Inconsistency Anglais 25.01.2013 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)
Mohu Banerjee, Mohua Banerjee, S, S, Krishna S. - Logic and Its Applications
Mohu Banerjee, Mohua Banerjee, S, S, Krishna S. Logic and Its Applications Anglais 01.01.2014 Livre de poche Fr. 67.00 1-2 semaines (titre imprimé sur commande)
Rahul Jain, Sanja Jain, Sanjay Jain, Frank Stephan - Theory and Applications of Models of Computation
Rahul Jain, Sanja Jain, Sanjay Jain, Frank Stephan Theory and Applications of Models of Computation Anglais 01.01.2015 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Saddek Bensalem, Yassin Lakhnech, Yassine Lakhnech, Yassine Lakhneck, Axel Legay - From Programs to Systems - The Systems Perspective in Computing
Saddek Bensalem, Yassin Lakhnech, Yassine Lakhnech, Yassine Lakhneck, Axel Legay From Programs to Systems - The Systems Perspective in Computing Anglais 04.03.2014 Livre de poche Fr. 67.00 1-2 semaines (titre imprimé sur commande)
Dingzhu Du, Kun He, Lia Li, Lian Li, En Zhu, En Zhu et al - Theoretical Computer Science
Dingzhu Du, Kun He, Lia Li, Lian Li, En Zhu, En Zhu et al Theoretical Computer Science Anglais 30.11.2017 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Marco Bernardo, Eri de Vink, Erik de Vink, Erik de Vink, Alessandra Di Pierro, Alessandra Di Pierro et al... - Formal Methods for Dynamical Systems
Marco Bernardo, Eri de Vink, Erik de Vink, Erik de Vink, Alessandra Di Pierro, Alessandra Di Pierro et al... Formal Methods for Dynamical Systems Anglais 10.05.2013 Livre de poche Fr. 65.00 1-2 semaines (titre imprimé sur commande)
Nic Bezhanishvili, Nick Bezhanishvili, GORANKO, Goranko, Valentin Goranko - Lectures on Logic and Computation
Nic Bezhanishvili, Nick Bezhanishvili, GORANKO, Goranko, Valentin Goranko Lectures on Logic and Computation Anglais 04.06.2012 Livre de poche Fr. 65.00 1-2 semaines (titre imprimé sur commande)
Ekkart Kindler, Ekkart Kindler et al, Dimitris Kolovos, Harald Störrle, Juha-Pekk Tolvanen, Juha-Pekka Tolvanen... - Modelling Foundations and Applications
Ekkart Kindler, Ekkart Kindler et al, Dimitris Kolovos, Harald Störrle, Juha-Pekk Tolvanen, Juha-Pekka Tolvanen... Modelling Foundations and Applications Anglais 04.06.2012 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Joh Campbell, John Campbell, Jacques Carette, Jacques Carette et al, Gabriel Dos Reis, Johan Jeuring... - Intelligent Computer Mathematics
Joh Campbell, John Campbell, Jacques Carette, Jacques Carette et al, Gabriel Dos Reis, Johan Jeuring... Intelligent Computer Mathematics Anglais 04.06.2012 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Bernhard Gramlich, Dal Miller, Dale Miller, Ulrike Sattler - Automated Reasoning
Bernhard Gramlich, Dal Miller, Dale Miller, Ulrike Sattler Automated Reasoning Anglais 04.06.2012 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Nick Bassiliades, Sadri Fariba, Geor Gottlob, Georg Gottlob, Adrian Paschke, Dumitru Roman... - Rule Technologies: Foundations, Tools, and Applications
Nick Bassiliades, Sadri Fariba, Geor Gottlob, Georg Gottlob, Adrian Paschke, Dumitru Roman... Rule Technologies: Foundations, Tools, and Applications Anglais 01.01.2015 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Francesca A Lisi, Francesca A. Lisi, Stephen Muggleton, Alirez Tamaddoni-Nezhad, Alireza Tamaddoni-Nezhad - Inductive Logic Programming
Francesca A Lisi, Francesca A. Lisi, Stephen Muggleton, Alirez Tamaddoni-Nezhad, Alireza Tamaddoni-Nezhad Inductive Logic Programming Anglais 21.06.2012 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Page, Page, Rex Page, Ricard Peña, Ricardo Peña - Trends in Functional Programming
Page, Page, Rex Page, Ricard Peña, Ricardo Peña Trends in Functional Programming Anglais 28.06.2012 Livre de poche Fr. 65.00 1-2 semaines (titre imprimé sur commande)
Pete Csaba Ölveczky, Peter Csaba Ölveczky, Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott - Logic, Rewriting, and Concurrency
Pete Csaba Ölveczky, Peter Csaba Ölveczky, Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott Logic, Rewriting, and Concurrency Anglais 01.01.2015 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Bern Fischer, Bernd Fischer, Geldenhuys, Geldenhuys, Jaco Geldenhuys - Model Checking Software
Bern Fischer, Bernd Fischer, Geldenhuys, Geldenhuys, Jaco Geldenhuys Model Checking Software Anglais 01.01.2015 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Pedro R. D'Argenio, Kaustubh Joshi, Marku Siegle, Markus Siegle, Mariëlle Stoelinga, Mariëlle Stoelinga et al - Quantitative Evaluation of Systems
Pedro R. D'Argenio, Kaustubh Joshi, Marku Siegle, Markus Siegle, Mariëlle Stoelinga, Mariëlle Stoelinga et al Quantitative Evaluation of Systems Anglais 01.02.2014 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Farha Arbab, Farhad Arbab, Sirjani, Sirjani, Marjan Sirjani - Fundamentals of Software Engineering
Farha Arbab, Farhad Arbab, Sirjani, Sirjani, Marjan Sirjani Fundamentals of Software Engineering Anglais 25.07.2013 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Dang Van Hung, OGAWA, Ogawa, Mizuhito Ogawa, Dan Van Hung, Dang Van Hung - Automated Technology for Verification and Analysis
Dang Van Hung, OGAWA, Ogawa, Mizuhito Ogawa, Dan Van Hung, Dang Van Hung Automated Technology for Verification and Analysis Anglais 26.08.2013 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Deny Duchier, Denys Duchier, Parmentier, Parmentier, Yannick Parmentier - Constraint Solving and Language Processing
Deny Duchier, Denys Duchier, Parmentier, Parmentier, Yannick Parmentier Constraint Solving and Language Processing Anglais 22.09.2013 Livre de poche Fr. 65.00 1-2 semaines (titre imprimé sur commande)
George Gonthier, Georges Gonthier, Norrish, Norrish, Michael Norrish - Certified Programs and Proofs
George Gonthier, Georges Gonthier, Norrish, Norrish, Michael Norrish Certified Programs and Proofs Anglais 25.10.2013 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)