close
1.

図書
図書
1. System description methodologies : proceedings of the IFIP TC2 Conference on System Description Methodologies, Kecskemét, Hungary, 23-27 May, 1983
edited by Daniel Teichroew and Gabor David
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  x, 616 p. ; 23 cm
所蔵情報: loading…
2.

図書
図書
2. Declarative systems : proceedings of the IFIP TC-10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16-20 October, 1988
edited by G. David, R.T. Boute, B.D. Shriver
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1990  viii, 323 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼