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
Industrial and engineering applications of artificial intelligence and expert systems : 5th international conference, iea-aie-92, paderborn, germany, june 9-12, 1992 : Proceedings / F. belli, f. j. rodermacher, ed.

por International Conference, Iea-aie (5 : 1992 : Paderborn, Alemania) | Belli, F [editor] | Rodermacher, F. J [editor].

Series Lecture notes in artificial intelligence ; 604Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1992Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: Q335 I566 1992, ...

Information security : 9th International Conference, ISC 2006, Samos Island, Greece, August 30-September 2, 2006 : proceedings / Sokratis K. Katsikas ... [y otros.], eds.

por ISC 2006 (9 : 2006 : Isla Samos, Grecia) | Katsikas, Sokratis K [editor] | Information Security Conference (9 : 2006 : Isla Samos, Grecia).

Series Lecture notes in computer science ; 4176Tipo 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.9A25 I73 2006.

Integer programming and combinatorial optimization : 5th International IPCO Conference, Vancouver, British Columbia, Canada, June 3-5, 1996 : proceedings / William H. Cunningham, S. Thomas McCormick, Maurice Queyranne, eds.

por International Conference on Integer Programming and Combinatorial Optimization (5 : 1996 : Vancouver, Canada) | Cunningham, William Hughes [editor] | McCormick, S. Thomas [editor] | Queyranne, Maurice [editor].

Series Lecture notes in computer science ; 1084Tipo de material: Texto Texto; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: T57.74 I57 1996, ...

Integer programming and combinatorial optimization : 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007 : proceedings / Matteo Fischetti, David P. Williamson, eds.

por Conference on Integer Programming and Combinatorial Optimization (12 : 2007 : Itaca, Nueva York) | Fischetti, Matteo [editor] | Williamson, David P [editor].

Series Lecture notes in computer science ; 4513Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2007Otro título: 12th International IPCO Conference | Twelfth International IPCO Conference | International IPCO Conference.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: T57.74 C63 2007.

Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report / Hartmut Ehrig ... [y otros., eds.]

por Ehrig, Hartmut [editor].

Series Lecture notes in computer science. State-of-the-art survey ; 3147.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2004Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I565.

Intelligent agents II : agent theories, architectures, and languages : IJCAI'95 Workshop (ATAL) Montreal, Canada, August 19-20, 1995 : proceedings / M. Wooldrige, J.P. Muller, M. Tambe, (eds.)

por Wooldridge, Michael J, 1966- [editor] | Muller, Jorg P, 1965- [editor] | Tambe, Milind, 1965- [editor] | Workshop on Agent Theories, Architectures, and Languages (2 : 1995 : Montreal, Quebec) | International Joint Conference on Artificial Intelligence (1995 : Montreal, Quebec).

Series Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1037.Tipo de material: Texto Texto; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: Q336 I5737, ...

Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers / Stephen W. Gilroy, Michael D. Harrison, eds.

por DSVIS 2005 (2005 : Newcastle upon Tyne, Inglaterra) | Gilroy, Stephen W [editor] | Harrison, Michael D [editor].

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

Knowledge discovery in databases : PKDD 2006 : 10th European Conference on Principle and Practice of Knowledge Discovery in Databases, Berlin, Germany, September 18-22, 2006 : proceedings / Johannes Fürnkranz, Tobias Scheffer, Myra Spiliopoulou, eds.

por European Conference on Principles and Practice of Knowledge Discovery in Databases (10 : 2006 : Berlin, Alemania) | Fürnkranz, Johannes [editor] | Scheffer, Tobias [editor] | Spiliopoulou, Myra [editor].

Series Lecture notes in computer science ; 4213 | Lecture notes in artificial intelligenceTipo de material: Texto Texto; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: PKDD 2006 | 10th European Conference on Principles and Practice of Knowledge Discovery in Databases | Tenth European Conference on Principles and Practice of Knowledge Discovery in Databases | European Conference on Principles and Practice of Knowledge Discovery in Databases.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D343 E85 2006.

Logic for programming artificial intelligence and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baade, Andrei Virinkov, eds.

por LPAR (Conferencia) (11 : 2005 : Montevideo, Uruguay) | Baader, Franz [editor] | Voronkov, A. (Andrei), 1959- [editor].

Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 3452.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: LPAR 2003.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 I57 2004.

Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings / Arnold Beckmann ... [y otros.], eds.

por Conference on Computability in Europe (2 : 2006 : Swansea, Gales) | Beckmann, Arnold [editor].

Series Lecture notes in computer science ; 3988Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: Conference on Computability in Europe | CiE 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.59 C67 2006.

Mathematical software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006 : proceedings / Andres Iglesias, Nobuki Takayama, eds.

por International Congress on Mathematical Software (2 : 2006 : Castro Urdiales, España) | Iglesias Prieto, Andrés [editor] | Takayama, Nobuki, 1959- [editor].

Series Lecture notes in computer science ; 4151Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: ICMS 2006 | 2nd International Congress on Mathematical Software | International Congress on Mathematical Software.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.95 I566 2006.

Natural language processing - IJCNLP 2004 : First International Joint Conference, Hainan Island, China, march 22-24, 2004 revised selected papers / Keh-Yih Su, Jun'ichi Tsujii, Jong-Hyeok Lee, Oi Yee Kwong (eds.)

por IJCNLP (2004 : Hainan Sheng, China) | Su, Keh-Yih [editor de la compilación] | Tsujii, Jun'ichi [editor de la compilación] | Lee, Jong-Hyeok [editor de la compilación] | Kwong, Oi Yee [editor de la compilación].

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

OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy

por Kohlhase, Michael, 1964- [autor] | Bundy, Alan [prologuista].

Series Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems ; 4180Tipo 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.95 K66 2006.

Peer-to-peer systems IV : 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005 : revised selected papers / Miguel Castro, Robbert van Renesse, eds.

por IPTPS 2005 (4 : (2005 : Ithaca, NY) | Castro, Miguel, 1969- [editor] | Van Renesse, Robbert, 1962- [editor] | Ithaca Peer-to-Peer Systems. International Workshop (4 : 2005 : Ithaca, NY) [].

Series Lecture notes in computer science ; 3640 | Hot topicsTipo de material: Texto Texto; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2005Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5105.525 I67 2005.

Performability has its price : 5th International Workshop on Internet Charging and QoS Technologies, ICQT 2006, St. Malo, France, June 27, 2006 : proceedings / Burkhard Stiller, Peter Reichl, Bruno Tuffin, eds.

por International Workshop on Internet Charging and QoS Technologies (5 : 2006 : Saint-Malo, Francia) | Stiller, Burkhard, 1965- [editor] | Reichl, Peter [editor] | Tuffin, Bruno [editor].

Series Lecture notes in computer science ; 4033Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: International Workshop on Internet Charging and QoS Technologies | ICQT 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TK5105.875I57 I558 2006, ...

Privacy enhancing technologies : 5th international workshop, PET 2005, Cavtat, Croatia, May 30-June 1, 2005 : revised selected papers / George Danezis, David Martin, eds.

por PET 2005 (5 : 2005 : Cavtat, Croacia) | Danezis, George, 1979- [editor] | Martin, David Michael [editor] | Privacy Enhancing Technologies (5 : 2005 : Cavtat, Croacia).

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

Privacy enhancing technologies : third international workshop, PET 2003, Dresden, Germany, March 26-28, 2003 : revised papers / Roger Dingledine (ed.)

por PET 2003 (2003 : Dresden, Alemania) | Dingledine, Roger, 1977- [editor].

Series Lecture notes in computer science ; 2760Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2003Acceso en línea: Descripción del editor Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A25 P446 2003.

Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona Spain, March 29 -April 2, 2004 : proceedings / David Schmidt, ed.

por European Symposium on Programming (13 : 2004 : Barcelona, España) | Schmidt, David A, 1953- [editor] | ETAPS 2004 (2004 : 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, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 E87 2004.

Progress in cryptology : INDOCRYPT 2000 : First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000 : proceedings / Bimal Roy, Eiji Okamoto (eds.)

por International Conference in Cryptology in India (2000 : Calcutta, India) | Roy, Bimal [editor] | Okamoto, Eiji [editor].

Series Lecture notes in computer science ; 1977Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG, Otto Harrassowitz Idioma del resumen: HARR Editor: Berlin : Springer Verlag, 2000Otro título: INDOCRYPT 2000.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A25 I55.

Quality of future Internet services : second COST 263 international workshop, QofIS 2001, Coimbra, Portugal, September 2001 : proceedings / Mikhail I. Smirnov ... [y otros.] (ed.)

por QofIS 2001 (2 : 2001 : Coimbra, Portugal) | Smirnov, Mikhail I [editor].

Series Lecture notes in computer science ; 2156Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TK5105.875I57 Q46 2001, ...

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