Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Iliano Cervesato, Helmu Veith, Helmut Veith, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Iliano Cervesato, Helmu Veith, Helmut Veith, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Anglais 12.04.2011 Livre de poche Fr. 135.00 6-7 semaines
Mits Okada, Mitsu Okada, Satoh, Satoh, Ichiro Satoh - Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
Mits Okada, Mitsu Okada, Satoh, Satoh, Ichiro Satoh Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues Anglais 29.01.2013 Livre de poche Fr. 70.00 6-7 semaines
Roberto Amadio - Foundations of Software Science and Computational Structures
Roberto Amadio Foundations of Software Science and Computational Structures Anglais 29.01.2013 Livre de poche Fr. 70.00 6-7 semaines
Bertran Meyer, Bertrand Meyer, Woodcock, Woodcock, James Woodcock, Jim Woodcock - Verified Software: Theories, Tools, Experiments
Bertran Meyer, Bertrand Meyer, Woodcock, Woodcock, James Woodcock, Jim Woodcock Verified Software: Theories, Tools, Experiments Anglais 29.01.2013 Livre de poche Fr. 135.00 6-7 semaines
Mauric Bruynooghe, Maurice Bruynooghe, Lau, Lau, Kung-Kiu Lau, Lau Kung-Kiu - Program Development in Computational Logic
Mauric Bruynooghe, Maurice Bruynooghe, Lau, Lau, Kung-Kiu Lau, Lau Kung-Kiu Program Development in Computational Logic Anglais 17.08.2004 Livre de poche Fr. 70.00 6-7 semaines
Manfre Nagl, Manfred Nagl, Andy Schurr, Andy Schürr, Albert Zundorf, Albert Zündorf - Applications of Graph Transformations with Industrial Relevance
Manfre Nagl, Manfred Nagl, Andy Schurr, Andy Schürr, Albert Zundorf, Albert Zündorf Applications of Graph Transformations with Industrial Relevance Anglais 12.04.2011 Livre de poche Fr. 135.00 6-7 semaines
Anguraj Baskar, Hua Chen, Shengnan Gao, Hai Jin, Steve Kremer, Ralf Treinen... - Advances in Computer Science, Information Security and Privacy
Anguraj Baskar, Hua Chen, Shengnan Gao, Hai Jin, Steve Kremer, Ralf Treinen... Advances in Computer Science, Information Security and Privacy Anglais 30.10.2009 Livre de poche Fr. 70.00 6-7 semaines
Oeg de Moor, Oege De Moor, I Schwartzbach, I Schwartzbach, Oege De Moor, Michael Schwartzbach... - Compiler Construction
Oeg de Moor, Oege De Moor, I Schwartzbach, I Schwartzbach, Oege De Moor, Michael Schwartzbach... Compiler Construction Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Dines Bjoerner, Dines Bjorner, Dine Bjørner, Dines Bjørner, C Henson, C Henson... - Logics of Specification Languages
Dines Bjoerner, Dines Bjorner, Dine Bjørner, Dines Bjørner, C Henson, C Henson... Logics of Specification Languages Anglais 06.10.2010 Livre de poche Fr. 189.00 6-7 semaines
Mark d¿Inverno, Mark d’Inverno, Mark dInverno, Mar d'Inverno, Mark D'Inverno, Michael Luck - Understanding Agent Systems
Mark d¿Inverno, Mark d’Inverno, Mark dInverno, Mar d'Inverno, Mark D'Inverno, Michael Luck Understanding Agent Systems Anglais 11.10.2010 Livre de poche Fr. 135.00 6-7 semaines
Werner Kluge - Abstract Computing Machines
Werner Kluge Abstract Computing Machines Anglais 11.10.2010 Livre de poche Fr. 135.00 6-7 semaines
Farid M. Ablaev, Farid M. Ablaev, Farid Ablayev, Fari M Ablaev, Farid M Ablaev, Ernst W. Mayr... - Computer Science -- Theory and Applications
Farid M. Ablaev, Farid M. Ablaev, Farid Ablayev, Fari M Ablaev, Farid M Ablaev, Ernst W. Mayr... Computer Science -- Theory and Applications Anglais 30.07.2010 Livre de poche Fr. 70.00 6-7 semaines
Javie Esparza, Javier Esparza, Keijo Heljanko - Unfoldings
Javie Esparza, Javier Esparza, Keijo Heljanko Unfoldings Anglais 12.10.2010 Livre de poche Fr. 135.00 6-7 semaines
Ronald W Morrison, Ronald W. Morrison - Designing Evolutionary Algorithms for Dynamic Environments
Ronald W Morrison, Ronald W. Morrison Designing Evolutionary Algorithms for Dynamic Environments Anglais 13.10.2010 Livre de poche Fr. 70.00 6-7 semaines
Shaoying Liu - Formal Engineering for Industrial Software Development
Shaoying Liu Formal Engineering for Industrial Software Development Anglais 13.10.2010 Livre de poche Fr. 70.00 6-7 semaines
Leonar Bolc, Leonard Bolc, Piotr Borowik - Many-Valued Logics 2
Leonar Bolc, Leonard Bolc, Piotr Borowik Many-Valued Logics 2 Anglais 14.10.2010 Livre de poche Fr. 70.00 6-7 semaines
R Kurki-Suonio, R. Kurki-Suonio - A Practical Theory of Reactive Systems
R Kurki-Suonio, R. Kurki-Suonio A Practical Theory of Reactive Systems Anglais 11.10.2010 Livre de poche Fr. 70.00 6-7 semaines
Ivan Jureta - The Design of Requirements Modelling Languages
Ivan Jureta The Design of Requirements Modelling Languages Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Pete Csaba Ölveczky, Peter Csaba Ölveczky, Peter Csaba Ölveczky - Rewriting Logic and Its Applications
Pete Csaba Ölveczky, Peter Csaba Ölveczky, Peter Csaba Ölveczky Rewriting Logic and Its Applications Anglais 01.09.2010 Livre de poche Fr. 70.00 6-7 semaines
Adam Day, Michae Fellows, Michael Fellows, Noam Greenberg, Noam Greenberg et al, Bakhadyr Khoussainov... - Computability and Complexity
Adam Day, Michae Fellows, Michael Fellows, Noam Greenberg, Noam Greenberg et al, Bakhadyr Khoussainov... Computability and Complexity Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines