Languages
Subject
Format
Availabity
Authors

Search result

Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford - Component-Based Software Engineering
Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford Component-Based Software Engineering English 29.06.2007 Paperback / Softback Fr. 69.00 6-7 weeks
S. Bistarelli, Stefano Bistarelli - Semirings for Soft Constraint Solving and Programming
S. Bistarelli, Stefano Bistarelli Semirings for Soft Constraint Solving and Programming English 24.02.2004 Paperback / Softback Fr. 69.00 6-7 weeks
Kim G. Larsen, Peter Niebert - Formal Modeling and Analysis of Timed Systems
Kim G. Larsen, Peter Niebert Formal Modeling and Analysis of Timed Systems English 08.04.2004 Paperback / Softback Fr. 69.00 6-7 weeks
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza - Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza Recent Advances in Constraints English 07.04.2004 Paperback / Softback Fr. 69.00 6-7 weeks
George Eleftherakis, Mike Hinchey, Mike Holcombe - Software Engineering and Formal Methods
George Eleftherakis, Mike Hinchey, Mike Holcombe Software Engineering and Formal Methods English 28.08.2012 Paperback / Softback Fr. 69.00 6-7 weeks
Tiziana Maragria, Bernhard Steffen - Leveraging Applications of Formal Methods
Tiziana Maragria, Bernhard Steffen Leveraging Applications of Formal Methods English 03.11.2006 Paperback / Softback Fr. 69.00 6-7 weeks
Alan Hartman, David Kreische - Model Driven Architecture - Foundations and Applications
Alan Hartman, David Kreische Model Driven Architecture - Foundations and Applications English 04.11.2005 Paperback / Softback Fr. 69.00 6-7 weeks
Lin Padgham, Franco Zambonelli - Agent-Oriented Software Engineering VII
Lin Padgham, Franco Zambonelli Agent-Oriented Software Engineering VII English 09.02.2007 Paperback / Softback Fr. 69.00 6-7 weeks
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation English 11.09.2012 Paperback / Softback Fr. 69.00 6-7 weeks
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems English 25.11.2010 Paperback / Softback Fr. 104.00 6-7 weeks
Norbert Eisinger, Jan Maluszynski - Reasoning Web
Norbert Eisinger, Jan Maluszynski Reasoning Web English 19.07.2005 Paperback / Softback Fr. 69.00 6-7 weeks
Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter F. Truszkowski - Formal Approaches to Agent-Based Systems
Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter F. Truszkowski Formal Approaches to Agent-Based Systems English 31.01.2005 Paperback / Softback Fr. 69.00 6-7 weeks
Jens Grabowski, Brian Nielsen - Formal Approaches to Software Testing
Jens Grabowski, Brian Nielsen Formal Approaches to Software Testing English 07.03.2005 Paperback / Softback Fr. 69.00 6-7 weeks
Maurice Margenstern - Machines, Computations, and Universality
Maurice Margenstern Machines, Computations, and Universality English 08.03.2005 Paperback / Softback Fr. 69.00 6-7 weeks
Leopoldo Bertossi, Anthony Hunter, Torsten Schaub, Leopoldo Bertossi, Anthony Hunter, Torsten Schaub - Inconsistency Tolerance
Leopoldo Bertossi, Anthony Hunter, Torsten Schaub, Leopoldo Bertossi, Anthony Hunter, Torsten Schaub Inconsistency Tolerance English 27.01.2005 Paperback / Softback Fr. 69.00 6-7 weeks
Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert - Reasoning Web
Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert Reasoning Web English 25.08.2008 Paperback / Softback Fr. 69.00 6-7 weeks
Paolo Giorgini, Jörg Müller, Jörg P. Müller, James Odell - Agent-Oriented Software Engineering V
Paolo Giorgini, Jörg Müller, Jörg P. Müller, James Odell Agent-Oriented Software Engineering V English 24.01.2005 Paperback / Softback Fr. 69.00 6-7 weeks
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