close
1.

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

電子ブック
ＥＢ
2. Extremal Combinatorics : With Applications in Computer Science
by Stasys Jukna
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Texts in Theoretical Computer Science. An EATCS Series ;
オンライン: http://dx.doi.org/10.1007/978-3-642-17364-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Theory of Quantum Computation, Communication, and Cryptography : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers
edited by Wim Dam, Vivien M. Kendon, Simone Severini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6519
オンライン: http://dx.doi.org/10.1007/978-3-642-18073-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Theory and Applications of Models of Computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
edited by Mitsunori Ogihara, Jun Tarui
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6648
オンライン: http://dx.doi.org/10.1007/978-3-642-20877-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Frontiers in Algorithmics and Algorithmic Aspects in Information and Management : Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings
edited by Mikhail Atallah, Xiang-Yang Li, Binhai Zhu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6681
オンライン: http://dx.doi.org/10.1007/978-3-642-21204-8
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Theory and Applications of Models of Computation : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
edited by Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6108
オンライン: http://dx.doi.org/10.1007/978-3-642-13562-0
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Mathematical Software – ICMS 2010 : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6327
オンライン: http://dx.doi.org/10.1007/978-3-642-15582-6
所蔵情報: loading…
8.

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

電子ブック
ＥＢ
9. Frontiers in Algorithmics : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
edited by Der-Tsai Lee, Danny Z. Chen, Shi Ying
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heielberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6213
オンライン: http://dx.doi.org/10.1007/978-3-642-14553-7
所蔵情報: loading…
10.

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

電子ブック
ＥＢ
11. Logic and the Foundations of Game and Decision Theory ? LOFT 8 : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
edited by Giacomo Bonanno, Benedikt Lowe, Wiebe Hoek
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6006
オンライン: http://dx.doi.org/10.1007/978-3-642-15164-4
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Theory of Quantum Computation, Communication, and Cryptography : 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers
edited by Andrew Childs, Michele Mosca
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5906
オンライン: http://dx.doi.org/10.1007/978-3-642-10698-9
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Automata, Languages and Programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
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, Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5555
オンライン: http://dx.doi.org/10.1007/978-3-642-02927-1
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Automata, Languages and Programming : 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
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, Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5556
オンライン: http://dx.doi.org/10.1007/978-3-642-02930-1
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Formal Theories of Information : From Shannon to Semantic Information Theory and General Concepts of Information
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, Giovanni Sommaruga
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5363
オンライン: http://dx.doi.org/10.1007/978-3-642-00659-3
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Theory and Applications of Models of Computation : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
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, Jianer Chen, S. Barry Cooper
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5532
オンライン: http://dx.doi.org/10.1007/978-3-642-02017-9
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Logic, Language, Information and Computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
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, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Hiroakira Ono, Makoto Kanazawa, Ruy Queiroz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5514
オンライン: http://dx.doi.org/10.1007/978-3-642-02261-6
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
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, Giuliana Franceschinis, Karsten Wolf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5606
オンライン: http://dx.doi.org/10.1007/978-3-642-02424-5
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
edited by Xiangdong He, John Horty, Eric Pacuit
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5834
オンライン: http://dx.doi.org/10.1007/978-3-642-04893-7
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Parameterized and Exact Computation : 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
edited by Jianer Chen, Fedor V. Fomin
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5917
オンライン: http://dx.doi.org/10.1007/978-3-642-11269-0
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
edited by Kees M. Hee, Rudiger Valk
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5062
オンライン: http://dx.doi.org/10.1007/978-3-540-68746-7
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
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, Luca Aceto, Ivan Damgard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir, Igor Walukiewicz
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5125
オンライン: http://dx.doi.org/10.1007/978-3-540-70575-8
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
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, Luca Aceto, Ivan Damgard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir, Igor Walukiewicz
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5126
オンライン: http://dx.doi.org/10.1007/978-3-540-70583-3
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 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, Yasuhito Kawano, Michele Mosca
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5106
オンライン: http://dx.doi.org/10.1007/978-3-540-89304-2
所蔵情報: loading…
25.

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

電子ブック
ＥＢ
26. Petri Nets and Other Models of Concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency ICATPN 2007 Siedlce Poland June 25-29 2007 Proceeding
Kleijn Jetty ; Yakovlev Alex ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4546
オンライン: http://dx.doi.org/10.1007/978-3-540-73094-1
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Automata Languages and Programming : 34th International Colloquium ICALP 2007 Wroc?aw Poland July 9-13 2007. Proceedings
edited by Lars Arge Christian Cachin Tomasz Jurdzi?ski Andrzej Tarlecki
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4596
オンライン: http://dx.doi.org/10.1007/978-3-540-73420-8
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Petri Nets and Other Models of Concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency Turku Finland June 26-302006 Proceedings
edited by S
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4024
オンライン: http://dx.doi.org/10.1007/11767589
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Automata Languages and Programming (vol. 4051) : 33rd International Colloquium ICALP 2006 Venice Italy July 10-142006 Proceedings Part I
edited by Michele Bugliesi Bart Preneel Vladimiro Sassone Ingo Wegene
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4051
オンライン: http://dx.doi.org/10.1007/11786986
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Automata Languages and Programming (vol. 4052) : 33rd International Colloquium ICALP 2006 Venice Italy July 10-142006 Proceedings Part II
edited by Michele Bugliesi Bart Preneel Vladimiro Sassone Ingo Wegen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4052
オンライン: http://dx.doi.org/10.1007/11787006
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Application and Theory of Petri Nets 2002 : 23rd International Conference ICATPN 2002 Adelaide Australia June 24-30 2002 Proceedings
edited by Javier Esparza Charles Lakos
出版情報: Berlin Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Lecture Notes in Computer Science ; 2360
オンライン: http://dx.doi.org/10.1007/3-540-48068-4
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. SOFSEM 2005: Theory and Practice of Computer Science : 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings
edited by Maria Bielikova, C
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3381
オンライン: http://dx.doi.org/10.1007/b105088
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. STACS 2005 : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings
edited by Volker Diekert, Bruno Durand
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3404
オンライン: http://dx.doi.org/10.1007/b106485
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings
edited by Gianfranco Ciardo, Philippe Darondeau
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3536
オンライン: http://dx.doi.org/10.1007/b136988
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Automata, Languages and Programming (vol. # 3580) : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3580
オンライン: http://dx.doi.org/10.1007/11523468
所蔵情報: loading…