Showing 1 - 15
of 15
for search: '"Software engineering"',
query time: 0.20s
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: Programming languages (Electronic computers)
Institution
Collection
Format
Subject
Artificial intelligence
Programming languages (Electronic computers)
15
Software engineering
10
Computer science
10
Logic, Symbolic and mathematical
8
Computer logic
more ...
6
Computer programming
3
Computer organization
3
Computer software Verification
3
Computers
2
Algorithms
2
Computer networks
2
Computer programs Verification
2
Computer simulation
2
Formal methods (Computer science)
2
Logic programming
1
Application software
1
Computer software Testing
1
Electronic data processing
1
Functional programming (Computer science)
1
Logic design
1
Operating systems (Computers)
1
Rule-based programming
1
Semantic Web
1
Software architecture
see all ...
less ...
Author
15
SpringerLink (Online service)
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
Voronkov, Andrei, 1959-
1
Aceto, Luca,
1
Ahrendt, Wolfgang,
more ...
1
Anna Ingólfsdóttir, 1952-
1
Arbel, Eli,
1
Bacci, Giorgio,
1
Bacci, Giovanni (Computer scientist),
1
Barthe, Gilles, 1967-
1
Beckert, Bernhard,
1
Bloem, Roderick P.,
1
Bubel, Richard,
1
Costantini, Stefania,
1
Davis, Martin,
1
Deshmukh, Jyotirmoy,
1
ETAPS (Conference)
1
European Symposium on Programming
1
European Symposium on Programming Saarbrücken, Germany)
1
Fehnker, Ansgar,
1
Franconi, Enrico,
1
Fuji International Symposium on Functional and Logic Programming
1
Fuji International Symposium on Functional and Logic Programming Online)
1
Furia, Carlo A., 1979-
1
Gurfinkel, Arie,
1
Hähnle, Reiner,
1
International Conference on Integrated Formal Methods
1
International Conference on Integrated Formal Methods Maynooth, Ireland)
1
Kalenkova, Anna
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication