Su búsqueda retornó 3 resultados.

Resultados
		Foundational and Practical Aspects of Resource Analysis [recurso electrónico] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers / edited by Marko Eekelen, Olha Shkaravska. por Eekelen, Marko [editor.] \| Shkaravska, Olha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6324Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Foundational and Practical Aspects of Resource Analysis [recurso electrónico] : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / edited by Marko van Eekelen, Ugo Dal Lago. por van Eekelen, Marko [editor.] \| Dal Lago, Ugo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9964Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Interactive Theorem Proving [recurso electrónico] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. por Eekelen, Marko [editor.] \| Geuvers, Herman [editor.] \| Schmaltz, Julien [editor.] \| Wiedijk, Freek [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6898Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.

Con tecnología Koha