close
1.

図書
図書
1. Engineering self-organising systems : third international workshop, ESOA 2005, Utrecht, the Netherlands, July 25, 2005, revised selected papers
Sven A. Brueckner ... [et.al.] (eds.)
出版情報: Berlin : Springer Berlin, c2006  xii, 243 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3910 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Learning and adaption in multi-agent systems : first international workshop, LAMAS 2005, Utrecht, the Netherlands, July 25, 2005, revised selected papers
Karl Tuyls ... [et. al.] (eds.)
出版情報: Berlin : Springer Berlin, c2006  x, 215 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3898 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. VOCUS : a visual attention system for object detection and goal-directed search
Simone Frintrop
出版情報: Berlin : Springer Berlin, c2006  xii, 216 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3899 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Trends in enterprise application architecture : VLDB workshop, TEAA 2005, Trondheim, Norway, August 28, 2005, revised selected papers
Dirk Draheim, Gerald Weber (eds.)
出版情報: Berlin : Springer Berlin, c2006  143 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3888
所蔵情報: loading…
5.

図書
図書
5. Compiler Construction : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
Alan Mycroft, Andreas Zeller (eds.)
出版情報: Berlin : Springer, c2006  xiii, 276 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3923
所蔵情報: loading…
6.

図書
図書
6. Database systems for advanced applications : 11th international conference, DASFAA 2006, Singapore, April 12-15, 2006, proceedings
Mong Li Lee, Kian Lee Tan, Vilas Wuwongse (eds.)
出版情報: Berlin : Springer Berlin, c2006  xix, 923 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3882
所蔵情報: loading…
7.

図書
図書
7. Hardware and software verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005. revised selected papers
Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)
出版情報: Berlin : Springer Berlin, c2006  x, 264 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3875
所蔵情報: loading…
8.

図書
図書
8. Neural nets : 16th Italian Workshop on Neural Nets, WIRN 2005 and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005 : revised selected papers
Bruno Apolloni ... [et.al.] (eds)
出版情報: Berlin : Springer Berlin, c2006  xiii, 370 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3931
所蔵情報: loading…
9.

図書
図書
9. Knowledge discovery in life science literature : PAKDD 2006 International Workshop, KDLL 2006, Singapore, April 9, 2006 : proceedings
Eric G. Bremer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xiv, 145 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3886 . Lecture Notes in Bioinformatics
所蔵情報: loading…
10.

図書
図書
10. Advances in information retrieval : 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006 : proceedings
Mounia Lalmas ... [et. al] (eds.)
出版情報: Berlin : Springer, c2006  xix, 584 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3936
所蔵情報: loading…
11.

図書
図書
11. Technologies for e-learning and digital entertainment : first international conference, edutainment 2006, Hangzhou, China, April 16-19, 2006 : proceedings
Zhigeng Pan ... [et. al] (eds.)
出版情報: Berlin : Springer, c2006  xxv, 1396 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3942
所蔵情報: loading…
12.

図書
図書
12. Security in pervasive computing : Third International Conference, SPC 2006, York, UK, April 18-21, 2006 : proceedings
John A. Clark ... [et. al] (eds.)
出版情報: Berlin : Springer, c2006  x, 242 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3934
所蔵情報: loading…
13.

図書
図書
13. Transactions on Computational systems biology IV
Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)
出版情報: Berlin : Springer, c2006  139 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3939 . Lecture notes in bioinformatics
所蔵情報: loading…
14.

図書
図書
14. Functional and logic programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings
Masami Hagiya, Philip Wadler (eds.)
出版情報: Berlin : Springer, c2006  x, 293 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3945
所蔵情報: loading…
15.

図書
図書
15. 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  xi, 310 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3871
所蔵情報: loading…
16.

図書
図書
16. Multi-agent-based simulation VI : International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers
Jaime S. Sichman, Luis Antunes (eds.)
出版情報: Berlin : Springer, c2006  x, 189 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3891 . Lecture notes in artificial intelligence
所蔵情報: loading…
17.

図書
図書
17. DNA computing : 11th International workshop on DNA computing, DNA11, London, ON, Canada, June 6-9, 2005 : Revised selected papers
Alessandra Carbone, Niles A. Pierce (eds.)
出版情報: Berlin : Springer, c2006  xi, 440 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3892
所蔵情報: loading…
18.

図書
図書
18. Visual content processing and representation : 9th International Workshop, VLBV 2005, Sardinia, Italy, September 15-16, 2005 : revised selected papers
Luigi Atzori ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  ix, 224 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3893
所蔵情報: loading…
19.

図書
図書
19. Computer music modeling and retrieval : Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005 : revised papers
Richard Kronland-Martinet, Thierry Voinier, Sølvi Ystad (eds.)
出版情報: Berlin : Springer, c2006  xi, 273 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3902
所蔵情報: loading…
20.

図書
図書
20. Software engineering for multi-agent systems IV : research issues and practical applications
Alessandro Garcia ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xiv, 253 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3914
所蔵情報: loading…
目次情報: 続きを見る
Context-Awareness and Coordination
Policy-Driven Configuration and Management of Agent Based Distributed Systems / Anand R. Tripathi ; Devdatta Kulkarni ; Tanvir Ahmed
Views: Middleware Abstractions for Context-Aware Applications in Manets / Kurt Schelfthout ; Tom Holvoet ; Yolande Berbers
An Adaptive Distributed Layout for Multi-agent Applications / Koenraad Mertens
Self-organizing Approaches for Large-Scale Spray Multiagent Systems / Marco Mamei ; Franco Zambonelli
Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research / Andrea Omicini ; Alessandro Ricci ; Mirko Viroli
Modeling
Analysis and Design of Physical and Social Contexts in Multi-agent Systems / Florian Klein ; Holger Giese
Engineering Organization-Based Multiagent Systems / Scott A. DeLoach
Developing and Evaluating a Generic Metamodel for MAS Work Products / Ghassan Beydoun ; César Gonzalez-Perez ; Brian Henderson-Sellers ; G. Low
Agent Roles, Qua Individuals and the Counting Problem / Giancarlo Guizzardi
Requirements and Software Architecture
A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems / Josh Dehlinger ; Robyn R. Lutz
Characterization and Evaluation of Multi-agent System Architectural Styles / Paul Davidsson ; Stefan Johansson ; Mikael Svahnberg
Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes / Christopher Cheong ; Michael Winikoff
Patterns for Modelling Agent Systems with Tropos / Haralambos Mouratidis ; Michael Weiss
Dependability
On the Use of Formal Specifications as Part of Running Programs / Giovanna Di Marzo Serugendo
Adaptive Replication of Large-Scale Multi-agent Systems - Towards a Fault-Tolerant Multi-agent Platform / Zahia Guessoum ; Nora Faci ; Jean-Pierre Briot
Author Index
Context-Awareness and Coordination
Policy-Driven Configuration and Management of Agent Based Distributed Systems / Anand R. Tripathi ; Devdatta Kulkarni ; Tanvir Ahmed
Views: Middleware Abstractions for Context-Aware Applications in Manets / Kurt Schelfthout ; Tom Holvoet ; Yolande Berbers
21.

図書
図書
21. Interactive systems : design, specification, and verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
Stephen W. Gilroy, Michael D. Harrison (eds.)
出版情報: Berlin : Springer, c2006  xi, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3941
所蔵情報: loading…
22.

図書
図書
22. Agent-oriented software engineering VI : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers
Jörg P. Müller, Franco Zambonelli (eds.)
出版情報: Berlin : Springer, c2006  xvi, 247 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3950
所蔵情報: loading…
23.

図書
図書
23. Computer vision -- ECCV 2006 : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006 : proceedings (pt. 1 - pt. 4)
Aleš Leonardis, Horst Bischof, Axel Pinz (eds.)
出版情報: Berlin : Springer, c2006  4 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3951-3954
所蔵情報: loading…
24.

図書
図書
24. Advances in artificial intelligence : 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006 : proceedings
Grigoris Antoniou ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xvii, 611 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3955 . Lecture notes in artificial intelligence
所蔵情報: loading…
25.

図書
図書
25. Construction and analysis of safe, secure, and interoperable smart devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers
Gilles Barthe ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  vi, 173 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3956
所蔵情報: loading…
26.

図書
図書
26. Public key cryptography - PKC 2006 : 9th International Conference on Theory and Practice in Public Key Cryptography, New York, NY, USA, April 24-26, 2006 : proceedings
Moti Yung ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xiv, 542 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3958
所蔵情報: loading…
27.

図書
図書
27. Persuasive technology : First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006 : proceedings
Wijnand IJsselsteijn ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xii, 216 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3962
所蔵情報: loading…
28.

図書
図書
28. Software process change : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006 : proceedings
Qing Wang ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xiv, 356 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3966
所蔵情報: loading…
29.

図書
図書
29. Wired/wireless Internet communications : 4th International Conference, WWIC 2006 : Bern, Switzerland, May 10-12, 2006 : proceedings
Torsten Braun ... [et al.], (eds.)
出版情報: Berlin : Springer, c2006  xiv, 350 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3970
所蔵情報: loading…
30.

図書
図書
30. Computational science and its applications - ICCSA 2006 : International Conference, Glasgow, UK, May 8-11, 2006 : proceedings (pt. 1 - pt. 5)
Marina Gavrilova ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  5 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3980-3984
所蔵情報: loading…
31.

図書
図書
31. Wireless systems and network architectures in next generation internet : Second International Workshop of the EURO-NGI Network of Excellence, Villa Vigoni, Italy, July 13-15, 2005 : revised selected papers
Matteo Cesana, Luigi Fratta (eds.)
出版情報: Berlin : Springer, c2006  ix, 280 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3883
所蔵情報: loading…
32.

図書
図書
32. Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers
Francesca Toni, Paolo Torroni (eds.)
出版情報: Berlin : Springer, c2006  xvii, 426 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3900 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書
図書
33. Innovative internet community systems : 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005 : revised papers
Alain Bui ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  viii, 206 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3908
所蔵情報: loading…
34.

図書
図書
34. Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers
Wendy MacCaull, Michael Winter, Ivo Duntsch (eds.)
出版情報: Berlin : Springer, c2006  viii, 262 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3929
所蔵情報: loading…
35.

図書
図書
35. Information security and cryptology - ICISC 2005 : 8th International Conference, Seoul, Korea, December 1-2, 2005 : revised selected papers
Dongho Won, Seungjoo Kim (eds.)
出版情報: Berlin : Springer, c2006  xiv, 458 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3935
所蔵情報: loading…
36.

図書
図書
36. Modeling and retrieval of context : Second International Workshop, MRC 2005, Edinburgh, UK, July 31 - August 1, 2005 : revised selected papers
Thomas R. Roth-Berghofer, Stefan Schulz, David B. Leake (eds.)
出版情報: Berlin : Springer, c2006  vii, 147 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3946 . Lecture notes in artificial intelligence
所蔵情報: loading…
37.

図書
図書
37. Advances in grid and pervasive computing : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006 : proceedings
Yeh-Ching Chung, Jose E. Moreira (eds.)
出版情報: Berlin : Springer, c2006  xix, 667 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3947
所蔵情報: loading…
38.

図書
図書
38. Computational processing of the portuguese language : 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006 : proceedings
Renata Vieira ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xii, 274 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3960 . Lecture notes in artificial intelligence
所蔵情報: loading…
39.

図書
図書
39. Testing of communicating systems : 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY. USA, May 16-18, 2006 : proceedings
M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.)
出版情報: Berlin : Springer, c2006  xi, 372 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3964
所蔵情報: loading…
40.

図書
図書
40. Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures
Marco Bernardo, Alessandro Cimatti (eds.)
出版情報: Berlin : Springer, c2006  vi, 242 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3965
所蔵情報: loading…
41.

図書
図書
41. Computer science -- theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings
Dima Grigoriev, John Harrison, Edward A. Hirsch (eds.)
出版情報: Berlin : Springer, c2006  xvi, 684 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3967
所蔵情報: loading…
42.

図書
図書
42. Pervasive computing : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006 : proceedings
Kenneth P. Fishkin ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xv, 402 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3968
所蔵情報: loading…
43.

図書
図書
43. Intelligence and security informatics : IEEE International Conference on Intelligence and Security Informatics, ISI 2006, San Diego, CA, USA, May 23-24, 2006 : proceedings
Sharad Mehrotra ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xxii, 772 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3975
所蔵情報: loading…
44.

図書
図書
44. Networking 2006 : networking technologies, services, and protocols; performance of computer and communication networks; mobile and wireless communications systems : 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006 : proceedings
Fernando Boavida ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xxvi, 1276 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3976
所蔵情報: loading…
45.

図書
図書
45. Computer vision in human-computer interaction : ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006 : proceedings
Thomas S. Huang ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xii, 119 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3979
所蔵情報: loading…
46.

図書
図書
46. Trust management : 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 : proceedings
Ketil Stolen ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xiv, 474 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3986
所蔵情報: loading…
47.

図書
図書
47. Location- and context-awareness : Second International Workshop, LoCA 2006 Dublin, Ireland, May 10-11, 2006 : proceedings
Mike Hazas, John Krumm, Thomas Strang (eds.)
出版情報: Berlin : Springer, c2006  x, 288 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3987
所蔵情報: loading…
48.

図書
図書
48. Next generation teletraffic and wired/wireless advanced networking : 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006 : proceedings
Yevgeni Koucheryavy, Jarmo Harju, Villy B, Iversen (eds.)
出版情報: Berlin : Springer, c2006  xvi, 582 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4003
所蔵情報: loading…
49.

図書
図書
49. Experimental algorithms : 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006 : proceedings
Carme Àlvarez, Maria Serna (eds.)
出版情報: Berlin : Springer, c2006  xi, 327 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4007
所蔵情報: loading…
50.

図書
図書
50. Advances in machine learning and cybernetics : 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005 : revised selected papers
Daniel S. Yeung ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xxi, 1110 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3930 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼