著者典拠情報

標目形：
Díaz, Josep, 1950-
属性：
Personal
日付：
1950
から見よ参照形：
Díaz, J., 1950-
Díaz, J. (Josep), 1950-
Díaz Cort, Josep, 1950-
Cort, Josep Díaz, 1950-
ディアス, J.
注記：
Formalization of programming concepts, 1981 (a.e.) t.p. (J. Diaz) verso of t.p. (Josep Diaz, Fac. d'Inform., Univ. Polit. de Barcelona, Barcelona, Spain) CIP data sheet (Josep Diaz Cort, b. 3/15/50)
著者典拠ID：
DA01790204


 close
1.

図書
図書
1. Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
Josep Díaz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3142
所蔵情報: loading…
2.

図書
図書
2. Algorithms--ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings
Josep Diaz, Maria Serna, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1136
所蔵情報: loading…
3.

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

図書
図書
4. Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) (: gw ; : us)
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
シリーズ名: 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…
5.

図書
図書
5. Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) (: gw ; : us)
J. Díaz, F. Orejas (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: 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…
6.

図書
図書
6. 構造的計算量理論
J.L. バルカサール, J. ディアス, J. ガバロ著 ; 足立暁生訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1989.11
所蔵情報: loading…
7.

図書
図書
7. Automata, languages and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 (: gw ; : us)
edited by J. Díaz
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 154
所蔵情報: loading…
8.

図書
図書
8. Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings (: gw ; : us)
edited by J. Díaz and I. Ramos
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 107
所蔵情報: loading…