Showing 1 - 20
of 27
for search: '"Software engineering"',
query time: 0.24s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Subject: Computer logic
Subject: Programming languages (Electronic computers)
Institution
Collection
Format
Subject
Computer logic
Programming languages (Electronic computers)
27
Software engineering
14
Computer science
13
Computer organization
12
Computer security
more ...
11
Application software Security measures
11
Logic, Symbolic and mathematical
8
Artificial intelligence
8
Computer programming
6
Computer networks
4
Computer software Verification
3
Algorithms
3
Management information systems
2
Computer programs Verification
2
Computer software Testing
2
Formal methods (Computer science)
1
Application software
1
Computer simulation
1
Computers, Special purpose
1
Data protection
1
Domain-specific programming languages
1
Electronic data processing
1
Functional programming (Computer science)
1
Logic programming
1
Software architecture
see all ...
less ...
Author
27
SpringerLink (Online service)
10
SAFECOMP (Conference)
6
Bitsch, Friedemann
6
Bitsch, Friedemann,
4
DECSoS (Workshop)
4
WAISE (Workshop)
more ...
3
DepDevOps (Workshop)
3
Guiochet, Jérémie
3
Schoitsch, Erwin
3
Schoitsch, Erwin,
3
USDAI (Workshop)
2
Casimiro, Antonio
2
Ferreira, Pedro
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)
2
Ortmeier, Frank
2
Romanovsky, Alexander, 1954-
2
SAFECOMP (Conference) Munich, Germany)
2
SAFECOMP (Conference) Toulouse, France)
2
SAFECOMP (Conference) York, England)
2
SASSUR (Workshop)
2
SENSEI (Workshop)
2
Tonetta, Stefano
2
Troubitsyna, Elena 1970-
2
Voronkov, Andrei, 1959-
1
Abate, Alessandro,
1
Ahrendt, Wolfgang,
1
Arbel, Eli,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication