Showing 1 - 20
of 67
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
Format: eBook
Institution: Colorado Mesa University
Subject: Computer programming
Subject: Software engineering
Institution
Collection
Format
Subject
Computer programming
Software engineering
22
Programming languages (Electronic computers)
18
Computer science
13
Artificial intelligence
13
Computer logic
more ...
10
Logic, Symbolic and mathematical
6
Computer networks
6
Computer software Development
4
Computer architecture
4
Formal methods (Computer science)
4
Open source software
4
Web site development
3
Electronic data processing
3
User interfaces (Computer systems)
2
Algorithms
2
C++ (Computer program language)
2
Computer software Verification
2
Computers
2
Computers, Special purpose
2
Electronic data processing Distributed processing
2
Information theory
2
Internet programming
2
JavaScript (Computer program language)
2
Logic programming
2
Middleware
2
Multiagent systems
1
Application software
1
Application software Development
1
Brain-computer interfaces
see all ...
less ...
Author
65
SpringerLink (Online service)
6
International Static Analysis Symposium
3
Bjørner, D. 1937-
3
Liu, Zhiming, 1961-
3
RuleML+RR (Joint Conference)
3
SAS (Symposium)
more ...
3
Voronkov, Andrei, 1959-
2
ACM/IFIP/USENIX International Middleware Conference
2
Dmitrović, Slobodan,
2
ETAPS (Conference)
2
European Symposium on Programming
2
ICTAC (Colloquium)
2
Roman, Dumitru (Military journalist),
2
ScienceDirect (Online service)
2
Seidl, Helmut (Computer scientist)
2
Woodcock, Jim,
2
Zhu, Huibiao,
1
ACM/IFIP/USENIX International Middleware Conference Bangalore, India)
1
ACM/IFIP/USENIX International Middleware Conference Urbana, Ill.)
1
APLAS (Symposium)
1
APLAS (Symposium) Seoul, Korea)
1
Abildskov, Johan,
1
Abran, Alain, 1949-
1
Ali, Raian,
1
Anjorin, Anthony,
1
Araki, Keijirō, 1954-
1
Babur, Önder,
1
Bacon, Jean, 1942-
1
Baldoni, Matteo, 1968-
1
Baresi, Luciano,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication