Su búsqueda recuperó 12 resultados.

Resultados
		Abstract data types in modula-2 / Rachel Harrison por Harrison, Rachel [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Chichester : J. Wiley, c1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73M63 H37. Hacer reserva Agregar al carrito (remover)
		Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing por Poernomo, Iman Hafiz, 1976- [autor] \| Crossley, John Newsome [autor] \| Wirsing, M. (Martin) [autor]. Series Monographs in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, c2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.54 P63. Hacer reserva Agregar al carrito (remover)
		Algebraic specification / Ed. by j. a. bergstra, j. heering, p. klint por Heering, J [editor] \| Klint, Paul [editor] \| Bergstra, J. A [editor]. Series ACM Press frontier seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : ACM, 1989Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9A23 A54, ... Hacer reserva Agregar al carrito (remover)
		Data abstraction and object-oriented programming in c++ / Keith e. gorlen, sanford m. orlow, Perry s. plexico por Gorlen, Keith E [autor] \| Orlow, Sanford M [autor] \| Plexico, Perry S [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Chichester : J. Wiley, 1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73C153 G67. Hacer reserva Agregar al carrito (remover)
		Data abstraction and problem solving with C++ : walls and mirrors / Frank M. Carrano por Carrano, Frank M [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Redwood City, California : Benjamin/Cummings, c1995Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA76.73C153 C38, ... Hacer reserva Agregar al carrito (remover)
		Data abstraction and program development using pascal / Reinhold friedrich hille por Hille, Reinhold Friedrich, 1938- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Prentice Hall, c1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A23 H55. Hacer reserva Agregar al carrito (remover)
		Data structures, algorithms, and performance / Derick wood por Wood, Derick, 1940- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading, massachussets : Addison-wesley, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9.D35 W66, ... Hacer reserva Agregar al carrito (remover)
		Recent trends in data type specification : 7th workshop on specification of abstract data types wusterhausen / Dosse, germany, april 17-20, 1990 : Proceedings / Ed. h. ehrig ... [y otros.] por Workshop On Specification Of Abstract Data Types (7 : 1990 : Dosse, Alemania) \| Ehrig, Hartmut [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1991Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A23 W67 1990. Hacer reserva Agregar al carrito (remover)
		Sorts and types in artificial intelligence : Workshop, eringerfeld, frg, april 24-26, 1989 : Proceedings / K. h. blasius, u. hedtstuck, c. r. rollinger, eds. por Blasius, Karl Hans [editor] \| Hedtstuck, U [editor] \| Rollinger, C.-r [editor]. Series Lecture notes in computer science. lecture notes in artificial intelligence ; 418Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334.5 S67. Hacer reserva Agregar al carrito (remover)
		Specification of abstract data types / Jacques Loeckx, Hans-Dieter Ehrich, and Markus Wolf por Loeckx, Jacques, 1931- [autor] \| Ehrich, Hans-Dieter [autor] \| Wolf, Markus [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Chichester : J. Wiley, 1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A23 L64 1996. Hacer reserva Agregar al carrito (remover)
		Structures and abstraction : An introduction to computer science with pascal / William i. salmon por Salmon, William I [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Homewood, illinois : Irwin, c1991Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73.P2 S214. Hacer reserva Agregar al carrito (remover)
		A systematic catologue of resusable abstract data types / Jurgen uhl, hans albrecht schmid por Uhl, Jorgen [autor] \| Schmid, Hans Albrecht, 1944- [autor]. Series Lecture notes in computer science ; 460Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A23 U45. Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Hacer una sugerencia de compra

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