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: Thomas A. Henzinger 23 träffar

Titel Författare År Språk
1-2 Handbook of Model Checking (flera utgåvor) 2018 Engelska
3-5 Hybrid systems III - verification and control (flera utgåvor) 1996 Engelska
6 Computer aided verification International Conference on Computer Aided Verification 1996) New Brunswick : cop. 1996 Engelska
7 Hybrid systems - computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15 1998 : proceedings International Workshop on Hybrid Systems: Computation and Control 1998) Berkeley : cop. 1998 Engelska
8-9 Embedded software - first international workshop proceedings (flera utgåvor) Calif.) International Workshop on Embedded Software 2001 : Tahoe City 2001 Engelska
10 Mathematical and Engineering Methods in Computer Science - 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers Antonín. Kučera 2013 Engelska
11 Computer Aided Verification CAV (Conference) 1996 Engelska
12 Hybrid Systems: Computation and Control HSCC'98 1998 Engelska
13-14 Computer Science Logic (flera utgåvor) Jacques. Duparc 2007 Engelska
15 Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings Krishnendu. Chatterjee 2010 Engelska
16 Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings Ashutosh. Gupta 2013 Engelska
17 Mathematical and Engineering Methods in Computer Science - 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers Czech Republic) MEMICS 2012 2012 : Znojmo 2013 Engelska
18 Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 810, 2001 Proceedings Thomas A. Henzinger uuuu-uuuu Okänt
19 Hybrid Systems: Computation and Control - First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings HSCC'98 HSCC (Conference) 1998 Engelska
20 Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings Ashutosh Gupta 2013 Okänt

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.