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. Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
edited by Andrea Corradini, Bartek Klin, Corina Cîrstea
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6859
オンライン: http://dx.doi.org/10.1007/978-3-642-22944-2
所蔵情報: loading…
3.

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

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

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

電子ブック
ＥＢ
6. Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5728
オンライン: http://dx.doi.org/10.1007/978-3-642-03741-2
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Uncertainty Reasoning for the Semantic Web I : ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
edited by Jaime G. Carbonell, Jorg Siekmann, Paulo Cesar G. Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5327
オンライン: http://dx.doi.org/10.1007/978-3-540-89765-1
所蔵情報: loading…