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

Model Driven Engineering Languages and Systems [electronic resource] : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

0
索取号：
作者：Briand、 Lionel.、Williams、 Clay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures

0
索取号：
作者：Broy、 Manfred.、Jonsson、 Bengt.、Katoen、 Joost-Pieter.、Leucker、 Martin.、Pretschner、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

0
索取号：
作者：Godefroid、 Patrice.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Link枚ping, Sweden, June 10-11, 2004. Revised Selected Papers

0
索取号：
作者：A脽mann、 Uwe.、Aksit、 Mehmet.、Rensink、 Arend.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

0
索取号：
作者：Emerson、 E. Allen.、Namjoshi、 Kedar S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

SDL 2005: Model Driven [electronic resource] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

0
索取号：
作者：Prinz、 Andreas.、Reed、 Rick.、Reed、 Jeanne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

0
索取号：
作者：Cousot、 Radhia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model-Driven Design Using Business Patterns [electronic resource]

0
索取号：
作者：Hruby、 Pavel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Topics in Dynamic Model Analysis [electronic resource] : Advanced Matrix Methods and Unit-Root Econometrics Representation Theorems

0
索取号：
作者：Faliva、 Mario.、Zoia、 Maria Grazia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Finite Model Theory [electronic resource]

0
索取号：
作者：Ebbinghaus、 Heinz-Dieter.、Flum、 J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Model-Driven Software Development [electronic resource]

0
索取号：
作者：Beydeda、 Sami.、Book、 Matthias.、Gruhn、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Functional Structures in Networks [electronic resource] : AMLn- A Language for Model Driven Development of Telecom Systems

0
索取号：
作者：Muth、 Thomas G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Form-Oriented Analysis [electronic resource] : A New Methodology to Model Form-Based Applications

0
索取号：
作者：Draheim、 Dirk.、Weber、 Gerald.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

The Psychology of Driving on Rural Roads [electronic resource] : Development and Testing of a Model

0
索取号：
作者：Weller、 Gert.、SpringerLink (Online service)、
出版社：Wiesbaden : VS Verlag f眉r Sozialwissenschaften, 2010.

Farewell to the Party Model? [electronic resource] : Independent Local Lists in East and West European Countries

0
索取号：
作者：Reiser、 Marion.、Holtmann、 Everhard.、SpringerLink (Online service)、
出版社：Wiesbaden : VS Verlag f眉r Sozialwissenschaften, 2008.

Mechanics and Model-Based Control of Smart Materials and Structures [electronic resource]

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