Angebote zu "Robot" (8 Treffer)

Kategorien

Shops

Metall Hocker Robot-antik_silber - CLP
100,61 € *
ggf. zzgl. Versand

Hocker Robot - Entdecke den höhenverstellbaren Hocker im Industrial Look! Du suchst noch nach der richtigen Sitzgelegenheit für Deine Einrichtung? Am besten einen Hocker in ganz individuellem Design? Dann ist der Hocker Robot genau das, wonach Du gesucht hast: Ganz klassisch im Design mit höhenverstellbarer Sitzfläche aus Holz erinnert der einfache Hocker an die Designer-Lofts in Amsterdam. Klare Linien, herkömmliche Materialien - das macht diesen Hocker zu einem ganz besonderen Blickfang. Und auf der Sitzfläche aus Holz lässt es sich gemütlich sitzen und ein Glas Rotwein genießen. Durch die traditionelle Form nimmt dieser Hocker nicht viel Platz in Anspruch und lässt auch viel Bewegung vor der Theke zu. Auch ohne jede Polsterung bietet dieser Hocker besten Sitzkomfort, denn die Sitzfläche ist in der Höhe stufenlos verstellbar. Um die Sitzhöhe einzustellen und ein lästiges Wackeln zu vermeiden, sorgt eine Feststellkurbel unterm Sitz für Stabilität. Für zusätzliche Standfestigkeit

Anbieter: ManoMano
Stand: 25.09.2020
Zum Angebot
Software Engineering and Formal Methods
42,99 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Anbieter: buecher
Stand: 25.09.2020
Zum Angebot
Software Engineering and Formal Methods
42,99 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Anbieter: buecher
Stand: 25.09.2020
Zum Angebot
Intelligent Virtual Agents
112,34 € *
ggf. zzgl. Versand

Welcome to the proceedings of the 9th International Conference on Intelligent Virtual Agents, held September 14-16, 2009 in Amsterdam, The Netherlands. Intelligent virtual agents (IVAs) are interactive characters that exhibit hum- like qualities and communicate with humans or with each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action, allowing them to participate in a dynamic physical and social environment. IVA is an interdisciplinary annual conference and the main forum for p- senting research on modeling, developing and evaluating IVAs with a focus on communicative abilities and social behavior. The development of IVAs requires expertise in multimodal interaction and several AI ?elds such as cognitive m- eling, planning, vision and natural language processing. Computational models are typically based on experimental studies and theories of human-human and human-robot interaction, conversely, IVA technology may provide interesting lessons for these fields. The realization of engaging IVAs is a challenging task, so reusable modules and tools are of great value. The fields of application range from robot assistants, social simulation and tutoring to games and artistic - ploration.

Anbieter: Dodax
Stand: 25.09.2020
Zum Angebot
Software Engineering and Formal Methods
56,04 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Anbieter: Dodax
Stand: 25.09.2020
Zum Angebot
Intelligent Virtual Agents
118,00 CHF *
ggf. zzgl. Versand

Welcome to the proceedings of the 9th International Conference on Intelligent Virtual Agents, held September 14–16, 2009 in Amsterdam, The Netherlands. Intelligent virtual agents (IVAs) are interactive characters that exhibit hum- like qualities and communicate with humans or with each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action, allowing them to participate in a dynamic physical and social environment. IVA is an interdisciplinary annual conference and the main forum for p- senting research on modeling, developing and evaluating IVAs with a focus on communicative abilities and social behavior. The development of IVAs requires expertise in multimodal interaction and several AI ?elds such as cognitive m- eling, planning, vision and natural language processing. Computational models are typically based on experimental studies and theories of human–human and human–robot interaction; conversely, IVA technology may provide interesting lessons for these ?elds. The realization of engaging IVAs is a challenging task, so reusable modules and tools are of great value. The ?elds of application range from robot assistants, social simulation and tutoring to games and artistic - ploration.

Anbieter: Orell Fuessli CH
Stand: 25.09.2020
Zum Angebot
Intelligent Virtual Agents
108,99 € *
ggf. zzgl. Versand

Welcome to the proceedings of the 9th International Conference on Intelligent Virtual Agents, held September 14–16, 2009 in Amsterdam, The Netherlands. Intelligent virtual agents (IVAs) are interactive characters that exhibit hum- like qualities and communicate with humans or with each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action, allowing them to participate in a dynamic physical and social environment. IVA is an interdisciplinary annual conference and the main forum for p- senting research on modeling, developing and evaluating IVAs with a focus on communicative abilities and social behavior. The development of IVAs requires expertise in multimodal interaction and several AI ?elds such as cognitive m- eling, planning, vision and natural language processing. Computational models are typically based on experimental studies and theories of human–human and human–robot interaction; conversely, IVA technology may provide interesting lessons for these ?elds. The realization of engaging IVAs is a challenging task, so reusable modules and tools are of great value. The ?elds of application range from robot assistants, social simulation and tutoring to games and artistic - ploration.

Anbieter: Thalia AT
Stand: 25.09.2020
Zum Angebot