Showing 1 - 20
of 580
for search: '',
query time: 0.10s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Subject
Computer programming
112
Programming languages (Electronic computers)
68
Software engineering
46
Computer science
45
Python (Computer program language)
34
Open source software
more ...
31
Java (Computer program language)
26
Artificial intelligence
23
Web site development
21
Algorithms
21
Computer software Development
20
Computer science Mathematics
19
Application software Development
19
Machine theory
16
Computer logic
14
Computer algorithms
14
Database management
13
Web sites Authoring programs
11
Application software
11
Computer architecture
11
Computer networks
11
Electronic data processing Distributed processing
11
Logic, Symbolic and mathematical
10
Electronic data processing
10
Machine learning
9
Application program interfaces (Computer software)
9
Formal languages
9
High performance computing
8
Computer software
8
Formal methods (Computer science)
see all ...
less ...
Author
233
SpringerLink (Online service)
224
SpringerLink (Online Service)
50
ScienceDirect (Online service)
19
European Symposium on Programming
17
ETAPS (Conference)
16
EBSCOhost
more ...
16
International Static Analysis Symposium
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
Olsson, Mikael (Web programmer),
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
Alchin, Marty,
3
Bjørner, D. 1937-
see all ...
less ...
Language
Genre
188
Conference papers and proceedings
14
Software
10
Festschriften
9
Handbooks and manuals
4
Academic theses
4
Dictionaries
more ...
3
Problems and exercises
2
Technical reports
1
Congresses
1
Electronic books
1
Interviews
1
Literature
1
Mine maps
1
Programmed instructional materials
1
Study guides
1
Textbooks
see all ...
less ...
Literary Form
Call Number
Year of Publication