close
1.

電子ブック
ＥＢ
1. Software Architecture : First European Conference ECSA 2007 Aranjuez Spain September 24-26 2007 Proceedings
edited by Flavio Oquendo
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4758
オンライン: http://dx.doi.org/10.1007/978-3-540-75132-8
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Transactions on Aspect-Oriented Software Development III
edited by Awais Rashid Mehmet Aksit
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4620
オンライン: http://dx.doi.org/10.1007/978-3-540-75162-5
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Model Driven Engineering Languages and Systems : 10th International Conference MoDELS 2007 Nashville USA September 30 - October 5 2007. Proceedings
edited by Gregor Engels Bill Opdyke Douglas C. Schmidt Frank Weil
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4735
オンライン: http://dx.doi.org/10.1007/978-3-540-75209-7
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Theoretical Aspects of Computing ?EICTAC 2007 : 4th International Colloquium Macau China September 26-28 2007. Proceedings
edited by Cliff B. Jones Zhiming Liu Jim Woodcock
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4711
オンライン: http://dx.doi.org/10.1007/978-3-540-75292-9
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Trustworthy Global Computing : Second Symposium TGC 2006 Lucca Italy November 7-92006 Revised Selected Papers
edited by Ugo Montanari Donald Sannella Roberto Bruni
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4661
オンライン: http://dx.doi.org/10.1007/978-3-540-75336-0
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Recent Advances in Parallel Virtual Machine and Message Passing Interface : 14th European PVM/MPI User’s Group Meeting Paris France September 30 - October 3 2007. Proceedings
edited by Franck Cappello Thomas Herault Ja
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4757
オンライン: http://dx.doi.org/10.1007/978-3-540-75416-9
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Formal Modeling and Analysis of Timed Systems : 5th International Conference FORMATS 2007 Salzburg Austria October 3-5 2007. Proceedings
edited by Jean-Francois Raskin P. S. Thiagarajan
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4763
オンライン: http://dx.doi.org/10.1007/978-3-540-75454-1
所蔵情報: loading…
8.

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

電子ブック
ＥＢ
9. Programming Languages and Systems : 5th Asian Symposium APLAS 2007 Singapore November 29-December 1 2007. Proceedings
edited by Zhong Shao
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4807
オンライン: http://dx.doi.org/10.1007/978-3-540-76637-7
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods ICFEM 2007 Boca Raton FL USA November 14-15 2007. Proceedings
Butler Michael ; Larrondo-Petrie Maria M. ; Hinchey Michael G. ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4789
オンライン: http://dx.doi.org/10.1007/978-3-540-76650-6
所蔵情報: loading…