Showing 1 - 20
of 233
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer programming
72
Programming languages (Electronic computers)
49
Software engineering
28
Computer science
19
Artificial intelligence
18
Algorithms
more ...
18
Computer science Mathematics
16
Computer logic
16
Machine theory
10
Computer architecture
10
Logic, Symbolic and mathematical
9
Computer networks
8
Computer software Development
8
Formal methods (Computer science)
7
Electronic data processing Distributed processing
7
Intelligent agents (Computer software)
6
Application program interfaces (Computer software)
6
Computer algorithms
6
High performance computing
6
Rewriting systems (Computer science)
5
Software architecture
5
Systems engineering
4
Automatic theorem proving
4
Computable functions
4
Computer systems
4
Computers, Special purpose
4
Formal languages
4
Logic programming
4
Open source software
4
Python (Computer program language)
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
Bjørner, D. 1937-
3
Bordini, Rafael H.
3
Chandrasekaran, Sunita,
3
IFIP WG 2.13 International Conference on Open Source Systems
3
Juckeland, Guido,
3
OpenSHMEM (Workshop) Annapolis, Md.)
3
Pophale, Swaroop,
3
RuleML+RR (Joint Conference)
see all ...
less ...
Language
Literary Form
Era
Year of Publication