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

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

0
索取号：
作者：Jhala、 Ranjit.、Schmidt、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Stability Analysis of Fuzzy-Model-Based Control Systems [electronic resource] : Linear-Matrix-Inequality Approach

0
索取号：
作者：Lam、 Hak-Keung.、Leung、 Frank Hung-Fat.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

0
索取号：
作者：Engels、 Gregor.、Lewerentz、 Claus.、Sch盲fer、 Wilhelm.、Sch眉rr、 Andy.、Westfechtel、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

0
索取号：
作者：Giese、 Holger.、Karsai、 Gabor.、Lee、 Edward.、Rumpe、 Bernhard.、Sch盲tz、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking Software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

0
索取号：
作者：Pol、 Jaco.、Weber、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

0
索取号：
作者：Petriu、 Dorina C.、Rouquette、 Nicolas.、Haugen、 脴ystein.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II

0
索取号：
作者：Petriu、 Dorina C.、Rouquette、 Nicolas.、Haugen、 脴ystein.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Role of Model Integration in Complex Systems Modelling [electronic resource] : An Example from Cancer Biology

0
索取号：
作者：Patel、 Manish.、Nagl、 Sylvia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Multicomponent Interfacial Transport [electronic resource] : Described by the Square Gradient Model during Evaporation and Condensation

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

Model-Based Reasoning in Science and Technology [electronic resource] : Abduction, Logic, and Computational Discovery

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

Coping with Complexity: Model Reduction and Data Analysis [electronic resource]

0
索取号：
作者：Gorban、 Alexander N.、Roose、 Dirk.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model-Driven Development of Advanced User Interfaces [electronic resource]

0
索取号：
作者：Hussmann、 Heinrich.、Meixner、 Gerrit.、Zuehlke、 Detlef.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theory and Practice of Model Transformations [electronic resource] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

0
索取号：
作者：Tratt、 Laurence.、Gogolla、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model-Based Software Performance Analysis [electronic resource]

0
索取号：
作者：Cortellessa、 Vittorio.、Di Marco、 Antinisca.、Inverardi、 Paola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Fault-Diagnosis Applications [electronic resource] : Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-tolerant Systems

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

Three-Dimensional Model Analysis and Processing [electronic resource]

0
索取号：
作者：Yu、 Faxin.、Luo、 Hao.、Lu、 Zheming.、Wang、 Pinghui.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.