search result

Cover von Empirical Inference
Festschrift in Honor of Vladimir N. Vapnik
Search for this author
Year: 2013
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Critical Information Infrastructures Security
7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17 - 18, 2012 : Revised Selected Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7722
Media group: MONOGRAPHIE
Cover von Critical Information Infrastructure Security
6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8 - 9, 2011, Revised Selected Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6983
Media group: MONOGRAPHIE
Cover von Guide to Modeling and Simulation of Systems of Systems
Author: Zeigler, Bernard P.; Sarjoughian, Hessam S. Search for this author
Year: 2013
Publisher: London, Springer
Series: Simulation Foundations, Methods and Applications
Media group: MONOGRAPHIE
Cover von Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15 - 18, 2012, Proceedings
2012
Berlin, Springer
Series: Lecture notes in computer science; 7609/7610
Media group: GESAMTWERK
Volumes loading
Cover von Scalable Uncertainty Management
6th International Conference, SUM 2012, Marburg, Germany, September 17 - 19, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 7520
Media group: MONOGRAPHIE
Cover von Formal Verification of Object-Oriented Software
International Conference, FoVeOOS 2011, Turin, Italy, October 5 - 7, 2011, Revised Selected Papers
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7421
Media group: MONOGRAPHIE
Cover von Automated Reasoning
6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26 - 29, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 7364
Media group: MONOGRAPHIE
Cover von Software Engineering 2012
Workshopband : Tagung vom 27. Februar - 02. März 2012 in Berlin
Search for this author
Year: 2012
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 199
Media group: MONOGRAPHIE
Cover von Graph Transformations and Model-Driven Engineering
Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 5765
Media group: MONOGRAPHIE
OPEN V 11.1.0.0