Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

David Aha, David W. Aha, David A. Kidwell, Davi W Aha, David W Aha, Watson... - Case-Based Reasoning Research and Development
David Aha, David W. Aha, David A. Kidwell, Davi W Aha, David W Aha, Watson... Case-Based Reasoning Research and Development Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Petr Kolman, Ale Pultr, Ales Pultr, Jiri Sgall - Mathematical Foundations of Computer Science 2001
Petr Kolman, Ale Pultr, Ales Pultr, Jiri Sgall Mathematical Foundations of Computer Science 2001 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Yianni Cotronis, Yiannis Cotronis, DONGARRA, Dongarra, Jack Dongarra - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Yianni Cotronis, Yiannis Cotronis, DONGARRA, Dongarra, Jack Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Rachi Guerraoui, Rachid Guerraoui - Middleware 2001
Rachi Guerraoui, Rachid Guerraoui Middleware 2001 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Ki G Larsen, Kim G Larsen, Kim G. Larsen, Nielsen, Nielsen, Mogens Nielsen - CONCUR 2001 - Concurrency Theory
Ki G Larsen, Kim G Larsen, Kim G. Larsen, Nielsen, Nielsen, Mogens Nielsen CONCUR 2001 - Concurrency Theory Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Ramesh Hariharan, Madhava Mukund, Madhavan Mukund, V Vinay, V. Vinay - FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
Ramesh Hariharan, Madhava Mukund, Madhavan Mukund, V Vinay, V. Vinay FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
ENGBERG, Engberg, Uffe Engberg, Mogen Nielsen, Mogens Nielsen - Foundations of Software Science and Computation Structures
ENGBERG, Engberg, Uffe Engberg, Mogen Nielsen, Mogens Nielsen Foundations of Software Science and Computation Structures Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Johan Blieberger, Johann Blieberger, Strohmeier, Strohmeier, Alfred Strohmeier - Reliable Software Technologies - Ada-Europe 2002
Johan Blieberger, Johann Blieberger, Strohmeier, Strohmeier, Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2002 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Thoma Arts, Thomas Arts, Mohnen, Mohnen, Markus Mohnen - Implementation of Functional Languages
Thoma Arts, Thomas Arts, Mohnen, Mohnen, Markus Mohnen Implementation of Functional Languages Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Sophi Tison, Sophie Tison - Rewriting Techniques and Applications
Sophi Tison, Sophie Tison Rewriting Techniques and Applications Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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
Markus Endler, Douglas Schmidt, Douglas C. Schmidt - Middleware 2003
Markus Endler, Douglas Schmidt, Douglas C. Schmidt Middleware 2003 Inglese 26.06.2009 Tascabile Fr. 135.00 6-7 settimane