David Basin
David Basin
7 ספרים במאגר
ספרים
Principles of Security and TrustDavid Basin
Principles of Security and Trust
David Basin · 2013
Labelled DeductionDavid Basin
Labelled Deduction
David Basin · 2000
Applied Information SecurityDavid Basin
Applied Information Security
David Basin · 2011
Labelled deductionDavid Basin
Labelled deduction
David Basin · 2000
Proceedings of the Second ACM Conference on Wireless Network SecurityDavid Basin
Proceedings of the Second ACM Conference on Wireless Network Security
David Basin · 2009
Automated ReasoningDavid Basin
Automated Reasoning
David Basin · 2004
Theorem Proving in Higher Order LogicsDavid Basin
Theorem Proving in Higher Order Logics
David Basin · 2003
ספרים משותפים ואוספים
ספרים שבהם David Basin מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
RipplingAlan Bundy
Rippling
Alan Bundy · 2005
Complete Guide to SCIONLaurent Chuat
Complete Guide to SCION
Laurent Chuat · 2023
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56Alan Bundy
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Alan Bundy · 2005