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: Yuri. Gurevich 14 träffar

Titel Författare År Språk
1 The classical decision problem Egon Börger cop. 1997 Tyska
2-3 Abstract state machines - theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings (flera utgåvor) International Workshop on Abstract State Machines 2000) (Monte Verità : cop. 2000 Engelska
4 Semantics of programming languages and model theory c1993 Engelska
5 Computer Science Logic Workshop on Computer Science Logic 1994 Engelska
6-7 Tests and Proofs (flera utgåvor) Yuri. Gurevich 2007 Engelska
8 Fenómenos de contacto y sus aplicaciones en celdas solares Yuri Gurevich 2013 Okänt
9 Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verit, Switzerland, March 19-24, 2000 Proceedings Yuri Gurevich uuuu-uuuu Okänt
10 The classical decision problem Egon Börger 2001
11 Fenómenos de contacto y sus aplicaciones en celdas solares Yuri; Meléndez Lira Gurevich 2010 Spanska
12 Tests and Proofs Yuri Gurevich 2007 Okänt
13 "Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings" Yuri Gurevich 2000 Okänt
14 The human face of computing 2016 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.