Showing 1 - 18
of 18
for search: '"Lecture notes in computer science. Festschrift."',
query time: 0.33s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: SpringerLink (Online service)
Format: eBook
Genre: Conference papers and proceedings
Language: English
Institution
Collection
Format
Subject
3
Computer logic
3
Computer science
3
Computer science Mathematics
3
Formal methods (Computer science)
2
Artificial intelligence
2
Computer programming
more ...
2
Formal languages
2
Logic, Symbolic and mathematical
2
Software engineering
1
Algebra
1
Algebra Data processing
1
Algorithms
1
Automatic theorem proving
1
CSP (Computer program language)
1
Compilers (Computer programs)
1
Computational complexity
1
Computational intelligence
1
Computational linguistics
1
Computer algorithms
1
Computer arithmetic
1
Computer programs
1
Computer programs Verification
1
Computer systems Verification
1
Electronic data processing
1
Game theory
1
Graph theory
1
Logic
1
Logic design
1
Logic programming
1
Parallel processing (Electronic computers)
see all ...
less ...
Author
SpringerLink (Online service)
2
Jones, C. B. 1944-
1
Abdallah, Ali E., 1957-
1
Bauer, Jörg
1
Bjørner, D. 1937-
1
Bordihn, Henning
more ...
1
Calmet, Jacques
1
Calude, Cristian, 1952-
1
Coecke, Bob
1
Comon, Hubert
1
Dinneen, M. J.
1
Elomaa, Tapio, 1963-
1
Futatsugi, Kokichi
1
Geiselmann, Willi
1
Goguen, Joseph
1
Golumbic, Martin Charles
1
Grumberg, Orna
1
Hoare, C. A. R. 1934-
1
Hutter, Dieter
1
International Workshop on Theoretical Computer Science
1
International Workshop on Theoretical Computer Science Auckland, N.Z.)
1
Jouannaud, Jean-Pierre
1
Khoussainov, Bakhadyr, 1961-
1
Kirchner, Claude
1
Kirchner, H.
1
Kutrib, Martin
1
Levit, V. E.
1
Lipshteyn, Marina
1
Liu, Zhiming, 1961-
1
Lungarella, Max
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication