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

Graph-Theoretic Concepts in Computer Science [electronic resource] : 34th International Workshop, WG 2008, Durham, UK, June 30 鈥ʵly 2, 2008. Revised Papers

0
索取号：
作者：Broersma、 Hajo.、Erlebach、 Thomas.、Friedetzky、 Tom.、Paulusma、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Geometry and Graph Theory [electronic resource] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers

0
索取号：
作者：Ito、 Hiro.、Kano、 Mikio.、Katoh、 Naoki.、Uno、 Yushi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

0
索取号：
作者：Sch眉rr、 Andy.、Nagl、 Manfred.、Z眉ndorf、 Albert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

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.

Graph Transformations [electronic resource] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

0
索取号：
作者：Ehrig、 Hartmut.、Heckel、 Reiko.、Rozenberg、 Grzegorz.、Taentzer、 Gabriele.、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.

Algorithms and Models for the Web-Graph [electronic resource] : Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers

0
索取号：
作者：Aiello、 William.、Broder、 Andrei.、Janssen、 Jeannette.、Milios、 Evangelos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

0
索取号：
作者：Logozzo、 Francesco.、Peled、 Doron A.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Graph Drawing [electronic resource] : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers

0
索取号：
作者：Hong、 Seok-Hee.、Nishizeki、 Takao.、Quan、 Wu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking

0
索取号：
作者：Esparza、 Javier.、Heljanko、 Keijo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.