Showing 1 - 5
of 5
for search: '"Software engineering"',
query time: 0.15s
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
Genre: Conference papers and proceedings
Institution: Colorado Mesa University
Subject: Artificial intelligence
Subject: Computer logic
Subject: Programming languages (Electronic computers)
Institution
Collection
Format
Subject
Artificial intelligence
Computer logic
5
Logic, Symbolic and mathematical
Programming languages (Electronic computers)
5
Software engineering
3
Computer science
more ...
2
Computer networks
2
Computer programming
2
Computer software Verification
1
Algorithms
1
Computer programs Verification
1
Computer software Testing
1
Formal methods (Computer science)
1
Functional programming (Computer science)
1
Logic programming
1
Software architecture
see all ...
less ...
Author
5
SpringerLink (Online service)
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
1
Arbel, Eli,
1
Bloem, Roderick P.,
1
Davis, Martin,
more ...
1
Deshmukh, Jyotirmoy,
1
Fehnker, Ansgar,
1
Fuji International Symposium on Functional and Logic Programming
1
Fuji International Symposium on Functional and Logic Programming Online)
1
LPAR (Conference)
1
LPAR (Conference) Suva, Fiji)
1
McIver, Annabelle,
1
Nakano, Keisuke
1
Ničković, Dejan,
1
Piterman, Nir,
1
RV (Conference)
1
RV (Conference) Online)
1
Sagonas, Konstantinos
1
Voronkov, Andrei, 1959-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication