Logic for applications / Anil Nerode, Richard A. Shore.
Tipo de material:
TextoSeries Graduate texts in computer scienceDetalles de publicación: New York : Springer, 1997Edición: 2nd edDescripción: xiii, 456 p. : il. ; 24 cmISBN: 0387948937 (New York hc acid free paper); 9780387948935Tema(s): Computer science -- Mathematics | Logic, Symbolic and mathematicalClasificación LoC:QA76.9.M35 | N47 1997
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Central Tijuana | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 1 | Disponible | TIJ113496 | |
|
Libro
|
Biblioteca Central Tijuana | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 2 | Disponible | TIJ113497 | |
|
Libro
|
Biblioteca Central Tijuana | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 3 | Disponible | TIJ113498 | |
|
Libro
|
Biblioteca Central Tijuana | Acervo General | QA76.9.M35 N47 1997 (Browse shelf(Abre debajo)) | 4 | Disponible | TIJ124390 | |
|
Libro
|
Valle de las Palmas | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 1 | Disponible | PAL013035 |
Navegando Biblioteca Central Tijuana Estantes, Código de colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| QA76.9.I52 H43 2019 Data visualization : a practical introduction / | QA76.9.I52 M44 2019 Mastering Tableau 2019.1 : an expert guide to implementing advanced business intelligence and analytics with Tableau 2019.1 / | QA76.9.I52 S54 2020 Interactive web-based data visualization with R, plotly, and shiny / | QA76.9.M35 N47 1997 Logic for applications / | QA76.9.O35 A53 2015 Object-Oriented Technology / | QA76.9.O35 B53 2005 Object-oriented modeling and design with UML / | QA76.9 .O35 L3718 2003 UML y patrones : una introducción al análisis y diseño orientado a objetos y al proceso unificado / |
Incluye referencias bibliográficas (p. 409-438) e índice.
