Showing 1 - 15
of 15
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
Institution
Collection
Format
Subject
Algorithms
Logic, Symbolic and mathematical
9
Computer science
8
Software engineering
6
Computer logic
4
Computers, Special purpose
more ...
3
Artificial intelligence
3
Computer algorithms
3
Programming languages (Electronic computers)
2
Computable functions
2
Computer science Mathematics
2
Decision making Mathematical models
1
Bioinformatics
1
Biology Computer simulation
1
Combinatorial analysis
1
Computational intelligence
1
Computer networks
1
Computer programming
1
Computer simulation
1
Computer software Testing
1
Computer software Verification
1
Computers
1
Data mining
1
Data structures (Computer science)
1
Electronic data processing
1
Expert systems (Computer science)
1
Formal methods (Computer science)
1
Image processing
1
Information theory
1
Internet of things
see all ...
less ...
Author
14
SpringerLink (Online service)
4
IMBSA (Symposium)
2
Bozzano, Marco,
2
Conference on Computability in Europe
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
Zeller, Marc
more ...
1
Abate, Alessandro,
1
Alor-Hernández, Giner, 1977-
1
Aslansefat, Koorosh,
1
Aĭzerman, M. A. 1913-1992
1
Beckmann, Arnold
1
Butler, Michael, 1967-
1
Conchon, Sylvain,
1
Conference on Computability in Europe Athens, Greece)
1
Conference on Computability in Europe Turku, Finland),
1
Deshmukh, Jyotirmoy,
1
Dimitracopoulos, Costas
1
Dowek, Gilles
1
FORMATS (Conference)
1
FORMATS (Conference) Berlin, Germany)
1
Geeraerts, Gilles,
1
Höfig, Kai
1
IMBSA (Symposium) Munich, Germany)
1
IMBSA (Symposium) Online)
1
IMBSA (Symposium) Thessalonikē, Greece)
1
IMBSA (Symposium) Trento, Italy)
1
International Workshop on Combinatorial Algorithms
1
International Workshop on Combinatorial Algorithms Verona, Italy)
1
Kari, J.
1
Katsaros, Panagiotis, 1969-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication