Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Konferenzschrift 4 [ausschließen]
- Programmiersprache 3 [ausschließen]
- Semantik 3 [ausschließen]
- Flussdiagramm 2 [ausschließen]
- Programming languages (Electronic computers) 2 [ausschließen]
- ALGOL 1 [ausschließen]
- ALGOL (Computer program language) 1 [ausschließen]
- Berechenbarkeit 1 [ausschließen]
- Betriebssystem 1 [ausschließen]
- Bildschirm 1 [ausschließen]
- Circuits 1 [ausschließen]
- Computer programming 1 [ausschließen]
- Editor 1 [ausschließen]
- Functions, Continuous 1 [ausschließen]
- Informationsübertragung 1 [ausschließen]
- Kontinuierliches Gitter 1 [ausschließen]
- Lattice theory 1 [ausschließen]
- Mappings (Mathematics) 1 [ausschließen]
- Mathematik 1 [ausschließen]
- Nachrichtenübertragungstechnik 1 [ausschließen]
- Operating systems (Computers) 1 [ausschließen]
- Parallel processing (Electronic computers) 1 [ausschließen]
- Programming languages (Electronic computers) Semantics 1 [ausschließen]
- Recursive functions 1 [ausschließen]
- Störung 1 [ausschließen]
- Zugriffsrelation 1 [ausschließen]
-
1
A calculus of total correctness for communicating processes
Veröffentlicht 1981“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch -
2
The lattice of flow diagrams
Veröffentlicht 1978“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch -
3
Data types as lattices
Veröffentlicht 1976“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch -
4
The varieties of programming language
Veröffentlicht 1973“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch -
5
The lattice of flow diagrams
Veröffentlicht 1970“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch -
6
Formal specification of a display editor
Veröffentlicht 1981“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch -
7
Continuations a mathematical semantics for handling full jumps
Veröffentlicht 1974“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch -
8
Outline of a mathematical theory of computation
Veröffentlicht 1970“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch -
9
The specification of abstract mappings and their implementation as B -trees
Veröffentlicht 1980“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch -
10
The mathematical semantics of ALGOL 60
Veröffentlicht 1974“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch -
11
OS 6, an operating system for a small computer
Veröffentlicht 1972“… Technical monograph / Programming Research Group, Oxford University Computing Laboratory …”
Buch