MPG.eBooks - Author Search Results

Cover Image

1

Automata, Languages and Programming : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

by Orejas, Fernando
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

2

TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

by Díaz, Josep
Published 1989

Springer

Other Authors: “...Orejas, Fernando...”

Cover Image

3

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992...

by Ehrig, Hartmut
Published 1994

Springer

Other Authors: “...Orejas, Fernando...”

Cover Image

4

Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Published 2019

Springer International Publishing

Other Authors: “...Orejas, Fernando...”

Cover Image

5

Fundamental Approaches to Software Engineering : 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2...

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Orejas, Fernando...”

Cover Image

6

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: Advanced Seminar on F...

Published 1989

Springer Berlin Heidelberg

Other Authors: “...Orejas, Fernando...”

Cover Image

7

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 : Volume 2: Advanced Seminar on Fo...

Published 1989

Springer Berlin Heidelberg

Other Authors: “...Orejas, Fernando...”

Cover Image

8

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 19...

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Orejas, Fernando...”

Cover Image

9

Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Orejas, Fernando...”

Cover Image

10

Algebraic system specification and development : A survey and annotated bibliography

by Bidoit, Michel
Published 1991

Springer

Other Authors: “...Orejas, Fernando...”

Cover Image

11

Automata, Languages and Programming : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Orejas, Fernando...”

Cover Image

12

Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Other Authors: “...Orejas, Fernando...”

Cover Image

13

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Orejas, Fernando...”

Cover Image

14

Algebraic System Specification and Development : A Survey and Annotated Bibliography

Published 1991

Springer Berlin Heidelberg

Other Authors: “...Orejas, Fernando...”