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: Scott A. Smolka 10 träffar

Titel Författare År Språk
1 OSP - Operating system project : an environment for operating system projects Michael Kifer cop. 1991 Engelska
2 Handbook of process algebra 2001 Engelska
3 Interactive computation - the new paradigm 2006 Engelska
4 CONCUR '95: Concurrency Theory International Conference on Concurrency Theory 1995 Engelska
5 Introduction to Operating System Design and Implementation electronic resource - The OSP 2 Approach Michael. Kifer 2007 Engelska
6 Interactive Computation electronic resource - The New Paradigm Dina. Goldin 2006 Engelska
7 Handbook of Process Algebra Scott A. Smolka 2001 Okänt
8 Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings Nir. Piterman 2013 Engelska
9 Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings Borzoo. Bonakdarpour 2014 Engelska
10 Runtime Verification Borzoo Bonakdarpour 2014 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.