Showing 1 - 20
of 174
for search: '"Lecture notes in computer science ;"',
query time: 0.38s
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 programming
Institution
Collection
Format
Subject
Computer programming
64
Programming languages (Electronic computers)
39
Software engineering
25
Computer science
18
Artificial intelligence
16
Machine theory
more ...
15
Computer logic
15
Computer science Mathematics
14
Algorithms
10
Logic, Symbolic and mathematical
7
Computer networks
7
Formal methods (Computer science)
7
Intelligent agents (Computer software)
6
Application program interfaces (Computer software)
6
Computer architecture
6
High performance computing
6
Rewriting systems (Computer science)
5
Computer algorithms
5
Computer software Development
5
Electronic data processing Distributed processing
5
Software architecture
5
Systems engineering
4
Automatic theorem proving
4
Computable functions
4
Computer systems
4
Formal languages
4
Logic programming
3
Multiagent systems
2
Computer simulation
2
Computer software Verification
see all ...
less ...
Author
SpringerLink (Online service)
19
European Symposium on Programming
17
ETAPS (Conference)
16
International Static Analysis Symposium
12
APLAS (Symposium)
11
International Colloquium on Automata, Languages, and Programming
more ...
9
Symposium on Mathematical Foundations of Computer Science (1972- )
8
Voronkov, Andrei, 1959-
6
ICTAC (Colloquium)
6
OpenSHMEM (Workshop)
6
ProMAS (Conference)
6
UTP (Symposium)
5
COORDINATION (Conference)
5
International Andrei Ershov Memorial Conference
5
International Conference on Rewriting Techniques and Applications
5
International Federated Conferences on Distributed Computing Techniques
5
WACCPD (Workshop)
4
Imam, Neena,
4
International Andrei Ershov Memorial Conference Novosibirsk, Russia)
4
Liu, Zhiming, 1961-
4
Virbitskaite, Irina
4
Zhu, Huibiao,
3
Bordini, Rafael H.
3
Chandrasekaran, Sunita,
3
Juckeland, Guido,
3
OpenSHMEM (Workshop) Annapolis, Md.)
3
Pophale, Swaroop,
3
RuleML+RR (Joint Conference)
3
SAS (Symposium)
3
Sgall, Jiří, 1965-
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication