Showing 1 - 20
of 183
for search: '"Lecture notes in computer science ;"',
query time: 0.37s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer logic
76
Software engineering
53
Computer science
42
Artificial intelligence
32
Computer science Mathematics
32
Programming languages (Electronic computers)
more ...
29
Logic, Symbolic and mathematical
19
Logic programming
15
Computer organization
15
Computer programming
15
Logic
14
Computer security
13
Algorithms
13
Computers, Special purpose
13
Reversible computing
12
Application software Security measures
12
Computer software Development
11
Automatic theorem proving
11
Computer networks
11
Formal methods (Computer science)
9
Computational linguistics
9
Management information systems
8
Computer simulation
8
Programming languages (Electronic computers) Semantics
7
Intelligent agents (Computer software)
5
Computer software Verification
5
Computer system failures
5
Mathematical statistics
4
Database management
4
Electronic data processing
see all ...
less ...
Author
SpringerLink (Online service)
13
RC (Workshop : Reversible computation)
11
LOPSTR (Symposium)
11
SAFECOMP (Conference)
10
IJCAR (Conference)
7
Bitsch, Friedemann,
more ...
7
CLIMA (Workshop)
7
International Tbilisi Symposium on Logic, Language, and Computation
7
WRLA (Conference)
6
Bitsch, Friedemann
6
European Summer School in Logic, Language, and Information
5
DECSoS (Workshop)
5
EPEW (Workshop)
5
RuleML+RR (Joint Conference)
5
Vorozhtsov, E. V. 1946-
5
WAISE (Workshop)
4
ETAPS (Conference)
4
IMBSA (Symposium)
4
International Workshop on Computer Algebra in Scientific Computing
4
Nerode, Anil, 1932-
4
Schoitsch, Erwin,
4
Voronkov, Andrei, 1959-
4
Workshop on Logic, Language, Information and Computation
3
Bubel, Richard,
3
DepDevOps (Workshop)
3
Guiochet, Jérémie
3
Hähnle, Reiner,
3
ICTAC (Colloquium)
3
Iacono, Mauro, 1975-
3
International Conference on Deontic Logic in Computer Science
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication