MPG.eBooks - Search Results

1

Application of Petri Nets to Communication Networks : Advances in Petri Nets

Published 1999

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

2

Current Trends in Concurrency : Overviews and Tutorials

Published 1986

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

3

Concurrency and Hardware Design : Advances in Petri Nets

Published 2002

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

4

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

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective...”

Read Now

5

Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... for programming embedded systems -- Proof-based system engineering and embedded systems -- A design notation...”

Read Now

6

Lectures on Petri Nets II: Applications : Advances in Petri Nets

Published 1998

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

7

Lectures on Petri Nets I: Basic Models : Advances in Petri Nets

Published 1998

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

8

Graph-Grammars and Their Application to Computer Science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986

Published 1987

Springer Berlin Heidelberg

Table of Contents: “... grammar engineering: A software specification method -- A linguistic formalism for engineering solid...”

Read Now

9

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

Published 1991

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

10

High-level Petri Nets : Theory and Application

Published 1991

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

11

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

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial...”

Read Now

12

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

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business...”

Read Now

13

Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Engineering Approach Based on the Integration of CPNs with Objects -- Modeling of a Library with THORNs...”

Read Now

14

Lindenmayer Systems : Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology

Published 1992

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

15

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: “... tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based...”

Read Now

16

DNA Computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers

Published 2001

Springer Berlin Heidelberg

Table of Contents: “...Engineered communications for microbial robotics -- Successive state transitions with I/O interface...”

Read Now

17

Lectures on Concurrency and Petri Nets : Advances in Petri Nets

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller...”

Read Now

18

Theory and Application of Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... in Petri Net Transformations -- Software Engineering -- Using Graph Transformation Techniques...”

Read Now

19

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

“... software engineering, data base and in formation systems, computer architecture and operating systems...”

Read Now

20

Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.

Published 1996

Springer Berlin Heidelberg

“... into nine topical sections on rewriting techniques, specification and semantics, software engineering...”

Narrow Search