close
1.

電子ブック
ＥＢ
1. Global Computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
edited by Corrado Priami, Paola Quaglia
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3267
オンライン: http://dx.doi.org/10.1007/b103251
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Agent-Oriented Software Engineering V : 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
edited by Paolo Giorgini, Jorg, P. Muller, James Odell
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3382
オンライン: http://dx.doi.org/10.1007/b105022
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Concept Analysis (vol. # 3403) : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings
edited by Bernhard Ganter, Robert Godin
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3403
オンライン: http://dx.doi.org/10.1007/b105806
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Programming Multi-Agent Systems (vol. # 3346) : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
edited by Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal El
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3346
オンライン: http://dx.doi.org/10.1007/b105887
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Software Engineering for Multi-Agent Systems III : Research Issues and Practical Applications
edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3390
オンライン: http://dx.doi.org/10.1007/b106347
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Agent Communication : International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
edited by Frank Dignum, Marc-Philippe Huget, Rogier M. van Eijk
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3396
オンライン: http://dx.doi.org/10.1007/b106468
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. RoboCup 2004: Robot Soccer World Cup VIII
edited by Daniele Nardi, Martin Riedmiller, Claude Sammut, Jose Santos-Victor
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3276
オンライン: http://dx.doi.org/10.1007/b106671
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Mechanizing Mathematical Reasoning : Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday
edited by Dieter Hutter, Werner Stephan
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 2605
オンライン: http://dx.doi.org/10.1007/b106663
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Databases, Information Systems, and Peer-to-Peer Computing : Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
edited by Wee Siong Ng, Beng Chin Ooi, Aris Ouksel, C
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3367
オンライン: http://dx.doi.org/10.1007/b106971
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
edited by Franz Baader, Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3452
オンライン: http://dx.doi.org/10.1007/b106931
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Adaptive Agents and Multi-Agent Systems II : Adaptation and Multi-Agent Learning
edited by Eduardo Alonso, Dimitar Kazakov, Daniel Kudenko
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3394
オンライン: http://dx.doi.org/10.1007/b106974
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Intelligent Agents and Multi-Agent Systems : 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
edited by Michael Wayne Barley, Nik Kasab
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3371
オンライン: http://dx.doi.org/10.1007/b107183
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Compiler Construction (vol. # 3443) : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
edited by Rastislav Bodik
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3443
オンライン: http://dx.doi.org/10.1007/b107108
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Coordination Models and Languages (vol. # 3454) : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
edited by Jean-Marie Jacquet, Gian Pietro Picco
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3454
オンライン: http://dx.doi.org/10.1007/b135676
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Self-star Properties in Complex Information Systems : Conceptual and Practical Foundations
edited by Ozalp BabaogluChristof Fetzer, Mark Jelasity, Stefano Leonardi et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3460
オンライン: http://dx.doi.org/10.1007/b136551
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. The Semantic Web: Research and Applications (vol. # 3532) : Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings
edited by Jerome Euzenat, Asuncion Gomez-Perez
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3532
オンライン: http://dx.doi.org/10.1007/b136731
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
edited by Joao Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3476
オンライン: http://dx.doi.org/10.1007/b136890
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Engineering Self-Organising Systems (vol. # 3464) : Methodologies and Applications
edited by Sven A. Brueckner, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3464
オンライン: http://dx.doi.org/10.1007/b136984
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Innovations in Applied Artificial Intelligence : 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceed
Esposito, Floriana ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3533
オンライン: http://dx.doi.org/10.1007/b137656
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
edited by Kousha Etessami, Sriram K. Rajamani
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3576
オンライン: http://dx.doi.org/10.1007/b138445
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Metainformatics : International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
edited by Uffe Kock Wiil
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3511
オンライン: http://dx.doi.org/10.1007/b138822
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Engineering Societies in the Agents World V : 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers
edited by Marie-Pierre Gleizes, Andrea Omicini, Franco Zambo
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3451
オンライン: http://dx.doi.org/10.1007/b136158
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Advanced Data Mining and Applications (vol. # 3584) : First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings
edited by Zhao Yang Dong, Xue Li, Shuliang Wang
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3584
オンライン: http://dx.doi.org/10.1007/b11111
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
edited by Robert Nieuwenhuis
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3632
オンライン: http://dx.doi.org/10.1007/11532231
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Advanced Distributed Systems : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers
edited by Victor Lrios Rosillo, Felix F. Ramos, Herwig Unger
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3563
オンライン: http://dx.doi.org/10.1007/11533962
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
edited by Joe Hurd, Tom Melham
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3603
オンライン: http://dx.doi.org/10.1007/11541868
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Multiagent System Technologies (vol. # 3550) : Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings
edited by Torsten EymannMichael N. Huhns, Franziska Klugl, Matthias Klusch et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3550
オンライン: http://dx.doi.org/10.1007/11550648
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Principles and Practice of Semantic Web Reasoning (vol. # 3703) : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
edited by Francois Fages, Sylvain Soliman
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3703
オンライン: http://dx.doi.org/10.1007/11552222
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
edited by Bernhard Beckert
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3702
オンライン: http://dx.doi.org/10.1007/11554554
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Multi-Agent Systems and Applications IV : 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings
edited by Michal Pechoucek, P
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3690
オンライン: http://dx.doi.org/10.1007/11559221
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
edited by Bernhard Gramlich
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3717
オンライン: http://dx.doi.org/10.1007/11559306
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings
edited by Dominique Borrione, Wolfgang Paul
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3725
オンライン: http://dx.doi.org/10.1007/11560548
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Conceptual Modeling - ER 2005 : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings
edited by Lois DelcambreChristian Kop, Heinrich C. Mayr, John Mylopoulos et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3716
オンライン: http://dx.doi.org/10.1007/11568322
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Advances in Informatics : 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings
edited by Panayiotis Bozanis, Elias N. Houstis
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3746
オンライン: http://dx.doi.org/10.1007/11573036
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
edited by Geoff Sutcliffe, Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3835
オンライン: http://dx.doi.org/10.1007/11591191
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Formal Concept Analysis : Foundations and Applications
edited by Bernhard Ganter, Gerd Stumme, Rudolf Wille
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
シリーズ名: Lecture Notes in Computer Science ; 3626
オンライン: http://dx.doi.org/10.1007/978-3-540-31881-1
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Web Engineering : 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings
edited by David Lowe, Martin Gaedke
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
シリーズ名: Lecture Notes in Computer Science ; 3579
オンライン: http://dx.doi.org/10.1007/978-3-540-31484-4
所蔵情報: loading…