Zoeken

U zocht naar: Auteur Strichman, Ofer Filter Auteur: Strichman, Ofer weghalen Taal Engels Filter Taal: Engels weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Decision Procedures
thumbnail
Full text!
Auteur:
Kroening; Strichman, Ofer
Uitgever:
Springer Berlin Heidelberg 2016
Type:
e-book
2. Theory and Applications of Satisfiability Testing – SAT 2010
thumbnail
Full text!
Auteur:
Strichman, Ofer; Kanade, Takeo; Szeider, Stefan; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
3. Decision Procedures
thumbnail
Full text!
Auteur:
Kroening, Daniel; Brauer, W.; Hromkovič, J.; Strichman, Ofer; Bryant, R. E.; Rozenberg, G.
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book