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

Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

0
索取号：
作者：Meyden、 Ron.、Smaus、 Jan-Georg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Extinction and Quasi-Stationarity in the Stochastic Logistic SIS Model [electronic resource]

0
索取号：
作者：N氓sell、 Ingemar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Macroeconomic Analysis of Monetary Unions [electronic resource] : A General Framework Based on the Mundell-Fleming Model

0
索取号：
作者：Bajo-Rubio、 Oscar.、D铆az-Rold谩n、 Carmen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Organizational Systems [electronic resource] : Managing Complexity with the Viable System Model

0
索取号：
作者：Espejo、 Raul.、Reyes、 Alfonso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Graph Drawing [electronic resource] : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers

0
索取号：
作者：Brandes、 Ulrik.、Cornelsen、 Sabine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

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.

Algorithms and Models for the Web-Graph [electronic resource] : 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010. Proceedings

0
索取号：
作者：Kumar、 Ravi.、Sivakumar、 Dandapani.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

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.

Graph Theoretic Concepts in Computer Science [electronic resource] : 36th International Workshop, WG 2010, Zar贸s, Crete, Greece, June 28-30, 2010 Revised Papers

0
索取号：
作者：Thilikos、 Dimitrios M.、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.

Graph Transformations [electronic resource] : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27鈥揙ctober 2, 2010. Proceedings

0
索取号：
作者：Ehrig、 Hartmut.、Rensink、 Arend.、Rozenberg、 Grzegorz.、Sch眉rr、 Andy.、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.