Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 20.12.2004 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 08.06.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 26.04.2005 Tascabile Fr. 70.00 6-7 settimane
Ia McQuillan, Ian McQuillan, Seki, Seki, Shinnosuke Seki - Unconventional Computation and Natural Computation
Ia McQuillan, Ian McQuillan, Seki, Seki, Shinnosuke Seki Unconventional Computation and Natural Computation Inglese 01.01.2019 Tascabile Fr. 82.00 6-7 settimane
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna - Logics in Artificial Intelligence
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna Logics in Artificial Intelligence Inglese 01.01.2019 Tascabile Fr. 133.00 6-7 settimane
Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 22.06.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 05.11.2012 Tascabile Fr. 70.00 6-7 settimane
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Nicolas Halbwachs, Lenore Zuck - Tools and Algorithms for the Construction and Analysis of Systems
Nicolas Halbwachs, Lenore Zuck Tools and Algorithms for the Construction and Analysis of Systems Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications
Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Cristian S. Calude, Elen Calude, Elena Calude, Michael J. Dinneen, Michael J Dinneen - Developments in Language Theory
Cristian S. Calude, Elen Calude, Elena Calude, Michael J. Dinneen, Michael J Dinneen Developments in Language Theory Inglese 08.06.2005 Tascabile Fr. 70.00 6-7 settimane
Cleli De Felice, Clelia De Felice, Restivo, Restivo, Antonio Restivo - Developments in Language Theory
Cleli De Felice, Clelia De Felice, Restivo, Restivo, Antonio Restivo Developments in Language Theory Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder - Implementation of Functional Languages
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder Implementation of Functional Languages Inglese 04.06.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Jo Hurd, Joe Hurd, Melham, Melham, Tom Melham - Theorem Proving in Higher Order Logics
Jo Hurd, Joe Hurd, Melham, Melham, Tom Melham Theorem Proving in Higher Order Logics Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu - Theoretical Aspects of Computing - ICTAC 2004
Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu Theoretical Aspects of Computing - ICTAC 2004 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane