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

The Standard Model and Beyond [electronic resource] : Proceedings of the 2nd International Summer School in High Energy Physics, Mu臒la, 25鈥㰠September 2006

0
索取号：
作者：Aliev、 Takhmasib.、Pak、 Namik Kemal.、Serin、 Meltem.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

0
索取号：
作者：Bo拧na膷ki、 Dragan.、Edelkamp、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model Driven Architecture- Foundations and Applications [electronic resource] : Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

0
索取号：
作者：Akehurst、 David H.、Vogel、 R茅gis.、Paige、 Richard F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Assessment and Future Directions of Nonlinear Model Predictive Control [electronic resource]

0
索取号：
作者：Findeisen、 Rolf.、Allg枚wer、 Frank.、Biegler、 Lorenz T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Testing [electronic resource]

0
索取号：
作者：Baker、 Paul.、Dai、 Zhen Ru.、Grabowski、 Jens.、Haugen、 脴ystein.、Schieferdecker、 Ina.、Williams、 Clay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model-Based Reasoning in Science, Technology, and Medicine [electronic resource]

0
索取号：
作者：Kacprzyk、 Janusz.、Magnani、 Lorenzo.、Li、 Ping.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Architecture in Practice [electronic resource] : A Software Production Environment Based on Conceptual Modeling

0
索取号：
作者：Pastor、 Oscar.、Molina、 Juan Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

0
索取号：
作者：Broy、 Manfred.、Kr眉ger、 Ingolf H.、Meisinger、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model Abstraction in Dynamical Systems: Application to Mobile Robot Control [electronic resource]

0
索取号：
作者：Mellodge、 Patricia.、Kachroo、 Pushkin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, Z眉rich, Switzerland, July 1-2, 2008 Proceedings

0
索取号：
作者：Vallecillo、 Antonio.、Gray、 Jeff.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives

0
索取号：
作者：Grumberg、 Orna.、Veith、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

0
索取号：
作者：Cook、 Byron.、Podelski、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

A Practical Programming Model for the Multi-Core Era [electronic resource] : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

0
索取号：
作者：Chapman、 Barbara.、Zheng、 Weiming.、Gao、 Guang R.、Sato、 Mitsuhisa.、Ayguad茅、 Eduard.、Wang、 Dongsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model Driven Architecture-Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

0
索取号：
作者：Schieferdecker、 Ina.、Hartman、 Alan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Finite Model Theory and Its Applications [electronic resource]

0
索取号：
作者：Gr盲del、 Erich.、Kolaitis、 Phokion G.、Libkin、 Leonid.、Marx、 Maarten.、Spencer、 Joel.、Vardi、 Moshe Y.、Venema、 Yde.、Weinstein、 Scott.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

The Fate of Persistent Organic Pollutants in the North Sea [electronic resource] : Multiple Year Model Simulations of 纬-HCH, 伪-HCH and PCB 153

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