Languages
Subject
Format
Availabity
Authors

Search result

Reinhar Gotzhein, Reinhard Gotzhein, Reed, Reed, Rick Reed - System Analysis and Modeling: Language Profiles
Reinhar Gotzhein, Reinhard Gotzhein, Reed, Reed, Rick Reed System Analysis and Modeling: Language Profiles English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Chris George, Huaikou Miao - Formal Methods and Software Engineering
Chris George, Huaikou Miao Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Werner Damm, Ernst-Rüdiger Olderog - Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog Formal Techniques in Real-Time and Fault-Tolerant Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Manindra Agrawal, Anil Seth - FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Manindra Agrawal, Anil Seth FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Riccard Focardi, Riccardo Focardi, Gorrieri, Gorrieri, Robero Gorrieri, Roberto Gorrieri - Foundations of Security Analysis and Design
Riccard Focardi, Riccardo Focardi, Gorrieri, Gorrieri, Robero Gorrieri, Roberto Gorrieri Foundations of Security Analysis and Design English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
M. Hannebauer, Markus Hannebauer - Autonomous Dynamic Reconfiguration in Multi-Agent Systems
M. Hannebauer, Markus Hannebauer Autonomous Dynamic Reconfiguration in Multi-Agent Systems English 08.03.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Uw Hansmann, Uwe Hansmann, Martin Nicklous, Martin S Nicklous, Martin S. Nicklous, Thomas Schäck... - Smart Card Application Development Using Java, w. Smart Card
Uw Hansmann, Uwe Hansmann, Martin Nicklous, Martin S Nicklous, Martin S. Nicklous, Thomas Schäck... Smart Card Application Development Using Java, w. Smart Card English 20.03.2001 Paperback / Softback Fr. 135.00 6-7 weeks
Egon Börger, Angel Gargantini, Angelo Gargantini, Elvinia Riccobene - Abstract State Machines 2003: Advances in Theory and Practice
Egon Börger, Angel Gargantini, Angelo Gargantini, Elvinia Riccobene Abstract State Machines 2003: Advances in Theory and Practice English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
M. Okada, Mitsuhiro Okada, B. Pierce, Benjami Pierce, Benjamin Pierce, A. Scedrov... - Software Security -- Theories and Systems
M. Okada, Mitsuhiro Okada, B. Pierce, Benjami Pierce, Benjamin Pierce, A. Scedrov... Software Security -- Theories and Systems English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Müller - Modular Specification and Verification of Object-Oriented Programs
Peter Müller Modular Specification and Verification of Object-Oriented Programs English 27.02.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Görel Hedin - Compiler Construction
Görel Hedin Compiler Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mauro Pezzè - Fundamental Approaches to Software Engineering
Mauro Pezzè Fundamental Approaches to Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... - Multi-Agent Programming
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... Multi-Agent Programming English 17.09.2005 Hardback Fr. 203.00 6-7 weeks
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko Adaptive Agents and Multi-Agent Systems English 22.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Eli Biham - Advances in Cryptology - EUROCRYPT 2003
Eli Biham Advances in Cryptology - EUROCRYPT 2003 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Henry Gordon Dietz - Languages and Compilers for Parallel Computing
Henry Gordon Dietz Languages and Compilers for Parallel Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
H. Geuvers, Herma Geuvers, Herman Geuvers, Wiedijk, Wiedijk, F. Wiedijk... - Types for Proofs and Programs
H. Geuvers, Herma Geuvers, Herman Geuvers, Wiedijk, Wiedijk, F. Wiedijk... Types for Proofs and Programs English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
F. Giunchiglia, Fausto Giunchiglia, J. Odell, Jame Odell, James Odell, G. Weiss... - Agent-Oriented Software Engineering III
F. Giunchiglia, Fausto Giunchiglia, J. Odell, Jame Odell, James Odell, G. Weiss... Agent-Oriented Software Engineering III English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan - Recent Advances in Constraints
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan Recent Advances in Constraints English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks