close
1.

電子ブック
ＥＢ
1. Computer Science – Theory and Applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
edited by Alexander Kulikov, Nikolay Vereshchagin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6651
オンライン: http://dx.doi.org/10.1007/978-3-642-20712-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
edited by Olaf Owe, Martin Steffen, Jan Arne Telle
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6914
オンライン: http://dx.doi.org/10.1007/978-3-642-22953-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Computer Science – Theory and Applications : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
edited by Farid Ablayev, Ernst W. Mayr
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6072
オンライン: http://dx.doi.org/10.1007/978-3-642-13182-0
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
edited by Marc Frappier, Uwe Glasser, Sarfraz Khurshid, Regine Laleau, Steve Reeves
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5977
オンライン: http://dx.doi.org/10.1007/978-3-642-11811-1
所蔵情報: loading…
5.

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

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

電子ブック
ＥＢ
7. Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 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, Volker Diekert, Dirk Nowotka
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5583
オンライン: http://dx.doi.org/10.1007/978-3-642-02737-6
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Fundamentals of Computation Theory : 17th International Symposium, FCT 2009, Wroc?aw, Poland, September 2-4, 2009. Proceedings
edited by Miros?aw Kuty?owski, Witold Charatonik, Maciej G?bala
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5699
オンライン: http://dx.doi.org/10.1007/978-3-642-03409-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Unconventional Computation : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings
edited by Cristian S. Calude, Jose Felix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5715
オンライン: http://dx.doi.org/10.1007/978-3-642-03745-0
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Mathematical Foundations of Computer Science 2009 : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
edited by Rastislav Kralovi?, Damian Niwi?ski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5734
オンライン: http://dx.doi.org/10.1007/978-3-642-03816-7
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
edited by Mario Bravetti, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5710
オンライン: http://dx.doi.org/10.1007/978-3-642-04081-8
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Reachability Problems : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
edited by Olivier Bournez, Igor Potapov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5797
オンライン: http://dx.doi.org/10.1007/978-3-642-04420-5
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
edited by Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4978
オンライン: http://dx.doi.org/10.1007/978-3-540-79228-4
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Computer Science ?ETheory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
edited by Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5010
オンライン: http://dx.doi.org/10.1007/978-3-540-79709-8
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. High Performance Computing - HiPC 2008 : 15th International Conference, Bangalore, India, December 17-20, 2008. 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, Ponnuswamy Sadayappan, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5374
オンライン: http://dx.doi.org/10.1007/978-3-540-89894-8
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. High Performance Computing - HiPC 2007 : 14th International Conference Goa India December 18-21 2007. Proceedings
edited by Srinivas Aluru Manish Parashar Ramamurthy Badrinath Viktor K. Prasanna
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4873
オンライン: http://dx.doi.org/10.1007/978-3-540-77220-0
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Theory and Applications of Models of Computation : 4th International Conference TAMC 2007 Shanghai China May 22-25 2007. Proceedings
edited by Jin-Yi Cai S. Barry Cooper Hong Zhu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4484
オンライン: http://dx.doi.org/10.1007/978-3-540-72504-6
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Computer Science ?ETheory and Applications : Second International Symposium on Computer Science in Russia CSR 2007 Ekaterinburg Russia September 3-7 2007. Proceedings
edited by Volker Diekert Mikhail V. Volkov Andrei
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4649
オンライン: http://dx.doi.org/10.1007/978-3-540-74510-5
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Theory and Applications of Models of Computation : Third International Conference TAMC 2006 Beijing China May 15-202006 Proceedings
edited by Jin-Yi Cai S. Barry Cooper Angsheng Li
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3959
オンライン: http://dx.doi.org/10.1007/11750321
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Computer Science -- Theory and Applications : First International Symposium on Computer Science in Russia CSR 2006 St. Petersburg Russia June 8-122006 Proceedings
edited by Dima Grigoriev John Harrison Edward A.
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3967
オンライン: http://dx.doi.org/10.1007/11753728
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. High Performance Computing - HiPC 2006 : 13th International Conference Bangalore India December 18-212006 Proceedings
edited by Yves L. Robert Manish Parashar Ramamurthy Badrinath Viktor K. Prasanna
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4297
オンライン: http://dx.doi.org/10.1007/11945918
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. High Performance Computing u HiPC 2005 : 12th International Conference, Goa, India, December 18-21, 2005. Proceedings
edited by David A. Bader, Manish Parashar, Varadarajan Sridhar, Viktor K. Prasanna
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2005
シリーズ名: Lecture Notes in Computer Science ; 3769
オンライン: http://dx.doi.org/10.1007/11602569
所蔵情報: loading…