1
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II /

Full text 
Favorites
Saved in:
2
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III /

Full text 
Favorites
Saved in:
3
Leveraging Applications of Formal Methods, Verification and Validation. Practice [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV /

Full text 
Favorites
Saved in:
4
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I /

Full text 
Favorites
Saved in:
5
Model Checking, Synthesis, and Learning [E-Book] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
6
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /

Full text 
Favorites
Saved in:
7
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /

Full text 
Favorites
Saved in:
8
Grundlagen der höheren Informatik : induktives Vorgehen /
Book
Table of Contents 
Loan/Reservation

Favorites
Saved in:
9
Location and Context Awareness [E-Book] : 4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings /

Full text 
Favorites
Saved in:
10
Advances in Information Retrieval [E-Book] : 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings /

Full text 
Favorites
Saved in:
11
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [E-Book] : 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings /

Full text 
Favorites
Saved in:
12
Dataspace: The Final Frontier [E-Book] : 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings /

Full text 
Favorites
Saved in:
13
Human Machine Interaction [E-Book] : Research Results of the MMI Program /

Full text 
Favorites
Saved in:
14
Mobile Response [E-Book] : Second International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2008. Bonn, Germany, May 29-30, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
15
Computational Linguistics and Intelligent Text Processing [E-Book] : 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings /

Full text 
Favorites
Saved in:
16
Autonomic and Trusted Computing [E-Book] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /

Full text 
Favorites
Saved in:
17
Advances in Neural Networks – ISNN 2009 [E-Book] : 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III /
He, Haibo
2009

Full text 
Favorites
Saved in:
18
Pervasive Computing [E-Book] : 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings /

Full text 
Favorites
Saved in:
19
Integrated Formal Methods [E-Book] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /

Full text 
Favorites
Saved in:
20
Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /

Full text 
Favorites
Saved in:

Narrow Search Results