Languages
Subject
Format
Availabity
Authors

Search result

Irina Virbitskaite, Andrei Voronkov - Perspectives of Systems Informatics
Irina Virbitskaite, Andrei Voronkov Perspectives of Systems Informatics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Eyal Bin, Shmuel Ur, Av Ziv, Avi Ziv - Hardware and Software, Verification and Testing
Eyal Bin, Shmuel Ur, Av Ziv, Avi Ziv Hardware and Software, Verification and Testing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén - ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén ZB 2003: Formal Specification and Development in Z and B English 02.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Fran Baader, Franz Baader - Automated Deduction - CADE-19
Fran Baader, Franz Baader Automated Deduction - CADE-19 English 11.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Luc Cardelli, Luca Cardelli - ECOOP 2003 - Object-Oriented Programming
Luc Cardelli, Luca Cardelli ECOOP 2003 - Object-Oriented Programming English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Zhe Dang, Oscar H. Ibarra - Implementation and Application of Automata
Zhe Dang, Oscar H. Ibarra Implementation and Application of Automata English 26.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
D. Geist, Daniel Geist, E. Tronci, Enrico Tronci - Correct Hardware Design and Verification Methods
D. Geist, Daniel Geist, E. Tronci, Enrico Tronci Correct Hardware Design and Verification Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... - Formal Methods for Components and Objects, FMCO 2002
Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... Formal Methods for Components and Objects, FMCO 2002 English 18.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Mark d¿Inverno, Mark d’Inverno, Mark dInverno, Mar d'Inverno, Mark D'Inverno, Michael Luck - Understanding Agent Systems
Mark d¿Inverno, Mark d’Inverno, Mark dInverno, Mar d'Inverno, Mark D'Inverno, Michael Luck Understanding Agent Systems English 01.01.2003 Hardback Fr. 135.00 6-7 weeks
Joao Falcao e Cunha, Joáo Falcao e Cunha, Nuno Jardim Nunes, Joaquim Jorge, Joaquim A. Jorge - Interactive Systems. Design, Specification, and Verification
Joao Falcao e Cunha, Joáo Falcao e Cunha, Nuno Jardim Nunes, Joaquim Jorge, Joaquim A. Jorge Interactive Systems. Design, Specification, and Verification English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Stuart Anderson, Massimo Felici, Bev Littlewood - Computer Safety, Reliability, and Security
Stuart Anderson, Massimo Felici, Bev Littlewood Computer Safety, Reliability, and Security English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Zhou Chaochen, M. R. Hansen, Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou... - Duration Calculus
Zhou Chaochen, M. R. Hansen, Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou... Duration Calculus English 13.12.2003 Hardback Fr. 135.00 6-7 weeks
Michel DeRougemont, R. Lassaigne, Richard Lassaigne, M. de Rougemont, Michel De Rougemont - Logic and Complexity
Michel DeRougemont, R. Lassaigne, Richard Lassaigne, M. de Rougemont, Michel De Rougemont Logic and Complexity English 29.01.2004 Hardback Fr. 207.00 6-7 weeks
Robeto Moreno Diaz, Roberto Moreno Díaz, Roberto Moreno-Diaz, Franz Pichler - Computer Aided Systems Theory - EUROCAST 2003
Robeto Moreno Diaz, Roberto Moreno Díaz, Roberto Moreno-Diaz, Franz Pichler Computer Aided Systems Theory - EUROCAST 2003 English 29.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Roberto Amadio, Denis Lugiez - CONCUR 2003 - Concurrency Theory
Roberto Amadio, Denis Lugiez CONCUR 2003 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics
David Basin, Burkhart Wolff Theorem Proving in Higher Order Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rolf Hennicker, Dirk Pattinson, Martin Wirsing - Recent Trends in Algebraic Development Techniques
Rolf Hennicker, Dirk Pattinson, Martin Wirsing Recent Trends in Algebraic Development Techniques English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
José Luis Fiadeiro, José Luiz Fiadeiro, Nei Harman, Neil Harman, Markus Roggenbach, Markus Roggenbach et al... - Algebra and Coalgebra in Computer Science
José Luis Fiadeiro, José Luiz Fiadeiro, Nei Harman, Neil Harman, Markus Roggenbach, Markus Roggenbach et al... Algebra and Coalgebra in Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mari D Di Benedetto, Maria D Di Benedetto, Maria D. Di Benedetto, L Sangiovanni-Vincentelli, L Sangiovanni-Vincentelli, Alberto Sangiovanni-Vincentelli... - Hybrid Systems: Computation and Control
Mari D Di Benedetto, Maria D Di Benedetto, Maria D. Di Benedetto, L Sangiovanni-Vincentelli, L Sangiovanni-Vincentelli, Alberto Sangiovanni-Vincentelli... Hybrid Systems: Computation and Control English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Maria Bielikova, Mária Bieliková, Mária Bieliková et al, Peter Van Emde Boas, Jarosla Pokorny, Jaroslav Pokorny... - SOFSEM 2004: Theory and Practice of Computer Science
Maria Bielikova, Mária Bieliková, Mária Bieliková et al, Peter Van Emde Boas, Jarosla Pokorny, Jaroslav Pokorny... SOFSEM 2004: Theory and Practice of Computer Science English 23.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks