David Basin

Identifiers

Open LibraryOL2771770A

Top Subjects

Computer science (2)
Data protection (2)
Artificial intelligence (1)
Logic (1)
Philosophy (General) (1)
Data structures (Computer science) (1)
Management information systems (1)

Books by David Basin

Total count: 10

Labelled Deduction

Island Press2000-01-01
Labelled Deduction

Springer Netherlands2000-01-01
Theorem Proving in Higher Order Logics16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Springer London, Limited2003-01-01
Automated ReasoningSecond International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Springer London, Limited2004-01-01
RipplingMeta-Level Guidance for Mathematical Reasoning

Cambridge University Press2005-01-01
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

Cambridge University Press2005-01-01
Proceedings of the Second ACM Conference on Wireless Network Security

Association for Computing Machinery2009-01-01
Applied Information SecurityA Hands-on Approach

Springer-Verlag Berlin Heidelberg2011-01-01
Principles of Security and TrustSecond International Conference, POST 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Springer Berlin / Heidelberg2013-01-01
Complete Guide to SCIONFrom Design Principles to Formal Verification

Springer International Publishing AG2022-01-01