Showing 1 - 20
of 78
for search: '"Engineering."',
query time: 0.14s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Programming languages (Electronic computers)
76
Software engineering
32
Computer science
27
Computer logic
23
Computer programming
16
Artificial intelligence
more ...
16
Computer organization
14
Logic, Symbolic and mathematical
13
Computer security
11
Application software Security measures
8
Computer networks
6
Logic design
5
Algorithms
5
Computer simulation
5
Computer software Verification
5
Management information systems
5
Operating systems (Computers)
4
Computers
3
C++ (Computer program language)
3
Computer architecture
3
Computer software Testing
3
Computers, Special purpose
3
Formal methods (Computer science)
2
Application software
2
Computer programs Verification
2
Computer system failures
2
Domain-specific programming languages
2
Electronic data processing
2
Information theory
2
Logic programming
see all ...
less ...
Author
76
SpringerLink (Online service)
10
SAFECOMP (Conference)
8
ICSOFT (Conference)
7
Sinderen, Marten J. van, 1958-
6
Bitsch, Friedemann
6
Bitsch, Friedemann,
more ...
6
Maciaszek, Leszek,
4
DECSoS (Workshop)
4
SLE (Conference)
4
WAISE (Workshop)
3
APLAS (Symposium)
3
Cardoso, Jorge, 1970-
3
DepDevOps (Workshop)
3
Guiochet, Jérémie
3
SSBSE (Symposium)
3
Schoitsch, Erwin
3
Schoitsch, Erwin,
3
USDAI (Workshop)
2
Cabello, Enrique,
2
Casimiro, Antonio
2
Combemale, Benoit,
2
Dmitrović, Slobodan,
2
ETAPS (Conference)
2
European Symposium on Programming
2
Ferreira, Pedro
2
ICSOFT (Conference) Online)
2
International Conference on Computer Safety, Reliability, and Security
2
International Conference on Computer Safety, Reliability, and Security Turku, Finland)
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
see all ...
less ...
Language
Genre
Literary Form
Call Number
Year of Publication