Showing 1 - 20
of 29
for search: '"Computer software"',
query time: 0.25s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: CAV (Conference)
Institution
Collection
Format
Subject
Author
CAV (Conference)
29
SpringerLink (Online service)
3
CAV (Conference) Paris, France)
2
CAV (Conference) Edinburgh, Scotland)
2
CAV (Conference) Haifa, Israel)
2
CAV (Conference) Heidelberg, Germany)
more ...
2
CAV (Conference) Los Angeles, Calif.)
2
CAV (Conference) Online)
2
CAV (Conference) Oxford, England)
2
CAV (Conference) San Francisco, Calif.)
2
CAV (Conference) Toronto, Ont.)
2
Chaudhuri, Swarat,
2
Chockler, Hana,
2
Enea, Constantin
2
Farzan, Azadeh,
2
Federated Logic Conference
2
Kroening, Daniel,
2
Kuncak, Viktor,
2
Lahiri, Shuvendu,
2
Lal, Akash
2
Leino, K. Rustan M.,
2
Majumdar, Rupak,
2
Păsăreanu, Corina S.,
2
Shoham, Sharon,
2
Silva, Alexandra
2
Vizel, Yakir,
2
Wang, Chao, 1985-
2
Weissenbacher, Georg,
1
Ball, Thomas, 1965-
1
Biere, Armin,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication