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

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.

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.

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.

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.

Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena [electronic resource]

0
索取号：
作者：Gorban、 Alexander N.、Kevrekidis、 Ioannis G.、Theodoropoulos、 Constantinos.、Kazantzis、 Nikolaos K.、脰ttinger、 Hans Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

A Computational Model of Natural Language Communication [electronic resource] : Interpretation, Inference, and Production in Database Semantics

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

Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

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

The Random-Cluster Model [electronic resource]

0
索取号：
作者：Grimmett、 Geoffrey R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Model Driven Architecture and Ontology Development [electronic resource]

0
索取号：
作者：Ga拧evi膰、 Dragan.、Djuri膰、 Dragan.、Deved啪i膰、 Vladan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Model Driven Architecture-Foundations and Applications [electronic resource] : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

0
索取号：
作者：Hartman、 Alan.、Kreische、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院