Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
16 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34026-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34032-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
Author 
Vouros, George. editor. Artikis, Alexander. editor. Stathis, Kostas. editor. Pitt, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02377-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings
Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings
Author 
Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10392-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
Author 
Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00867-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Author 
Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Software Verification and Validation An Engineering and Scientific Approach
Software Verification and Validation An Engineering and Scientific Approach
Author 
Fisher, Marcus S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Author 
Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Rigorous Development of Complex Fault-Tolerant Systems
Rigorous Development of Complex Fault-Tolerant Systems
Author 
Butler, Michael. editor. Jones, Cliff B. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11916246
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
Author 
Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11734697
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advanced Topics in Exception Handling Techniques
Advanced Topics in Exception Handling Techniques
Author 
Dony, Christophe. editor. Knudsen, Jørgen Lindskov. editor. Romanovsky, Alexander. editor. Tripathi, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11818502
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets