close
1.

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

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

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

電子ブック
ＥＢ
4. Middleware 2007 : ACM/IFIP/USENIX 8th International Middleware Conference Newport Beach CA USA November 26-30 2007. Proceedings
edited by Renato Cerqueira Roy H. Campbell
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4834
オンライン: http://dx.doi.org/10.1007/978-3-540-76778-7
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Software Composition : 6th International Symposium SC 2007 Braga Portugal March 24-25 2007 Revised Selected Papers
edited by Markus Lumpe Wim Vanderperren
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4829
オンライン: http://dx.doi.org/10.1007/978-3-540-77351-1
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris France October 16-18 2006 Revised Selected Papers
edited by Fabrice Kordon Oleg Sokolsky
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4888
オンライン: http://dx.doi.org/10.1007/978-3-540-77419-8
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. High Performance Embedded Architectures and Compilers : Second International Conference HiPEAC 2007 Ghent Belgium January 28-30 2007. Proceedings
edited by Koen Bosschere David Kaeli Per Stenstrom et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4367
オンライン: http://dx.doi.org/10.1007/978-3-540-69338-3
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Agent-Oriented Software Engineering VII : 7th International Workshop AOSE 2006 Hakodate Japan May 82006 Revised and Invited Papers
edited by Lin Padgham Franco Zambonelli
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4405
オンライン: http://dx.doi.org/10.1007/978-3-540-70945-9
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005 Laguna Beach CA USA September 22-24 2005. Revised Selected Papers
edited by Fabrice Kordon Janos Sztipanovits
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4322
オンライン: http://dx.doi.org/10.1007/978-3-540-71156-8
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Transactions on High-Performance Embedded Architectures and Compilers I
edited by Per Stenstrom
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4050
オンライン: http://dx.doi.org/10.1007/978-3-540-71528-3
所蔵情報: loading…