Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Cristin Gacek, Cristina Gacek - Software Reuse: Methods, Techniques, and Tools
Cristin Gacek, Cristina Gacek Software Reuse: Methods, Techniques, and Tools Inglese 29.06.2009 Tascabile Fr. 70.00 6-7 settimane
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos - CONCUR 2007 - Concurrency Theory
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos CONCUR 2007 - Concurrency Theory Inglese 14.04.2009 Tascabile Fr. 70.00 6-7 settimane
Svetozar Margenov, Svetozar D. Margenov, Jerz Wasniewski, Jerzy Wasniewski, Plamen Yalamov - Large-Scale Scientific Computing
Svetozar Margenov, Svetozar D. Margenov, Jerz Wasniewski, Jerzy Wasniewski, Plamen Yalamov Large-Scale Scientific Computing Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Dines Bjorner, Dine Bjørner, Dines Bjørner, C Henson, C Henson, M. C. Henson... - Logics of Specification Languages
Dines Bjorner, Dine Bjørner, Dines Bjørner, C Henson, C Henson, M. C. Henson... Logics of Specification Languages Inglese 13.12.2007 Copertina rigida Fr. 189.00 6-7 settimane
Rastisla Královic, Rastislav Královic, Urzyczyn, Urzyczyn, Pawel Urzyczyn - Mathematical Foundations of Computer Science 2006
Rastisla Královic, Rastislav Královic, Urzyczyn, Urzyczyn, Pawel Urzyczyn Mathematical Foundations of Computer Science 2006 Inglese 14.04.2009 Tascabile Fr. 135.00 6-7 settimane
Mario Bravetti, Manuel Nunez, Manuel Núñez, Gianluigi Zavattaro - Web Services and Formal Methods
Mario Bravetti, Manuel Nunez, Manuel Núñez, Gianluigi Zavattaro Web Services and Formal Methods Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Uwe Aßmann - Invasive Software Composition
Uwe Aßmann Invasive Software Composition Inglese 01.01.2003 Copertina rigida Fr. 70.00 6-7 settimane
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled - Computer Aided Verification
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled Computer Aided Verification Inglese 23.08.2005 Tascabile Fr. 135.00 6-7 settimane
David Basin, Michael Rusinowitch - Automated Reasoning
David Basin, Michael Rusinowitch Automated Reasoning Inglese 24.08.2005 Tascabile Fr. 135.00 6-7 settimane
Ja Bosch, Jan Bosch, Krueger, Krueger, Charles Krueger - Software Reuse: Methods, Techniques, and Tools
Ja Bosch, Jan Bosch, Krueger, Krueger, Charles Krueger Software Reuse: Methods, Techniques, and Tools Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
Jorg Desel, Jörg Desel, Wolfgan Reisig, Wolfgang Reisig, Grzegorz Rozenberg - Lectures on Concurrency and Petri Nets
Jorg Desel, Jörg Desel, Wolfgan Reisig, Wolfgang Reisig, Grzegorz Rozenberg Lectures on Concurrency and Petri Nets Inglese 18.08.2004 Tascabile Fr. 135.00 6-7 settimane
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland - Mathematics of Program Construction
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland Mathematics of Program Construction Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
Sven van der Meer, Declan O'Sullivan, Declan O'Sullivan et al, Tom Pfeifer, Radu State, Sve van der Meer... - Large Scale Management of Distributed Systems
Sven van der Meer, Declan O'Sullivan, Declan O'Sullivan et al, Tom Pfeifer, Radu State, Sve van der Meer... Large Scale Management of Distributed Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Maharaj, Maharaj, Savitri Maharaj, Charle Rattray, Charles Rattray - Algebraic Methodology and Software Technology
Maharaj, Maharaj, Savitri Maharaj, Charle Rattray, Charles Rattray Algebraic Methodology and Software Technology Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
C. Stirling, Colin Stirling - Modal and Temporal Properties of Processes
C. Stirling, Colin Stirling Modal and Temporal Properties of Processes Inglese 09.08.2001 Copertina rigida Fr. 70.00 6-7 settimane
Stefano Berardi, Mario Coppo, Ferruccio Damiani - Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani Types for Proofs and Programs Inglese 24.08.2005 Tascabile Fr. 70.00 6-7 settimane
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt Wallnau Component-Based Software Engineering Inglese 18.08.2005 Tascabile Fr. 70.00 6-7 settimane
M. Dastani, Mehdi Dastani, Juergen Dix, Jürgen Dix, Amal El Fallah-Seghrouchni, A. El-Fallah-Seghrouchni... - Programming Multi-Agent Systems
M. Dastani, Mehdi Dastani, Juergen Dix, Jürgen Dix, Amal El Fallah-Seghrouchni, A. El-Fallah-Seghrouchni... Programming Multi-Agent Systems Inglese 20.07.2004 Tascabile Fr. 70.00 6-7 settimane
Alber Llamosi, Albert Llamosi, Strohmeier, Strohmeier, Alfred Strohmeier - Reliable Software Technologies - Ada-Europe 2004
Alber Llamosi, Albert Llamosi, Strohmeier, Strohmeier, Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2004 Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
Martin Odersky - ECOOP 2004 - Object-Oriented Programming
Martin Odersky ECOOP 2004 - Object-Oriented Programming Inglese 19.08.2005 Tascabile Fr. 135.00 6-7 settimane