1
Bridging the Gap Between AI and Reality [E-Book] : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings /

Full text 
Favorites
Saved in:
2
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:
3
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:
4
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:
5
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:
6
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /

Full text 
Favorites
Saved in:
7
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [E-Book] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV /

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

Full text 
Favorites
Saved in:
9
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:
10
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:
11
Transactions on Foundations for Mastering Change I [E-Book] /

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

Favorites
Saved in:
13
Euro-Par 2008 Workshops - Parallel Processing [E-Book] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
14
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:
15
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:
16
Passive and Active Network Measurement [E-Book] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings /

Full text 
Favorites
Saved in:
17
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /

Full text 
Favorites
Saved in:
18
Knowledge Acquisition: Approaches, Algorithms and Applications [E-Book] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
19
Privacy, Security, and Trust in KDD [E-Book] : Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
20
Computer Vision/Computer Graphics CollaborationTechniques [E-Book] : 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results