close
1.

電子ブック
ＥＢ
1. Logic and Its Applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
edited by Mohua Banerjee, Anil Seth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6521
オンライン: http://dx.doi.org/10.1007/978-3-642-18026-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
edited by Luke Ong
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6690
オンライン: http://dx.doi.org/10.1007/978-3-642-21691-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
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, Pierre-Louis Curien
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5608
オンライン: http://dx.doi.org/10.1007/978-3-642-02273-9
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Algebra Meaning and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
edited by Kokichi Futatsugi Jean-Pierre Jouannaud Jos- Meseguer
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4060
オンライン: http://dx.doi.org/10.1007/11780274
所蔵情報: loading…