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
1 New Perspectives on Games and Interaction KRZYSZTOF R. APT 2008 Engelska
2 Foundations of computer science 2. P. 1 1976 Engelska
3 Foundations of computer science 2. P. 2 1976 Engelska
4 From logic programming to Prolog Krzysztof R. Apt 1997 Engelska
5 Logic programming languages - constraints, functions, and objects cop. 1993 Engelska
6 Meta-logics and logic programming cop. 1995 Engelska
7 Logic programming - proceedings of the joint international conference and symposium on logic programming D.C. : Joint International Conference and Symposium on Logic Programming 1992) (Washington 1992 Engelska
8 Logics and models of concurrent systems - proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984 NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup) cop. 1985 Engelska
9-10 Verification of sequential and concurrent programs (flera utgåvor) Krzysztof R. Apt cop. 1991 Engelska
11 Formal description of programming concepts cop. 1991 Engelska
12 The logic programming paradigm - a 25-year perspective cop. 1999 Engelska
13-14 New trends in constraints - Joint ERCIM/Compulog Net workshop, Paphos, Cyprus, Greece, 25-27 October 1999 : selected papers (flera utgåvor) cop. 2000 Engelska
15 Foundations of deductive databases and logic programming cop. 1988 Engelska
16 Principles of constraint programming Krzysztof R. Apt 2003 Engelska
17 Recent advances in constraints - Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30-July 2, 2003 : selected papers Hungary) International Workshop on Constraint Solving and Constraint Logic Programming (2003 : Budapest c2004 Engelska
18 Lectures in game theory for computer scientists 2011 Engelska
19 New perspectives on games and interaction electronic resource c2008 Engelska
20 Constraint Logic Programming using Eclipse 2007 Engelska

1 2 Nästa sida

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.