1.

図書
図書
1. Algorithms in bioinformatics : 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004 : proceedings
Inge Jonassen, Junhyong Kim (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3240 . Lecture notes in bioinformatics
所蔵情報: loading…
2.

図書
図書
2. Algorithms -- ESA 2004 : 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004 : proceedings
Susanne Albers, Tomasz Radzik (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3221
所蔵情報: loading…
3.

図書
図書
3. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005 St Andrews, UK, June 19-23, 2005 : proceedings
Fahiem Bacchus, Toby Walsh (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3569
所蔵情報: loading…
4.

図書
図書
4. Combinatorial pattern matching : 11th Annual Symposium, CPM 2000, Montreal, Canada, June 21-23, 2000 : proceedings
Raffaele Giancarlo, David Sankoff (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1848
所蔵情報: loading…
5.

図書
図書
5. Approximation algorithms for combinatorial optimization : Third International Workshop, APPROX 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings
Klaus Jansen, Samir Khuller (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1913
所蔵情報: loading…
6.

図書
図書
6. Algorithms in bioinformatics : third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003 : proceedings
Gary Benson, Roderic Page (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2812 . Lecture notes in bioinformatics
所蔵情報: loading…
7.

図書
図書
7. Algorithms and computation : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003 : proceedings
Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2906
所蔵情報: loading…
8.

図書
図書
8. Algorithms and Computation : 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001 : proceedings
Peter Eades, Tadao Takaoka (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2223
所蔵情報: loading…
9.

図書
図書
9. Combinatorial pattern matching : 13th Annual Symposium, CPM 2002, Fukuoka, Japan, July 3-5, 2002 : proceedings
Alberto Apostolico, Masayuki Takeda (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2373
所蔵情報: loading…
10.

図書
図書
10. Algorithm engineering and experiments : 4th International Workshop, ALENEX 2002, San Francisco, CA, USA, January 4-5, 2002 : revised papers
David M. Mount, Clifford Stein (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2409
所蔵情報: loading…
11.

図書
図書
11. Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings
Frank Dehne, Jörg-Rüdiger Sack, Roberto Tamassia (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2125
所蔵情報: loading…
12.

図書
図書
12. Approximation, randomization, and combinatorial optimization : algorithms and techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Berkeley, CA, USA, August 18-20, 2001 : proceedings
Michel Goemans ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2129
所蔵情報: loading…
13.

図書
図書
13. Algorithm engineering : 4th International Workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings
Stefan Näher, Dorothea Wagner (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 1982
所蔵情報: loading…
14.

図書
図書
14. Algorithms in bioinformatics : First International Workshop, WABI 2001, Århus, Denmark, August 28-31, 2001 : proceedings
Olivier Gascuel, Bernard M.E. Moret (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2149
所蔵情報: loading…
15.

図書
図書
15. Algorithms - ESA 2001 : 9th Annual European Symposium, Århus, Denmark, August 28-31, 2001 : proceedings
Friedhelm Meyer auf der Heide (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2161
所蔵情報: loading…
16.

図書
図書
16. Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms
ACM-SIAM Symposium on Discrete Algorithms ; ACM Special Interest Group on Algorithms and Computation Theory ; SIAM Activity Group on Discrete Mathematics
出版情報: New York : Association for Computing Machinery , Philadelphia : Society for Industrial and Applied Mathematics, c2003
所蔵情報: loading…
17.

図書
図書
17. Algorithms - ESA 2002 : 10th Annual European Symposium, Rome, Italy, September 17-21, 2002 : proceedings
Rolf Möhring, Rajeev Raman (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2461
所蔵情報: loading…
18.

図書
図書
18. Algorithms in bioinformatics : Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002 : proceedings
Roderic Guigó, Dan Gusfield (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2452
所蔵情報: loading…
19.

図書
図書
19. Approximation algorithms for combinatorial optimization : 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002 : proceedings
Klaus Jansen, Stefano Leonardi, Vijay Vazirani (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2462
所蔵情報: loading…
20.

図書
図書
20. Algorithms and computation : 13th International Symposium, ISAAC 2002, Vancouver, BC, Canada, November 21-23, 2002 : proceedings
Prosenjit Bose, Pat Morin (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2518
所蔵情報: loading…
21.

図書
図書
21. Algorithmic learning theory : 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002 : proceedings
Nicolò Cesa-Bianchi, Masayuki Numao, Rüdiger Reischuk (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2533 . Lecture notes in artificial intelligence
所蔵情報: loading…
22.

図書
図書
22. Algorithm engineering and experimentation : Third International Workshop, ALENEX 2001, Washington, DC, USA, January 5-6, 2001 : revised papers
Adam L. Buchsbaum, Jack Snoeyink (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2153
所蔵情報: loading…
23.

図書
図書
23. Algorithms and computation : 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004 : proceedings
Rudolf Fleischer, Gerhard Trippen (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3341
所蔵情報: loading…
24.

図書
図書
24. Algorithms and data structures : 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005 : proceedings
Frank Dehne, Alejandro López-Ortiz, Jörg-Rüdiger Sack (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3608
所蔵情報: loading…
25.

図書
図書
25. Handbook of satisfiability
edited by Armin Biere ... [et al.]
出版情報: Amsterdam : IOS Press, c2009
シリーズ名: Frontiers in artificial intelligence and applications ; v. 185
所蔵情報: loading…
26.

図書
図書
26. Metaheuristics : progress as real problem solvers
edited by Toshihide Ibaraki, Koji Nonobe, Mutsunori Yagiura
出版情報: New York : Springer, c2005
シリーズ名: Operations research/computer science interface series ; 32
所蔵情報: loading…
27.

図書
図書
27. Algorithms - ESA 2007 : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007 : proceedings
Lars Arge, Michael Hoffmann, Emo Welzl (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4698
所蔵情報: loading…
28.

図書
図書
28. Algorithms and computation : 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007 : proceedings
Takeshi Tokuyama (ed.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4835
所蔵情報: loading…