close
1.

電子ブック
ＥＢ
1. Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6735
オンライン: http://dx.doi.org/10.1007/978-3-642-21875-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
edited by Hans Ditmarsch, Jérôme Lang, Shier Ju
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6953
オンライン: http://dx.doi.org/10.1007/978-3-642-24130-7
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Combinatorial Algorithms : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers
edited by Costas S. Iliopoulos, William F. Smyth
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7056
オンライン: http://dx.doi.org/10.1007/978-3-642-25011-8
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6877
オンライン: http://dx.doi.org/10.1007/978-3-642-25070-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Principles of Distributed Systems : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
edited by Antonio Fernàndez Anta, Giuseppe Lipari, Matthieu Roy
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7109
オンライン: http://dx.doi.org/10.1007/978-3-642-25873-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Game Start! : Strumenti per comprendere i videogiochi
by Francesco Alinovi
出版情報: Milano : Springer Milan, 2011
シリーズ名: I blu, It]pagine di scienza ;
オンライン: http://dx.doi.org/10.1007/978-88-470-1956-0
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Comparative Genomics : International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings
edited by Eric Tannier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6398
オンライン: http://dx.doi.org/10.1007/978-3-642-16181-0
所蔵情報: loading…
8.

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

電子ブック
ＥＢ
9. WALCOM: Algorithms and Computation : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings
edited by Naoki Katoh, Amit Kumar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6552
オンライン: http://dx.doi.org/10.1007/978-3-642-19094-0
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Combinatorial Algorithms : 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
edited by Costas S. Iliopoulos, William F. Smyth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6460
オンライン: http://dx.doi.org/10.1007/978-3-642-19222-7
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
edited by Lev D. Beklemishev, Ruy Queiroz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6642
オンライン: http://dx.doi.org/10.1007/978-3-642-20920-8
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
edited by Franz Winkler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6742
オンライン: http://dx.doi.org/10.1007/978-3-642-21493-6
所蔵情報: loading…
13.

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

電子ブック
ＥＢ
14. Computer Algebra in Scientific Computing : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings
edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6885
オンライン: http://dx.doi.org/10.1007/978-3-642-23568-9
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Arithmetic of Finite Fields : Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings
edited by M. Anwar Hasan, Tor Helleseth
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6087
オンライン: http://dx.doi.org/10.1007/978-3-642-13797-6
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Computer Algebra in Scientific Computing : 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings
edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6244
オンライン: http://dx.doi.org/10.1007/978-3-642-15274-0
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Cryptology and Network Security : 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings
edited by Swee-Huay Heng, Rebecca N. Wright, Bok-Min Goi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6467
オンライン: http://dx.doi.org/10.1007/978-3-642-17619-7
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Parameterized and Exact Computation : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
edited by Venkatesh Raman, Saket Saurabh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6478
オンライン: http://dx.doi.org/10.1007/978-3-642-17493-3
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Principles of Distributed Systems : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
edited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6490
オンライン: http://dx.doi.org/10.1007/978-3-642-17653-1
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Combinatorial Optimization and Applications : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I
edited by Weili Wu, Ovidiu Daescu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6508
オンライン: http://dx.doi.org/10.1007/978-3-642-17458-2
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Combinatorial Optimization and Applications : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II
edited by Weili Wu, Ovidiu Daescu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6509
オンライン: http://dx.doi.org/10.1007/978-3-642-17461-2
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. The Mathematics of Language : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
edited by Christian Ebert, Gerhard Jager, Jens Michaelis
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6149
オンライン: http://dx.doi.org/10.1007/978-3-642-14322-9
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Algorithmic Number Theory : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
edited by Guillaume Hanrot, Francois Morain, Emmanuel Thome
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6197
オンライン: http://dx.doi.org/10.1007/978-3-642-14518-6
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
edited by Anuj Dawar, Ruy Queiroz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6188
オンライン: http://dx.doi.org/10.1007/978-3-642-13824-9
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. WALCOM: Algorithms and Computation : 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings
edited by Md. Saidur Rahman, Satoshi Fujita
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5942
オンライン: http://dx.doi.org/10.1007/978-3-642-11440-3
所蔵情報: loading…
26.

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

電子ブック
ＥＢ
27. Graph-Theoretic Concepts in Computer Science : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
edited by Christophe Paul, Michel Habib
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5911
オンライン: http://dx.doi.org/10.1007/978-3-642-11409-0
所蔵情報: loading…