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

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

0
索取号：
作者：Logozzo、 Francesco.、Peled、 Doron A.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking

0
索取号：
作者：Esparza、 Javier.、Heljanko、 Keijo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model-based Fault Diagnosis Techniques [electronic resource] : Design Schemes, Algorithms, and Tools

0
索取号：
作者：Ding、 Steven X.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model Driven Engineering Languages and Systems [electronic resource] : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

0
索取号：
作者：Engels、 Gregor.、Opdyke、 Bill.、Schmidt、 Douglas C.、Weil、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

0
索取号：
作者：Edelkamp、 Stefan.、Lomuscio、 Alessio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agent-Based Modeling [electronic resource] : The Santa Fe Institute Artificial Stock Market Model Revisited

0
索取号：
作者：Ehrentreich、 Norman.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

The Standard Model and Beyond [electronic resource] : Proceedings of the 2nd International Summer School in High Energy Physics, Mu臒la, 25鈥㰠September 2006

0
索取号：
作者：Aliev、 Takhmasib.、Pak、 Namik Kemal.、Serin、 Meltem.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

0
索取号：
作者：Bo拧na膷ki、 Dragan.、Edelkamp、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model Driven Architecture- Foundations and Applications [electronic resource] : Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

0
索取号：
作者：Akehurst、 David H.、Vogel、 R茅gis.、Paige、 Richard F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Assessment and Future Directions of Nonlinear Model Predictive Control [electronic resource]

0
索取号：
作者：Findeisen、 Rolf.、Allg枚wer、 Frank.、Biegler、 Lorenz T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Testing [electronic resource]

0
索取号：
作者：Baker、 Paul.、Dai、 Zhen Ru.、Grabowski、 Jens.、Haugen、 脴ystein.、Schieferdecker、 Ina.、Williams、 Clay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model-Based Reasoning in Science, Technology, and Medicine [electronic resource]

0
索取号：
作者：Kacprzyk、 Janusz.、Magnani、 Lorenzo.、Li、 Ping.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Architecture in Practice [electronic resource] : A Software Production Environment Based on Conceptual Modeling

0
索取号：
作者：Pastor、 Oscar.、Molina、 Juan Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

0
索取号：
作者：Broy、 Manfred.、Kr眉ger、 Ingolf H.、Meisinger、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model Abstraction in Dynamical Systems: Application to Mobile Robot Control [electronic resource]

0
索取号：
作者：Mellodge、 Patricia.、Kachroo、 Pushkin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, Z眉rich, Switzerland, July 1-2, 2008 Proceedings

0
索取号：
作者：Vallecillo、 Antonio.、Gray、 Jeff.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院