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

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.

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.
最近添加的分类