Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Computer programming 11 [ausschließen]
- Algorithms 8 [ausschließen]
- Computer Programming and Software 8 [ausschließen]
- Programmiersprache 8 [ausschließen]
- Komplexität 7 [ausschließen]
- Turing machines 7 [ausschließen]
- Computer Hardware 6 [ausschließen]
- Programming languages (Electronic computers) 5 [ausschließen]
- Turing-Maschine 5 [ausschließen]
- Arithmetik 4 [ausschließen]
- (Programming languages 3 [ausschließen]
- Algorithmus 3 [ausschließen]
- Artificial intelligence 3 [ausschließen]
- Computer Systems 3 [ausschließen]
- Computer Systems Management and Standards 3 [ausschließen]
- Data processing 3 [ausschließen]
- Datenfluss 3 [ausschließen]
- Datenverarbeitung 3 [ausschließen]
- Information retrieval 3 [ausschließen]
- Künstliche Intelligenz 3 [ausschließen]
- Management planning and control 3 [ausschließen]
- Mathematical models 3 [ausschließen]
- Mathematisches Modell 3 [ausschließen]
- Programmunterbrechung 3 [ausschließen]
- Recursive functions 3 [ausschließen]
- Rekursive Funktion 3 [ausschließen]
- Set theory 3 [ausschließen]
- Statistical decision 3 [ausschließen]
- System analysis 3 [ausschließen]
- Time sharing 3 [ausschließen]
-
1
Decision problems for Petri nets and vector addition systems
Veröffentlicht 1975“… MAC technical memorandum …”
Buch -
2
-
3
Finding isomorph classes for combinatorial structures
Veröffentlicht 1975“… MAC technical memorandum …”
Buch -
4
Decidability of equivalence for a class of data flow schemas
Veröffentlicht 1975“… MAC technical memorandum …”
Buch -
5
First version of a data flow procedure language
Veröffentlicht 1975“… MAC technical memorandum …”
Buch -
6
-
7
Combining dimensionality and rate of growth arguments for establishing lower bounds on the number of multiplications
Veröffentlicht 1974“… MAC technical memorandum …”
Buch -
8
-
9
The substantive use of computers for intellectual activities
Veröffentlicht 1971“… MAC technical memorandum …”
Buch -
10
-
11
An expansion of the data structuring capabilities of pal
Veröffentlicht 1970“… MAC technical memorandum …”
Buch -
12
-
13
Formal properties of well-formed data flow schemas
Veröffentlicht 1975“… MAC technical memorandum …”
Buch -
14
On Bateson's logical levels of learning theory
Veröffentlicht 1975“… MAC technical memorandum …”
Buch -
15
On the complexity of the theories of weak direct products
Veröffentlicht 1974“… MAC technical memorandum …”
Buch -
16
A class of Boolean functions with linear combinational complexity
Veröffentlicht 1974“… MAC technical memorandum …”
Buch -
17
Discrete computations theory and open problems ; notes for the lectures
Veröffentlicht 1974“… MAC technical memorandum …”
Buch -
18
-
19
The inherent computational complexity of theories of ordered sets a brief survey
Veröffentlicht 1974“… MAC technical memorandum …”
Buch -
20
Weak monadic second order theory of succesor is not elementary-recursive
Veröffentlicht 1973“… MAC technical memorandum …”
Buch