Showing 1 - 20
of 59
for search: '"LNCS sublibrary. Theoretical computer science and general issues."',
query time: 0.73s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Genre: Festschriften
Institution
Collection
Format
Subject
12
Computer science
10
Software engineering
9
Computer science Mathematics
8
Formal methods (Computer science)
7
Artificial intelligence
7
Computer logic
more ...
6
Computer algorithms
5
Algorithms
5
Computational complexity
5
Computer programming
4
Logic, Symbolic and mathematical
4
Programming languages (Electronic computers)
3
Computer security
3
Computer software Verification
3
Formal languages
2
Computer multitasking
2
Computer networks
2
Computer programs
2
Computer software Development
2
Data structures (Computer science)
2
Game theory
2
Logic
2
Logic programming
2
Rewriting systems (Computer science)
1
Calculus
1
Combinatorial analysis
1
Computational intelligence
1
Computer arithmetic
1
Computer networks Evaluation
1
Computer programs Correctness
see all ...
less ...
Author
58
SpringerLink (Online service)
2
Calude, Cristian, 1952-
2
Hankin, Chris,
2
Liu, Zhiming, 1961-
2
Olderog, E.-R.,
2
Panangaden, P.
more ...
2
Talcott, Carolyn L.,
2
Voronkov, Andrei, 1959-
2
Zhou, Chaochen, 1937-
1
Abrial, Jean-Raymond
1
Aiello, Marco,
1
Albers, Susanne
1
Alt, Helmut, 1950-
1
Alvim, Mário S., 1982-
1
Avron, Arnon
1
Aydinian, Harout
1
Baader, Franz,
1
Ban Kirigin, Tajana,
1
Bartocci, Ezio (Computer scientist),
1
Beek, Maurice H. ter,
1
Bensalem, Saddek,
1
Bjørner, D. 1937-
1
Bodei, Chiara,
1
Bodlaender, H. L.
1
Bodlaender, H. L.,
1
Bordihn, Henning
1
Boreale, Michele,
1
Bouguettaya, Athman,
1
Breugel, Franck van, 1966-
1
Brodnik, Andrej,
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication