Showing 1 - 20
of 491
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
Subject
Computer programming
108
Programming languages (Electronic computers)
61
Software engineering
45
Computer science
36
Python (Computer program language)
29
Open source software
more ...
25
Artificial intelligence
22
Java (Computer program language)
21
Algorithms
20
Computer science Mathematics
19
Machine theory
18
Computer software Development
16
Computer logic
12
Application software Development
12
Computer algorithms
11
Database management
11
Logic, Symbolic and mathematical
10
Computer architecture
10
Machine learning
9
Application program interfaces (Computer software)
9
Computer networks
9
Electronic data processing Distributed processing
9
Formal languages
9
High performance computing
8
Formal methods (Computer science)
7
Intelligent agents (Computer software)
6
C++ (Computer program language)
6
Electronic data processing
6
Perl (Computer program language)
6
Rewriting systems (Computer science)
see all ...
less ...
Author
377
SpringerLink (Online service)
47
ScienceDirect (Online service)
19
European Symposium on Programming
17
ETAPS (Conference)
16
EBSCOhost
16
International Static Analysis Symposium
more ...
14
International Colloquium on Automata, Languages, and Programming
12
APLAS (Symposium)
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
Langtangen, Hans Petter, 1962-
5
WACCPD (Workshop)
4
Ebooks Corporation
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
European Association for Theoretical Computer Science
see all ...
less ...
Language
Genre
184
Conference papers and proceedings
26
Software
10
Festschriften
7
Handbooks and manuals
4
Dictionaries
3
Periodicals
more ...
3
Problems and exercises
2
Serial publications
1
Congresses
1
Digital art
1
Electronic books
1
Literature
1
Programmed instructional materials
1
Study guides
1
Textbooks
see all ...
less ...
Literary Form
Call Number
Year of Publication