close
1.

図書

図書
edited by J. Díaz and I. Ramos
出版情報: Berlin ; New York : Springer-Verlag, 1981  vii, 478 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 107
所蔵情報: loading…
2.

図書

図書
Josep Diaz, Maria Serna (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  xii, 566 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1136
所蔵情報: loading…
3.

図書

図書
Josep Díaz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xix, 1253 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3142
所蔵情報: loading…
4.

図書

図書
edited by J. Díaz
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983  viii, 733 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 154
所蔵情報: loading…
5.

図書

図書
International Joint Conference on Theory and Practice of Software Development ; Díaz, Josep, 1950- ; Orejas, Fernando ; Advanced Seminar on Foundations of Innovative Software Development ; Colloquium on Trees in Algebra and Programming
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  x, 383 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 351 . TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.) ; v. 1
所蔵情報: loading…
目次情報: 続きを見る
From the Contents: Algorithms.
Proving Techniques.
Algebraic Specifications.
Concurrency.
Foundations.
From the Contents: Programming Language Concepts.
Language Implementation.
Programming Paradigms.
Software Development.
From the Contents: Algorithms.
Proving Techniques.
Algebraic Specifications.
6.

図書

図書
J. Díaz, F. Orejas (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  x, 389 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 352 . TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.) ; v. 2
所蔵情報: loading…
目次情報:
Progamming Language Concepts, Language Implementation, Programming Paradigms, Software Development
Progamming Language Concepts, Language Implementation, Programming Paradigms, Software Development
7.

図書

図書
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988-c1990  2 v. ; 25 cm
シリーズ名: EATCS monographs on theoretical computer science ; v. 11, 22
所蔵情報: loading…
8.

図書

図書
J.L. バルカサール, J. ディアス, J. ガバロ著 ; 足立暁生訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1989.11  ix,211p ; 26cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼