Languages
Subject
Format
Availabity
Authors

Search result

Oleg Sokolsky, Serdar Tasiran - Runtime Verification
Oleg Sokolsky, Serdar Tasiran Runtime Verification English 12.12.2007 Paperback / Softback Fr. 69.00 6-7 weeks
Marc-Philippe Huget, Marc-Phillipe Huget - Communication in Multiagent Systems
Marc-Philippe Huget, Marc-Phillipe Huget Communication in Multiagent Systems English 25.06.2003 Paperback / Softback Fr. 69.00 6-7 weeks
Bernhard Beckert, Reiner Hähnle - Tests and Proofs
Bernhard Beckert, Reiner Hähnle Tests and Proofs English 31.03.2008 Paperback / Softback Fr. 69.00 6-7 weeks
András Horváth, Miklós Telek - Formal Methods and Stochastic Models for Performance Evaluation
András Horváth, Miklós Telek Formal Methods and Stochastic Models for Performance Evaluation English 12.06.2006 Paperback / Softback Fr. 69.00 6-7 weeks
Luca de Alfaro, Stephen Gilmore - Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Luca de Alfaro, Stephen Gilmore Process Algebra and Probabilistic Methods. Performance Modelling and Verification English 29.08.2001 Paperback / Softback Fr. 69.00 6-7 weeks
Marlon Dumas, Reiko Heckel - Web Services and Formal Methods
Marlon Dumas, Reiko Heckel Web Services and Formal Methods English 11.04.2008 Paperback / Softback Fr. 69.00 6-7 weeks
Michael Luck, Lin Padgham - Agent-Oriented Software Engineering VIII
Michael Luck, Lin Padgham Agent-Oriented Software Engineering VIII English 29.04.2008 Paperback / Softback Fr. 69.00 6-7 weeks
Dang, Dang, Zhe Dang, Osca H Ibarra, Oscar H Ibarra, Oscar H. Ibarra - Developments in Language Theory
Dang, Dang, Zhe Dang, Osca H Ibarra, Oscar H Ibarra, Oscar H. Ibarra Developments in Language Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Kokichi Futatsugi, Jean-Pierr Jouannaud, Jean-Pierre Jouannaud, José Meseguer - Algebra, Meaning, and Computation
Kokichi Futatsugi, Jean-Pierr Jouannaud, Jean-Pierre Jouannaud, José Meseguer Algebra, Meaning, and Computation English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä - Finite-State Methods and Natural Language Processing
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä Finite-State Methods and Natural Language Processing English 19.02.2009 Paperback / Softback Fr. 69.00 6-7 weeks
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski Verification, Model Checking, and Abstract Interpretation English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jörg Bauer, Thomas Reps, Mool Sagiv, Mooly Sagiv - Program Analysis and Compilation, Theory and Practice
Jörg Bauer, Thomas Reps, Mool Sagiv, Mooly Sagiv Program Analysis and Compilation, Theory and Practice English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
A. Bemporad, Alberto Bemporad, Antonio Bicchi, A. Bicci, Giorgio Buttazzo, Giorgio C Buttazzo... - Hybrid Systems: Computation and Control
A. Bemporad, Alberto Bemporad, Antonio Bicchi, A. Bicci, Giorgio Buttazzo, Giorgio C Buttazzo... Hybrid Systems: Computation and Control English 08.05.2007 Paperback / Softback Fr. 135.00 6-7 weeks
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
Wan Fokkink - Modelling Distributed Systems
Wan Fokkink Modelling Distributed Systems English 04.10.2007 Hardback Fr. 70.00 6-7 weeks
Davi Sands, David Sands - Programming Languages and Systems
Davi Sands, David Sands Programming Languages and Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mokrane Bouzeghoub, Zoubid Kedad, Zoubida Kedad, Elisabeth Metais, Elisabeth Métais - Natural Language Processing and Information Systems
Mokrane Bouzeghoub, Zoubid Kedad, Zoubida Kedad, Elisabeth Metais, Elisabeth Métais Natural Language Processing and Information Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
R. Gore, Rajeev Gore, A. Leitsch, Alexande Leitsch, Alexander Leitsch, T. Nipkow... - Automated Reasoning
R. Gore, Rajeev Gore, A. Leitsch, Alexande Leitsch, Alexander Leitsch, T. Nipkow... Automated Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Jorgen Lindskov Knudsen - ECOOP 2001 - Object-Oriented Programming
Jorgen Lindskov Knudsen ECOOP 2001 - Object-Oriented Programming English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks