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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Convergence of Terahertz Sciences in Biomedical Systems [Recurso electrónico] / edited by Gun-Sik Park, Yong Hyup Kim, Haewook Han, Joon Koo Han, Jaewook Ahn, Joo-Hiuk Son, Woong-Yang Park, Young Uk Jeong. por Park, Gun-Sik | Kim, Yong Hyup | Han, Haewook | Han, Joon Koo | Ahn, Jaewook | Son, Joo-Hiuk | Park, Woong-Yang | Jeong, Young Uk. Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Dordrecht : Springer Netherlands : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|