Zoeken

U zocht naar: Auteur Eekelen, Marko Filter Auteur: Eekelen, Marko weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Foundational and Practical Aspects of Resource Analysis
thumbnail
Full text!
Auteur:
Eekelen, Marko; Kanade, Takeo; Shkaravska, Olha; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
2. Foundational and Practical Aspects of Resource Analysis
thumbnail
Full text!
Auteur:
Eekelen, Marko van. Dal Lago, Ugo.; Dal Lago, Ugo
Uitgever:
Springer International Publishing 2016
Type:
e-book
3. 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
4. Foundational and Practical Aspects of Resource Analysis
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Peña, Ricardo; Shkaravska, Olha; van Eekelen, Marko
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book