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: Lubos. Brim 8 träffar

Titel Författare År Språk
1-2 Mathematical foundations of computer science 1998 (flera utgåvor) Czech Republic : International Symposium on Mathematical Foundations of Computer Science 1998) Brno cop. 1998 Engelska
3-4 CONCUR 2002-concurrency theory - 13th international conference, Brno, Czech republic, August 20-23, 2002 : proceedings (flera utgåvor) International Conference on Concurrency Theory 2002 : Brno) cop. 2002 Engelska
5 Formal Methods Applications and Technology electronic resource - 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification Lubos. Brim 2007 Engelska
6 Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Lubos Brim 2007 Okänt
7 Mathematical Foundations of Computer Science 1998 - 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 Symposium on Mathematical Foundations of Computer Science (1972- ) 1998 Engelska
8 CONCUR 2002 - Concurrency Theory - 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings International Conference on Concurrency Theory International Conference on Concurrency Theory 2002 Engelska

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.