close
1.

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

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

図書
図書
3. Anticipatory learning classifier systems
by Martin V. Butz
出版情報: Boston : Kluwer Academic Publishers, c2002
シリーズ名: Genetic algorithms and evolutionary computation ; 4
所蔵情報: loading…
4.

図書
図書
4. Understanding systems : conversations on epistemology and ethics (: us ; : ger)
Heinz von Foerster, Bernhard Poerksen ; translation by Karen Leube
出版情報: New York : Kluwer Academic/Plenum Publishers , Heidelberg : Carl-Auer-Systeme, c2002
シリーズ名: IFSR international series on systems science and engineering ; v. 17
所蔵情報: loading…
5.

図書
図書
5. Evolution as computation : DIMACS workshop, Princeton, January 1999
Laura F. Landweber, Erik Winfree (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Natural computing series
所蔵情報: loading…
6.

図書
図書
6. Operating system concepts. 6th ed.
Abraham Silberschatz, Peter Baer Galvin, Greg Gagne
出版情報: New York : Wiley, c2002
所蔵情報: loading…
7.

図書
図書
7. Graph drawing and applications : for software and knowledge engineers
Kozo Sugiyama
出版情報: New Jersey : World Scientific, c2002
シリーズ名: Series on software engineering and knowledge engineering ; vol.11
所蔵情報: loading…
8.

図書
図書
8. Evaluating software architectures : methods and case studies
Paul Clements, Rick Kazman, Mark Klein
出版情報: Boston : Addison-Wesley, c2002
シリーズ名: The SEI series in software engineering
所蔵情報: loading…
9.

図書
図書
9. Extraction and exploitation of intensional knowledge from heterogeneous information sources : semi-automatic approaches and tools
Domenico Ursino
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2282
所蔵情報: loading…
10.

図書
図書
10. Hybrid Systems : Computation and Control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002 : proceedings
Claire J. Tomlin, Mark R. Greenstreet (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2289
所蔵情報: loading…
11.

図書
図書
11. Index structures for data warehouses
Marcus Jürgens
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 1859
所蔵情報: loading…
12.

図書
図書
12. Proceedings of Pan-Yellow-Sea International Workshop on Information Technologies for Network Era : PYIWIT'02
sponsored by Information Processing Society of Japan (IPSJ), Kyushu Branch, Saga University, Institute of Systems and Information Technologies/Kyushu (ISIT)
出版情報: [Tokyo] : [Information Processing Society of Japan], c2002
所蔵情報: loading…
13.

図書
図書
13. Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: loading…
14.

図書
図書
14. Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Daniel Le Métayer (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: loading…
15.

図書
図書
15. Compiler Construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
R. Nigel Horspool (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2304
所蔵情報: loading…
16.

図書
図書
16. From Theory to Practice in Multi-Agent Systems : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001, Cracow, Poland, September 26-29, 2001 : revised papers
Barbara Dunin-Kȩplicz, Edward Nawarecki (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2296 . Lecture notes in artificial intelligence
所蔵情報: loading…
17.

図書
図書
17. Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2283
所蔵情報: loading…
18.

図書
図書
18. Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2295
所蔵情報: loading…
19.

図書
図書
19. Multi-Agent Systems and Applications II : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 : selected revised papers
Vladimír Mařík ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2322 . Lecture notes in artificial intelligence
所蔵情報: loading…
20.

図書
図書
20. The art of error correcting coding
Robert H. Morelos-Zaragoza
出版情報: Chichester, England : Wiley, c2002
所蔵情報: loading…
21.

図書
図書
21. Inference control in statistical databases : from theory to practice
Josep Domingo-Ferrer (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2316
所蔵情報: loading…
22.

図書
図書
22. Compression and coding algorithms
by Alistair Moffat and Andrew Turpin
出版情報: Boston : Kluwer Academic, c2002
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 669
所蔵情報: loading…
23.

図書
図書
23. Advanced environments, tools, and applications for cluster computing : NATO advanced research workshop, IWCC 2001 : Mangalia, Romania, September 1-6, 2001 : revised papers
Dan Grigoras ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science / 経済企画庁編 ; 2326
所蔵情報: loading…
24.

図書
図書
24. Integer programming and combinatorial optimization : 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002 : proceedings
William J. Cook, Andreas S. Schulz (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2337
所蔵情報: loading…
25.

図書
図書
25. Networking 2002 : networking technologies, services, and protocols; performance of computer and communication networks; mobile and wireless communications : second international IFIP-TC6 networking conference, Pisa, Italy, May 19-24, 2002 : proceedings
Enrico Gregori ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2345
所蔵情報: loading…
26.

図書
図書
26. Collision-based computing
Andrew Adamatzky (ed.)
出版情報: London : Springer, c2002
所蔵情報: loading…
27.

図書
図書
27. Algorithm theory -- SWAT 2002 : 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 : proceedings
Martti Penttonen, Erik Meineche Schmidt (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2368
所蔵情報: loading…
28.

図書
図書
28. Elements of distributed computing
Vijay K. Garg
出版情報: New York : Wiley-Interscience, c2002
所蔵情報: loading…
29.

図書
図書
29. Proceedings Fifth IEEE International Conference on Automatic Face and Gesture Recognition, 20-21 May 2002, Washington, D.C. (pbk.)
sponsored by IEEE Computer Society TC PAMI
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002
所蔵情報: loading…
30.

図書
図書
30. 情報倫理学研究資料集 (1 - 4)
水谷雅彦編集責任
出版情報: 京都 : 京都大学文学研究科「情報倫理の構築」プロジェクト室, 1999.4-
所蔵情報: loading…
31.

図書
図書
31. Pattern recognition with support vector machines : First International Workshop, SVM 2002, Niagara Falls, Canada, August 10, 2002 : proceedings
Seong-Whan Lee, Alessandro Verri (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2388
所蔵情報: loading…
32.

図書
図書
32. Proceedings : Eighteenth National Conference on Artificial Intelligence (AAAI-02) : Fourteenth Innovative Applications of Artificial Intelligence Conference (IAAI-02)
[sponsored by the American Association for Artificial Intelligence]
出版情報: Menlo Park, Calif. : AAAI Press , Cambridge, Mass. : [Distributed by] MIT Press, c2002
所蔵情報: loading…
33.

図書
図書
33. Ant algorithms : Third International Workshop, ANTS 2002, Brussels, Belgium, September 12-14, 2002 : proceedings
Marco Dorigo, Gianni Di Caro, Michael Sampels (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2463
所蔵情報: loading…
34.

図書
図書
34. Interactive Markov chains : and the quest for quantified quality
Holger Hermanns
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2428
所蔵情報: loading…
35.

図書
図書
35. Performance evaluation of complex systems : techniques and tools : performance 2002 tutorial lectures
Maria Carla Calzarossa, Salvatore Tucci (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2459
所蔵情報: loading…
36.

図書
図書
36. Randomization and approximation techniques in computer science : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002 : proceedings
José D.P. Rolim, Salil Vadhan (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2483
所蔵情報: loading…
37.

図書
図書
37. Web engineering and peer-to-peer computing : NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002 : revised papers
Enrico Gregori ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2376
所蔵情報: loading…
38.

図書
図書
38. Cellular automata : 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002 : proceedings
Stefania Bandini, Bastien Chopard, Marco Tomassini (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2493
所蔵情報: loading…
39.

図書
図書
39. Uncertainty in artificial intelligence : proceedings of the Eighteenth Conference (2002) : August 1-4, 2002, University of Alberta, Edmonton
edited by Adnan Darwiche, Nir Friedman ; conference chair, Daphne Koller ; sponsored by American Association for Artificial Intelligence ... [et al.]
出版情報: San Francisco, Calif. : Morgan Kaufmann Pub., c2002
所蔵情報: loading…
40.

図書
図書
40. ECAI 2002 : 15th European Conference on Artificial Intelligence, July 21-26, 2002, Lyon,France : including Prestigious Applications of Intelligent Systems (PAIS 2002) : proceedings (: IOS ; : Ohmsha)
edited by Frank van Harmelen ; organized by the European Coordinating Committee on Artificial Intelligence (ECCAI) and the Association Française pour l'Intelligence Artificielle (AFIA) ; hosted by Claude Bernard Université and INSA, Lyon, France
出版情報: Amsterdam : IOS, c2002
シリーズ名: Frontiers in artificial intelligence and applications ; v. 77
所蔵情報: loading…
41.

図書
図書
41. Foundations and applications of multi-agent systems : UKMAS Workshops 1996-2000 : selected papers
Mark d'Inverno ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2403 . Lecture notes in artificial intelligence
所蔵情報: loading…
42.

図書
図書
42. Mathematics and art : mathematical visualization in art and education
Claude P. Bruter, editor
出版情報: Berlin : Springer-Verlag, c2002
シリーズ名: Mathematics and visualization
所蔵情報: loading…
43.

図書
図書
43. Shadeで描く3D-CG : myShade 3/Shade R5
勝田有一朗著
出版情報: 東京 : 工学社, 2002.4
シリーズ名: I/O books
所蔵情報: loading…