Su búsqueda recuperó 1729 resultados.

Resultados
		Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode por Khoussainov, Bakhadyr, 1961- [autor] \| Nerode, Anil, 1932- [autor]. Series Progress in computer science and applied logic ; v. 21Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Boston : Birkhäuser Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA267 K46, ... Hacer reserva Agregar al carrito (remover)
		Automated deduction - cade-11 : 11th international conference on automated deduction, saratoga springs, n. y., usa, june 15-18, 1992 : Proceedings / D. kapur, ed. por International Conference On Automated Deduction (11 : 1992 : Saratoga Springs, Nueva York) \| Kapur, D [editor]. Series Lecture notes in artificial intelligence ; 607Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1992Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I57 1992. Hacer reserva Agregar al carrito (remover)
		Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings / Alan Bundy (ed.) por International Conference on Automated Deduction (12 : 1994 : Nancy, Francia) \| Bundy, Alan [editor]. Series Lecture notes in computer science ; 814. Lecture notes in artificial intelligenceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D337 I57 1994. Hacer reserva Agregar al carrito (remover)
		Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, july 13-17, 1997 : proceedings / William McCune, ed. por International Conference on Automated Deduction (14 : 1997 : North Queensland, Australia) \| McCune, William [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1249.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9A96 I57 1997, ... Hacer reserva Agregar al carrito (remover)
		Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, Pa. USA, june 2000 : proceedings / David McAllester, ed. por International Conference on Automated Deduction (17 : 2000 : Pittsburgh, Pensilvania) \| McAllester, David [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1831.Tipo de material: 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: QA76.9A96 I57 2000. Hacer reserva Agregar al carrito (remover)
		Automated deduction in classical and non-classical logics / Ricardo Caferra, Gernot Salzer, eds. por Cafera, Ricardo [editor] \| Salzer, Gernot [prologuista]. Series Lecture notes in artificial intelligence. Subseries of lectures in computer science ; 1761.Tipo de material: Texto; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 A86. Hacer reserva Agregar al carrito (remover)
		Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX §97, Pont-a-Mousson, France, May 1997 : proceedings / Didier Galmiche, ed. por TABLEAUX 97 (1997 : Pont-a-Mousson, Francia) \| Galmiche, Didier, 1958- [editor]. Series Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1227.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 T33 1997. Hacer reserva Agregar al carrito (remover)
		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. Hacer reserva Agregar al carrito (remover)
		Automatic ambiguity resolution in natural language proccessing : an empirical approach / Alexander Franz por Franz, Alexander, 1966- [autor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1208.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9N38 F73. Hacer reserva Agregar al carrito (remover)
		Automatic differentiation : applications, theory and implementations / Martin Bücker ... [y otros.] por International Conference on Automatic Differentiation (4 : 2004 : Chicago, Illinois) \| Bücker, Martin [autor]. Series Lecture notes in computational science and engineering ; 50Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA304 I57 2006, ... Hacer reserva Agregar al carrito (remover)
		Automatic speech recognition : The development of the sphinx system / By kai-fu Lee ; whit a foreword by raj reddy por Lee, Kai-fu [autor] \| Reddy, Raj [prologuista]. Series Kluwer international series in engineering and computer science ; 62. vlsi, computer architecture and digital signal processingTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boston : Kluwer Academic, c1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK7882.S65 L44. Hacer reserva Agregar al carrito (remover)
		Automatic verification methods for finite state systems : International workshop, grenoble, france june 12-14 1989 : Proceedings / J. sifakis, ed. Series Lecture notes in computer science ; 407Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 A87. Hacer reserva Agregar al carrito (remover)
		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. Hacer reserva Agregar al carrito (remover)
		Barlow's tables of squares, cubes, square, roots, cube roots and reciproclas of all integers up to 12,500 / Ed. by l. j. comrie por Barlow, Peter, 1776-1862 [autor] \| Comrie, L. J, 1893-1950 [editor]. Series Science paperbacks ; 12Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : E. & F. N. Spon, 1965Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA47 B3. Hacer reserva Agregar al carrito (remover)
		Basic biochemical calculations : Related procedures ana principles. por Finlayson, John Sylvester, 1933- [autor]. Series Addison-Wesley series in life scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading : Addison-Wesley, 1969Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QD415 F52. Hacer reserva Agregar al carrito (remover)
		Basic microbiology with applications / Thomas D. Brock, Katherine M. Brock por Brock, Thomas D [autor] \| Brock, Katherine M [autor]. Series Biological science seriesEdición: 2nd ed.Tipo de material: Texto; Forma literaria: No es ficción Idioma: SPA Editor: Englewood Cliffs, New Jersey : Prentice Hall, c1978Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QR41 B75 1978. Hacer reserva Agregar al carrito (remover)
		Basic physics of the solar system / By v. m. Blanco and s. w. mccuskey. por Blanco, Victor Manuel [autor] \| Mccuskey, Sidney Wilcox [autor]. Series Addison-Wesley series in the engineering sciences. Space science and technologyTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading, mass : Addison-Wesley, c1961Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QB501 B6. Hacer reserva Agregar al carrito (remover)
		A basis for theoretical computer science / Michael a. arbib, a. j. kfoury, Robert n. moll por Arbib, Michael A [autor] \| Kfoury, A. J [autor]. Series Texts and monographs in computer scienceTipo de material: Texto; Forma literaria: No es ficción Editor: New York : Springer Verlag, c1981Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 A713. Hacer reserva Agregar al carrito (remover)
		Basketball data science : with applications in R / Paola Zuccolotto, Marcia Manisera ; with contributions by Marco Sandri ; foreword by Ettore Messina por Zuccolotto, Paola [autor] \| Manisera, Marcia [autor] \| Sandri, Marco [autor] \| Messina, Ettore [prologuista]. Series Chapman & Hall/CRC data science seriesTipo de material: Texto; Forma literaria: No es ficción Editor: Boca Raton : CRC Press, [2020]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: GV885.16 Z84. Hacer reserva Agregar al carrito (remover)
		Bayes methods for data analysis / Bradley P. Carlin, Thomas A. Louis por Carlin, Bradley P [autor] \| Louis, Thomas A, 1944- [autor]. Series Texts in statistical scienceEdición: 3rd ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boca Raton, Florida : CRC Press, c2009Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA279.5 C36 2009. No disponible para préstamo a domicilio:Libros: Prestado (1). 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