close
1.

図書
図書
1. 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 : selected papers (: gw ; : us)
Hartmut Ehrig, Fernando Orejas, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994  viii, 350 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 785
2.

図書
図書
2. Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)
出版情報: Berlin : Springer, c2001  xiv, 1083 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2076
3.

図書
図書
3. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
出版情報: Berlin ; New York : Springer, c2005  viii, 269 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3423
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼