Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Robert Laddaga, Paul Robertson, Howie Shrobe - Self-Adaptive Software
Robert Laddaga, Paul Robertson, Howie Shrobe Self-Adaptive Software Anglais 30.01.2001 Livre de poche Fr. 70.00 6-7 semaines
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell - Agent-Oriented Software Engineering IV
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell Agent-Oriented Software Engineering IV Anglais 01.01.2004 Livre de poche Fr. 70.00 6-7 semaines
Pete D Mosses, Peter D Mosses, P. D. Mosses, Peter D. Mosses - CASL Reference Manual
Pete D Mosses, Peter D Mosses, P. D. Mosses, Peter D. Mosses CASL Reference Manual Anglais 22.04.2004 Livre de poche Fr. 135.00 6-7 semaines
Herbert Kuchen, Kazunori Ueda - Functional and Logic Programming
Herbert Kuchen, Kazunori Ueda Functional and Logic Programming Anglais 23.02.2001 Livre de poche Fr. 70.00 6-7 semaines
Samson Abramsky - Typed Lambda Calculi and Applications
Samson Abramsky Typed Lambda Calculi and Applications Anglais 20.04.2001 Livre de poche Fr. 70.00 6-7 semaines
Pieter Koopman, Markus Mohnen - Implementation of Functional Languages
Pieter Koopman, Markus Mohnen Implementation of Functional Languages Anglais 18.04.2001 Livre de poche Fr. 70.00 6-7 semaines
Chris Johnson, Chris J. Johnson - Interactive Systems: Design, Specification, and Verification
Chris Johnson, Chris J. Johnson Interactive Systems: Design, Specification, and Verification Anglais 24.10.2001 Livre de poche Fr. 70.00 6-7 semaines
J. N. Oliveira, Jose N. Oliveira, José Nuno Oliveira, P. Zave, Pamela Zave - FME 2001: Formal Methods for Increasing Software Productivity
J. N. Oliveira, Jose N. Oliveira, José Nuno Oliveira, P. Zave, Pamela Zave FME 2001: Formal Methods for Increasing Software Productivity Anglais 26.06.2009 Livre de poche Fr. 135.00 6-7 semaines
Reinhard Wilhelm, Reinhard Wilhelm - Compiler Construction
Reinhard Wilhelm, Reinhard Wilhelm Compiler Construction Anglais 26.06.2009 Livre de poche Fr. 70.00 6-7 semaines
Matthew Dwyer - Model Checking Software
Matthew Dwyer Model Checking Software Anglais 02.05.2001 Livre de poche Fr. 70.00 6-7 semaines
Alan Dearle, Graham N. C. Kirby, Graham N.C. Kirby, Dag I. K. Sjoberg, Dag I.K. Sjoberg, Dag I. K. Sjoeberg - Persistent Object Systems: Design, Implementation, and Use
Alan Dearle, Graham N. C. Kirby, Graham N.C. Kirby, Dag I. K. Sjoberg, Dag I.K. Sjoberg, Dag I. K. Sjoeberg Persistent Object Systems: Design, Implementation, and Use Anglais 10.10.2001 Livre de poche Fr. 70.00 6-7 semaines
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses - CASL User Manual
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses CASL User Manual Anglais 29.01.2004 Livre de poche Fr. 70.00 6-7 semaines
Rolf Hennicker, Dirk Pattinson, Martin Wirsing - Recent Trends in Algebraic Development Techniques
Rolf Hennicker, Dirk Pattinson, Martin Wirsing Recent Trends in Algebraic Development Techniques Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Joao Falcao e Cunha, Joáo Falcao e Cunha, Nuno Jardim Nunes, Joaquim Jorge, Joaquim A. Jorge - Interactive Systems. Design, Specification, and Verification
Joao Falcao e Cunha, Joáo Falcao e Cunha, Nuno Jardim Nunes, Joaquim Jorge, Joaquim A. Jorge Interactive Systems. Design, Specification, and Verification Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Robeto Moreno Diaz, Roberto Moreno Díaz, Roberto Moreno-Diaz, Franz Pichler - Computer Aided Systems Theory - EUROCAST 2003
Robeto Moreno Diaz, Roberto Moreno Díaz, Roberto Moreno-Diaz, Franz Pichler Computer Aided Systems Theory - EUROCAST 2003 Anglais 29.06.2009 Livre de poche Fr. 135.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 01.01.2003 Livre Relié Fr. 135.00 6-7 semaines
Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons - Generic Programming
Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons Generic Programming Anglais 29.09.2003 Livre de poche Fr. 64.00 6-7 semaines
Marco Bernardo, Paola Inverardi - Formal Methods for Software Architectures
Marco Bernardo, Paola Inverardi Formal Methods for Software Architectures Anglais 12.09.2003 Livre de poche Fr. 70.00 6-7 semaines
Jean-Marc Champarnaud, Denis Maurel - Implementation and Application of Automata
Jean-Marc Champarnaud, Denis Maurel Implementation and Application of Automata Anglais 23.06.2003 Livre de poche Fr. 70.00 6-7 semaines
M. Leuschel - Logic Based Program Synthesis and Transformation
M. Leuschel Logic Based Program Synthesis and Transformation Anglais 18.06.2003 Livre de poche Fr. 70.00 6-7 semaines