D

David Basin

20 books found

Books by David Basin
Applied Information SecurityDavid Basin
⏱ 3h 36m

Applied Information Security

David Basin

2011216 pp.
Principles of Security and TrustDavid Basin
⏱ 4h 47m

Principles of Security and Trust

David Basin

2013287 pp.
Proceedings of the Second ACM Conference on Wireless Network SecurityDavid Basin

Proceedings of the Second ACM Conference on Wireless Network Security

David Basin

2009No page data
Labelled DeductionDavid Basin
⏱ 4h 27m

Labelled Deduction

David Basin

2000267 pp.
Labelled deductionDavid Basin
⏱ 4h 26m

Labelled deduction

David Basin

2000266 pp.
RipplingAlan Bundy
⏱ 3h 36m

Rippling

Alan Bundy

2005216 pp.
Automated ReasoningDavid Basin

Automated Reasoning

David Basin

2004No page data
Theorem Proving in Higher Order LogicsDavid Basin

Theorem Proving in Higher Order Logics

David Basin

2003No page data
A catalog of David W. Taylor Model Basin unclassified publicationsDavid W. Taylor Model Basin
⏱ 1h 24m

A catalog of David W. Taylor Model Basin unclassified publications

David W. Taylor Model Basin

194884 pp.
Unclassified list of reportsDavid W. Taylor Model Basin

Unclassified list of reports

David W. Taylor Model Basin

1957No page data
The configuration and tension of a light flexible cable in a uniform streamDavid W. Taylor Model Basin

The configuration and tension of a light flexible cable in a uniform stream

David W. Taylor Model Basin

1956No page data
A catalog of David W. Taylor Model Basin unclassified publicationsDavid W. Taylor Model Basin

A catalog of David W. Taylor Model Basin unclassified publications

David W. Taylor Model Basin

1951No page data
Supplement to a catalog of David W. Taylor Model Basin unclassified publicationsDavid W. Taylor Model Basin
⏱ 1h 52m

Supplement to a catalog of David W. Taylor Model Basin unclassified publications

David W. Taylor Model Basin

1952112 pp.
Complete Guide to SCIONLaurent Chuat

Complete Guide to SCION

Laurent Chuat

2022No page data
Wyoming's Dinosaur DiscoveriesThe Big Horn Basin Foundation

Wyoming's Dinosaur Discoveries

The Big Horn Basin Foundation

2015No page data
Wyoming's Dinosaur TrailThe Big Horn Basin Foundation

Wyoming's Dinosaur Trail

The Big Horn Basin Foundation

2015No page data
Tentative model of thesaurus-dictionary for FROLICDavid W. Taylor Model Basin. Applied Mathematics Laboratory.
⏱ 2h 9m

Tentative model of thesaurus-dictionary for FROLIC

David W. Taylor Model Basin. Applied Mathematics Laboratory.

1963129 pp.
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56Alan Bundy
⏱ 3h 38m

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

Alan Bundy

2005218 pp.
Economic integration vs sustainable developmentDavid Barkin
⏱ 52m

Economic integration vs sustainable development

David Barkin

199452 pp.
ProceedingsExecutive Seminar on the Use of High-Speed Calculators for the Solution of Naval Problems, David W. Taylor Model Basin 1960
⏱ 5h 55m

Proceedings

Executive Seminar on the Use of High-Speed Calculators for the Solution of Naval Problems, David W. Taylor Model Basin 1960

1961355 pp.