Showing 1 - 20
of 78
for search: '"Engineering."',
query time: 0.15s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer logic
77
Software engineering
41
Computer science
29
Artificial intelligence
27
Programming languages (Electronic computers)
24
Logic, Symbolic and mathematical
more ...
15
Computer organization
13
Computer programming
13
Computer science Mathematics
13
Computer security
12
Algorithms
12
Application software Security measures
12
Computers, Special purpose
11
Computer networks
9
Computer simulation
9
Management information systems
6
Computer software Verification
6
Logic programming
5
Computer system failures
5
Formal methods (Computer science)
5
Mathematical statistics
4
Database management
4
Electronic data processing
4
Rule-based programming
3
Computer programs Verification
3
Logic design
2
Computer software Testing
2
Computers
2
Logic
2
Natural computation
see all ...
less ...
Author
78
SpringerLink (Online service)
11
SAFECOMP (Conference)
7
Bitsch, Friedemann,
6
Bitsch, Friedemann
5
DECSoS (Workshop)
5
EPEW (Workshop)
more ...
5
RuleML+RR (Joint Conference)
5
Vorozhtsov, E. V. 1946-
5
WAISE (Workshop)
4
IMBSA (Symposium)
4
International Workshop on Computer Algebra in Scientific Computing
4
Schoitsch, Erwin,
3
DepDevOps (Workshop)
3
Guiochet, Jérémie
3
Iacono, Mauro, 1975-
3
Koepf, Wolfram,
3
Roman, Dumitru (Military journalist),
3
SASSUR (Workshop)
3
Schoitsch, Erwin
3
Seiler, Werner M.
3
Soylu, Ahmet,
3
USDAI (Workshop)
3
Voronkov, Andrei, 1959-
2
ASMTA (Conference)
2
Ahrendt, Wolfgang,
2
Ballarini, Paolo,
2
Beckert, Bernhard,
2
Blass, Andreas, 1947-
2
Boulier, François
2
Bozzano, Marco,
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication