Showing 1 - 20
of 124
for search: '',
query time: 0.07s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Machine theory
Institution
Format
Subject
Machine theory
40
Formal languages
19
Computer programming
14
Mathematical linguistics
13
Robotics
11
Artificial intelligence
more ...
10
Programming languages (Electronic computers)
9
Computational complexity
9
Formal methods (Computer science)
7
Computer science Mathematics
6
Algorithms
6
Logic, Symbolic and mathematical
6
Machine learning
5
Computer networks Evaluation
5
Computer systems Evaluation
5
Petri nets
5
Reliability (Engineering)
4
Computable functions
4
Computer science
3
Algebra, Abstract
3
Group theory
3
Mathematics
2
Algebra, Boolean
2
B method (Computer science)
2
Big data
2
Computational intelligence
2
Computer logic
2
Computer simulation
2
Data mining
2
Database management
see all ...
less ...
Author
94
SpringerLink (Online service)
18
CIAA (Conference)
13
LATA (Conference)
12
International Colloquium on Automata, Languages, and Programming
11
ScienceDirect (Online service)
8
ABZ (Conference)
more ...
7
Martín Vide, Carlos
6
DCFS (Workshop)
6
Martín Vide, Carlos,
5
International Conference on the Quantitative Evaluation of Systems
5
Symposium on Mathematical Foundations of Computer Science (1972- )
4
Horia Dediu, Adrian
4
Truthe, Bianca,
3
European Association for Theoretical Computer Science
3
Horia Dediu, Adrian,
3
Raschke, Alexander,
3
Schewe, Klaus-Dieter,
2
ABZ (Conference) Toulouse, France)
2
Aceto, Luca
2
Albers, Susanne
2
Aït-Ameur, Yamine,
2
Butler, Michael, 1967-
2
Davis, Martin, 1928-2023
2
Domaratzki, Michael
2
Drewes, Frank,
2
Esparza, Javier,
2
FORMATS (Conference)
2
Fernau, Henning, 1965-
2
Han, Yo-Sub
2
Henzinger, Monika
see all ...
less ...
Language
Genre
Literary Form
Call Number
Year of Publication