Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
1
Udgivet 2013
Indholdsfortegnelse:
“... Execution Engine -- MoTraS: A Tool for Modal Transition Systems and Their Extensions -- Cunf: A Tool...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“... for Parallel Robots -- LQP-Based Controller Design for Humanoid Whole-Body Motion -- Persistent Screw Systems...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2010
Indholdsfortegnelse:
“...-Redundancy -- Distributed Systems -- On Endogenous Reconfiguration in Mobile Robotic Networks -- Simultaneous...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2006
Indholdsfortegnelse:
“...Invited Talk -- The Embedded Systems Design Challenge -- Interactive Verification -- The Mondex...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2007
Indholdsfortegnelse:
“... Abstracts -- On the Connection Between the Phase Transition of the Covering Test and the Learning Success...”Få fuldtekst
Electronisk
eBog