Resultados
|
|
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.
|
|
|
Towards Service Robots for Everyday Environments [Recurso electrónico] : Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments / edited by Erwin Prassler, Marius ZÃœllner, Rainer Bischoff, Wolfram Burgard, Robert Haschke, Martin HÃ{u796C}e, Gisbert Lawitzky, Bernhard Nebel, Paul PlÃœger, Ulrich Reiser. por Prassler, Erwin | ZÃœllner, Marius | Bischoff, Rainer | Burgard, Wolfram | Haschke, Robert | HÃ{u796C}e, Martin | Lawitzky, Gisbert | Nebel, Bernhard | PlÃœger, Paul | Reiser, Ulrich. Series Springer Tracts in Advanced Robotics, 1610-7438 ; ; 76Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Information Technology [Recurso electrónico] : 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings / edited by Borworn Papasratorn, Nipon Charoenkitkarn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja. por Papasratorn, Borworn | Charoenkitkarn, Nipon | Lavangnananda, Kittichai | Chutimaskul, Wichian | Vanijja, Vajirasak. Series Communications in Computer and Information Science ; 344Tipo 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.
|