Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Refinar su búsqueda

Su búsqueda recuperó 136 resultados.

Ordenar
Resultados
ACM transactions on programming languages and systems.

por Association for Computing Machinery.

Series ACM series on systems and programmingTipo de material: Recurso continuo Recurso continuo; Formato: impresión grande ; Tipo de descriptor de recurso continuo: periódico Idioma: Inglés Editor: New York, N.Y. : Association for Computing Machinery, 1979-Otro título: Association for Computing Machinery transactions on programming languages and systems.Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (72).

Ada : A first course in programming and software engineering / David c. c. boyer, kevin j. maciunas, Michael j. oudshoorn

por Boyer, David Charles Clifford [autor] | Maciunas, Kevin J [autor] | Oudshoorn, Michael J [autor].

Series International computer science seriesTipo de material: Texto Texto; Forma literaria: No es ficción Editor: Sydney : Addison-wesley, c1992Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.6 B672, ...

Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm

por Goguen, Joseph [autor] | Malcolm, Grant [autor] | Massachusetts Institute of Technology.

Series Foundations of computingTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Cambridge, Massachusetts. : The MIT Press, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.7 G64 1996.

Algebraic theory of processes / Matthew hennessy

por Hennessy, Matthew [autor] | Massachusetts Institute of Technology.

Series Mit press series in the foundations of computingTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge, massachusetts : The MIT Press, c1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9M35 H45.

AMPL : a modeling language for mathematical programming / Robert Fourer, David M. Gay, Brian W. Kernigham

por Fourer, Robert [autor] | Gay, David M [autor] | Kernighan, Brian W [autor].

Series Scientific press seriesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Danvers, Massachusetts : Boyd & Fraser, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA402.5 F69, ...

AMPL : a modeling language for mathematical programming : with AMPL plus student edition for microsoft windows/ Robert Fourer, David M. Gay, Brian W. Kernigham

por Fourer, Robert [autor] | Gay, David M [autor] | Kernighan, Brian W [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Belmont, California : Duxbury, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA402.5 F693, ...

Artificial intelligence and mathematical theory of computation : Papers in honor of john mccarthy / Ed. by vladimir lifschitz

por Mccarthy, John, 1927- [editor] | Lifschitz, Vladimir [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boston : Academic, c1991Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q335.5 A7611.

Attribute grammars and their applications : International conference waga, paris, france, setember 19-21, 1990 : Proceedings / P. deransart, m. jourdan, ed.

por Deransart, Pierre [editor] | Jourdan, Martin, 1959- [editor] | International Workshop On Attribute Grammars And Their Applications (1990 : Paris, Francia).

Series Lecture notes in computer science ; 461Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.7 A77 1990.

Automata, languages and programming : 27th International Colloquium, ICALP 2000 , Geneva, Switzerland, july 2000 : proceedings / Ugo Montanari, Jose D. P. Rolim, Emo Welzl, eds.

por Montanari, Ugo [editor] | Rolim, Jose D. P [editor] | Welzl, Emo [editor] | International Colloquium on Automata Languages and Programming (27 : 2000 : Genova, Suiza ).

Series Lecture notes in computer science ; 1853Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 A87 2000.

Automata, languages and programming : 28th International Colloquium, ICALP 2001 , Crete, july 8-12, 2001 : proceedings / Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, eds.

por ICALP 2001 (28 : 2001 : c Crete, Grecia) | Orejas, Fernando [editor] | Spirakis, Paul G, 1955- [editor] | Leeuwen, J. van (Jan), 1850-1924 [editor].

Series Lecture notes in computer science ; 2076Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 A87 2001.

Avances en ciencias de la computación / Juan Luis Díaz de León Santiago, Germán González Santos, Jesús Figueroa Nazuno, editores

por Díaz de León Santiago, Juan Luis [editor] | González Santos, Germán [editor] | Figueroa Nazuno, Jesús [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: México : IPN, Centro de Investigación en Computación, 2003Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76 A8763.

The B-book : assigning programs to meanings / J.-R. Abrial

por Abrial, Jean-Raymond [autor] | University of Cambridge.

Tipo de material: Texto 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.

A comparative study of programming languages.

por Higman, Bryan [autor].

Series MacDonald computer monographsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : MacDonald, 1967Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.5 H5.

Computer graphics : A programming approach / Steven harrington

por Harrington, Steven [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Auckland, McGraw-Hill International, [nueva zelanda] ; mexico : c1983Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: T385 H36, ...

Computer languages / By the editors of time-life books

Series Understanding computersTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Alexandria, virginia : Time life, c1986Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.7 C64.

Computer programming and formal systems / Edited by p. braffort and d. hirschberg.

por Braffort, P. (Paul) [autor].

Series Studies in logic and the foundations of mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : North-holland, 1963Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76 B7.

Computer science : A modern introduction / Les goldschlager, andrew lister

por Goldschlager, Les, 1951- [autor] | Lister, Andrew [autor].

Series Prentice-Hall International series in computer scienceEdición: 2Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Prentice Hall, 1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 G62 1988.

Computer systems application / Viktor Borodin

por Borodin, Viktor [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Burlington, On, Canada : Toronto Academic Press, [2024]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76 B6447.

Concepts in programming languages / John C. Mitchell

por Mitchell, John C [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Cambridge, United Kingdom : Cambridge University Press, 2003Disponibilidad: Ítems disponibles para préstamo: Libros (10)Clasificación: QA76.6 M59, ...

Concepts of programming languages / Robert W. Sebesta

por Sebesta, Robert W [autor].

Edición: 3rd editionTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading, Mass. : Addison-Wesley, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.7 S43 1996.

Páginas
¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad