Universidad Nacional Autónoma de México
Facultad de Ingeniería. Posgrado
Catálogo de la Biblioteca "Dr. Enzo Levi”

Su búsqueda recuperó 13 resultados.

Ordenar
Resultados
Advanced topics in exception handling techniques / Christophe Dony ... [y otros.], eds.

por Dony, Christophe [editor].

Series Lecture notes in computer science ; 4119 | Lecture notes in computer science. State-of-the-art survey | Lecture notes in computer scienceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: Exception handling techniques | Advances in exception handling techniques.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 A3815.

Advances in plan-based control of robotic agents : International Seminar, Dagstuhl Castle, Germany, October 21-26, 2001 : revised papers / Michael Beetz ... [y otros.], eds.

por Beetz, Michael, 1961- [editor].

Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 2466.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin, [Alemania] : Springer Verlag, c2002Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TJ211.35 A39.

Agent-based hybrid intelligent systems : an agent-based fromework for complex problem solving / Zili Zhang, Chengqi Zhang

por Zhang, Zili [autor] | Zhang, Chengqi, 1957- [autor].

Series Lecture notes in computer science ; 2938 | 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.76I58 Z43.

Agent computing and multi-agent systems : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006 : proceedings / Zhong-Zhi Shi, Ramakoti Sadananda, eds.

por Pacific Rim International Workshop on Multi-Agents (9 : 2006 : Guilin, Guangxi Zhuangzu Zizhiqu, China) | Shi, Zhongzhi [editor] | Sadananda, R, 1944- [editor].

Series Lecture notes in computer science ; 4088. | Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer scienceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: PRIMA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76I58 P75 2006.

Automatic verification of sequential infinite-state processes / Olaf Burkart

por Burkart, Olaf [autor].

Series Lecture notes in computer science ; 1354Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, 1998Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76V47 B87, ...

Dependable systems : software, computing, networks : research results of the DICS program / Jürg Kohlas, Bertrand Meyer, André Schiper, eds.

por Kohlas, Jürg, 1939- [editor] | Meyer, Bertrand, 1950- [editor] | Schiper, André, 1949- [editor].

Series Lecture notes in computer science ; 4028 | Lecture notes in computer science. State-of-the-art survey | Lecture notes in computer scienceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: DICS | Dependable information and communications systems.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76R44 D47.

The design of intelligent agents : a layered approach / Jorg P. Muller

por Muller, Jorg P, 1965- [autor].

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

Intelligent agents for telecommunication applications : second International Workshop, IATA'98 Paris, France, July 4-7, 1998 : proceedings / Sahin Albayrak, Francisco J. Garijo, eds.

por International Workshop, IATA'98 (2 : 1998 : Paris, Francia) | Albayrak, Sahin [editor] | Garijo, Francisco J [editor].

Series Lecture notes in computer science. Lecture notes in artificial intelligence ; v. 1437.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76I58 I57 1998.

Model driven architecture : foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006 : proceedings / Arend Rensink, Jos Warmer, eds.

por European Conference on Model Driven Architecture - Foundations and Applications (2 : 2006 : Bilbao, España) | Rensink, Arend [editor] | Warmer, Jos B [editor].

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

Multiagent system technologies : 4th German conference, MATES 2006, Erfurt, Germany, September 19-20, 2006 : proceedings / Klaus Fischer ... [y otros.], eds.

por MATES 2006 (2006 : Erfurt, Alemania) | Fischer, Klaus [editor].

Series Lecture notes in computer science ; 4196 | Lecture notes in artificial intelligenceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: MATES 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76I58 M37 2006.

Reuse of off-the-shelf components : 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006 ; proceedings / Maurizio Morisio, eds.

por International Conference on Software Reuse (9 : 2006 : Turin, Italia) | Morisio, Maurizio, 1960- [editor].

Series Lecture notes in computer science ; 4039Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: 9th International Conference on Software Reuse | Ninth International Conference on Software Reuse | International Conference on Software Reuse | ICSR 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76R47 I55 2006.

Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS'2000 : held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, march/april 2000 : proceedings / Susanne Graf, Michael Schwartzbach, eds.

por TACAS'2000 (6 : 2000 : Berlin, Alemania) | Graf, Susanne [editor] | Schwartzbach. Michael [editor].

Series Lecture notes in computer science ; v. 1785Tipo 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.9S88 I58 2000.

Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz, ed.

por Dershowitz, Nachum [editor] | Manna, Zohar.

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

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


Universidad Nacional Autónoma de México 

Biblioteca "Dr. Enzo Levi” Conjunto sur, Edificio de Posgrado de la Facultad de Ingeniería

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

Aviso de Privacidad