Zoeken

U zocht naar: Auteur Schmaltz, Julien Filter Auteur: Schmaltz, Julien weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Logic Gates, Circuits, Processors, Compilers and Computers
thumbnail
Full text!
Auteur:
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
Uitgever:
Springer International Publishing 2021
Type:
e-book
2. Interactive Theorem Proving
thumbnail
Full text!
Auteur:
Eekelen, Marko; Geuvers, Herman; Kanade, Takeo; Schmaltz, Julien; Wiedijk, Freek
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book