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 27 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 Automated Reasoning IJCAR 2004 2004 Engelska
4 Rippling: Meta-Level Guidance for Mathematical Reasoning 2005 Engelska
5 Theorem Proving in Higher Order Logics David Basin uuuu-uuuu Okänt
6 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
7 Applied Information Security - A Hands-on Approach David. Basin 2011 Engelska
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 Engelska
9 Labelled Deduction Marcello D’Agostino 2000 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 Applied Information Security electronic resource : A Hands-on Approach / by David Basin, Patrick Schaller, Michael Schläpfer David. author. Basin uuuu-uuuu Okänt
12 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
13 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
14 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
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 A preliminary design technique for annular-jet ground-effect machines (GEM's) Harvey R. Chaplin 1959 Engelska
18 The design of control surfaces for hydrodynamic applications Leo F. Fehlner 1951 Engelska
19 Preliminary report of friction plane resistance tests of anti-fouling ship bottom paints R. B. Couch 1951 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.