1.

図書
図書
1. Materials properties, physics and growth
Hadis Morkoç
出版情報: Weinheim : Wiley-VCH, 2008
シリーズ名: Handbook of nitride semiconductors and devices / Hadis Morkoç ; 1
所蔵情報: loading…
2.

図書
図書
2. Secure Mobile Ad-hoc Networks and sensors : First International Workshop, MADNES 2005 Singapore, September 20-22, 2005 : revised selected papers
Mike Burmester, Alec Yasinsac (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4074
所蔵情報: loading…
3.

図書
図書
3. Ad-Hoc, mobile, and wireless networks : 5th international conference, ADHOC-NOW 2006 Ottawa, Canada, August 17-19, 2006, proceedings
ed. Thomas Kunz, S. S. Ravi
出版情報: Berlin : Springer, 2006
シリーズ名: Lecture notes in computer science ; 4104
所蔵情報: loading…
4.

図書
図書
4. STACS 2005 : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005 : proceedings
Volker Diekert, Bruno Durand (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3404
所蔵情報: loading…
5.

図書
図書
5. Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Jens Grabowski, Brian Nielsen (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3395
所蔵情報: loading…
6.

図書
図書
6. Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
Franz Baader, Andrei Voronkov (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3452 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
Zhiming Liu, Keijiro Araki (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3407
所蔵情報: loading…
8.

図書
図書
8. Evolutionary computation in combinatorial optimization : 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30-April 1, 2005 : proceedings
Günther R. Raidl, Jens Gottlieb (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3448
所蔵情報: loading…
9.

図書
図書
9. Proceedings of the 38th annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006
sponsored by SIGACT (The ACM Special Interest Group for Algorithms and Computation Theory)
出版情報: New York : acm Press, c2006
所蔵情報: loading…
10.

図書
図書
10. Evolutionary Multi-Criterion Optimization : 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007 : proceedings
Shigeru Obayashi ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4403
所蔵情報: loading…