Zoeken

U zocht naar: Auteur Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille. Filter Auteur: Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille. weghalen Taal Engels Filter Taal: Engels weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Test Pattern Generation using Boolean Proof Engines
thumbnail
Full text!
Auteur:
Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille.; Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Tille, Daniel
Uitgever:
Springer Netherlands 2009
Type:
e-book