1.
Applied Security Laboratory : A Hands-on Approach
by Basin, David, Schaller, Pat...
ISBN: 9783642244735
List Price: $49.95
2.
Automated Reasoning Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4...
by Basin, David, Rusinowitch, ...
ISBN: 9783540223450
List Price: $99.95
3.
Theorem Proving in Higher Order Logics 16th International Conference, Tphols 2003, Rome, Ita...
by Basin, David, Wolff, Burkhart
ISBN: 9783540406648
List Price: $79.95
6.
Principles of Security and Trust : Second International Conference, POST 2013, Held As Part ...
by Basin, David, Mitchell, Joh...
ISBN: 9783642368295
List Price: $79.95
7.
Applied Information Security: A Hands-on Approach
by David Basin, Patrick Schall...
ISBN: 9783642436321
List Price: $49.95
8.
9.
10.
Rippling Meta-Level Guidance for Mathematical Reasoning
by Bundy, Alan, Basin, David, ...
ISBN: 9780521834490
List Price: $132.00
11.
Complete Guide to SCION : From Design Principles to Formal Verification
by Chuat, Laurent, Legner, Mar...
ISBN: 9783031052873
12.
Proceedings of the Second Acm Conference on Wireless Network Security
by Basin, David
ISBN: 9781605584607
List Price: $40.00
OUT OF STOCK
See Availability on Amazon13.
Wisec '09 : Second Acm Conference on Wireless Network Security
by Basin, David
ISBN: 9781605584591
List Price: $30.00
OUT OF STOCK
See Availability on Amazon14.
15.
Theorem Proving in Higher Order Logics
by Basin, David, Wolff, Burkhart
ISBN: 9783662199480
List Price: $24.99
OUT OF STOCK
See Availability on Amazon17.
19.
21.
Sandusky River Basin Symposium, May 2-3, 1975, Tiffin, OH : Proceedings
by Sandusky River Basin Sympos...
ISBN: 9780598025531
List Price: $150.70
OUT OF STOCK
See Availability on Amazon23.
Complete Guide to SCION : From Design Principles to Formal Verification
by Chuat, Laurent, Legner, Mar...
ISBN: 9783031052903