Showing 1 - 20
of 34
for search: '"Lecture notes in computer science. Festschrift."',
query time: 0.39s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
7
Computer science
5
Computer logic
5
Computer science Mathematics
4
Artificial intelligence
4
Computer programming
4
Formal methods (Computer science)
more ...
4
Software engineering
3
Computer algorithms
3
Formal languages
3
Logic, Symbolic and mathematical
3
Rewriting systems (Computer science)
2
Logic programming
2
Parallel programming (Computer science)
1
Algebra
1
Algebra Data processing
1
Algorithms
1
Application software Development
1
Automatic theorem proving
1
CSP (Computer program language)
1
Categories (Mathematics) Data processing
1
Client/server computing
1
Compilers (Computer programs)
1
Computational complexity
1
Computational intelligence
1
Computer arithmetic
1
Computer multitasking
1
Computer programs
1
Computer programs Correctness
1
Computer programs Verification
1
Computer science Study and teaching
see all ...
less ...
Author
SpringerLink (Online service)
2
Jones, C. B. 1944-
2
Meseguer, José
1
Abdallah, Ali E., 1957-
1
Albers, Susanne
1
Alt, Helmut, 1950-
more ...
1
Avron, Arnon
1
Baader, Franz,
1
Balduccini, Marcello
1
Bauer, Jörg
1
Bjørner, D. 1937-
1
Bordihn, Henning
1
Borgida, Alexander T.
1
Böckenhauer, Hans-Joachim,
1
Calmet, Jacques
1
Calude, Cristian, 1952-
1
Casadio, C.
1
Coecke, Bob
1
Coecke, Bob,
1
Comon, Hubert
1
Dams, Dennis
1
De Nicola, Rocco
1
Degano, Pierpaolo, 1950-
1
Dershowitz, Nachum
1
Dinneen, M. J.
1
Ehrig, Hartmut
1
Elomaa, Tapio, 1963-
1
Even, Shimon
1
Futatsugi, Kokichi
1
Geiselmann, Willi
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication