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

Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

0
索取号：
作者：Raskin、 Jean-Fran莽ois.、Thiagarajan、 P. S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

0
索取号：
作者：Donatelli、 Susanna.、Thiagarajan、 P. S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

From Model-Driven Design to Resource Management for Distributed Embedded Systems [electronic resource] : IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11鈥ᳬ 2006, Braga, Portugal

0
索取号：
作者：Kleinjohann、 Bernd.、Kleinjohann、 Lisa.、Machado、 Ricardo J.、Pereira、 Carlos E.、Thiagarajan、 P. S.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.