Vista normal
Vista MARC
Categories, types and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Guiseppe Longo
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 0-262-01125-5
- QA 76.7 A76.1991
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 76.7 A76.1991 (Navegar estantería(Abre debajo)) | Disponible | 182712 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA 76.65 V57.1990 Visual languages and visual programming / | QA 76.7 A44.1995 Natural language understanding / | QA 76.7 A73.2015 Aprenda a programar con Lazarus / | QA 76.7 A76.1991 Categories, types and structures : an introduction to category theory for the working computer scientist / | QA 76.7.C25 M328 COBOL : programación estructurada / | QA 76.7.C25 M328 COBOL : programación estructurada / | QA 76.7.C25 M328 COBOL : programación estructurada / |
Incluye índice.