Showing 1 - 20
of 188
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Format
Subject
Computer programming
60
Programming languages (Electronic computers)
35
Software engineering
21
Computer science
19
Machine theory
17
Artificial intelligence
more ...
15
Computer science Mathematics
12
Algorithms
10
Computer logic
9
Computer architecture
9
Formal languages
7
Computer networks
6
Application program interfaces (Computer software)
6
Computer algorithms
6
Computer software Development
6
Formal methods (Computer science)
6
High performance computing
6
Intelligent agents (Computer software)
6
Logic, Symbolic and mathematical
5
Electronic data processing Distributed processing
5
Rewriting systems (Computer science)
5
Systems engineering
4
Automatic theorem proving
4
Computable functions
4
Computer systems
4
Computers, Special purpose
4
Logic programming
4
Open source software
4
Software architecture
3
Multiagent systems
see all ...
less ...
Author
175
SpringerLink (Online service)
19
European Symposium on Programming
17
ETAPS (Conference)
16
International Static Analysis Symposium
14
International Colloquium on Automata, Languages, and Programming
12
APLAS (Symposium)
more ...
9
Symposium on Mathematical Foundations of Computer Science (1972- )
7
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
ScienceDirect (Online service)
4
Virbitskaite, Irina
3
Bordini, Rafael H.
3
Chandrasekaran, Sunita,
3
European Association for Theoretical Computer Science
3
IFIP WG 2.13 International Conference on Open Source Systems
3
Juckeland, Guido,
3
Liu, Zhiming, 1961-
3
OpenSHMEM (Workshop) Annapolis, Md.)
3
Pophale, Swaroop,
3
RuleML+RR (Joint Conference)
see all ...
less ...
Language
Genre
Literary Form
Era
Call Number
Year of Publication