Showing 1 - 11
of 11
for search: '',
query time: 0.10s
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: Computer algorithms
Subject: Computer software Verification
Institution
Collection
Format
Author
11
SpringerLink (Online service)
9
SAT (Conference)
1
Beyersdorff, Olaf,
1
Cimatti, Alessandro
1
Creignou, Nadia,
1
Egly, Uwe, 1960-
more ...
1
Federated Logic Conference
1
Gaspers, Serge,
1
Heule, Marijn, 1979-
1
Janota, Mikoláś̌,̌
1
Järvisalo, Matti,
1
Le Berre, Daniel,
1
Lynce, Inês,
1
Lī, Čhư ̄Min
1
Manyà, Felip
1
Pulina, Luca
1
SAT (Conference) Austin, Tex.) Austin, Texas)
1
SAT (Conference) Barcelona, Spain ; Online)
1
SAT (Conference) Bordeaux, Nouvelle-Aquitaine, France)
1
SAT (Conference) Helsinki, Finland)
1
SAT (Conference) Lisbon, Portugal)
1
SAT (Conference) Melbourne, Vic.)
1
SAT (Conference) Online)
1
SAT (Conference) Oxford, England)
1
SAT (Conference) Vienna, Austria)
1
SAT 2011
1
SAT 2011 Ann Arbor, Mich.)
1
SAT 2012
1
SAT 2012 Trento, Italy)
1
Sakallah, Karem A.
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication