Su búsqueda obtuvo 6 resultados.

Resultados
		Trends in Intelligent Robotics [Recurso electrónico] : 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings / edited by Prahlad Vadakkepat, Jong-Hwan Kim, Norbert Jesse, Abdullah Al Mamun, Tan Kok Kiong, Jacky Baltes, John Anderson, Igor Verner, David Ahlgren. por Vadakkepat, Prahlad \| Kim, Jong-Hwan \| Jesse, Norbert \| Mamun, Abdullah Al \| Kiong, Tan Kok \| Baltes, Jacky \| Anderson, John \| Verner, Igor \| Ahlgren, David \| SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 103Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Leveraging Applications of Formal Methods, Verification, and Validation [Recurso electrónico] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / edited by Reiner HÃ{u8BAC}e, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen. por HÃ{u8BAC}e, Reiner \| Knoop, Jens \| Margaria, Tiziana \| Schreiner, Dietmar \| Steffen, Bernhard. Series Communications in Computer and Information ScienceTipo de material: Texto; Formato: electrónico ; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Artificial Intelligence Applications and Innovations [Recurso electrónico] : 6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010. Proceedings / edited by Harris Papadopoulos, Andreas S. Andreou, Max Bramer. por Papadopoulos, Harris \| Andreou, Andreas S \| Bramer, Max \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 339Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications [Recurso electrónico] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28â€{uAD6C}y 2, 2010. Proceedings, Part II / edited by Eyke HÃ{uCB25}rmeier, Rudolf Kruse, Frank Hoffmann. por HÃ{uCB25}rmeier, Eyke \| Kruse, Rudolf \| Hoffmann, Frank \| SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 81Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods [Recurso electrónico] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28â€{uAD6C}y 2, 2010. Proceedings, Part I / edited by Eyke HÃ{uCB25}rmeier, Rudolf Kruse, Frank Hoffmann. por HÃ{uCB25}rmeier, Eyke \| Kruse, Rudolf \| Hoffmann, Frank \| SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 80Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		ICT Innovations 2010 [Recurso electrónico] : Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12-15, 2010. Revised Selected Papers / edited by Marjan Gusev, Pece Mitrevski. por Gusev, Marjan \| Mitrevski, Pece \| SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 83Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Con tecnología Koha