close
1.

電子ブック
ＥＢ
1. Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays
edited by Cliff B. Jones Zhiming Liu Jim Woodcock
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4700
オンライン: http://dx.doi.org/10.1007/978-3-540-75221-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Advanced Parallel Processing Technologies : 7th International Symposium APPT 2007 Guangzhou China November 22-23 2007 Proceedings
edited by Ming Xu Yinwei Zhan Jiannong Cao Yijun Liu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4847
オンライン: http://dx.doi.org/10.1007/978-3-540-76837-1
所蔵情報: loading…
3.

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

電子ブック
ＥＢ
4. Combinatorial and Algorithmic Aspects of Networking : 4th Workshop CAAN 2007 Halifax Canada August 14 2007. Revised Papers
edited by Jeannette Janssen Pawe?EPra?at
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4852
オンライン: http://dx.doi.org/10.1007/978-3-540-77294-1
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Euro-Par 2006: Parallel Processing : Workshops: CoreGRID 2006 UNICORE Summit 2006 Petascale Computational Biology and Bioinformatics Dresden Germany August 29-September 1 2006 Revised Selected Papers
Lehner Wolfgang ; Meyer Norbert ; Stewart Craig ; Streit Achim ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4375
オンライン: http://dx.doi.org/10.1007/978-3-540-72337-0
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Model Driven Architecture- Foundations and Applications : Third European Conference ECMDA-FA 2007 Haifa Israel June 11-152007 Proceedings
edited by David Akehurst Regis Vogel Richard Paige
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4530
オンライン: http://dx.doi.org/10.1007/978-3-540-72901-3
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Algorithms and Architectures for Parallel Processing : 7th International Conference ICA3PP 2007 Hangzhou China June 11-14 2007. Proceedings
edited by Hai Jin Omer F. Rana Yi Pan Viktor K. Prasanna
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4494
オンライン: http://dx.doi.org/10.1007/978-3-540-72905-1
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Parallel Computing Technologies : 9th International Conference PaCT 2007 Pereslavl-Zalessky Russia September 3-7 2007. Proceedings
edited by Victor Malyshkin
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4671
オンライン: http://dx.doi.org/10.1007/978-3-540-73940-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Euro-Par 2007 Parallel Processing : 13th International Euro-Par Conference Rennes France August 28-31 2007. Proceedings
edited by Anne-Marie Kermarrec Luc Bouge Thierry Priol
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4641
オンライン: http://dx.doi.org/10.1007/978-3-540-74466-5
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Network-Based Information Systems : First International Conference NBiS 2007 Regensburg Germany September 3-7 2007. Proceedings
edited by Tomoya Enokido Leonard Barolli Makoto Takizawa
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4658
オンライン: http://dx.doi.org/10.1007/978-3-540-74573-0
所蔵情報: loading…