Showing 1 - 20
of 180
for search: '"Lecture notes in computer science ;"',
query time: 0.30s
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
Literary Form: Non fiction
Subject: Computer logic
Institution
Collection
Format
Subject
Computer logic
76
Software engineering
54
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
14
Computer security
14
Logic
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
Management information systems
8
Computer simulation
8
Programming languages (Electronic computers) Semantics
7
Computational linguistics
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
Nerode, Anil, 1932-
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
LFCS (Symposium)
4
LFCS (Symposium) Deerfield Beach, Fla.)
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)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication