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: Jacobus Willem de Bakker 22 träffar

Titel Författare År Språk
1 Automata, languages and programming Languages and Programming 1980) Noordwijkerhout : International Colloquium on Automata 1980 Engelska
2 Control flow semantics Jacobus Willem de Bakker cop. 1996 Engelska
3 Formal definition of programming languages - with an application to the definition of ALGOL 60 Jacobus Willem de Bakker 1967 Engelska
4 Mathematical theory of program correctness Jacobus Willem de Bakker cop. 1980 Engelska
5 Current trends in concurrency - overviews and tutorials cop. 1986 Engelska
6 Foundations of computer science 1975 Engelska
7 Foundations of computer science 1 1975 Engelska
8 Foundations of computer science 2. P. 1 1976 Engelska
9 Foundations of computer science 2. P. 2 1976 Engelska
10 Foundations of computer science 3. P. 2, Languages, logic, semantics 1979, pr. 1981 Engelska
11 Foundations of computer science 4. P. 1, Algorithms and complexity 1983 Engelska
12 Foundations of computer science 4. P. 2, Semantics and logic 1983 Engelska
13 Foundations of computer science Vol. 3. P. 1, Automata, data structures, complexity 1979 Engelska
14 Languages for parallel architectures - design, semantics, implementation models cop. 1989 Engelska
15 Linear time, branching time and partial order in logics and models for concurrency cop. 1989 Engelska
16 Logic programming languages - constraints, functions, and objects cop. 1993 Engelska
17 MC-25 Informatica Symposium MC-25 Informatica Symposium (Amsterdam : 1972) 1971 Engelska
18 PARLE - parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15-19, 1987 : proceedings 1987 Engelska
19 PARLE Vol. 1, Parallel architectures - parallel architectures and languages Europe cop. 1987 Engelska
20 PARLE Vol. 2, Parallel languages - parallel architectures and languages Europe cop. 1987 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.