Resultados
|
|
|
|
|
|
|
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St. Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.) por TABLEAUX 2000 (2000 : St. Andrews, Escocia) | Dyckhoff, Roy, 1948- [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1847.Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 T33 2000.
|
|
|
|
|
|
|
|
|
|
|
|
Avances en control, instrumentación virtual, sistemas digitales, arquitectura de computadoras, robótica y procesamiento de señales / editores del volumen Sergio Suárez Guerra, Carlos Aguilar Ibáñez, Jesús Figueroa Nazuno por Suárez Guerra, Sergio [editor] | Aguilar Ibáñez, Carlos [editor] | Figueroa Nazuno, Jesús [editor]. Series Research on computing science ; 9Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: México : IPN, Centro de Investigacion en Computación, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TJ213 A93.
|
|
|
|
The B-book : assigning programs to meanings / J.-R. Abrial por Abrial, Jean-Raymond [autor] | University of Cambridge. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Cambridge ; New York : Cambridge University Press, 1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73B155 A37 1996.
|
|
|
|
|
|
|
|
Basic computer coding : Python / Lavinia Iancu por Iancu, Lavinia [autor]. Edición: 3rd editionTipo de material: Texto; Forma literaria:
No es ficción Editor: New York, NY : 3G E-Learning, 2024Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Beginning Oracle programming / Sean Dillon ... [y otros.] por Dillon, Sean [colaborador]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berkeley, California : Apress, c2002Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA76.9D3 B4374, ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Biblioteca de informatica Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: México : Limusa, 1990Disponibilidad: Ítems disponibles para préstamo: Libros (7)Clasificación: QA76 B52, ...
|
|
|
|
|
|
|
|
Big Book of internet host standards / comp. by Pete Loshin por Loshin, Peter [compilador]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: San Diego, California : Academic : Morgan Kaufmann, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5105.55 B51.
|
|
|
|
Big book of IPv6 addressing RFCs / comp. by Peter H. Salus por Salus, Peter H [compilador]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: San Diego, California : Academic, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5105.585 B54.
|
|
|
|
|
