Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

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
Carlo Blundo, Cosimo Laneve - Theoretical Computer Science
Carlo Blundo, Cosimo Laneve Theoretical Computer Science Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Z. Ésik, Zoltán Ésik, Z. Fülöp, Zoltan Fülöp, Zoltán Fülöp - Developments in Language Theory
Z. Ésik, Zoltán Ésik, Z. Fülöp, Zoltan Fülöp, Zoltán Fülöp Developments in Language Theory Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Radhia Cousot - Static Analysis
Radhia Cousot Static Analysis Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
J. Reed, Jeanne Reed, R. Reed, Rick Reed - SDL 2003: System Design
J. Reed, Jeanne Reed, R. Reed, Rick Reed SDL 2003: System Design Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Stuart Anderson, Massimo Felici, Bev Littlewood - Computer Safety, Reliability, and Security
Stuart Anderson, Massimo Felici, Bev Littlewood Computer Safety, Reliability, and Security Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Roberto Amadio, Denis Lugiez - CONCUR 2003 - Concurrency Theory
Roberto Amadio, Denis Lugiez CONCUR 2003 - Concurrency Theory Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics
David Basin, Burkhart Wolff Theorem Proving in Higher Order Logics Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Martin Hofmann - Typed Lambda Calculi and Applications
Martin Hofmann Typed Lambda Calculi and Applications Anglais 27.05.2003 Livre de poche Fr. 70.00 6-7 semaines
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages Anglais 20.05.2003 Livre de poche Fr. 70.00 6-7 semaines
Johan Jeuring, Simon Peyton Jones - Advanced Functional Programming
Johan Jeuring, Simon Peyton Jones Advanced Functional Programming Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
M. Ito, Masami Ito, M. Toyama, Masafumi Toyama - Developments in Language Theory
M. Ito, Masami Ito, M. Toyama, Masafumi Toyama Developments in Language Theory Anglais 26.06.2009 Livre de poche Fr. 70.00 6-7 semaines
Matthia Baaz, Matthias Baaz, M Makowsky, M Makowsky, J. A. Makowsky, Johann M. Makowsky - Computer Science Logic
Matthia Baaz, Matthias Baaz, M Makowsky, M Makowsky, J. A. Makowsky, Johann M. Makowsky Computer Science Logic Anglais 26.06.2009 Livre de poche Fr. 135.00 6-7 semaines
Laszlo Böszörmenyi, Lászl Böszörményi, László Böszörményi, Schojer, Schojer, Peter Schojer - Modular Programming Languages
Laszlo Böszörmenyi, Lászl Böszörményi, László Böszörményi, Schojer, Schojer, Peter Schojer Modular Programming Languages Anglais 15.03.2011 Livre de poche Fr. 70.00 6-7 semaines
Frank Maurer, Don Wells - Extreme Programming and Agile Methods - XP/Agile Universe 2003
Frank Maurer, Don Wells Extreme Programming and Agile Methods - XP/Agile Universe 2003 Anglais 29.07.2003 Livre de poche Fr. 70.00 6-7 semaines
Thomas Ball, Sriram K. Rajamani - Model Checking Software
Thomas Ball, Sriram K. Rajamani Model Checking Software Anglais 01.07.2009 Livre de poche Fr. 70.00 6-7 semaines
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén - ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén ZB 2003: Formal Specification and Development in Z and B Anglais 02.08.2005 Livre de poche Fr. 135.00 6-7 semaines
Luc Cardelli, Luca Cardelli - ECOOP 2003 - Object-Oriented Programming
Luc Cardelli, Luca Cardelli ECOOP 2003 - Object-Oriented Programming Anglais 14.04.2009 Livre de poche Fr. 135.00 6-7 semaines
T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz - Advanced Symbolic Analysis for Compilers
T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz Advanced Symbolic Analysis for Compilers Anglais 07.04.2003 Livre de poche Fr. 70.00 6-7 semaines
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt - Computer Aided Verification
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt Computer Aided Verification Anglais 01.01.2003 Livre de poche Fr. 70.00 6-7 semaines