Search alternatives:
computational engineering » communications engineering
Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... composition of graph grammar productions -- The decomposition of ESM computations -- Formal relationship...”
Cover Image
Read Now

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... replacement systems -- A computational model for generic graph functions -- Graphs and designing -- ESM...”
Cover Image
Read Now

3
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... functions defined by schemes -- Graphic equivalence and computer optimization -- Graph grammars and logic...”
Cover Image
Read Now

4
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... homomorphisms -- A metric characterization of fair computations in CCS -- A complete modal proof system for a...”
Cover Image
Read Now

5
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... and Algorithms -- Election, Naming and Cellular Edge Local Computations -- Embedding in Switching Classes...”
Cover Image
Read Now

6
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Units -- Describing Policies with Graph Constraints and Rules -- Computer Aided Multi-paradigm Modelling...”
Cover Image
Read Now

7
Published 2001
Springer Berlin Heidelberg
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

8
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business...”
Cover Image
Read Now

9
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools...”
Cover Image
Read Now

10
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... based specification of interconnection structures for massively parallel computation -- Towards...”
Cover Image
Read Now

11
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix...”
Cover Image
Read Now

12
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

13
by Corradini, Andrea
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Discrete Mathematics in Computer Science...”
Cover Image
Read Now

14
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... in Petri Net Transformations -- Software Engineering -- Using Graph Transformation Techniques...”
Cover Image
Read Now

15
by Ehrig, Hartmut
Published 2003
Springer Berlin Heidelberg
Subjects: “...Discrete Mathematics in Computer Science...”
Cover Image
Read Now

16
by Ehrig, Hartmut
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Discrete Mathematics in Computer Science...”
Cover Image
Read Now

17
by Ehrig, Hartmut
Published 2004
Springer Berlin Heidelberg
Subjects: “...Discrete Mathematics in Computer Science...”
Cover Image
Read Now

18
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... structure -- Categories and mathematical morphology -- Topological spaces for cpos -- On the topological...”
Cover Image
Read Now

19
by Ehrig, Hartmut, Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

20
by Ehrig, Hartmut, Mahr, Bernd
Published 1990
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”