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

Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30鈥揙ctober 5, 2012. Proceedings

0
索取号:
作者:France、 Robert B.、Kazmeier、 J眉rgen.、Breu、 Ruth.、Atkinson、 Colin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model and Data Engineering [electronic resource] : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings

0
索取号:
作者:Abell贸、 Alberto.、Bellatreche、 Ladjel.、Benatallah、 Boualem.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Business Process Model and Notation [electronic resource] : 4th International Workshop, BPMN 2012, Vienna, Austria, September 12-13, 2012. Proceedings

0
索取号:
作者:Mendling、 Jan.、Weidlich、 Matthias.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

0
索取号:
作者:Donaldson、 Alastair.、Parker、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Operations Research [electronic resource] : A Model-Based Approach

0
索取号:
作者:Eiselt、 H. A.、Sandblom、 Carl-Louis.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Theory and Practice of Model Transformations [electronic resource] : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

0
索取号:
作者:Hu、 Zhenjiang.、Lara、 Juan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Managing Green Business Model Transformations [electronic resource]

0
索取号:
作者:Sommer、 Axel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Explicit Nonlinear Model Predictive Control [electronic resource] : Theory and Applications

0
索取号:
作者:Grancharova、 Alexandra.、Johansen、 Tor Arne.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

0
索取号:
作者:Kuncak、 Viktor.、Rybalchenko、 Andrey.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

The Common Information Model CIM [electronic resource] : IEC 61968/61970 and 62325 - A practical introduction to the CIM

0
索取号:
作者:Uslar、 Mathias.、Specht、 Michael.、Rohjans、 Sebastian.、Trefke、 J枚rn.、Vasquez Gonzalez、 Jose Manuel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Business Process Model and Notation [electronic resource] : Third International Workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011. Proceedings

0
索取号:
作者:Dijkman、 Remco.、Hofstetter、 J枚rg.、Koehler、 Jana.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Driven Engineering Languages and Systems [electronic resource] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

0
索取号:
作者:Whittle、 Jon.、Clark、 Tony.、K眉hne、 Thomas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model and Data Engineering [electronic resource] : First International Conference, MEDI 2011, 脫bidos, Portugal, September 28-30, 2011. Proceedings

0
索取号:
作者:Bellatreche、 Ladjel.、Mota Pinto、 Filipe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Inverse Analyses with Model Reduction [electronic resource] : Proper Orthogonal Decomposition in Structural Mechanics

0
索取号:
作者:Buljak、 Vladimir.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

0
索取号:
作者:Groce、 Alex.、Musuvathi、 Madanlal.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类