Arama Sonuçları - (translation or (transitions OR transition)) on control, automation and systems engineering

Şunu mu demek istediniz:
transitions » transactions , translations
automation » automatic

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Execution Engine -- MoTraS: A Tool for Modal Transition Systems and Their Extensions -- Cunf: A Tool...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Robot Kinematics: Motion in Man and Machine

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Parallel Robots -- LQP-Based Controller Design for Humanoid Whole-Body Motion -- Persistent Screw Systems...”
Tam Metin Erişim

Elektronik Ekitap

Algorithmic Foundations of Robotics VIII Selected Contributions of the Eighth International Workshop on the Algorithmic Foundations of Robotics /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...-Redundancy -- Distributed Systems -- On Endogenous Reconfiguration in Mobile Robotic Networks -- Simultaneous...”
Tam Metin Erişim

Elektronik Ekitap

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Invited Talk -- The Embedded Systems Design Challenge -- Interactive Verification -- The Mondex...”
Tam Metin Erişim

Elektronik Ekitap

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Abstracts -- On the Connection Between the Phase Transition of the Covering Test and the Learning Success...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt