close
1.

電子ブック
ＥＢ
1. Graph Drawing : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers
edited by Ulrik Brandes, Sabine Cornelsen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6502
オンライン: http://dx.doi.org/10.1007/978-3-642-18469-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Transactions on Computational Science IX : Special Issue on Voronoi Diagrams in Science and Engineering
edited by Marina L. Gavrilova, C. J. Kenneth Tan, François Anton
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6290
オンライン: http://dx.doi.org/10.1007/978-3-642-16007-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Graph Drawing : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
edited by David Eppstein, Emden R. Gansner
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5849
オンライン: http://dx.doi.org/10.1007/978-3-642-11805-0
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5674
オンライン: http://dx.doi.org/10.1007/978-3-642-03359-9
所蔵情報: loading…