MPG.eBooks - Search Results - (((polysomics OR ((poly OR polye) OR pollyleele)) OR (polyyblend OR post)) OR (pools OR tools))

1

Membrane Computing : 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers

Published 2021

Springer International Publishing

Table of Contents: “... and P System -- P System as a Computing Tool for Embedded Feature Selection and Classification Method...”

Read Now

2

Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrenc...

Published 1987

Springer Berlin Heidelberg

Table of Contents: “...to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net...”

Read Now

3

Membrane Computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

“...This book constitutes the thoroughly refereed post-conference proceedings of the 12th International...”

Read Now

4

Membrane Computing : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

Published 2011

Springer Berlin Heidelberg

“...This book constitutes the thoroughly refereed post-conference proceedings of the 11th International...”

Read Now

5

Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- Integration Technology -- Rule Execution in Graph-Based Incremental Interactive Integration Tools...”

Read Now

6

High-level Petri Nets : Theory and Application

Published 1991

Springer Berlin Heidelberg

Table of Contents: “... Algorithm -- 21. PROTEAN: A High-level Petri Net Tool for the Specification and Verification...”

Read Now

7

Graph Transformation : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Discovery -- GraCAD – Graph-Based Tool for Conceptual Design -- A Formal Semantics of UML Statecharts...”

Read Now

8

Advances in Petri Nets 1985

Published 1986

Springer Berlin Heidelberg

Table of Contents: “... -- Making nets abstract and structured -- Petri net tools -- Projections of CE-systems -- Synchronic...”

Read Now

9

Lectures on Concurrency and Petri Nets : Advances in Petri Nets

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Automata: Semantics, Algorithms and Tools -- Petri Nets and Dependability -- Process Algebra -- A Coloured...”

Read Now

10

Advances in Petri Nets 1993

Published 1993

Springer Berlin Heidelberg

Table of Contents: “... nets -- A concept of hierarchical Petri nets with building blocks -- Petri net tool overview 1992...”

Read Now

11

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

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... Model Transformation Based on GraphTransformation: Formal Foundation and Tool Environment --...”

Read Now

12

Membrane Computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

“...This book constitutes the thoroughly refereed post-conference proceedings of the 13th International...”

Read Now

13

Advances in Petri Nets 1989

Published 1990

Springer Berlin Heidelberg

Table of Contents: “.../T-systems as abstractions of C/E-systems -- The semantics of capacities in P/T nets -- Petri net tool...”

Read Now

14

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

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... Computation Models -- Graph-Based Tools: The Contest -- Workshop on Petri Nets and Graph Transformations...”

Read Now

15

Graph Grammars and Their Application to Computer Science : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Table of Contents: “... grammars in applications -- GraphEd: An interactive tool for developing graph grammars -- Presentation...”

Read Now

16

Petri Nets: Central Models and Their Properties : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

Published 1987

Springer Berlin Heidelberg

“...Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid...”

Read Now

17

Membrane Computing : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

Published 2014

Springer International Publishing

“...This book constitutes the thoroughly refereed post-conference proceedings of the 15th International...”

Read Now

18

Membrane Computing : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Systems with Symport/Antiport Rules -- On P Systems as a Modelling Tool for Biological Systems -- Encoding...”

Read Now

19

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... -- BASYSNET – An Integrated Approach for Automated Control System Development -- The Electronic Tool...”

Read Now

20

Membrane Computing : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers

Published 2010

Springer Berlin Heidelberg

“...This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International...”

Narrow Search