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

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.

Model Predictive Control of Wastewater Systems [electronic resource]

0
索取号:
作者:Ocampo-Martinez、 Carlos.、SpringerLink (Online service)、
出版社:London : Springer London, 2010.

Finite-element-model Updating Using Computional Intelligence Techniques [electronic resource] : Applications to Structural Dynamics

0
索取号:
作者:Marwala、 Tshilidzi.、SpringerLink (Online service)、
出版社:London : Springer London, 2010.

Automotive Model Predictive Control [electronic resource] : Models, Methods and Applications

0
索取号:
作者:Re、 Luigi.、Allg枚wer、 Frank.、Glielmo、 Luigi.、Guardiola、 Carlos.、Kolmanovsky、 Ilya.、SpringerLink (Online service)、
出版社:London : Springer London, 2010.

Model Predictive Control System Design and Implementation Using MATLAB庐 [electronic resource]

0
索取号:
作者:Wang、 Liuping.、SpringerLink (Online service)、
出版社:London : Springer London, 2009.

Model-based Process Supervision [electronic resource] : A Bond Graph Approach

0
索取号:
作者:Samantaray、 Arun K.、Bouamama、 Belkacem Ould.、SpringerLink (Online service)、
出版社:London : Springer London, 2008.

Principles of the Spin Model Checker [electronic resource]

0
索取号:
作者:Ben-Ari、 Mordechai.、SpringerLink (Online service)、
出版社:London : Springer London, 2008.