close
1.

図書
図書
1. 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  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.
2.

図書
図書
2. 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  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
3.

図書
図書
3. 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
所蔵情報: loading…
4.

図書
図書
4. 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
所蔵情報: loading…
5.

図書
図書
5. 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
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼