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 30 träffar

Titel Författare År Språk
1 Automated Reasoning IJCAR 2004 2004 Engelska
2 Applied Information Security electronic resource : A Hands-on Approach / by David Basin, Patrick Schaller, Michael Schläpfer David. author. Basin uuuu-uuuu Okänt
3 Applied Information Security - A Hands-on Approach David. Basin 2011 Engelska
4 Applied Information Security David Basin 2011 Okänt
5 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
6 Proceedings of the Second Acm Conference on Wireless Network Security David Basin uuuu-uuuu Okänt
7 The Complete Guide to SCION: From Design Principles to Formal Verification Laurent Chuat 2022 Okänt
8 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
9 Theorem Proving in Higher Order Logics David Basin uuuu-uuuu Okänt
10 Information-Flow Control for Database-backed Applications IEEE European Symposium on Security and Privacy (EuroS&P 2019) Marco Guarnieri 2019 Engelska
11 Labelled deduction cop. 2000 Engelska
12 Labelled Deduction Marcello D’Agostino 2000 Okänt
13 Rippling: Meta-Level Guidance for Mathematical Reasoning 2005 Engelska
14 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
15 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
16 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
17 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
18 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
19 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
20 Laminar separation of flow around symmetrical struts at various angles of attack Paul K. Chang 1961 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.