大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Tabuada 的图书(共3本)

Hybrid Systems: Computation and Control [electronic resource] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

0
索取号：
作者：Majumdar、 Rupak.、Tabuada、 Paulo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Networked Embedded Sensing and Control [electronic resource] : Workshop NESC鈥ൺ University of Notre Dame, USA October 2005 Proceedings

0
索取号：
作者：Antsaklis、 Panos J.、Tabuada、 Paulo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach

0
索取号：
作者：Tabuada、 Paulo.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2009.