Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: David Basin 29 träffar

Titel Författare År Språk
1 Labelled deduction cop. 2000 Engelska
2 Theorem proving in higher order logics. - 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings Italy) TPHOLs 2003 (2003 : Rome 2003 Engelska
3 The Complete Guide to SCION: From Design Principles to Formal Verification Laurent Chuat 2022 Okänt
4 Automated Reasoning IJCAR 2004 2004 Engelska
5 Rippling: Meta-Level Guidance for Mathematical Reasoning 2005 Engelska
6 Theorem Proving in Higher Order Logics David Basin uuuu-uuuu Okänt
7 Principles of Security and Trust: Second 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 David Basin 2013 Okänt
8 Applied Information Security - A Hands-on Approach David. Basin 2011 Engelska
9 Principles of Security and Trust - Second 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 David. Basin 2013 Engelska
10 Labelled Deduction Marcello D’Agostino 2000 Okänt
11 Information-Flow Control for Database-backed Applications IEEE European Symposium on Security and Privacy (EuroS&P 2019) Marco Guarnieri 2019 Engelska
12 Applied Information Security electronic resource : A Hands-on Approach / by David Basin, Patrick Schaller, Michael Schläpfer David. author. Basin uuuu-uuuu Okänt
13 Proceedings of the Second Acm Conference on Wireless Network Security David Basin uuuu-uuuu Okänt
14 Tran sactions of the eleventh General meeting of the American towing tank conference Vol. 3 - held at David Taylor Model Basin, Washington, D. C., 12-14 september 1956 District of Columbia) American towing tank conference 1956 : Washington 1956 Engelska
15 Tran sactions of the eleventh General meeting of the American towing tank conference Vol. 2 - held at David Taylor Model Basin, Washington, D. C., 12-14 september 1956 District of Columbia) American towing tank conference 1956 : Washington 1956 Engelska
16 Tran sactions of the eleventh General meeting of the American towing tank conference Vol. 1 - held at David Taylor Model Basin, Washington, D. C., 12-14 september 1956 District of Columbia) American towing tank conference 1956 : Washington 1956 Engelska
17 The minutes - of the tenth American towing tank conference at the Massachusetts institute of technology, Cambridge Mass., U. S. A., 4-6 May, 1953, prepared by National research council, Canada Massachusetts) American towing tank conference 1953 : Cambridge 1953 Engelska
18 The minutes - of the ninth American towing tank conference at the division of mechanical engineering of the National research council of Canada, Ottawa, Canada, 11-14 september, 1950 Canada) American towing tank conference 1950 : Ottawa 1950 Engelska
19 A preliminary design technique for annular-jet ground-effect machines (GEM's) Harvey R. Chaplin 1959 Engelska
20 The design of control surfaces for hydrodynamic applications Leo F. Fehlner 1951 Engelska

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.