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: KRZYSZTOF R. APT 40 träffar

Titel Författare År Språk
21 "Logic programming languages : constraints, functions, and objects" Krzysztof R. Apt 1993 Okänt
22 Verification of Sequential and Concurrent Programs Krzysztof R. Apt 2009 Engelska
23 Verification of Sequential and Concurrent Programs Frank S. Boer 2009 Okänt
24 Lectures in Game Theory for Computer Scientists 2011 Engelska
25 New Perspectives on Games and Interaction (Texts in logic and games vol. 4) Robert Van Rooij 2008 Okänt
26 Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge Krzysztof R. Apt uuuu-uuuu Okänt
27 Principles of Constraint Programming Krzysztof R. Apt uuuu-uuuu Okänt
28 Logics and Models of Concurrent Systems Krzysztof R. Apt 1985 Okänt
29 The Logic Programming Paradigm Mirek Truszczynski 1999 Okänt
30 New Trends in Constraints: Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 2527, 1999 Selected Papers Krzysztof R. Apt uuuu-uuuu Okänt
31 Verification of Sequential and Concurrent Programs electronic resource / by Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog Krzysztof R. author. Apt uuuu-uuuu Okänt
32 Constraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace. electronic resource Krzysztof R. Apt uuuu-uuuu Okänt
33 Principles of constraint programming / Krzysztof R. Apt. electronic resource Krzysztof R. Apt uuuu-uuuu Okänt
34 Constraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace Krzysztof R. Apt uuuu-uuuu Okänt
35 Principles of constraint programming / Krzysztof R. Apt Krzysztof R. Apt uuuu-uuuu Okänt
36 Logics and Models of Concurrent Systems 1985 Okänt
37-38 Verification of Sequential and Concurrent Programs (flera utgåvor) Krzysztof R. Apt 1997 Okänt
39 Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog Krzysztof R. Apt uuuu-uuuu Okänt
40 A brief history of mathematics for curious minds / Krzysztof R. Apt Krzysztof R. Apt uuuu-uuuu Okänt

Förra sidan 1 2

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.