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 12 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 | Tests and Proofs | Yuri Gurevich | 2007 | Okänt |
| 12 | 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.