UB FFM: Suchergebnisse - Implementing Petri Net Transformations using Graph Transformation Tools

1
2
3
weiter
[3]

Implementing Petri Net Transformations using Graph Transformation Tools

Biermann, Enrico

Berlin : Technische Universität Berlin, 2009

E-Book

Graph Transformations : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

Ehrig, Hartmut (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Analysis and correctness of algebraic graph and model transformations

Golas, Ulrike (Verfasser)

1. edition

Wiesbaden : Vieweg + Teubner, 2011

Buch

Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Ehrig, Hartmut (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Graph Transformations : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

Corradini, Andrea (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

High level Petri nets : theory and application

Jensen, Kurt (Hrsg.)

Berlin [u.a.] : Springer, 1991

Buch

Generative programming : methods, tools, and applications

Czarnecki, Krzysztof

6. print.

Boston [u.a.] : Addison Wesley, 2005

Buch

Generative programming : methods, tools, and applications

Czarnecki, Krzysztof

1. print.

Boston [u.a.] : Addison-Wesley, 2000

Buch

Foundations of 3D graphics programming : using JOGL and Java3D

Chen, Jim X.

London [u.a.] : Springer, 2006

Buch

Hands-on machine learning with Scikit-Learn, Keras, and TensorFlow : concepts, tools, and techniques to build intelligent systems

Géron, Aurélien (Verfasser)

Second edition

Beijing ; Boston ; Farnham ; Sebastopol ; Tokyo : O'Reilly, 2019

Buch

Hands-on machine learning with Scikit-Learn and TensorFlow : concepts, tools, and techniques for building intelligent systems

Géron, Aurélien (Verfasser)

First edition, second release

Beijing ; Boston ; Farnham ; Sebastopol ; Tokyo : O'Reilly, March 2017

Buch

Parallel programming : techniques and applications using networked workstations and parallel computers

Wilkinson, Barry

2. ed., International ed.

Upper Saddle River, NJ : Pearson [u.a.], 2005

Buch

Modelling, analysis, and design of hybrid systems

Engell, Sebastian (Hrsg.)

Berlin [u.a.] : Springer, 2002

Buch

B2B integration : concepts and architecture ; with 4 tables

Bussler, Christoph

Berlin [u.a.] : Springer, 2003

Buch

Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

Leuschel, Michael (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Generative and Transformational Techniques in Software Engineering : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

Lämmel, Ralf (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Advances in Enterprise Engineering I : 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008, Proceedings

Dietz, Jan (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Fundamental Approaches to Software Engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Cortellessa, Vittorio (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Information Systems: Modeling, Development, and Integration : Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009, Proceedings

Yang, Jianhua (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers

Martin-Vide, Carlos (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

1
2
3
weiter
[3]

Treffer 1 - 20 von 47

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken