Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Fran Baader, Franz Baader - Automated Deduction - CADE-19
Fran Baader, Franz Baader Automated Deduction - CADE-19 Anglais 11.08.2005 Livre de poche Fr. 70.00 6-7 semaines
Michae Ihringer, Michael Ihringer, Wolfgan Kirsten, Wolfgang Kirsten, Mathias Kühn, Bernhard Röhrig... - Object-Oriented Application Development Using the Cache Postrelational Database, w. CD-ROM
Michae Ihringer, Michael Ihringer, Wolfgan Kirsten, Wolfgang Kirsten, Mathias Kühn, Bernhard Röhrig... Object-Oriented Application Development Using the Cache Postrelational Database, w. CD-ROM Anglais 01.01.2003 Livre Relié Fr. 70.00 6-7 semaines
Zhou Chaochen, M. R. Hansen, Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou... - Duration Calculus
Zhou Chaochen, M. R. Hansen, Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou... Duration Calculus Anglais 13.12.2003 Livre Relié Fr. 135.00 6-7 semaines
Martin Gro¿-Rhode, M. Große-Rhode, Martin Große-Rhode, Wilfried Brauer, Grzegorz Rozenberg, Arto Salomaa - Semantic Integration of Heterogeneous Software Specifications
Martin Gro¿-Rhode, M. Große-Rhode, Martin Große-Rhode, Wilfried Brauer, Grzegorz Rozenberg, Arto Salomaa Semantic Integration of Heterogeneous Software Specifications Anglais 17.12.2003 Livre Relié Fr. 189.00 6-7 semaines
Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun, C. Martin-Vide, Carlos Martin-Vide, V. Mitrana... - Formal Languages and Applications
Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun, C. Martin-Vide, Carlos Martin-Vide, V. Mitrana... Formal Languages and Applications Anglais 17.03.2004 Livre Relié Fr. 237.00 6-7 semaines
Nachu Dershowitz, Nachum Dershowitz - Verification: Theory and Practice
Nachu Dershowitz, Nachum Dershowitz Verification: Theory and Practice Anglais 18.03.2004 Livre de poche Fr. 135.00 6-7 semaines
Rene Alt, René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther - Numerical Software with Result Verification
Rene Alt, René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther Numerical Software with Result Verification Anglais 19.08.2005 Livre de poche Fr. 70.00 6-7 semaines
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith - Integrated Formal Methods
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith Integrated Formal Methods Anglais 23.08.2005 Livre de poche Fr. 70.00 6-7 semaines
David Schmidt - Programming Languages and Systems
David Schmidt Programming Languages and Systems Anglais 25.08.2005 Livre de poche Fr. 169.00 6-7 semaines
R. Sharp, Richard Sharp - Higher-Level Hardware Synthesis
R. Sharp, Richard Sharp Higher-Level Hardware Synthesis Anglais 22.04.2004 Livre de poche Fr. 70.00 6-7 semaines
Tiziana Margaria-Steffen, Michel Wermelinger - Fundamental Approaches to Software Engineering
Tiziana Margaria-Steffen, Michel Wermelinger Fundamental Approaches to Software Engineering Anglais 17.08.2005 Livre de poche Fr. 70.00 6-7 semaines
Simonetta Balsamo, Alexande Knapp, Alexander Knapp, Martin Wirsing - Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002
Simonetta Balsamo, Alexande Knapp, Alexander Knapp, Martin Wirsing Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002 Anglais 18.08.2005 Livre de poche Fr. 70.00 6-7 semaines
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach Anglais 14.04.2009 Livre de poche Fr. 135.00 6-7 semaines
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski Verification, Model Checking, and Abstract Interpretation Anglais 05.08.2009 Livre de poche Fr. 70.00 6-7 semaines
Bui Minh Duc, Bui Minh Duc - Real-Time Object Uniform Design Methodology with UML
Bui Minh Duc, Bui Minh Duc Real-Time Object Uniform Design Methodology with UML Anglais 26.06.2009 Livre Relié Fr. 216.00 6-7 semaines
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos - CONCUR 2007 - Concurrency Theory
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos CONCUR 2007 - Concurrency Theory Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland - Mathematics of Program Construction
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland Mathematics of Program Construction Anglais 17.08.2005 Livre de poche Fr. 70.00 6-7 semaines
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt Wallnau Component-Based Software Engineering Anglais 18.08.2005 Livre de poche Fr. 70.00 6-7 semaines
M. Dastani, Mehdi Dastani, Juergen Dix, Jürgen Dix, Amal El Fallah-Seghrouchni, A. El-Fallah-Seghrouchni... - Programming Multi-Agent Systems
M. Dastani, Mehdi Dastani, Juergen Dix, Jürgen Dix, Amal El Fallah-Seghrouchni, A. El-Fallah-Seghrouchni... Programming Multi-Agent Systems Anglais 20.07.2004 Livre de poche Fr. 70.00 6-7 semaines
Joao Leite, João Leite, Andre Omicini, Andrea Omicini, Leon Sterling, Leon Sterling et al... - Declarative Agent Languages and Technologies
Joao Leite, João Leite, Andre Omicini, Andrea Omicini, Leon Sterling, Leon Sterling et al... Declarative Agent Languages and Technologies Anglais 24.08.2005 Livre de poche Fr. 70.00 6-7 semaines