Showing 1 - 20
of 30
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer science
6
Software engineering
5
Computer logic
4
Computer science Mathematics
4
Logic, Symbolic and mathematical
4
Programming languages (Electronic computers)
more ...
3
Formal languages
2
Artificial intelligence
2
Computer programming
2
Electronic data processing
1
Algorithms
1
Combinatorial analysis
1
Computational biology
1
Computational complexity
1
Computer multitasking
1
Computer networks
1
Computer programs
1
Computer programs Correctness
1
Computer software Development
1
Data encryption (Computer science)
1
Data structures (Computer science)
1
Declarative programming
1
Functional programming (Computer science)
1
Game theory
1
Graph theory Data processing
1
Linear operators
1
Logic
1
Logic design
1
Machine learning
1
Machine theory
see all ...
less ...
Author
27
SpringerLink (Online service)
2
Adamatzky, Andrew,
2
Chaueka, Yaacov,
2
Dershowitz, Nachum,
2
Meseguer, José,
2
Nissan, Ephraim,
more ...
2
SpringerLink (Online Service)
1
Achten, Peter, 1967-
1
Akl, Selim G.,
1
Asian Computing Science Conference
1
Asian Computing Science Conference Chiang Mai, Thailand)
1
Avron, Arnon
1
Bodei, Chiara,
1
Buchmann, Johannes,
1
Börger, E. 1946-
1
Calude, Cristian, 1952-
1
Coecke, Bob
1
Dams, Dennis
1
Davis, Martin, 1928-2023
1
Day, Adam,
1
Dershowitz, Nachum
1
Dowe, David L.,
1
Downey, R. G.
1
EBSCOhost
1
Echahed, Rachid,
1
Ehrig, Hartmut,
1
Even, Shimon
1
Fellows, M. R. 1952-
1
Ferrari, Gian-Luigi,
1
Fischlin, Marc,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication