Languages
Subject
Format
Availabity
Authors

Search result

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Holger Hermanns et al, Joost-Pieter Katoen, Boudewij R Haverkort... - Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Holger Hermanns et al, Joost-Pieter Katoen, Boudewij R Haverkort... Validation of Stochastic Systems English 08.10.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Davi de Frutos-Escrig, David de Frutos-Escrig, David de Frutos-Escrig, Nunez, Nunez, Manuel Nunez - Formal Techniques for Networked and Distributed Systems - FORTE 2004
Davi de Frutos-Escrig, David de Frutos-Escrig, David de Frutos-Escrig, Nunez, Nunez, Manuel Nunez Formal Techniques for Networked and Distributed Systems - FORTE 2004 English 29.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Maritta Heisel, Pete Liggesmeyer, Peter Liggesmeyer, Stefan Wittmann - Computer Safety, Reliability, and Security
Maritta Heisel, Pete Liggesmeyer, Peter Liggesmeyer, Stefan Wittmann Computer Safety, Reliability, and Security English 18.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Z. Maamar, Zakaari Maamar, Zakaaria Maamar, Manuel Nunez, Manuel Núnez, F. Pelayo... - Applying Formal Methods: Testing, Performance, and M/E-Commerce
Z. Maamar, Zakaari Maamar, Zakaaria Maamar, Manuel Nunez, Manuel Núnez, F. Pelayo... Applying Formal Methods: Testing, Performance, and M/E-Commerce English 23.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Mark Wallace - Principles and Practice of Constraint Programming - CP 2004
Mark Wallace Principles and Practice of Constraint Programming - CP 2004 English 29.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Kan Zhang, Yuliang Zheng - Information Security
Kan Zhang, Yuliang Zheng Information Security English 23.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Cetin K. Koc, David Naccache, Davi Nacchae, David Nacchae, Christof Paar - Cryptographic Hardware and Embedded Systems - CHES 2001
Cetin K. Koc, David Naccache, Davi Nacchae, David Nacchae, Christof Paar Cryptographic Hardware and Embedded Systems - CHES 2001 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jaap Kaandorp, Jaap A Kaandorp, Jaap A. Kaandorp, Janet E Kübler, Janet E. Kübler - The Algorithmic Beauty of Seaweeds, Sponges and Corals
Jaap Kaandorp, Jaap A Kaandorp, Jaap A. Kaandorp, Janet E Kübler, Janet E. Kübler The Algorithmic Beauty of Seaweeds, Sponges and Corals English 01.01.2001 Hardback Fr. 207.00 6-7 weeks
Gregory D. Abowd, Barry Brumitt, Steven Shafer - Ubicomp 2001: Ubiquitous Computing
Gregory D. Abowd, Barry Brumitt, Steven Shafer Ubicomp 2001: Ubiquitous Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ja Bosch, Jan Bosch - Generative and Component-Based Software Engineering
Ja Bosch, Jan Bosch Generative and Component-Based Software Engineering English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
George I. Davida, Yair Frankel - Information Security
George I. Davida, Yair Frankel Information Security English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jo Kilian, Joe Kilian - Advances in Cryptology - CRYPTO 2001
Jo Kilian, Joe Kilian Advances in Cryptology - CRYPTO 2001 English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Victo Lrios Rosillo, Victor Lrios Rosillo, Felix F. Ramos, Herwig Unger - Advanced Distributed Systems
Victo Lrios Rosillo, Victor Lrios Rosillo, Felix F. Ramos, Herwig Unger Advanced Distributed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Manfred Broy, Ketil St Len, Ketil Stlen, Ketil Stolen, Ketil Stølen - Specification and Development of Interactive Systems
Manfred Broy, Ketil St Len, Ketil Stlen, Ketil Stolen, Ketil Stølen Specification and Development of Interactive Systems English 01.01.2001 Hardback Fr. 110.00 6-7 weeks
Gordon Brebner, Roger Woods - Field-Programmable Logic and Applications
Gordon Brebner, Roger Woods Field-Programmable Logic and Applications English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Marti Gogolla, Martin Gogolla, Kobryn, Kobryn, Cris Kobryn - UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools
Marti Gogolla, Martin Gogolla, Kobryn, Kobryn, Cris Kobryn UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ulf Hashagen, Reinhar Keil-Slawik, Reinhard Keil-Slawik, Arthur L Norberg, Arthur L. Norberg - History of Computing: Software Issues
Ulf Hashagen, Reinhar Keil-Slawik, Reinhard Keil-Slawik, Arthur L Norberg, Arthur L. Norberg History of Computing: Software Issues English 11.06.2002 Hardback Fr. 70.00 6-7 weeks
Thomas A. Henzinger, Christoph M. Kirsch - Embedded Software
Thomas A. Henzinger, Christoph M. Kirsch Embedded Software English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Naoki Kobayashi, Benjamin C. Pierce - Theoretical Aspects of Computer Software
Naoki Kobayashi, Benjamin C. Pierce Theoretical Aspects of Computer Software English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ira S. Moskowitz, Ir S Moskowitz, Ira S Moskowitz - Information Hiding
Ira S. Moskowitz, Ir S Moskowitz, Ira S Moskowitz Information Hiding English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks