1.

図書
図書
1. Learning from data : a short course
Yaser S. Abu-Mostafa, Malik Magdon-Ismail, Hsuan-Tien Lin
出版情報: [s.l.] : AMLbook.com, c2012
所蔵情報: loading…
2.

図書
図書
2. Algorithm theory -- SWAT 2008 : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008 : proceedings
Joachim Gudmundsson (ed.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5124
所蔵情報: loading…
3.

図書
図書
3. Algorithms and computation : 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008 : proceedings
Seok-Hee Hong, Hiroshi Nagamochi, Takuro Fukunaga (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5369
所蔵情報: loading…
4.

図書
図書
4. Proceedings 48th Annual IEEE Symposium on Foundations of Computer Science : October 20-23, 2007, Providencd, Rhode Island
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2007
所蔵情報: loading…
5.

図書
図書
5. Graph-theoretic concepts in computer science : 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 : revised papers
Fedor V. Fomin (ed.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4271
所蔵情報: loading…
6.

図書
図書
6. Proceedings 47th Annual IEEE Symposium on Foundations of Computer Science : 21-24 October 2006, Berkeley, California
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2006
所蔵情報: loading…
7.

図書
図書
7. 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…
8.

図書
図書
8. Automata, languages and programming : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings (pt. 1 ; pt. 2)
Michele Bugliesi ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4051-4052
所蔵情報: loading…
9.

図書
図書
9. Algorithm theory -- SWAT 2006 : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006 : proceedings
Lars Arge, Rusins Freivalds (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4059
所蔵情報: loading…
10.

図書
図書
10. The Seventeen provers of the world
Freek Wiedijk (ed.) ; foreword by Dana S. Scott
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3600 . Lecture notes in artificial intelligence
所蔵情報: loading…