Su búsqueda recuperó 4458 resultados.

Resultados
		Automated deduction - cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA July 30 - August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney (eds.) por International Conference on Automated Deduction (13 : 1996 : New Brunswick, New Jersey) \| McRobbie, M.A [editor] \| Slaney, John K [editor]. 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.9A96 I57 1996. 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)
		Automated theorem proving : theory and practice / Monty Newborn por Newborn, Monroe [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9A96 N48, ... 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 differentiation of algorithms : from simulation to optimazation / George Corliss ... [y otros.], editors por Corliss, George F [editor] \| International Conference on Automatic Differentiation (3 : 2000 : Cote d'Azur, Francia). Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c2002Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA304 A88, ... 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)
		Automating instructional design : computer-based development and delivery tools / ed. by Robert D. Tennyson ; assistant ed., Ann E. Barron por Tennyson, Robert D [editor] \| Barron, Ann E [editor] \| NATO Advanced Study Institute on Automating Instructional Design: Computer-Based Development and Delivery Tools (1993 : Grimstad, Noruega). Series NATO ASI series. Series F, Computer and systems sciences ; vol. 140Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, [1995]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: LB1028.38 A87. Hacer reserva Agregar al carrito (remover)
		Automorphism groups of compact bordered klein surfaces : A combinatorial approach / Emilio bujalance... [y otros.] por Bujalance García, Emilio [autor]. Series Lecture notes in mathematics ; 1439Tipo de material: Texto; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		Averaging methods in nonlinear dynamical systems / J. A. Sanders, F. Verhulst por Sanders, Jean A [autor] \| Verhulst, F. (Ferdinand), 1939- [autor]. Series Applied mathematical sciences ; v. 59Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, c1985Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA372 S35, ... Hacer reserva Agregar al carrito (remover)
		Axiomatic set theory / By g. takeuti and w. m. zaring por Takeuti, Gaisi, 1926- [autor] \| Zaring, Wilson M, coaut. Series Graduate texts in mathematics ; 8Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, 1973Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 T33. Hacer reserva Agregar al carrito (remover)
		The B language and method : a guide to practical formal development / K. Lano por Lano, K [autor]. Series Formal approaches to computing and information technologyTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: London : Springer Verlag, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73B155 L35 1996. Hacer reserva Agregar al carrito (remover)
		B1 lymphocytes in B cell neoplasia : 16 th. Workshop on the Mechanisms of B Cell Neoplasia, 1999 / edited by M. Potter and F. Melchers por Workshop on Mechanisms in B-Cell Neoplasia (16 : 1999 : Bethesda, Maryland) \| Potter, Michael, 1924-2013 [editor] \| Melchers, Fritz, 1936- [editor]. Series Current topics in microbiology and immunology ; v. 252Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: RC280.L9 W67 1999, ... Hacer reserva Agregar al carrito (remover)
		Bacterial and bacteriophage genetics / Edward A. Birge por Birge, Edward A. (Edward Asahel) [autor]. Edición: 3rd ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QH434 B56 1994. Hacer reserva Agregar al carrito (remover)
		Bacterial and bacteriophage genetics / Edward A. Birge por Birge, Edward A. (Edward Asahel) [autor]. Edición: 4th ed.Tipo de material: Texto; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QH434 B56 2000, ... Hacer reserva Agregar al carrito (remover)
		Bacterial wilt disease : molecular and ecological aspects / Ph. Prior, C. Allen, J. Elphinstone, eds. por Prior, Philippe [editor] \| Allen, Caitilyn, 1957- [editor] \| Elphinstone, John G [editor]. Tipo de material: Texto; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Paris : INRA, Springer Verlag ; c1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: SB741.R35 B33. 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