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