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. Digital Signal Processing in Power System Protection and Control
by Waldemar Rebizant, Janusz Szafran, Andrzej Wiszniewski
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Signals and Communication Technology ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-802-7
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Natural Deduction, Hybrid Systems and Modal Logics
by Andrzej Indrzejczak
出版情報: Dordrecht : Springer Science+Business Media B.V., 2010
シリーズ名: Trends in Logic ; 30
オンライン: http://dx.doi.org/10.1007/978-90-481-8785-0
所蔵情報: loading…