Search alternatives:
modul » module, modal
modus » modes

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Transformation to Software Engineering and Back -- Flexible Interconnection of Graph Transformation Modules...

2
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... of concurrency: Partial orders and transition systems -- CCS without ?'s -- A fully observational model...

3
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...Models and equality for logical programming -- Fifth generation computer project: Current research...

4
Published 2009
Springer Berlin Heidelberg
Table of Contents: ...-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized...