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  xiii, 433 p. ; 24 cm
シリーズ名: 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  xiii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…
3.

図書
図書
3. Foundations of software science and computation structures : second international conference, FOSSACS '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
Wolfgang Thomas (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999  x, 321 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1578
所蔵情報: loading…
4.

図書
図書
4. Programming languages and systems : 7th European Symposium on Programming, ESOP '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
Chris Hankin (ed.)
出版情報: Berlin : Springer-Verlag, c1998  x, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1381
所蔵情報: loading…
5.

図書
図書
5. Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ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
Maurice Nivat (ed.)
出版情報: Berlin ; New York : Springer, c1998  x, 287 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1378
所蔵情報: loading…
6.

図書
図書
6. 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  xii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: loading…
7.

図書
図書
7. Compiler Construction : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
Alan Mycroft, Andreas Zeller (eds.)
出版情報: Berlin : Springer, c2006  xiii, 276 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3923
所蔵情報: loading…
8.

図書
図書
8. Foundations of software science and computation structures : 9th International Conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings
Luca Aceto, Anna Ingólfsdóttir (eds.)
出版情報: Berlin : Springer, c2006  xv, 445 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3921
所蔵情報: loading…
9.

図書
図書
9. Fundamental approaches to software engineering : 9th International Conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings
Luciano Baresi, Reiko Heckel (eds.)
出版情報: Berlin : Springer, c2006  xiii, 425 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3922
所蔵情報: loading…
10.

図書
図書
10. Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings
Peter Sestoft (ed.)
出版情報: Berlin : Springer, c2006  xii, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3924
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼