close
1.

電子ブック
ＥＢ
1. Software Engineering Techniques : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 4980
オンライン: http://dx.doi.org/10.1007/978-3-642-22386-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Static Analysis : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
edited by Eran Yahav
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6887
オンライン: http://dx.doi.org/10.1007/978-3-642-23702-7
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
edited by Uli Fahrenberg, Stavros Tripakis
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6919
オンライン: http://dx.doi.org/10.1007/978-3-642-24310-3
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
edited by Sven-Bodo Scholz, Olaf Chitil
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 5836
オンライン: http://dx.doi.org/10.1007/978-3-642-24452-0
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
edited by Cesare Tinelli, Viorica Sofronie-Stokkermans
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6989
オンライン: http://dx.doi.org/10.1007/978-3-642-24364-6
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
edited by Tevfik Bultan, Pao-Ann Hsiung
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6996
オンライン: http://dx.doi.org/10.1007/978-3-642-24372-1
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Multiagent System Technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings
edited by Franziska Klügl, Sascha Ossowski
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6973
オンライン: http://dx.doi.org/10.1007/978-3-642-24603-6
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Agent-Oriented Software Engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
edited by Danny Weyns, Marie-Pierre Gleizes
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6788
オンライン: http://dx.doi.org/10.1007/978-3-642-22636-6
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Implementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
edited by Jurriaan Hage, Marco T. Morazán
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6647
オンライン: http://dx.doi.org/10.1007/978-3-642-24276-2
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Conceptual Modeling – ER 2011 : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6998
オンライン: http://dx.doi.org/10.1007/978-3-642-24606-7
所蔵情報: loading…