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
Remove Filters
Call Number: Q - Science
Subject: Artificial intelligence
Subject: Computer logic
Subject: Software engineering
Institution
Collection
Format
Subject
Artificial intelligence
Computer logic
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