Languages
Subject
Format
Availabity
Authors

Search result

Sergei Artemov, Sergei N. Artemov, Anil Nerode - Logical Foundations of Computer Science
Sergei Artemov, Sergei N. Artemov, Anil Nerode Logical Foundations of Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Christian de Sainte Marie, Massimo Marchiori, Christian de Sainte Marie, Jeff Z. Pan - Web Reasoning and Rule Systems
Christian de Sainte Marie, Massimo Marchiori, Christian de Sainte Marie, Jeff Z. Pan Web Reasoning and Rule Systems English 30.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Patrick Heymans, Barbar Paech, Barbara Paech, Pete Sawyer - Requirements Engineering: Foundation for Software Quality
Patrick Heymans, Barbar Paech, Barbara Paech, Pete Sawyer Requirements Engineering: Foundation for Software Quality English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Wolfgang Grieskamp, Alexandre Petrenko, Jan Tretmans, Margus Veanes - Testing of Software and Communicating Systems
Wolfgang Grieskamp, Alexandre Petrenko, Jan Tretmans, Margus Veanes Testing of Software and Communicating Systems English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Jim Davies, Jeremy Gibbons - Integrated Formal Methods
Jim Davies, Jeremy Gibbons Integrated Formal Methods English 29.01.2013 Paperback / Softback Fr. 134.00 6-7 weeks
Constantin Stephanidis, Constantine Stephanidis - Universal Acess in Human Computer Interaction. Coping with Diversity
Constantin Stephanidis, Constantine Stephanidis Universal Acess in Human Computer Interaction. Coping with Diversity English 29.01.2013 Paperback / Softback Fr. 189.00 6-7 weeks
Constantine Stephanidis - Universal Access in Human-Computer Interaction. Applications and Services
Constantine Stephanidis Universal Access in Human-Computer Interaction. Applications and Services English 27.09.2012 Paperback / Softback Fr. 135.00 6-7 weeks
Zoubida Kedad, Nadir Lammari, Nadira Lammari, Elisabeth Metais, Elisabeth Métais, Elisabeth Métais et al... - Natural Language Processing and Information Systems
Zoubida Kedad, Nadir Lammari, Nadira Lammari, Elisabeth Metais, Elisabeth Métais, Elisabeth Métais et al... Natural Language Processing and Information Systems English 30.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Gerard Berry, Huber Comon, Hubert Comon, Alain Finkel - Computer Aided Verification
Gerard Berry, Huber Comon, Hubert Comon, Alain Finkel Computer Aided Verification English 29.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Werner Damm, Holger Hermanns - Computer Aided Verification
Werner Damm, Holger Hermanns Computer Aided Verification English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Wan Fokkink - Modelling Distributed Systems
Wan Fokkink Modelling Distributed Systems English 04.10.2007 Hardback Fr. 70.00 6-7 weeks
Stefan Edelkamp, Alessio Lomuscio - Model Checking and Artificial Intelligence
Stefan Edelkamp, Alessio Lomuscio Model Checking and Artificial Intelligence English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jens Brandt, Klaus Schneider - Theorem Proving in Higher Order Logics
Jens Brandt, Klaus Schneider Theorem Proving in Higher Order Logics English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Christia Bessiere, Christian Bessiere - Principles and Practice of Constraint Programming - CP 2007
Christia Bessiere, Christian Bessiere Principles and Practice of Constraint Programming - CP 2007 English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Katinka Wolter - Formal Methods and Stochastic Models for Performance Evaluation
Katinka Wolter Formal Methods and Stochastic Models for Performance Evaluation English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Matthia Baaz, Matthias Baaz, M Makowsky, M Makowsky, J. A. Makowsky, Johann M. Makowsky - Computer Science Logic
Matthia Baaz, Matthias Baaz, M Makowsky, M Makowsky, J. A. Makowsky, Johann M. Makowsky Computer Science Logic English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Laszlo Böszörmenyi, Lászl Böszörményi, László Böszörményi, Schojer, Schojer, Peter Schojer - Modular Programming Languages
Laszlo Böszörmenyi, Lászl Böszörményi, László Böszörményi, Schojer, Schojer, Peter Schojer Modular Programming Languages English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks
E. Sheratt, Ede Sherratt, Edel Sherratt - Telecommunications and beyond: The Broader Applicability of SDL and MSC
E. Sheratt, Ede Sherratt, Edel Sherratt Telecommunications and beyond: The Broader Applicability of SDL and MSC English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Ball, Sriram K. Rajamani - Model Checking Software
Thomas Ball, Sriram K. Rajamani Model Checking Software English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks