Showing 1 - 20
of 29
for search: '"Software engineering"',
query time: 0.27s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Artificial intelligence
Computer logic
29
Software engineering
17
Computer science
14
Logic, Symbolic and mathematical
8
Programming languages (Electronic computers)
more ...
7
Computer programming
6
Computer simulation
5
Computer networks
5
Computer system failures
5
Mathematical statistics
4
Computer science Mathematics
4
Computer software Verification
3
Computer programs Verification
3
Database management
3
Electronic data processing
3
Formal methods (Computer science)
2
Logic design
2
Logic programming
2
Natural computation
2
Stochastic processes
1
Algorithms
1
Application software Security measures
1
Automatic control
1
Computer architecture
1
Computer industry
1
Computer organization
1
Computer security
1
Computer software Testing
1
Computer storage devices
see all ...
less ...
Author
29
SpringerLink (Online service)
5
EPEW (Workshop)
3
Iacono, Mauro, 1975-
3
Voronkov, Andrei, 1959-
2
ASMTA (Conference)
2
Ahrendt, Wolfgang,
more ...
2
Ballarini, Paolo,
2
Beckert, Bernhard,
2
Bubel, Richard,
2
Hähnle, Reiner,
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
LPAR (Conference)
2
RuleML+RR (Joint Conference)
2
UCNC (Conference)
2
Ulbrich, Mattias,
1
ASYDE (Workshop)
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Bakhshi, Rena,
1
Barbierato, Enrico,
1
Barbot, Benoît,
1
Benzmüller, Christoph,
1
Bitsch, Friedemann,
1
Björner, Nikolaj
1
Bloem, Roderick P.,
1
CAV (Conference)
1
CAV (Conference) New York, N.Y.)
1
CIFMA (Workshop)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication