close
1.

電子ブック
ＥＢ
1. Experimental Algorithms : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
edited by Panos M. Pardalos, Steffen Rebennack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6630
オンライン: http://dx.doi.org/10.1007/978-3-642-20662-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
edited by María Alpuente
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6564
オンライン: http://dx.doi.org/10.1007/978-3-642-20551-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
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, Michael Hanus
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5438
オンライン: http://dx.doi.org/10.1007/978-3-642-00515-2
所蔵情報: loading…