Showing 1 - 20
of 73
for search: '"Engineering."',
query time: 0.16s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Format
Subject
Computer programming
66
Software engineering
23
Programming languages (Electronic computers)
22
Computer science
13
Artificial intelligence
13
Computer logic
more ...
10
Logic, Symbolic and mathematical
7
Computer software Development
6
Computer networks
5
Systems engineering
4
Computer architecture
4
Formal methods (Computer science)
3
Electronic data processing
3
Open source software
2
Algorithms
2
C++ (Computer program language)
2
Computer programmers
2
Computer software Verification
2
Computers
2
Computers, Special purpose
2
Electronic data processing Distributed processing
2
Engineering Data processing
2
Information theory
2
Logic programming
2
Middleware
2
Multiagent systems
2
User interfaces (Computer systems)
1
Application software
1
Brain-computer interfaces
1
C++/CLI (Computer program language)
see all ...
less ...
Author
67
SpringerLink (Online service)
7
Voronkov, Andrei, 1959-
6
International Static Analysis Symposium
5
International Andrei Ershov Memorial Conference
4
International Andrei Ershov Memorial Conference Novosibirsk, Russia)
4
Virbitskaite, Irina
more ...
3
Bjørner, D. 1937-
3
Liu, Zhiming, 1961-
3
RuleML+RR (Joint Conference)
3
SAS (Symposium)
3
ScienceDirect (Online service)
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
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,
see all ...
less ...
Language
Genre
Literary Form
Call Number
Year of Publication