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

Model-Driven Risk Analysis [electronic resource] : The CORAS Approach

0
索取号：
作者：Lund、 Mass Soldal.、Solhaug、 Bj酶rnar.、St酶len、 Ketil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Hermenegildo、 Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model Theory and Applications [electronic resource]

0
索取号：
作者：Mangani、 P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Fundamentals of Materials Science [electronic resource] : The Microstructure鈥揚roperty Relationship Using Metals as Model Systems

0
索取号：
作者：Mittemeijer、 Eric J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Operations Research [electronic resource] : A Model-Based Approach

0
索取号：
作者：Eiselt、 H. A.、Sandblom、 Carl-Louis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Role of the Ocean in Global Cycling of Persistent Organic Contaminants [electronic resource] : Refinement and Application of a Global Multicompartment Chemistry-Transport Model

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

Model Driven Engineering Languages and Systems [electronic resource] : 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings

0
索取号：
作者：Sch眉rr、 Andy.、Selic、 Bran.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Semantic Web Information Management [electronic resource] : A Model-Based Perspective

0
索取号：
作者：de Virgilio、 Roberto.、Giunchiglia、 Fausto.、Tanca、 Letizia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Transactions on Aspect-Oriented Software Development VI [electronic resource] : Special Issue on Aspects and Model-Driven Engineering

0
索取号：
作者：Katz、 Shmuel.、Ossher、 Harold.、France、 Robert.、J茅z茅quel、 Jean-Marc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Morphological and Cellular Aspects of Tail and Limb Regeneration in Lizards [electronic resource] : A Model System With Implications for Tissue Regeneration in Mammals

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

Model Driven Architecture - Foundations and Applications [electronic resource] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

0
索取号：
作者：Paige、 Richard F.、Hartman、 Alan.、Rensink、 Arend.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Checking Software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

0
索取号：
作者：P膬s膬reanu、 Corina S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Theory and Practice of Model Transformations [electronic resource] : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

0
索取号：
作者：Paige、 Richard F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

AC Machine Systems [electronic resource] : Mathematical Model and Parameters, Analysis, and System Performance

0
索取号：
作者：Gao、 Jingde.、Wang、 Xiangheng.、Zhang、 Linzheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Nonlinear Model Predictive Control [electronic resource] : Towards New Challenging Applications

0
索取号：
作者：Magni、 Lalo.、Raimondo、 Davide Martino.、Allg枚wer、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

0
索取号：
作者：Peled、 Doron A.、Wooldridge、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.