Languages
Subject
Format
Availabity
Authors

Search result

Elisabeth André, Klaus Fischer, Ingo J. Timm, Ning Zhong - Multiagent System Technologies
Elisabeth André, Klaus Fischer, Ingo J. Timm, Ning Zhong Multiagent System Technologies English 19.09.2006 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Martin Pelikan - Hierarchical Bayesian Optimization Algorithm
Martin Pelikan Hierarchical Bayesian Optimization Algorithm English 21.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Dave Barker-Plummer, Richard Cox, Nik Swoboda - Diagrammatic Representation and Inference
Dave Barker-Plummer, Richard Cox, Nik Swoboda Diagrammatic Representation and Inference English 22.06.2006 Paperback / Softback Fr. 70.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. 70.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. 70.00 6-7 weeks
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna - Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna Rigorous Development of Complex Fault-Tolerant Systems English 27.11.2006 Paperback / Softback Fr. 70.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. 70.00 6-7 weeks
Alexander Nareyek - Constraint-Based Agents
Alexander Nareyek Constraint-Based Agents English 30.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Rui Camacho, Ross King, Ashwin Srinivasan - Inductive Logic Programming
Rui Camacho, Ross King, Ashwin Srinivasan Inductive Logic Programming English 24.08.2004 Paperback / Softback Fr. 70.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. 70.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. 70.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. 70.00 6-7 weeks
Eitan Frachtenberg, Uwe Schwiegelshohn - Job Scheduling Strategies for Parallel Processing
Eitan Frachtenberg, Uwe Schwiegelshohn Job Scheduling Strategies for Parallel Processing English 09.02.2007 Paperback / Softback Fr. 70.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. 70.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. 70.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. 70.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. 70.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. 70.00 6-7 weeks