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

Model Driven Engineering and Ontology Development [electronic resource]

0
索取号：
作者：Deved驴ic、 Vladan.、Djuric、 Dragan.、Ga驴evic、 Dragan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

0
索取号：
作者：Jones、 Neil D.、M眉ller-Olm、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Forest Dynamics, Growth and Yield [electronic resource] : From Measurement to Model

0
索取号：
作者：Pretzsch、 Hans.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Model Driven Engineering Languages and Systems [electronic resource] : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

0
索取号：
作者：Czarnecki、 Krzysztof.、Ober、 Ileana.、Bruel、 Jean-Michel.、Uhl、 Axel.、V枚lter、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

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, 2009.

Applications of Nonlinear Dynamics [electronic resource] : Model and Design of Complex Systems

0
索取号：
作者：In、 Visarath.、Longhini、 Patrick.、Palacios、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

0
索取号：
作者：Havelund、 Klaus.、Majumdar、 Rupak.、Palsberg、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Semantic Grid: Model, Methodology, and Applications [electronic resource]

0
索取号：
作者：Wu、 Zhao-hui.、Chen、 Hua-jun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model-Based Software and Data Integration [electronic resource] : First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings

0
索取号：
作者：Kutsche、 Ralf-Detlef.、Milanovic、 Nikola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model Order Reduction: Theory, Research Aspects and Applications [electronic resource]

0
索取号：
作者：Schilders、 Wilhelmus H. A.、Vorst、 Henk A.、Rommes、 Joost.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

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.