Fernando Orejas | Akateeminen Kirjakauppa

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

Orejas, Fernando; Spirakis, Paul G.; Leeuwen, Jan van
Springer
2001
Pehmeäkantinen kirja

51,10 €

Recent Trends in Data Type Specification - 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, Ap

Ehrig, Hartmut; Jantke, Klaus P.; Orejas, Fernando; Reichel, Horst
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1991
Pehmeäkantinen kirja

51,10 €

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain,

Diaz, Josep; Orejas, Fernando
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1989
Pehmeäkantinen kirja

51,10 €

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain,

Diaz, Josep; Orejas, Fernando
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1989
Pehmeäkantinen kirja

51,10 €

Algebraic System Specification and Development - A Survey and Annotated Bibliography

Bidoit, Michel; Kreowski, Hans-Jörg; Lescanne, Pierre; Orejas, Fernando; Sannella, Donald
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1991
Pehmeäkantinen kirja

51,10 €

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

Fiadeiro, José Luiz; Mosses, Peter; Orejas, Fernando
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

51,10 €

Recent Trends in Data Type Specification - 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Works

Ehrig, Hartmut; Orejas, Fernando
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1994
Pehmeäkantinen kirja

51,10 €

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

Kreowski, Hans-Jörg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taentzer, Gabriele
Springer
2005
Pehmeäkantinen kirja

51,10 €

Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Co

Giannakopoulou, Dimitra; Orejas, Fernando
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,10 €

Notes on Set Theory

Diaz, J.; Orejas, Fernando; Moschovakis, Yiannis
SPRINGER VERLAG GMBH
2008
Kovakantinen kirja

64,00 €

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

Guerra, Esther; Orejas, Fernando
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €