Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Domenic Cantone, Domenico Cantone, Eugeni Omodeo, Eugenio Omodeo, Alber Policriti, Alberto Policriti - Set Theory for Computing
Domenic Cantone, Domenico Cantone, Eugeni Omodeo, Eugenio Omodeo, Alber Policriti, Alberto Policriti Set Theory for Computing Inglese 31.07.2001 Copertina rigida Fr. 193.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
Jos M. Garrido, Jose M. Garrido, José M. Garrido, Josi M. Garrido - Object-Oriented Discrete-Event Simulation with Java
Jos M. Garrido, Jose M. Garrido, José M. Garrido, Josi M. Garrido Object-Oriented Discrete-Event Simulation with Java Inglese 11.02.2011 Copertina rigida Fr. 203.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
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
Dines Bjorner, D. Björner, Dines Bjørner - Software Engineering 3
Dines Bjorner, D. Björner, Dines Bjørner Software Engineering 3 Inglese 01.01.2006 Copertina rigida Fr. 135.00 6-7 settimane
Gabo Karsai, Gabor Karsai, Visser, Visser, Eelco Visser - Generative Programming and Component Engineering
Gabo Karsai, Gabor Karsai, Visser, Visser, Eelco Visser Generative Programming and Component Engineering Inglese 07.06.2005 Tascabile Fr. 70.00 6-7 settimane
Martin Abadi, Martín Abadi, Luca de Alfaro, Luca de Alfaro - CONCUR 2005 - Concurrency Theory
Martin Abadi, Martín Abadi, Luca de Alfaro, Luca de Alfaro CONCUR 2005 - Concurrency Theory Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... - Recent Advances in Constraints
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... Recent Advances in Constraints Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen - Constraint Solving and Language Processing
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen Constraint Solving and Language Processing Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
A Lozano, A Lozano, Pedr Larrañaga, Pedro Larrañaga, Jose A Lozano, José A. Lozano - Estimation of Distribution Algorithms
A Lozano, A Lozano, Pedr Larrañaga, Pedro Larrañaga, Jose A Lozano, José A. Lozano Estimation of Distribution Algorithms Inglese 01.07.2009 Copertina rigida Fr. 261.00 6-7 settimane
Vladimiro Sassone - Foundations of Software Science and Computational Structures
Vladimiro Sassone Foundations of Software Science and Computational Structures Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan - FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Inglese 07.06.2005 Tascabile Fr. 70.00 6-7 settimane
W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... - Integration of Software Specification Techniques for Applications in Engineering
W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... Integration of Software Specification Techniques for Applications in Engineering Inglese 20.12.2004 Tascabile Fr. 70.00 6-7 settimane
Hans-Arno Jacobsen - Middleware 2004
Hans-Arno Jacobsen Middleware 2004 Inglese 07.06.2005 Tascabile Fr. 135.00 6-7 settimane
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
Heinrich Rust - Operational Semantics for Timed Systems
Heinrich Rust Operational Semantics for Timed Systems Inglese 07.06.2005 Tascabile Fr. 70.00 6-7 settimane