Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... - Processes, Terms and Cycles: Steps on the Road to Infinity
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... Processes, Terms and Cycles: Steps on the Road to Infinity Anglais 23.12.2005 Livre de poche Fr. 135.00 6-7 semaines
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck - Practical Aspects of Declarative Languages
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck Practical Aspects of Declarative Languages Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... - Automated Technology for Verification and Analysis
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... Automated Technology for Verification and Analysis Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Gustav Dahll, Bjoern Axel Gran, Rune Winther - Computer Safety, Reliability, and Security
Gustav Dahll, Bjoern Axel Gran, Rune Winther Computer Safety, Reliability, and Security Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Mario Coppo, Elen Lodi, Elena Lodi, G Michele Pinna, G. Michele Pinna - Theoretical Computer Science
Mario Coppo, Elen Lodi, Elena Lodi, G Michele Pinna, G. Michele Pinna Theoretical Computer Science Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia - Computer Aided Systems Theory - EUROCAST 2005
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2005 Anglais 15.03.2011 Livre de poche Fr. 135.00 6-7 semaines
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung, Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005 Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina - Logic Programming and Nonmonotonic Reasoning
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina Logic Programming and Nonmonotonic Reasoning Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni - Static Analysis
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni Static Analysis Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Uw Assmann, Uwe Aßmann, Thomas Gschwind, Oscar Nierstrasz - Software Composition
Uw Assmann, Uwe Aßmann, Thomas Gschwind, Oscar Nierstrasz Software Composition Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... - FM 2005: Formal Methods
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... FM 2005: Formal Methods Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Saitta, Saitta, Lorenza Saitta, Jean-Danie Zucker, Jean-Daniel Zucker - Abstraction, Reformulation and Approximation
Saitta, Saitta, Lorenza Saitta, Jean-Danie Zucker, Jean-Daniel Zucker Abstraction, Reformulation and Approximation Anglais 19.02.2009 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
Andre Black, Andrew Black - ECOOP 2005 - Object-Oriented Programming
Andre Black, Andrew Black ECOOP 2005 - Object-Oriented Programming Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis - Descriptional Complexity of Formal Systems
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis Descriptional Complexity of Formal Systems Anglais 26.06.2019 Livre de poche Fr. 70.00 6-7 semaines
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems Anglais 25.11.2010 Livre de poche Fr. 104.00 6-7 semaines
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
B Jones, B Jones, Thoma Ball, Thomas Ball, Robert B. Jones - Computer Aided Verification
B Jones, B Jones, Thoma Ball, Thomas Ball, Robert B. Jones Computer Aided Verification Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar - Automated Reasoning
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar Automated Reasoning Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines