Showing 1 - 20
of 184
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
Remove Filters
Author: *-*
Call Number: Q - Science
Genre: Conference papers and proceedings
Subject: Computer programming
Institution
Format
Subject
Computer programming
59
Programming languages (Electronic computers)
35
Software engineering
20
Computer science
19
Machine theory
17
Artificial intelligence
more ...
15
Computer science Mathematics
12
Algorithms
10
Computer logic
9
Formal languages
8
Computer architecture
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
Computer networks
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
Logic programming
4
Open source software
4
Software architecture
3
Computers, Special purpose
3
Multiagent systems
see all ...
less ...
Author
173
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