Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Computer software 25 [ausschließen]
- Mathematik 13 [ausschließen]
- Mathematics 12 [ausschließen]
- Hochschulschrift 11 [ausschließen]
- Parallel processing (Electronic computers) 8 [ausschließen]
- CSP 7 [ausschließen]
- Programmierung 7 [ausschließen]
- Programming languages (Electronic computers) 6 [ausschließen]
- Semantik 6 [ausschließen]
- Circuits 5 [ausschließen]
- Computer programming 5 [ausschließen]
- Konferenzschrift 5 [ausschließen]
- Information theory 4 [ausschließen]
- Programmiersprache 4 [ausschließen]
- Datenverarbeitung 3 [ausschließen]
- Operating systems (Computers) 3 [ausschließen]
- Programming languages (Electronic computers) Semantics 3 [ausschließen]
- System design 3 [ausschließen]
- Applied statistics, operational research 2 [ausschließen]
- Calculus 2 [ausschließen]
- Computer networks 2 [ausschließen]
- Computer programs Correctness 2 [ausschließen]
- Database management 2 [ausschließen]
- Electronic data processing Distributed processing 2 [ausschließen]
- Flussdiagramm 2 [ausschließen]
- Kommunikationsprotokoll 2 [ausschließen]
- Parallelverarbeitung 2 [ausschließen]
- Sequential machine theory 2 [ausschließen]
- Sequential processing (Computer science) 2 [ausschließen]
- Synchronisierung 2 [ausschließen]
-
1
A model for communicating sequential processes
Veröffentlicht 1981“… Technical monograph PRG …”
Buch -
2
A theory of communicating sequential processes
Veröffentlicht 1981“… Technical monograph PRG …”
Buch -
3
Partial correctness of communicating processes and protocols
Veröffentlicht 1981“… Technical monograph PRG …”
Buch -
4
A guide to communicating sequential processes
Veröffentlicht 1978“… Technical monograph PRG …”
Buch -
5
Order-sorted algebra
Veröffentlicht 1989“… Computing Laboratory, Oxford, Programming Research Group: Technical monograph PRG …”
Buch -
6
The text of OSPub
Veröffentlicht 1972“… Computing Laboratory, Oxford, Programming Research Group: Technical monograph PRG …”
Buch -
7
The text of OSPub
Veröffentlicht 1972“… Computing Laboratory, Oxford, Programming Research Group: Technical monograph PRG …”
Buch -
8
Combinator graph reduction a congruence and its applications
Veröffentlicht 1989“… Technical monograph PRG-73 …”
Buch -
9
Denotational semantics for Occam 2
Veröffentlicht 1993“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
10
Design, implementation and evaluation of a declarative object oriented programming language
Veröffentlicht 1993“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
11
The formal design and evaluation of a variety of medical diagnostic programs
Veröffentlicht 1993“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
12
From Z to C illustration of a rigorous development method
Veröffentlicht 1990“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
13
Four pieces on error, truth and reality
Veröffentlicht 1990“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
14
An introduction to CSP
Veröffentlicht 1988“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
15
The sliding-window protocol in CSP
Veröffentlicht 1988“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
16
The formal documentation of a block storage service
Veröffentlicht 1987“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
17
The distributed computing software project
Veröffentlicht 1985“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
18
The weakest prespecification
Veröffentlicht 1985“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
19
Algebraic specification and proof of properties of communicating sequential processes
Veröffentlicht 1985“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch -
20
Formal specification of a display editor
Veröffentlicht 1981“… Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG …”
Buch