Su búsqueda obtuvo 6 resultados.

Ordenar
Resultados
Computational geometry : and introduction / Franco P. Preparata, Michael Ian Shamos

por Preparata, Franco P | Shamos, Michael Ian.

Series Texts and monographs in computer scienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Springer-Verlag, cop.1985Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 514/PRE/com. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-514/PRE/com. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 514/PRE/com.

Compiler construction / William M. Waite, Gerhard Goos

por Waite, William M | Goos, Gerhard.

Series Texts and monographs in computer scienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York [etc.] : Springer-Verlag, 1984Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.068/WAI/com.

Object-oriented database programming / Suad Alagic

por Alagic, Suad.

Series Texts and Monographs in computer scienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York [etc.] : Springer-Verlag, 1989Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Deposito-681.3.06/ALA/obj.

Specification and transformation of programs : a formal approach to software development

por Partsch, Helmunt A.

Series Texts and monographs in computer scienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berling : Springer-Verlag, 1990Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/PAR/spe.

Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten

por Dijkstra, Edsger W | Scholten, Carel S.

Series Texts and monographs in computer scienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York [etc.] : Springer-Verlag, cop. 1990Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06/DIJ/pre.

The design of well-structured and correct programs / Suad Alagic, Michael A. Arbib

por Alagic, Suad | Arbib, Michael A.

Series Texts and monographs in computer scienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York [etc.] : Springer-Verlag, cop. 1978Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Deposito-681.3.06/ALA/des.

Páginas

Con tecnología Koha