Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Bori Magnusson, Boris Magnusson - ECOOP 2002 - Object-Oriented Programming
Bori Magnusson, Boris Magnusson ECOOP 2002 - Object-Oriented Programming Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera - CONCUR 2002 - Concurrency Theory
Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera CONCUR 2002 - Concurrency Theory Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala - Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, Jonathan P Bowen... - ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, Jonathan P Bowen... ZB 2002: Formal Specification and Development in Z and B Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Christop Grimm, Christoph Grimm - Languages for System Specification
Christop Grimm, Christoph Grimm Languages for System Specification Inglese 14.04.2009 Copertina rigida Fr. 210.00 6-7 settimane
N. Carbonell, Noell Carbonell, Noelle Carbonell, Stephanidis, Stephanidis, C. Stephanidis... - Universal Access. Theoretical Perspectives, Practice, and Experience
N. Carbonell, Noell Carbonell, Noelle Carbonell, Stephanidis, Stephanidis, C. Stephanidis... Universal Access. Theoretical Perspectives, Practice, and Experience Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa - Developments in Language Theory
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa Developments in Language Theory Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck - Verification, Model Checking, and Abstract Interpretation
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck Verification, Model Checking, and Abstract Interpretation Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
K. Denecke, Klaus Denecke, J. Koppitz, Jc6rg Koppitz, Jör Koppitz, Jorg Koppitz... - M-Solid Varieties of Algebras
K. Denecke, Klaus Denecke, J. Koppitz, Jc6rg Koppitz, Jör Koppitz, Jorg Koppitz... M-Solid Varieties of Algebras Inglese 09.03.2006 Copertina rigida Fr. 179.00 6-7 settimane
C Pozrikidis, C. Pozrikidis, Constantine Pozrikidis - Introduction to C++ Programming and Graphics
C Pozrikidis, C. Pozrikidis, Constantine Pozrikidis Introduction to C++ Programming and Graphics Inglese 07.07.2007 Copertina rigida Fr. 110.00 6-7 settimane
Rainer Leupers, Heinric Meyr, Heinrich Meyr, Olive Schliebusch, Oliver Schliebusch - Optimized ASIP Synthesis from Architecture Description Language Models
Rainer Leupers, Heinric Meyr, Heinrich Meyr, Olive Schliebusch, Oliver Schliebusch Optimized ASIP Synthesis from Architecture Description Language Models Inglese 25.06.2009 Copertina rigida Fr. 169.00 6-7 settimane
Jörg Bauer, Thomas Reps, Mool Sagiv, Mooly Sagiv - Program Analysis and Compilation, Theory and Practice
Jörg Bauer, Thomas Reps, Mool Sagiv, Mooly Sagiv Program Analysis and Compilation, Theory and Practice Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Bui Minh Duc, Bui Minh Duc - Real-Time Object Uniform Design Methodology with UML
Bui Minh Duc, Bui Minh Duc Real-Time Object Uniform Design Methodology with UML Inglese 26.06.2009 Copertina rigida Fr. 216.00 6-7 settimane
Sori Alexander Huss, Sorin Alexander Huss, Sorin Huss, Sorin A. Huss, Sorin Alexander Huss - Advances in Design and Specification Languages for Embedded Systems
Sori Alexander Huss, Sorin Alexander Huss, Sorin Huss, Sorin A. Huss, Sorin Alexander Huss Advances in Design and Specification Languages for Embedded Systems Inglese 29.06.2009 Copertina rigida Fr. 216.00 6-7 settimane
P. Augustijns, Patric Augustijns, Patrick Augustijns, Brewster, Brewster, M. Brewster... - Solvent Systems and Their Selection in Pharmaceutics and Biopharmaceutics
P. Augustijns, Patric Augustijns, Patrick Augustijns, Brewster, Brewster, M. Brewster... Solvent Systems and Their Selection in Pharmaceutics and Biopharmaceutics Inglese 07.07.2007 Copertina rigida Fr. 261.00 6-7 settimane
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek - Coordination Models and Languages
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek Coordination Models and Languages Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Wolfgang Grieskamp, Alexandre Petrenko, Jan Tretmans, Margus Veanes - Testing of Software and Communicating Systems
Wolfgang Grieskamp, Alexandre Petrenko, Jan Tretmans, Margus Veanes Testing of Software and Communicating Systems Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
Jim Davies, Jeremy Gibbons - Integrated Formal Methods
Jim Davies, Jeremy Gibbons Integrated Formal Methods Inglese 29.01.2013 Tascabile Fr. 135.00 6-7 settimane
J. Mermet, Jea Mermet, Jean Mermet - Electronic Chips & Systems Design Languages
J. Mermet, Jea Mermet, Jean Mermet Electronic Chips & Systems Design Languages Inglese 01.07.2009 Copertina rigida Fr. 260.00 6-7 settimane