1
Applied Information Security [E-Book] : A Hands-on Approach /
Other Personal Name(s): “...Basin, David....”

Full text 
Favorites
Saved in:
2
Automated Reasoning [E-Book] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings /
Other Personal Name(s): “...Basin, David....”

Full text 
Favorites
Saved in:
3
Theorem Proving in Higher Order Logics [E-Book] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
Other Personal Name(s): “...Basin, David....”

Full text 
Favorites
Saved in:

Narrow Search Results