close
1.

図書
図書
1. Automata, languages and programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings (pt. 1 ; pt. 2)
Susanne Albers ... [et al.] (eds.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5555-5556 . Advanced research in computing and software science
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Automata, Languages and Programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5555
オンライン: http://dx.doi.org/10.1007/978-3-642-02927-1
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Automata, Languages and Programming : 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5556
オンライン: http://dx.doi.org/10.1007/978-3-642-02930-1
所蔵情報: loading…
4.

図書
図書
4. STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
Wolfgang Thomas, Pascal Weil (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4393
所蔵情報: loading…
5.

図書
図書
5. STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings
Bruno Durand, Wolfgang Thomas (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3884
所蔵情報: loading…
6.

図書
図書
6. 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
シリーズ名: Lecture notes in computer science ; 1578
所蔵情報: loading…
7.

図書
図書
7. Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Mogens Nielsen, Wolfgang Thomas (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1414
所蔵情報: loading…
8.

図書
図書
8. Mathematical logic (: us ; : gw)
H.-D. Ebbinghaus, J. Flum, W. Thomas
出版情報: New York : Springer-Verlag, c1984
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…