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

Advanced Dynamics and Model-Based Control of Structures and Machines [electronic resource]

0
索取号：
作者：Irschik、 Hans.、Krommer、 Michael.、Belyaev、 Alexander K.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna : Imprint: Springer, 2012.

Giardia [electronic resource] : A Model Organism

0
索取号：
作者：Luj谩n、 Hugo D.、Sv盲rd、 Staffan.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna, 2011.

SynDEVS Co-Design Flow [electronic resource] : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

0
索取号：
作者：Molter、 H. Gregor.、SpringerLink (Online service)、
出版社：Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.

Model-Based Engineering of Embedded Systems [electronic resource] : The SPES 2020 Methodology

0
索取号：
作者：Pohl、 Klaus.、H枚nninger、 Harald.、Achatz、 Reinhold.、Broy、 Manfred.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Graph-Theoretic Concepts in Computer Science [electronic resource] : 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers

0
索取号：
作者：Golumbic、 Martin Charles.、Stern、 Michal.、Levy、 Avivit.、Morgenstern、 Gila.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

0
索取号：
作者：Sch眉rr、 Andy.、Varr贸、 D谩niel.、Varr贸、 Gergely.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

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.

Graph Transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings

0
索取号：
作者：Ehrig、 Hartmut.、Engels、 Gregor.、Kreowski、 Hans-J枚rg.、Rozenberg、 Grzegorz.、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.

Algorithms and Models for the Web Graph [electronic resource] : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings

0
索取号：
作者：Bonato、 Anthony.、Janssen、 Jeannette.、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.

Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

0
索取号：
作者：Croitoru、 Madalina.、Rudolph、 Sebastian.、Wilson、 Nic.、Howse、 John.、Corby、 Olivier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.