Resultados
|
|
|
Artificial intelligence and simulation : 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers / Tag Gon Kim, ed. por International Conference on AI, Simulation, and Planning in High Autonomy Systems (13 : 2004 : Cheju-do, Corea) | Kim, Tag Gon [editor]. Series Lecture notes in computer science ; 3397 | Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer scienceTipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems | Thirteenth International Conference on AI, Simulation, and Planning in High Autonomy Systems | International Conference on AI, Simulation, and Planning in High Autonomy Systems | International Conference on Artificial Intelligence, Simulation, and Planning in High Autonomy Systems | AIS 2004 | AI, simulation, and planning in high autonomy systems.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9C65 I555 2004.
|
|
|
|
|
|
|
|
|
|
|
|
Engineering distributed object : Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised paper / Wolfgang Emmerich, Stefan Tai (eds.) por EDO 2000 (2000 : Davis California) | Emmerich, Wolfgang, Dr. Rer. N [editor] | Tai, Stefan, 1970- [editor]. Series Lecture notes in computer science ; 1999Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.64 E365 2000.
|
|
|
|
FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, march 12-16, 2001 : proceedings / Jose Nuno Oliveira, Pamela Zave, eds. por International Symposium of Formal Methods Europe (10 : 2001 : Berlin, Alemania) | Oliveira, Jose N [editor] | Zave, Pamela, 1948- [editor]. Series Lecture notes in computer science ; 2021Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 2001.
|
|
|
|
|
|
|
|
|
|
|
|
Quality of service in multiservice IP networks : international workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings / Marco Ajmone Marsan, Andrea Bianco, eds. por Ajmone Marsan, M [editor] | Bianco, Andrea [editor]. Series Lecture notes in computer science ; 1989Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5103.75 Q83.
|
|
|
|
Robot vision : international workshop RobVis 2001, Auckland, New Zealand, February 16-18, 2001 : proceedings / Reinhard Klette, Shmuel Peleg, Gerald Sommer, eds. por International Workshop on Robot Vision (2001 : Auckland, Nueva Zelanda) | Klette, Reinhard [editor] | Peleg, Shmuel [editor] | Sommer, Gerald [editor]. Series Lecture notes in computer science ; 1998Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Otro título: RobVis 2001.Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TJ211.3 I57 2001.
|
|
|
|
Theory and application of diagrams : first international conference, diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 : proceedings / Michael Anderson, Peter Cheng, Volker Haarslev (Eds.) por Diagrams 2000 (2000 : Edinburgo, Escocia) | Anderson, Michael, 1965- [editor] | Cheng, Peter, 1963- [editor] | Haarslev, Volker, 1955- [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1889.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: QA90 D529 2000.
|
|
|
|
|
|
|
|
|
|
|
|
|
