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…
5.

電子ブック
ＥＢ
5. 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…
6.

電子ブック
ＥＢ
6. Medial Representations : Mathematics, Algorithms and Applications
edited by Max Viergever, Kaleem Siddiqi, Stephen M. Pizer
出版情報: Dordrecht : Springer Science + Business Media B.V, 2008
シリーズ名: Computational Imaging and Vision ; 37
オンライン: http://dx.doi.org/10.1007/978-1-4020-8658-8
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Evolutionary Computation for Modeling and Optimization
by Daniel Ashlock
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-31909-3
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Differential Evolution : In Search of Solutions
by Vitaliy Feoktistov
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Springer Optimization and Its Applications ; 5
オンライン: http://dx.doi.org/10.1007/978-0-387-36896-2
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Intelligent Algorithms in Ambient and Biomedical Computing
edited by Wim Verhaegh, Emile Aarts, Jan Korst
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/1-4020-4995-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Hierarchical Bayesian Optimization Algorithm : Toward a New Generation of Evolutionary Algorithms
edited by Martin Pelikan
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Studies in Fuzziness and Soft Computing ; 170
オンライン: http://dx.doi.org/10.1007/b10910
所蔵情報: loading…