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…
11.

電子ブック
ＥＢ
11. SDL 2007: Design for Dependable Systems : 13th International SDL Forum Paris France September 18-21 2007 Proceedings
edited by Emmanuel Gaudin Elie Najm Rick Reed
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4745
オンライン: http://dx.doi.org/10.1007/978-3-540-74984-4
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Introduction to Reconfigurable Computing : Architectures, Algorithms, and Applications
edited by Christophe Bobda
出版情報: Dordrecht : Springer, 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-6100-4
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Resource Management in Satellite Networks : Optimization and Cross-Layer Design
edited by Giovanni Giambene
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2007
オンライン: http://dx.doi.org/10.1007/978-0-387-53991-1
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Co-design for System Acceleration : A Quantitative Approach
by Nadia Nedjah, Luiza De Macedo Mourelle
出版情報: Dordrecht : Springer, 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-5546-1
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. WI-FI TM, BLUETOOTH TM, ZIGBEE TM AND WIMAX TM
edited by H. Labiod, H. Afifi, C. De Santis
出版情報: Dordrecht : Springer, 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-5397-9
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Processor Design : System-On-Chip Computing for ASICs and FPGAs
edited by Jari Nurmi
出版情報: Dordrecht : Springer Science+Business Media B.V., 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-5530-0
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Cognitive Wireless Networks : Concepts, Methodologies and Visions Inspiring the Age of Enlightenment of Wireless Communications
edited by Frank H. P. Fitzek, Marcos D. Katz
出版情報: Dordrecht : Springer, 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-5979-7
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Fine- and Coarse-Grain Reconfigurable Computing
edited by Stamatis Vassiliadis, Dimitrios Soudris
出版情報: Dordrecht : Springer, 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-6505-7
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
by Emilia Villani, Paulo E. Miyagi, Robert Valette
出版情報: London : Springer-Verlag London Limited, 2007
シリーズ名: Advances in Industrial Control ;
オンライン: http://dx.doi.org/10.1007/978-1-84628-651-3
所蔵情報: loading…