Resultados
|
|
1.
|
Foundational and Practical Aspects of Resource Analysis : 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 (Servicio en línea)
Series Lecture Notes in Computer Science ; 6324
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / edited by Ricardo Peña, Marko Eekelen, Olha Shkaravska. por
- Peña, Ricardo [editor.]
- Eekelen, Marko [editor.]
- Shkaravska, Olha [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7177
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Interactive Theorem Proving : 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 (Servicio en línea)
Series Lecture Notes in Computer Science ; 6898
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
