Universidad Nacional Autónoma de México
Facultad de Ingeniería
Catálogo de la Biblioteca "Ing. Antonio Dovalí Jaime"

Su búsqueda recuperó 82 resultados.

Ordenar
Resultados
Advances in computer systems architecture : 10th Asia-Pacific conference, ACSAC 2005, Singapore, October 24-26, 2005 : proceedings / Thambipillai Srikanthan, Jingling Xue, Chip-Hong Chang, eds.

por ACSAC 2005 (10 : 2005 : Singapur) | Srikanthan, Thambipillai [editor] | Xue, Jingling, 1962- [editor] | Chang, Chip-Hong [editor].

Series Lecture notes in computer science ; 3740Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 2005Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A73 A37 2005.

Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8 2006 : proceedings / Chris Jesshope, Colin Egan, eds.

por ACSAC 2006 (2006 : Shanghai, China) | Jesshope, Chris R [editor] | Egan, Colin, 1956- [editor].

Series Lecture notes in computer science ; 4186Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: Computer systems architecture | ACSAC 2006.Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A73 A37 2006.

Advances in cryptology : EUROCRYPT 2006 : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28-June 1, 2006 : proceedings / Serge Vaudenay, ed.

por EUROCRYPT (24 : 2006 : San Petersburgo, Rusia) | Vaudenay, Serge [editor].

Series Lecture notes in computer science ; 4004Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: EUROCRYPT 2006 | 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques | Twenty-fourth Annual International Conference on the Theory and Applications of Cryptographic Techniques | International Conference on the Theory and Applications of Cryptographic Techniques.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A25 E87 2006.

Advances in cryptology -CRYPTO 2000 : 20th Annual International Cryptology Conference Santa Barbara California, USA, august 20-24, 2000 : proceedings / Mihir Bellare, ed.

por CRYPTO 2000 (2000 : Santa Barbara, California) | Bellare, Mihir, 1962- [editor].

Series Lecture notes in computer science ; 1880Tipo 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: QA76.9A25 C79 2000.

Advances in exception handling techniques / Alexander Romanovsky ... [y otros.], (eds.)

por Romanovsky, Alexander [editor].

Series Lecture notes in computer science ; 2022Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 A382.

Advances in machine vision, image processing, and pattern analysis : International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006, Xi'an, China, August 26-27, 2006 : proceedings / Nanning Zheng, Xiaoyi Jiang, Xuguang Lan, eds.

por International Workshop on Intelligent Computing in Pattern Analysis/Synthesis (2006 : Xi'an, Shaanxi Sheng, China) | Zheng, Nanning [editor] | Jiang, Xiaoyi [editor] | Lan, Xuguang [editor].

Series Lecture notes in computer science ; 4153Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: IWICPAS 2006.Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA1634 I596 2006.

Advances in multimedia information processing : PCM 2005 : 6th Pacific-Rim Conference on Multimedia, Jeju Island, Korea, November 13-16, 2005 : proceedings / Yo-Sung Ho, Hyoung Joong Kim, eds.

por IEEE Pacific Rim Conference on Multimedia (6 : 2005 : Isla Jeju, Corea) | Ho, Yo-Sung [editor] | Kim, Hyoung Joong, 1954- [editor] | PCM 2005 (6 : 2005 : Isla Jeju, Corea).

Series Lecture notes in computer science ; 3767-3768Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2005-Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.575 I445 2005.

Advances in natural language processing : 5th International Conference on NLP, FinTAL 2006, Turku, Finland, August 23-25, 2006 : proceedings / Tapio Salakoski ... [y otros.], eds.

por FinTAL 2006 (5 : 2006 : Turku, Finlandia) | Salakoski, Tapio [editor] | International Conference on Natural Language Processing (5 : 2006 : Turku, Finlandia).

Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 4139Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Acceso en línea: Haga clic para acceso en línea Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9N38 F56 2006.

Algebraic methodology and software technology : 8th International Conference, AMAST 2000 Iowa, USA, may 2000 : proceedings / Teodor Rus, ed.

por Rus, Teodor [editor] | International Conference on Algebraic Methodology and Software Technology (8 : 2000 : Iowa City, Estados Unidos).

Series Lecture notes in computer science ; 1816Tipo de material: Texto 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.758 A54 2000.

Algorithms--ESA 2006 : 14th annual European symposium, Zurich, Switzerland, September 11-13, 2006 : proceedings / Yossi Azar, Thomas Erlebach, eds.

por ESA 2006 (2006 : Zurich, Suiza) | Azar, Yossi [editor] | Erlebach, Thomas [editor] | European Association for Theoretical Computer Science.

Series Lecture notes in computer science ; 4168Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: ESA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9 E73 2006.

Approximation and online algorithms : 4th international workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006 : revised papers / Thomas Erlebach, Christos Kaklamanis, eds.

por WAOA 2006 (2006 : Zurich, Suiza) | Erlebach, Thomas [editor] | Kaklamanis, Christos [editor].

Series Lecture notes in computer science ; 4368Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: WAOA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A43 W36 2006.

Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers / Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski, eds.

por Reussner, Ralf [editor] | Stafford, Judith Alyce [editor] | Szyperski, Clemens [editor].

Series Lecture notes in computer science ; 3938Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76C66 A73 2006.

Artificial intelligence in structural engineering : information technology for design, collaboration, maintenance, and monitoring / Ian Smith (ed.)

por Smith, Ian F. C [editor].

Series Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1454.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TA636 A77, ...

Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitch, eds.

por IJCAR 2004 (2 : 2001 : Cork, Irlanda) | Basin, David [editor] | Rusinowitch, Michaël [editor].

Series Lecture notes in computer science ; 3097 | Lecture notes in artificial intelligenceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I53 2004.

Combinatorial pattern matching : 16th annual symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005 : proceedings / Alberto Apostolico, Maxime Crochemore, Kunsoo Park (eds.)

por Symposium on Combinatorial Pattern Matching (16 : 2005 : Jeju Island, Corea) | Apostolico, Alberto, 1948- [editor] | Crochemore, Maxime, 1947- [editor] | Park, Kunsoo [editor].

Series Lecture notes in computer science ; 3537Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: CPM 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A43 C62 2005.

Combinatorial pattern matching : 17th annual Symposium CPM 2006 : Barcelona, Spain, July 5-7, 2006 proceedings / Moshe Lewenstein, Gabriel Valiente, eds.

por CPM 2006 (17 : 2006 : Barcelona, España) | Lewenstein, Moshe [editor] | Valiente, Gabriel, 1963- [editor] | Combinatorial Pattern Matching (17 : 2006 : Barcelona, España).

Series Lecture notes in computer scienceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1992-Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A43 C67 2006.

Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Rastislav Bodik, ed.

por CC 2005 (2005 : 14 : Edinburgo, Escocia) | Bodik, Rastislav [editor] | ETAPS 2005 (2005 : Edinburgh, Escocia).

Series Lecture notes in computer science ; 3443Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: Joint European Conferences on Theory and Practice of Software | ETAPS 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76C65 C37 2005.

Computer aided systems theory EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers / Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire, (eds.)

por International Workshop Eurocast (8 : 2001 : Las Palmas de Gran Canaria, España) | Moreno-Diaz, Roberto [editor] | Buchberger, Bruno [editor] | Freire, Jose-Luis [editor].

Series Lecture notes in computer science ; v. 2178Tipo 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 (2)Clasificación: TA345 I584 2001, ...

Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.)

por CAV Conference (16 : 2004 : Boston, Massachusetts) | Alur, Rajeev, 1966- [editor] | Peled, Doron A, 1962- [editor].

Series Lecture notes in computer scienceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: CAV 2004.Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76V47 C38 2004, ...

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones, eds.

por CAV. Conference (18 : 2006 : Seattle, Washington) | Ball, Thomas, 1965- [editor] | Jones, Robert Brent, 1969- [editor].

Series Lecture notes in computer science ; 4144Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: CAV 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76V47 C38 2006.

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


Universidad Nacional Autónoma de México 

Biblioteca "Ing. Antonio Dovalí Jaime” Edificio "A" de la Facultad de Ingeniería

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

Aviso de Privacidad