Search

You searched for: Auteur Eekelen, Marko Remove constraint Auteur: Eekelen, Marko
1 - 4 of 4
Number of results to display per page

Search Results

1. Foundational and Practical Aspects of Resource Analysis
thumbnail
Full text!
Author:
Eekelen, Marko; Kanade, Takeo; Shkaravska, Olha; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
2. Foundational and Practical Aspects of Resource Analysis
thumbnail
Full text!
Author:
Eekelen, Marko van. Dal Lago, Ugo.; Dal Lago, Ugo
Publisher:
Springer International Publishing 2016
Format:
e-book
3. Interactive Theorem Proving
thumbnail
Full text!
Author:
Eekelen, Marko; Geuvers, Herman; Kanade, Takeo; Schmaltz, Julien; Wiedijk, Freek
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
4. Foundational and Practical Aspects of Resource Analysis
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Peña, Ricardo; Shkaravska, Olha; van Eekelen, Marko
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book