Showing 1 - 20
of 118
for search: '"Lecture notes in computer science ;"',
query time: 0.36s
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)
Call Number: Q - Science
Genre: Festschriften
Literary Form: Non fiction
Institution
Collection
Format
Subject
22
Computer science
18
Software engineering
17
Formal methods (Computer science)
16
Artificial intelligence
15
Computer science Mathematics
13
Computer logic
more ...
9
Computer security
8
Computer programming
7
Data encryption (Computer science)
7
Logic, Symbolic and mathematical
7
Programming languages (Electronic computers)
6
Computer algorithms
5
Algorithms
5
Computational complexity
5
Formal languages
5
Logic programming
4
Computer multitasking
4
Computer software Verification
4
Logic design
4
Rewriting systems (Computer science)
3
Data structures (Computer science)
3
Database management
3
Databases
3
Electronic data processing
3
Information theory
3
Internet Security measures
3
Parallel processing (Electronic computers)
2
Combinatorial analysis
2
Computer networks
2
Computer programs
see all ...
less ...
Author
SpringerLink (Online service)
3
C2SI (Conference)
3
C2SI (Conference) Rabat, Morocco)
3
Carlet, Claude,
3
Dershowitz, Nachum,
3
El Hajji, Said,
more ...
3
Meseguer, José
3
Meseguer, José,
3
Nitaj, Abderrahmane,
3
Souidi, El Mamoun,
2
Blass, Andreas, 1947-
2
Börger, E. 1946-
2
Calude, Cristian, 1952-
2
Chaueka, Yaacov,
2
De Nicola, Rocco,
2
Dershowitz, Nachum
2
Grumberg, Orna
2
Guttman, Joshua D.,
2
Hankin, Chris,
2
He, Jifeng, 1943-
2
Hoare, C. A. R. 1934-
2
Jones, C. B. 1944-
2
Liu, Zhiming, 1961-
2
Naccache, David, 1967-
2
Nissan, Ephraim,
2
Olderog, E.-R.,
2
Panangaden, P.
2
Peters, James F.
2
Talcott, Carolyn L.,
2
Voronkov, Andrei, 1959-
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication