著者典拠情報

標目形：
International Joint Conference on Theory and Practice of Software Development
属性：
Meeting
場所：
Berlin;Pisa;Barcelona;Brighton, U.K.;Aarhus;Lille
日付：
1985;1987;1989;1991;1995;1997
から見よ参照形：
TAPSOFT
Conference on Theory and Practice of Software Development, International Joint
注記：
Its ([1st] : March 25-29, 1985 : Berlin) Mathematical foundations of software development, c1985: CIP t.p. (International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985)
Its (2nd : March 23-27, 1987 : Pisa, Italy) TAPSOFT '87, c1987
Its (3rd : March 13-17, 1989 : Barcelona) TAPSOFT '89, c1989
Its (4th : April 8-12, 1991 : Brighton, U.K.) TAPSOFT '91, c1991
EDSRC:TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds(Springer, 1995)
EDSRC:TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / Michel Bidoit, Max Dauchet (eds.)(Springer, c1997)
著者典拠ID：
DA00902980


 close
1.

図書
図書
1. Fundamental approaches to software engineering : first international conference, FASE'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Egidio Astesiano, ed
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1382
所蔵情報: loading…
2.

図書
図書
2. TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
Michel Bidoit, Max Dauchet (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1214
所蔵情報: loading…
3.

図書
図書
3. TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings (: gw ; : us)
M.-C. Gaudel, J.-P. Jouannaud (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 668
所蔵情報: loading…
4.

図書
図書
4. Colloquium on Trees in Algebra and Programming (CAAP '91) (: gw ; : us)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 493 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 1
所蔵情報: loading…
5.

図書
図書
5. Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) (: gw ; : us)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 494 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 2
所蔵情報: loading…
6.

図書
図書
6. 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…
7.

図書
図書
7. 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…
8.

図書
図書
8. Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 249 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 1
所蔵情報: loading…
9.

図書
図書
9. Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 250 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 2
所蔵情報: loading…
10.

図書
図書
10. Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1
所蔵情報: loading…