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: Daniel. Kroening 18 träffar

Titel Författare År Språk
1 Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers Sharon. Barner 2011 Engelska
2-3 Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (flera utgåvor) 2015 Engelska
4 Computer Aided Verification Daniel Kroening 2015 Okänt
5 Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II Daniel Kroening 2015 Okänt
6 Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 1718, 2014, Revised Selected Papers Dimitra Giannakopoulou 2014 Okänt
7 Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers Dimitra. Giannakopoulou 2014 Engelska
8 Hardware and Software: Verification and Testing, Volume 6504 2011 Okänt
9-10 Decision Procedures electronic resource : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman (flera utgåvor) Daniel. author. Kroening uuuu-uuuu Okänt
11-14 Decision procedures - an algorithmic point of view (flera utgåvor) Daniel Kroening c2008 Engelska
15-16 Decision Procedures (flera utgåvor) Daniel Kroening 2016 Okänt
17 Validation of Evolving Software 2015 Engelska
18 Validation of Evolving Software 2015 Okänt

1

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.