Showing 1 - 20
of 21
for search: '',
query time: 0.10s
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 Mathematics
4
Computer science
4
Software engineering
3
Mathematics
2
Combinatorial analysis
2
Computer logic
more ...
2
Formal methods (Computer science)
2
Logic, Symbolic and mathematical
1
Computational complexity
1
Computer algorithms
1
Computer arithmetic
1
Continuum mechanics
1
Data structures (Computer science)
1
Formal languages
1
Graph theory
1
Information theory
1
Programming languages (Electronic computers) Semantics
1
Quantum theory Mathematics
1
Singularities (Mathematics)
1
System analysis
see all ...
less ...
Author
16
SpringerLink (Online service)
5
SpringerLink (Online Service)
2
Blass, Andreas, 1947-
2
Dershowitz, Nachum
1
Abramov, Sergei,
1
Adamatzky, Andrew,
more ...
1
Akl, Selim G.,
1
Avron, Arnon
1
Beklemishev, Lev Dmitrievich, 1967-
1
Bos, Petra van den,
1
Breugel, Franck van, 1966-
1
Buneman, Peter, 1943-
1
Calmet, Jacques
1
Calude, Cristian, 1952-
1
Casadio, C.
1
Coecke, Bob,
1
Conference on "Singularities and Computer Algebra"
1
Cégielski, Patrick, 1954-
1
Day, Adam,
1
Decker, W.,
1
Demidenko, Gennadii V.
1
Dershowitz, Nachum,
1
Downey, R. G.
1
Droste, Manfred, 1956-
1
Dumbser, Michael
1
Fellows, M. R. 1952-
1
Finkbeiner, Bernd
1
Finkbeiner, Bernd,
1
Freĭvald, R. V.,
1
Geiselmann, Willi
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication