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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Atomic Force Microscopy Based Nanorobotics [Recurso electrónico] : Modelling, Simulation, Setup Building and Experiments / by Hui Xie, Cagdas Onal, Stéphane Régnier, Metin Sitti. por Xie, Hui | Onal, Cagdas | Régnier, Stéphane | Sitti, Metin. Series Springer Tracts in Advanced Robotics, 1610-7438 ; ; 71Tipo 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.
|
|
|
|