close
1.

図書
図書
1. GPGPU : stream processing, graphics processing unit, comparison of AMD graphics processing units, comparison of nvidia graphics processing units, graphics pipeline, video card, brookGPU, physics engine
Frederic P. Miller, Agnes F. Vandome, John McBrewster (ed.)
出版情報: Breu Bassin, Mauritius : Alphascript Publishing, 2009
所蔵情報: loading…
2.

図書
図書
2. Programming multi-agent systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited selected papers
Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina (eds.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5442 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Learnig to rank for information retrieval
Tie-Yan Liu
出版情報: Hanover : Now Publishers, c2009
シリーズ名: Foundations and trends in information retrieval ; 3:3
所蔵情報: loading…
4.

図書
図書
4. The fourth paradigm : data-intensive scientific discovery
edited by Tony Hey, Stewart Tansley and Kristin Tolle
出版情報: redmond, Wash. : Microsoft Research ; c2009
所蔵情報: loading…
5.

図書
図書
5. Spectral algorithms
Ravindran Kannan, Santosh Vempala
出版情報: Hanover, Mass. : now Publishers, c2009
シリーズ名: Foundations and trends in theoretical computer science ; 4:3-4
所蔵情報: loading…
6.

図書
図書
6. Post-quantum cryptography
Daniel J. Bernstein, Johannes Buchmann, Erik Dahmen editors
出版情報: Berlin : Springer, c2009
所蔵情報: loading…
7.

図書
図書
7. Graph drawing : 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008 ; revised papers
Ioannis G. Tollis, Maurizio Patrignani (eds.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5417
所蔵情報: loading…
8.

図書
図書
8. Automata, languages and programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings (pt. 1 ; pt. 2)
Susanne Albers ... [et al.] (eds.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5555-5556 . Advanced research in computing and software science
所蔵情報: loading…
9.

図書
図書
9. Decision procedures : an algorithmic point of view
Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant
出版情報: Berlin : Springer, c2008
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
10.

図書
図書
10. Encyclopedia of algorithms
Ming-Yang Kao, ed
出版情報: New York, N.Y. : Springer, c2008
シリーズ名: Springer reference
所蔵情報: loading…
11.

図書
図書
11. Probabilistic inductive logic programming : theory and applications
Luc De Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 4911 . Lecture notes in artificial intelligence
所蔵情報: loading…
12.

図書
図書
12. Time-dependent scheduling
Stanislaw Gawiejnowicz
出版情報: Berlin : Springer, c2008
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: loading…
13.

図書
図書
13. Electronic commerce : theory and practice
Makoto Yokoo ... [et al.] (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Studies in computational intelligence ; v. 110
所蔵情報: loading…
14.

図書
図書
14. Distributed computing : 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings
Gadi Taubenfeld (ed.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5218
所蔵情報: loading…
15.

図書
図書
15. Web data mining : exploring hyperlinks, contents, and usage data
Bing Liu
出版情報: Berlin : Springer, c2007
シリーズ名: Data-centric systems and applications
所蔵情報: loading…
16.

図書
図書
16. Scheduling Algorithms. 5th ed.
Peter Brucker
出版情報: Berlin : Springer, c2007
所蔵情報: loading…
17.

図書
図書
17. Rough sets, fuzzy sets, data mining, and granular computing : 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007 : proceedings
Aijun An ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4482 . Lecture notes in artificial intelligence
所蔵情報: loading…
18.

図書
図書
18. Automata, languages and programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings
Lars Arge ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4596
所蔵情報: loading…
19.

図書
図書
19. Algorithms for sensor and ad hoc networks : advanced lectures
Dorothea Wagner, Roger Wattenhofer (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4621
所蔵情報: loading…
20.

図書
図書
20. Combinatorics, algorithms, probabilistic and experimental methodologies : First International Symposium, ESCAPE 2007 Hangzhou, China, April 7-9, 2007 : revised selected papers
Bo Chen, Mike Paterson, Guochuan Zhang (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4614
所蔵情報: loading…
21.

図書
図書
21. Graph-theoretic concepts in computer science : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007 : revised papers
Andreas Brandstädt, Dieter Kratsch, Haiko Müller (Eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4769
所蔵情報: loading…
22.

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

図書
図書
23. Algorithms and computation : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006 : proceedings
Tetsuo Asano (ed.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science / 元岡達 [ほか] 編 ; 4288
所蔵情報: loading…
24.

図書
図書
24. DNA computing : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006 : revised selected papers
Chengde Mao, Takashi Yokomori (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4287
所蔵情報: loading…
25.

図書
図書
25. General theory of information transfer and combinatorics
Rudolf Ahlswede ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4123
所蔵情報: loading…
26.

図書
図書
26. Decision theory and multi-agent planning
edited by Giacomo Della Riccia ... [et. al]
出版情報: Wien : Springer, c2006
シリーズ名: CISM courses and lectures ; 482
所蔵情報: loading…
27.

図書
図書
27. Artificial evolution : 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005 : revised selected papers
El-Ghazali Talbi ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3871
所蔵情報: loading…
28.

図書
図書
28. Learning theory : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006 : proceedings
Gabor Lugosi, Hans Ulrich Simon (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4005 . Lecture notes in artificial intelligence
所蔵情報: loading…
29.

図書
図書
29. Quantum cryptography and secret-key distillation
Gilles Van Assche
出版情報: Cambridge : Cambridge University Press, c2006
所蔵情報: loading…
30.

図書
図書
30. Coding and cryptography : International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005 : revised selected papers
Øyvind Ytrehus (ed.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3969
所蔵情報: loading…
31.

図書
図書
31. A Nonlinear dynamics perspective of wolfram's new kind of science (: Set - v. 6)
Leon O Chua
出版情報: Singapore : World Scientific, c2006-
シリーズ名: World Scientific series on nonlinear science / editor, Leon O. Chua ; ser. A . Monographs and treatises ; vol. 57, 68, 76, 80, 85
所蔵情報: loading…
32.

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

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

図書
図書
34. Feature extraction : foundations and applications
Isabelle Guyon ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Studies in fuzziness and soft computing ; v. 207
所蔵情報: loading…
35.

図書
図書
35. The art of error correcting coding. 2nd ed
Robert H. Morelos-Zaragoza
出版情報: Chichester : Wiley, c2006
所蔵情報: loading…
36.

図書
図書
36. Essentials of error-control coding (: hb)
Jorge Castiñeira Moreira, Patrick Guy Farrell
出版情報: Chichester : Wiley, c2006
所蔵情報: loading…
37.

図書
図書
37. Approximation, randomization and combinatorial optimization : algorithms and techniques : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006 : proceedings
Josep Díaz ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4110
所蔵情報: loading…
38.

図書
図書
38. Error-correcting linear codes : classification by isometry and applications
Anton Betten ... [et al.]
出版情報: Berlin : Springer, c2006
シリーズ名: Algorithms and computation in mathematics ; v. 18
所蔵情報: loading…
39.

図書
図書
39. Artificial neural networks -- ICANN 2006 : 16th International Conference, Athens, Greece, September 10-14, 2006 : proceedings (Part 1 ; Part 2)
Stefanos Kollias ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4131, 4132
所蔵情報: loading…
40.

図書
図書
40. Cellular Automata : 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006 : proceedings
Samira El Yacoubi, Bastien Chopard, Stefania Bandini (eds.)
出版情報: Berlin : Springer, 2006
シリーズ名: Lecture notes in computer science ; 4173
所蔵情報: loading…
41.

図書
図書
41. Rule-based evolutionary online learning systems : a principled approach to LCS analysis and design
Martin V. Butz
出版情報: Berlin : Springer-Vlg., c2006
シリーズ名: Studies in fuzziness and soft computing ; v. 191
所蔵情報: loading…
42.

図書
図書
42. Privacy preserving data mining
Jaideep Vaidya, Christopher W. Clifton, Yu Michael Zhu
出版情報: New York : Springer, c2006
シリーズ名: Advances in information security ; 19
所蔵情報: loading…
43.

図書
図書
43. New computational paradigms : first Conference on Computability in Europe, CiE 2005, Amsterdam,The Netherlands, June 8-12, 2005 : proceedings
S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3526
所蔵情報: loading…
44.

図書
図書
44. Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 : proceedings
Luís Caires ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3580
所蔵情報: loading…
45.

図書
図書
45. Foundations of genetic algorithms : 8th International Workshop, FOGA 2005 Aizu-Wakamatsu City, Japan, January 5-9, 2005 : revised selected papers
Alden H. Wright ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3469
所蔵情報: loading…
46.

図書
図書
46. Formal concept analysis : foundations and applications
Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3626 . Lecture notes in artificial intelligence
所蔵情報: loading…
47.

図書
図書
47. Advances in bioinformatics and computational biology : Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005 : proceedings
João Carlos Setubal, Sergio Verjovski-Almeida (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3594 . Lecture notes in bioinformatics
所蔵情報: loading…
48.

図書
図書
48. Computing and combinatorics : 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005 : proceedings
Lusheng Wang (ed.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3595
所蔵情報: loading…
49.

図書
図書
49. Approximation, randomization, and combinatorial optimization : algorithms and techniques : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005 : proceedings
Chandra Chekuri ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3624
所蔵情報: loading…
50.

図書
図書
50. Foundations of learning classifier systems
Larry Bull, Tim Kovacs (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Studies in fuzziness and soft computing / 坂田勝編集 ; v. 183
所蔵情報: loading…
51.

図書
図書
51. Artificial neural networks : Formal models and their applications - ICANN 2005 : 15th International Conference , Warsaw, Poland, September 11-15, 2005 : proceedings, part II
[edited by] Wlodzislaw Duch, Janusz Kacprzyk, Erkki Oja, Slawomir Zadrozny
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3697
所蔵情報: loading…
52.

図書
図書
52. Artificial neural networks : biological inspirations - ICANN 2005 : 15th International Conference, Warsaw, Poland, September 11-15, 2005 : proceedings, part I
[edited by] Wlodzislaw Duch ...[et al.]
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3696
所蔵情報: loading…
53.

図書
図書
53. Distributed computing : 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005 : proceedings
Pierre Fraigniaud (ed.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3724
所蔵情報: loading…
54.

図書
図書
54. Identification of nonlinear systems using neural networks and polynomial models : a block-oriented approach
A. Janczak
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in control and information sciences ; 310
所蔵情報: loading…
55.

図書
図書
55. Information networking : Convergence in Broadband and Mobile Networking : International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005 : proceedings
Cheeha Kim (ed.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3391
所蔵情報: loading…
56.

図書
図書
56. Security in ad-hoc and sensor networks : first European Workshop, ESAS 2004 Heidelberg, Germany, August 6 2004 : revised selected papers
Claude Castelluccia ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3313
所蔵情報: loading…
57.

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

図書
図書
58. Adaptive Agents and Multi-Agent Systems II : Adaptation and Multi-Agent Learning
Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso (eds.)
出版情報: Tokyo : Springer, c2005 , Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science / series editors, Thomas Liggett, Charles Newman, Loren Pitt ; 3394 . Lecture notes in artificial intelligence / series editors, Thomas Liggett, Charles Newman, Loren Pitt
所蔵情報: loading…
59.

図書
図書
59. Passive and active network measurement : 6th International Workshop, PAM 2005, Boston, MA, USA, March 31-April 1, 2005 : proceedings
Constantinos Dovrolis (ed.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3431
所蔵情報: loading…
60.

図書
図書
60. Applications of evolutionary computing : EvoWorkshops 2005 : EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Lausanne, Switzerland, March 30 - April 1, 2005 : proceedings
Franz Rothlauf et al. (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3449
所蔵情報: loading…
61.

図書
図書
61. Uncertainty in artificial intelligence : proceedings of the Twenty-first Conference (2005) : July 26-29, 2005, Edinburgh, Scotland
edited by Fahiem Bacchus, Tommi Jaakkola
出版情報: Corvallis, Oreg. : AUAI Press, c2005
所蔵情報: loading…
62.

図書
図書
62. Distributed computing and internet technology : Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005 : proceedings
Goutam Chakraborty (ed.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3816
所蔵情報: loading…
63.

図書
図書
63. Algorithms and computation : 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005 : proceedings
Xiaotie Deng, Dingzhu Du (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3827
所蔵情報: loading…
64.

図書
図書
64. Principles of program analysis. Corrected 2nd printing
Flemming Nielson , Hanne Riis Nielson , Chris Hankin
出版情報: Berlin : Springer, 2005
所蔵情報: loading…
65.

図書
図書
65. Mathematical and computational modeling and simulation : fundamentals and case studies
Dietmar P.F. Moeller
出版情報: Berlin ; Tokyo : Springer-Verlag, c2004
シリーズ名: Engineering online library
所蔵情報: loading…
66.

図書
図書
66. Wireless sensor networks : first European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, proceedings
Holger Karl, Andreas Willig, Adam Wolisz, (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2920
所蔵情報: loading…
67.

図書
図書
67. Artificial evolution : 6th International Conference, Evolution Artificielle, EA 2003, Marseille, France, October 27-30, 2003 : revised selected papers
Pierre Liardet ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2936
所蔵情報: loading…
68.

図書
図書
68. Passive and active network measurement : 5th International Workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004 : proceedings
Chadi Barakat, Ian Pratt (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3015
所蔵情報: loading…
69.

図書
図書
69. Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics. 2nd ed, [corrected printing]
Juraj Hromkovic̆
出版情報: Berlin ; Tokyo : Springer, 2004
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
70.

図書
図書
70. Multi-agent for mass user support : International Workshop, MAMUS 2003, Acapulco, Mexico, August 10, 2003 : revised and invited papers
Koichi Kurumatani, Shu-Heng Chen, Azuma Ohuchi (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3012 . Lecture notes in artificial intelligence
所蔵情報: loading…
71.

図書
図書
71. NETWORKING 2004 : networking technologies, services, and protocols; performance of computer and communication networks; mobile and wireless communications : third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004 : proceedings
Nikolas Mitrou ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3042
所蔵情報: loading…
72.

図書
図書
72. Performance tools and applications to networked systems : revised tutorial lectures
Maria Carla Calzarossa, Erol Gelenbe (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2965
所蔵情報: loading…
73.

図書
図書
73. Advances in cryptology - EUROCRYPT 2004 : International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004 : proceedings
Christian Cachin, Jan Camenisch (eds.)
出版情報: Tokyo : Springer, c2004 , Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science / 建設省土木研究所編 ; 3027
所蔵情報: loading…
74.

図書
図書
74. Basic concepts (: hbk ; : pbk)
Giuliano Benenti and Giulio Casati, Giuliano Strini
出版情報: Hackensack, N.J. : World Scientific, 2004
シリーズ名: Principles of quantum computation and information / Giuliano Benenti and Giulio Casati, Giuliano Strini ; v. 1
所蔵情報: loading…
75.

図書
図書
75. Algorithmic aspects of wireless sensor networks : first International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004 : proceedings
Sotiris Nikoltseas, José D.P. Rolim (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3121
所蔵情報: loading…
76.

図書
図書
76. Ad-Hoc, mobile, and wireless networks : Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004 : proceedings
Ioanis Nikolaidis, Michel Barbeau, Evangelos Kranakis (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3158
所蔵情報: loading…
77.

図書
図書
77. Computing and combinatorics : 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004 : proceedings
Kyung-Yong Chwa, J. Ian Munro (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3106
所蔵情報: loading…
78.

図書
図書
78. Ant colony optimization and swarm intelligence : 4th International Workshop, ANTS 2004, Brussels, Belgium, September 5-8, 2004 : proceedings
Marco Dorigo ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3172
所蔵情報: loading…
79.

図書
図書
79. Validation of stochastic systems : a guide to current research
Christel Baier ... [et al.] (eds.)
出版情報: Tokyo : Springer, c2004 , Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science / 日本工学会編 ; 2925
所蔵情報: loading…
80.

図書
図書
80. Approximation, randomization, and combinatorial optimization : algorithms and techniques : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004 and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004 : proceedings
Klaus Jansen ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3122
所蔵情報: loading…
81.

図書
図書
81. Knowledge-based intelligent information and engineering systems : 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004 : proceedings (pt. 1 ; pt. 2 ; pt. 3)
Mircea Gh. Negoita, Robert J. Howlett, Lakhmi C. Jain (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3213-3215 . Lecture notes in artificial intelligence
所蔵情報: loading…
82.

図書
図書
82. IWQoS 2004 12th IEEE international workshop on quality of service
sponsored by IEEE Communications Society ; Technical Committee on Computer Communications
出版情報: Piscataway, NJ : IEEE
所蔵情報: loading…
83.

図書
図書
83. Distributed computing : 18th International Conference, DISC 2004, Amsterdam, the Netherlands, October 4-7, 2004 : proceedings
Rachid Guerraoui (ed.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3274
所蔵情報: loading…
84.

図書
図書
84. Uncertainty in artificial intelligence : proceedings of the Twentieth Conference (2004) : July 7-11, 2004, Banff, Canada
edited by Max Chickering, Joseph Halpern
出版情報: Arlington, Va. : AUAI Press, c2004
所蔵情報: loading…
85.

図書
図書
85. List decoding of error-correcting codes : winning thesis of the 2002 ACM doctoral dissertation competition
Venkatesan Guruswami
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3282
所蔵情報: loading…
86.

図書
図書
86. Proceedings : IEEE International Workshop on Analysis and Modeling of Faces and Gestures : AMFG 2003, 17 October 2003, Nice, France
IEEE Computer Society
出版情報: Los Alamitos, Carif. : IEEE Computer Society, c2003
所蔵情報: loading…
87.

図書
図書
87. Anticipatory behavior in adaptive learning systems : foundations, theories, and systems
Martin V. Butz, Olivier Sigaud, Pierre Gérard (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2684 . Lecture notes in artificial intelligence
所蔵情報: loading…
88.

図書
図書
88. Machine learning and data mining in pattern recognition : third International Conference, MLDM 2003, Leipzig, Germany, July 5-7, 2003 : proceedings
Petra Perner, Azriel Rosenfeld (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2734 . Lecture notes in artificial intelligence
所蔵情報: loading…
89.

図書
図書
89. Computing and combinatorics : 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003 : proceedings
Tandy Warnow, Binhai Zhu (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2697
所蔵情報: loading…
90.

図書
図書
90. Learning theory and Kernel machines : 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003 : proceedings
Bernhard Schölkopf, Manfred K. Warmuth (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2777 . Lecture notes in artificial intelligence
所蔵情報: loading…
91.

図書
図書
91. Rules and rule markup languages for the semantic web : second International Workshop, RuleML 2003, Sanibel Island, FL, USA, Octorber 20, 2003 : proceedings
Michael Schroeder, Gerd Wagner (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2876
所蔵情報: loading…
92.

図書
図書
92. Membrane computing : International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002 : revised papers
Gheorghe Păun ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2597
所蔵情報: loading…
93.

図書
図書
93. Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
Oded Maler, Amir Pnueli (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2623
所蔵情報: loading…
94.

図書
図書
94. New Constructions in Cellular Automata (: pbk ; : hbk)
editors David Griffeath, Cristopher Moore
出版情報: New York : Oxford University Press, 2003
シリーズ名: Santa Fe Institute studies in the sciences of complexity
所蔵情報: loading…
95.

図書
図書
95. Applications of evolutionary computing : EvoWorkshops 2003 : EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003 : proceedings
Günther Raidl et al. (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2611
所蔵情報: loading…
96.

図書
図書
96. Proceedings, 10th IEEE International Conference and Workshop on the Engineering of Computer based Systems, ECBS 2003, 7-10 April, 2003, Huntsville, Alabama
sponsored by IEEE Computer Society Technical Committee on Engineering of Computer based Systems
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003
所蔵情報: loading…
97.

図書
図書
97. Experimental and efficient algorithms : second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003 : proceedings
Klaus Jansen ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2647
所蔵情報: loading…
98.

図書
図書
98. Technology management for reshaping the world (: case)
editors, Dundar F. Kocaoglu, Timothy R. Anderson ; co-editors, Tugrul U. Daim ... [et al.]
出版情報: Piscataway, N.J. : IEEE Operations Center , Portland, Or. : PICMET, Portland State University, Dept. of Engineering Technology Management, c2003
所蔵情報: loading…
99.

図書
図書
99. Distributed systems principles and paradigms
Andrew S. Tanenbaum, Maarten van Steen
出版情報: Upper Saddle River, N.J. : Prentice Hall, 2002
所蔵情報: loading…
100.

図書
図書
100. Evolutionary optimization in dynamic environments
by Jürgen Branke
出版情報: Boston : Kluwer Academic Publishers, c2002
シリーズ名: Genetic algorithms and evolutionary computation ; 3
所蔵情報: loading…