Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Wei-Ngan Chin - Programming Languages and Systems
Wei-Ngan Chin Programming Languages and Systems Inglese 04.06.2005 Tascabile Fr. 70.00 6-7 settimane
Mooly Sagiv - Programming Languages and Systems
Mooly Sagiv Programming Languages and Systems Inglese 01.07.2009 Tascabile Fr. 70.00 6-7 settimane
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems Inglese 23.02.2005 Tascabile Fr. 70.00 6-7 settimane
Nicolas Guelfi - Rapid Integration of Software Engineering Techniques
Nicolas Guelfi Rapid Integration of Software Engineering Techniques Inglese 18.05.2005 Tascabile Fr. 70.00 6-7 settimane
Andreas Prinz, Jeanne Reed, Rick Reed - SDL 2005: Model Driven
Andreas Prinz, Jeanne Reed, Rick Reed SDL 2005: Model Driven Inglese 09.06.2005 Tascabile Fr. 70.00 6-7 settimane
Sandro Etalle - Logic Based Program Synthesis and Transformation
Sandro Etalle Logic Based Program Synthesis and Transformation Inglese 24.06.2005 Tascabile Fr. 70.00 6-7 settimane
Far Wang, Farn Wang - Automated Technology for Verification and Analysis
Far Wang, Farn Wang Automated Technology for Verification and Analysis Inglese 04.06.2005 Tascabile Fr. 135.00 6-7 settimane
Mike Barnett, Jim Davies, Wolfram Schulte - Formal Methods and Software Engineering
Mike Barnett, Jim Davies, Wolfram Schulte Formal Methods and Software Engineering Inglese 06.06.2005 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 20.12.2004 Tascabile Fr. 70.00 6-7 settimane
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
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
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
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane