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

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.

Discrete Geometry, Combinatorics and Graph Theory [electronic resource] : 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi鈥檃n, China, November 22-24, 2005, Revised Selected Papers

0
索取号：
作者：Akiyama、 Jin.、Chen、 William Y. C.、Kano、 Mikio.、Li、 Xueliang.、Yu、 Qinglin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

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.

Applied Graph Theory in Computer Vision and Pattern Recognition [electronic resource]

0
索取号：
作者：Kandel、 Abraham.、Bunke、 Horst.、Last、 Mark.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Concentration Inequalities and Model Selection [electronic resource] : Ecole d'Et茅 de Probabilit茅s de Saint-Flour XXXIII - 2003

0
索取号：
作者：Massart、 Pascal.、Picard、 Jean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Graph-Theoretic Concepts in Computer Science [electronic resource] : 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers

0
索取号：
作者：Fomin、 Fedor V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

0
索取号：
作者：Nierstrasz、 Oscar.、Whittle、 Jon.、Harel、 David.、Reggio、 Gianna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Graph Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

0
索取号：
作者：Corradini、 Andrea.、Ehrig、 Hartmut.、Montanari、 Ugo.、Ribeiro、 Leila.、Rozenberg、 Grzegorz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Scattering from Model Nonspherical Particles [electronic resource] : Theory and Applications to Environmental Physics

0
索取号：
作者：Borghese、 Ferdinando.、Denti、 Paolo.、Saija、 Rosalba.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model Driven Architecture-Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

0
索取号：
作者：Rensink、 Arend.、Warmer、 Jos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.