Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
- C++ (Computer program language) 2
- Computer programming 2
- Computer software 2
- Logic, Symbolic and mathematical 2
- Algorithms 1
- Artificial intelligence 1
- Automatic theorem proving 1
- Computational complexity 1
- Computer science 1
- Constraint databases 1
- Data processing 1
- Data structures (Computer science) 1
- Kolmogorov complexity 1
- Logic programming 1
- Machine learning 1
- Mathematics 1
- Parallel programming (Computer science) 1
- Pascal (Computer program language) 1
- Recursive functions 1
- Software engineering 1
- Specifications 1
- Verification 1
-
1
-
2
-
3
-
4
A recursive introduction to the theory of computation
Δημοσίευση 1994“…Graduate texts in computer science…”
Βιβλίο -
5
An introduction to kolmogorov complexity and its applications
Δημοσίευση 1997“…Graduate texts in computer science…”
Βιβλίο -
6
-
7
-
8
-
9
-
10
-
11
Verification of sequential and concurrent programs
Δημοσίευση 1991“…Graduate texts in computer science…”
Βιβλίο -
12
-
13
-
14
Fundamentals of the new artificial intelligence :
Δημοσίευση 1998“…Graduate texts in computer science…”
Βιβλίο -
15