Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por autor: Wirsing, Martin.
Mostrando 1-2 de 2 resultados, ordenados por
 
Hung, Dang.
1. Theoretical Aspects of Computing ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings / edited by Dang Hung, Martin Wirsing. 2005 e-book SpringerLink, via BECYT
 
Poernomo, Iman Hafiz.
2. Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. 2005 e-book SpringerLink, via BECYT

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos