著者典拠情報

標目形：
European Conferences on Theory and Practice of Software
属性：
Meeting
場所：
Lisbon;Amsterdam;Berlin;Genova;Barcelona;
日付：
1998;1999;2000;2001;2004;
から見よ参照形：
ETAPS
Joint European Conferences on Theory and Practice of Software
注記：
Tools and algorithms for the construction and analysis of sytems, 1998: CIP t.p. (European Conferences on Theory and Practic of Software, ETAPS '98, Lisbon, Portugal, March/April 1998)
Programming languages and systems, 1998: t.p. (7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAP'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings)
SRC:Programming languages and systems, c1999: t.p.(8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, proceedings)
EDSRC:Tools and algorithms for the construction and analysis of systems, c2000: t.p. (European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000) foreward (EATPS 2000 was the third instance of the Euroepan Joint Conferences on Theory and Practice of Software)
EDSRC:Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Heinrich Hussmann (ed.)(Springer,c2001)
EDSRC:Compiler construction : 13th International Conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings / Evelyn Duesterwald (ed.) (Springer, c2004)
著者典拠ID：
DA12349510


 close
1.

図書
図書
1. Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: loading…
2.

図書
図書
2. Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…
3.

図書
図書
3. Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Daniel Le Métayer (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: loading…
4.

図書
図書
4. Compiler Construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
R. Nigel Horspool (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2304
所蔵情報: loading…
5.

図書
図書
5. Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
David Sands (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2028
所蔵情報: loading…
6.

図書
図書
6. Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Heinrich Hussmann (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2029
所蔵情報: loading…
7.

図書
図書
7. Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Reinhard Wilhelm (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2027
所蔵情報: loading…
8.

図書
図書
8. Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Furio Honsell, Marino Miculan (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2030
所蔵情報: loading…
9.

図書
図書
9. Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Tiziana Margaria, Wang Yi (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2031
所蔵情報: loading…
10.

図書
図書
10. Compiler construction : 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
David A. Watt (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1781
所蔵情報: loading…