大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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.