Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

William Farmer, William M Farmer, William M. Farmer - Simple Type Theory
William Farmer, William M Farmer, William M. Farmer Simple Type Theory Anglais 28.06.2025 Livre Relié Fr. 104.00 1-3 semaines (ne peut pas être livré de suite)
Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... - A General Framework for Reasoning On Inconsistency
Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... A General Framework for Reasoning On Inconsistency Anglais 25.01.2013 Livre de poche Fr. 55.50 1-2 semaines (titre imprimé sur commande)
Dingzhu Du, Kun He, Lia Li, Lian Li, En Zhu, En Zhu et al - Theoretical Computer Science
Dingzhu Du, Kun He, Lia Li, Lian Li, En Zhu, En Zhu et al Theoretical Computer Science Anglais 30.11.2017 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani - Automated Reasoning
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani Automated Reasoning Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver - Quantitative Evaluation of Systems
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver Quantitative Evaluation of Systems Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Liqun Chen, Mar Manulis, Mark Manulis, Steve Schneider - Information Security
Liqun Chen, Mar Manulis, Mark Manulis, Steve Schneider Information Security Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild - Task Models and Diagrams for User Interface Design
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild Task Models and Diagrams for User Interface Design Anglais 18.02.2010 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä - Finite-State Methods and Natural Language Processing
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä Finite-State Methods and Natural Language Processing Anglais 19.02.2009 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi - Agile Processes in Software Engineering and Extreme Programming
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi Agile Processes in Software Engineering and Extreme Programming Anglais 29.01.2013 Livre de poche Fr. 70.00 6-7 semaines
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, RYAN, Ryan... - Language Constructs for Describing Features
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, RYAN, Ryan... Language Constructs for Describing Features Anglais 02.12.2013 Livre de poche Fr. 120.00 6-7 semaines
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino - Formal Methods for Industrial Critical Systems
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino Formal Methods for Industrial Critical Systems Anglais 27.09.2012 Livre de poche Fr. 70.00 6-7 semaines
Clemen A Szyperski, Clemens A Szyperski, Ralf H Reussner et al, Sven Overhage, Ralf H. Reussner, Judith A. Stafford... - Software Architectures, Components, and Applications
Clemen A Szyperski, Clemens A Szyperski, Ralf H Reussner et al, Sven Overhage, Ralf H. Reussner, Judith A. Stafford... Software Architectures, Components, and Applications Anglais 29.01.2013 Livre de poche Fr. 70.00 6-7 semaines
Michae Cebulla, Michael Cebulla - Object-Oriented Technology. ECOOP 2007 Workshop Reader
Michae Cebulla, Michael Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader Anglais 29.01.2013 Livre de poche Fr. 70.00 6-7 semaines
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner - Quality of Software Architectures Models and Architectures
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner Quality of Software Architectures Models and Architectures Anglais 27.09.2012 Livre de poche Fr. 70.00 6-7 semaines
Bernhar Heinemann, Bernhard Heinemann, Thomas Ottman, KLAUS WEHIRAUCH, Klaus Weihrauch - Logik für Informatiker
Bernhar Heinemann, Bernhard Heinemann, Thomas Ottman, KLAUS WEHIRAUCH, Klaus Weihrauch Logik für Informatiker Allemand 01.01.1992 Livre de poche Fr. 44.90 6-7 semaines
Luk Ong, Luke Ong - Computer Science Logic
Luk Ong, Luke Ong Computer Science Logic Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... - Open SHMEM and Related Technologies
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... Open SHMEM and Related Technologies Anglais 01.01.2015 Livre de poche Fr. 56.90 6-7 semaines
Volke Diekert, Volker Diekert, Habib, Habib, Michel Habib - STACS 2004
Volke Diekert, Volker Diekert, Habib, Habib, Michel Habib STACS 2004 Anglais 01.01.2004 Livre de poche Fr. 135.00 6-7 semaines
Chechik, Chechik, Marsha Chechik, Franc van Breugel, Franck Van Breugel - CONCUR 2008 - Concurrency Theory
Chechik, Chechik, Marsha Chechik, Franc van Breugel, Franck Van Breugel CONCUR 2008 - Concurrency Theory Anglais 01.01.2008 Livre de poche Fr. 70.00 6-7 semaines
Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia - Computer Aided Systems Theory - EUROCAST 2007, 2 Vols.
Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia Computer Aided Systems Theory - EUROCAST 2007, 2 Vols. Anglais 26.02.2010 Livre de poche Fr. 189.00 6-7 semaines