close
1.

電子ブック
ＥＢ
1. Digital Information and Communication Technology and Its Applications : International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011. Proceedings, Part I
edited by Hocine Cherifi, Jasni Mohamad Zain, Eyas El-Qawasmeh
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 166
オンライン: http://dx.doi.org/10.1007/978-3-642-21984-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Digital Information and Communication Technology and Its Applications : International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011, Proceedings, Part II
edited by Hocine Cherifi, Jasni Mohamad Zain, Eyas El-Qawasmeh
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 167
オンライン: http://dx.doi.org/10.1007/978-3-642-22027-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Wired/Wireless Internet Communications : 9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltrú, Spain, June 15-17, 2011. Proceedings
edited by Xavier Masip-Bruin, Dominique Verchere, Vassilis Tsaoussidis, Marcelo Yannuzzi
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6649
オンライン: http://dx.doi.org/10.1007/978-3-642-21560-5
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Software Product Lines: Going Beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings
edited by Jan Bosch, Jaejoon Lee
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6287
オンライン: http://dx.doi.org/10.1007/978-3-642-15579-6
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Current Trends in Web Engineering : 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers
edited by Florian Daniel, Federico Michele Facca
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6385
オンライン: http://dx.doi.org/10.1007/978-3-642-16985-4
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Wired/Wireless Internet Communications : 8th International Conference, WWIC 2010, Lulea, Sweden, June 1-3, 2010. Proceedings
edited by Evgeny Osipov, Andreas Kassler, Thomas Michael Bohnert, Xavier Masip-Bruin
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6074
オンライン: http://dx.doi.org/10.1007/978-3-642-13315-2
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
edited by Cosimo Laneve, Jianwen Su
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6194
オンライン: http://dx.doi.org/10.1007/978-3-642-14458-5
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Wired/Wireless Internet Communications : 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 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, Hans Berg, Geert Heijenk, Evgeny Osipov, Dirk Staehle
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5546
オンライン: http://dx.doi.org/10.1007/978-3-642-02118-3
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Web Engineering : 9th International Conference, ICWE 2009 San Sebastian, Spain, June 24-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, Martin Gaedke, Michael Grossniklaus, Oscar Diaz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5648
オンライン: http://dx.doi.org/10.1007/978-3-642-02818-2
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 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, Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5311
オンライン: http://dx.doi.org/10.1007/978-3-540-88387-6
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Automated Technology for Verification and Analysis : 5th International Symposium ATVA 2007 Tokyo Japan October 22?E5 2007 Proceedings
edited by Kedar S. Namjoshi Tomohiro Yoneda Teruo Higashino Yoshio Okamura
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4762
オンライン: http://dx.doi.org/10.1007/978-3-540-75596-8
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Automated Technology for Vertification and Analysis : 4th International Symposium ATVA 2006 Beijing China October 23-262006 Proceedings
edited by Susanne Graf Wenhui Zhang
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4218
オンライン: http://dx.doi.org/10.1007/11901914
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
edited by Doron A. Peled, Yih-Kuen Tsay
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3707
オンライン: http://dx.doi.org/10.1007/11562948
所蔵情報: loading…