author:Orejas, Fernando | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and ... (Lecture Notes in Computer Science, 6603)

Giannakopoulou, Dimitra／Orejas, Fernando

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... (Lecture Notes in Computer Science, 785)

Ehrig, Hartmut／Orejas, Fernando

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings (Lecture Notes in Computer Science, 534)

Ehrig, Hartmut／Orejas, Fernando／Reichel, Horst／Jantke, Klaus P.

Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science, 501)

Orejas, Fernando／Bidoit, Michel／Kreowski, Hans-J??rg／Sannella, Donald／Lescanne, Pierre

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 (Lecture Notes in Computer Science, 352)

Orejas, Fernando／Diaz, Josep

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings (Lecture Notes in Computer Science, 2076)

Orejas, Fernando／Spirakis, Paul G.／Leeuwen, Jan van

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3423)

Orejas, Fernando／Fiadeiro, Luiz／Mosses, Peter

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 3393)

Montanari, Ugo／Taentzer, Gabriele／Orejas, Fernando／Rozenberg, Grzegorz／Kreowski, Hans-JÃ¶rg

Graph transformation : 12th International Conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15-16, 2019, proceedings

Esther Guerra, Fernando Orejas (eds.)