Languages
Subject
Format
Availabity
Authors

Search result

Thalheim, Thalheim, Bernhard Thalheim, Wol Zimmermann, Wolf Zimmermann - Abstract State Machines 2004. Advances in Theory and Practice
Thalheim, Thalheim, Bernhard Thalheim, Wol Zimmermann, Wolf Zimmermann Abstract State Machines 2004. Advances in Theory and Practice English 24.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Bar Demoen, Bart Demoen, Lifschitz, Lifschitz, Vladimir Lifschitz - Logic Programming
Bar Demoen, Bart Demoen, Lifschitz, Lifschitz, Vladimir Lifschitz Logic Programming English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Philipp Gardner, Philippa Gardner, Yoshida, Yoshida, Nobuko Yoshida - CONCUR 2004 -- Concurrency Theory
Philipp Gardner, Philippa Gardner, Yoshida, Yoshida, Nobuko Yoshida CONCUR 2004 -- Concurrency Theory English 29.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Giacobazzi, Roberto Giacobazzi - Static Analysis
Robert Giacobazzi, Roberto Giacobazzi Static Analysis English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Iain Craig, Iain D. Craig, Ian Craig - The Interpretation of Object-Oriented Programming Languages
Iain Craig, Iain D. Craig, Ian Craig The Interpretation of Object-Oriented Programming Languages English 09.11.2001 Paperback / Softback Fr. 124.00 6-7 weeks
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller Recent Advances in Parallel Virtual Machine and Message Passing Interface English 23.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Yassin Lakhnech, Yassine Lakhnech, Yovine, Yovine, Sergio Yovine - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Yassin Lakhnech, Yassine Lakhnech, Yovine, Yovine, Sergio Yovine Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems English 21.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Jerzy Marcinkowski, Andrzej Tarlecki, Jerz Marcinkowski, Jerzy Marcinkowski, Andrzej Tarlecki - Computer Science Logic
Jerzy Marcinkowski, Andrzej Tarlecki, Jerz Marcinkowski, Jerzy Marcinkowski, Andrzej Tarlecki Computer Science Logic English 25.08.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
Vaclav Matousek, Paul Mautner, Roman Moucek, Karel Tauser - Text, Speech and Dialogue
Vaclav Matousek, Paul Mautner, Roman Moucek, Karel Tauser Text, Speech and Dialogue English 19.02.2009 Paperback / Softback Fr. 70.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
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
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