1
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /

Full text 
Favorites
Saved in:
2
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /

Full text 
Favorites
Saved in:
3
Simple Type Theory [E-Book] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas /

Full text 
Favorites
Saved in:
4
The Personal Web [E-Book] : A Research Agenda /

Full text 
Favorites
Saved in:
5
Selected Areas in Cryptography [E-Book] : 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers /

Full text 
Favorites
Saved in:
6
Guide to Assembly Language Programming in Linux [E-Book] /

Full text 
Favorites
Saved in:

Narrow Search Results