Zoeken

U zocht naar: Auteur Weidenbach, Christoph Filter Auteur: Weidenbach, Christoph weghalen Type e-book Filter Type: e-book weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Reasoning
thumbnail
Full text!
Auteur:
Stéphane Demri, Deepak Kapur, Christoph Weidenbach; Demri, Stéphane; Kapur, Deepak; Weidenbach, Christoph
Uitgever:
Springer International Publishing 2014
Type:
e-book
2. Programming Logics
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Kittler, Josef; Weidenbach, Christoph
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book