Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna - Logics in Artificial Intelligence
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna Logics in Artificial Intelligence Anglais 01.01.2019 Livre de poche Fr. 133.00 6-7 semaines
Marcello Balduccini, Yuliy Lierler, Yuliya Lierler, Stefan Woltran - Logic Programming and Nonmonotonic Reasoning
Marcello Balduccini, Yuliy Lierler, Yuliya Lierler, Stefan Woltran Logic Programming and Nonmonotonic Reasoning Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Alons Castillo-Ramirez, Alonso Castillo-Ramirez, Pedro P. B. de Oliveira, P B de Oliveira, P B de Oliveira - Cellular Automata and Discrete Complex Systems
Alons Castillo-Ramirez, Alonso Castillo-Ramirez, Pedro P. B. de Oliveira, P B de Oliveira, P B de Oliveira Cellular Automata and Discrete Complex Systems Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Miroslav ¿Iri¿, Miroslav Ciric, Miroslav Ćirić, Manfre Droste, Manfred Droste, Prof. Dr. Manfred Droste... - Algebraic Informatics
Miroslav ¿Iri¿, Miroslav Ciric, Miroslav Ćirić, Manfre Droste, Manfred Droste, Prof. Dr. Manfred Droste... Algebraic Informatics Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida - Formal Techniques for Distributed Objects, Components, and Systems
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida Formal Techniques for Distributed Objects, Components, and Systems Anglais 01.01.2019 Livre de poche Fr. 89.00 6-7 semaines
Ruy de Queiroz, Rosalie Iemhoff, Michae Moortgat, Michael Moortgat - Logic, Language, Information, and Computation
Ruy de Queiroz, Rosalie Iemhoff, Michae Moortgat, Michael Moortgat Logic, Language, Information, and Computation Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Mike Barnett, Jim Davies, Wolfram Schulte - Formal Methods and Software Engineering
Mike Barnett, Jim Davies, Wolfram Schulte Formal Methods and Software Engineering Anglais 06.06.2005 Livre de poche Fr. 135.00 6-7 semaines
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... Formal Methods for Components and Objects Anglais 20.12.2004 Livre de poche Fr. 70.00 6-7 semaines
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro - Formal Methods for Open Object-Based Distributed Systems
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro Formal Methods for Open Object-Based Distributed Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... - Formal Methods for the Design of Real-Time Systems
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... Formal Methods for the Design of Real-Time Systems Anglais 20.12.2004 Livre de poche Fr. 70.00 6-7 semaines
Alan J. Hu, Ala J Hu, Alan J Hu, K Martin, K Martin, Andrew K. Martin - Formal Methods in Computer-Aided Design
Alan J. Hu, Ala J Hu, Alan J Hu, K Martin, K Martin, Andrew K. Martin Formal Methods in Computer-Aided Design Anglais 08.06.2005 Livre de poche Fr. 70.00 6-7 semaines
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... - Formal Methods in Software and Systems Modeling
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... Formal Methods in Software and Systems Modeling Anglais 26.04.2005 Livre de poche Fr. 70.00 6-7 semaines
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems II. Vol.2
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko Adaptive Agents and Multi-Agent Systems II. Vol.2 Anglais 22.06.2005 Livre de poche Fr. 70.00 6-7 semaines
Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Component-Based Software Engineering Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Elisabeth Métais, Andrés Montoyo, Rafae Munoz, Rafael Munoz - Natural Language Processing and Information Systems
Elisabeth Métais, Andrés Montoyo, Rafae Munoz, Rafael Munoz Natural Language Processing and Information Systems Anglais 05.11.2012 Livre de poche Fr. 70.00 6-7 semaines
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Frank Dignum, Rogier M. van Eijk, Marc-Philippe Huget, Rogier M. van Eijk - Agent Communication
Frank Dignum, Rogier M. van Eijk, Marc-Philippe Huget, Rogier M. van Eijk Agent Communication Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications
Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Hubert Baumeister, Mike Holcombe, Michele Marchesi - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Mike Holcombe, Michele Marchesi Extreme Programming and Agile Processes in Software Engineering Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines