close
1.

電子ブック
ＥＢ
1. Programming Multi-Agent Systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5442
オンライン: http://dx.doi.org/10.1007/978-3-642-03278-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Multi-Agent Systems for Society : 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Dickson Lukose, Zhongzhi Shi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 4078
オンライン: http://dx.doi.org/10.1007/978-3-642-03339-1
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Agents and Data Mining Interaction : 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers
edited by Longbing Cao, Vladimir Gorodetsky, Jiming Liu, Gerhard Weiss, Philip S. Yu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5680
オンライン: http://dx.doi.org/10.1007/978-3-642-03603-3
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
edited by Jaime G. Carbonell, Jorg Siekmann, Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5397
オンライン: http://dx.doi.org/10.1007/978-3-540-93920-7
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. Wooldridge
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5348
オンライン: http://dx.doi.org/10.1007/978-3-642-00431-5
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Hanus
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5438
オンライン: http://dx.doi.org/10.1007/978-3-642-00515-2
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Agent-Oriented Software Engineering IX : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Luck, Jorge J. Gomez-Sanz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5386
オンライン: http://dx.doi.org/10.1007/978-3-642-01338-6
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Agent Computing and Multi-Agent Systems : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Aditya Ghose, Guido Governatori, Ramakoti Sadananda
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5044
オンライン: http://dx.doi.org/10.1007/978-3-642-01639-4
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ahmed Bouajjani, Oded Maler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5643
オンライン: http://dx.doi.org/10.1007/978-3-642-02658-4
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
edited by Jens Palsberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5700
オンライン: http://dx.doi.org/10.1007/978-3-642-04164-8
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
edited by Silvio Ghilardi, Roberto Sebastiani
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5749
オンライン: http://dx.doi.org/10.1007/978-3-642-04222-5
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
edited by Esra Erdem, Fangzhen Lin, Torsten Schaub
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5753
オンライン: http://dx.doi.org/10.1007/978-3-642-04238-6
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5065
オンライン: http://dx.doi.org/10.1007/978-3-540-68679-8
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
edited by Bertrand Meyer, Jim Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4171
オンライン: http://dx.doi.org/10.1007/978-3-540-69149-5
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Aarti Gupta, Sharad Malik
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5123
オンライン: http://dx.doi.org/10.1007/978-3-540-70545-1
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5170
オンライン: http://dx.doi.org/10.1007/978-3-540-71067-7
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
edited by Jaime G. Carbonell, J¥org Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5195
オンライン: http://dx.doi.org/10.1007/978-3-540-71070-7
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4897
オンライン: http://dx.doi.org/10.1007/978-3-540-77564-5
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
edited by Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4865
オンライン: http://dx.doi.org/10.1007/978-3-540-77949-0
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Compiler Construction : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
edited b
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4959
オンライン: http://dx.doi.org/10.1007/978-3-540-78791-4
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
edited by Jaime Simao Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4870
オンライン: http://dx.doi.org/10.1007/978-3-540-79003-7
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Programming Multi-Agent Systems : 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4908
オンライン: http://dx.doi.org/10.1007/978-3-540-79043-3
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
edited by Michael Luck, Lin Padgham
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4951
オンライン: http://dx.doi.org/10.1007/978-3-540-79488-2
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jose Meseguer, Grigore Ro?u
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5140
オンライン: http://dx.doi.org/10.1007/978-3-540-79980-1
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
edited by Jaime G. Carbonell, Jorg Siekmann, Iliano Cervesato, Helmut Veith, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5330
オンライン: http://dx.doi.org/10.1007/978-3-540-89439-1
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Intelligent Agents and Multi-Agent Systems : 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
edited by Jaime G. Carbonell, Jorg Siekmann, The Duy Bui, Tuong Vinh Ho, Quang Thuy Ha
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5357
オンライン: http://dx.doi.org/10.1007/978-3-540-89674-6
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Logic for Programming Artificial Intelligence and Reasoning : 14th International Conference LPAR 2007 Yerevan Armenia October 15-19 2007. Proceedings
edited by Nachum Dershowitz Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4790
オンライン: http://dx.doi.org/10.1007/978-3-540-75560-9
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino
edited by Bernhard Beckert Reiner Hahnle Peter H. Schmitt
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4334
オンライン: http://dx.doi.org/10.1007/978-3-540-69061-0
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Agent-Oriented Software Engineering VII : 7th International Workshop AOSE 2006 Hakodate Japan May 82006 Revised and Invited Papers
edited by Lin Padgham Franco Zambonelli
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4405
オンライン: http://dx.doi.org/10.1007/978-3-540-70945-9
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Programming Multi-Agent Systems : 4th International Workshop ProMAS 2006 Hakodate Japan May 92006 Revised and Invited Papers
edited by Rafael H. Bordini Mehdi Dastani Jurgen Dix Amal El Fallah Seghrouchni
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4411
オンライン: http://dx.doi.org/10.1007/978-3-540-71956-4
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Web Reasoning and Rule Systems : First International Conference RR 2007 Innsbruck Austria June 7-82007 Proceedings
edited by Massimo Marchiori Jeff Z. Pan Christian de Sainte Marie
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4524
オンライン: http://dx.doi.org/10.1007/978-3-540-72982-2
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Computer Aided Verification : 19th International Conference CAV 2007 Berlin Germany July 3-7 2007. Proceedings
edited by Werner Damm Holger Hermanns
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4590
オンライン: http://dx.doi.org/10.1007/978-3-540-73368-3
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Automated Deduction ?ECADE-21 : 21st International Conference on Automated Deduction Bremen Germany July 17-20 2007 Proceedings
edited by Frank Pfenning
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4603
オンライン: http://dx.doi.org/10.1007/978-3-540-73595-3
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Model Checking and Artificial Intelligence : 4th Workshop MoChArt IV Riva del Garda Italy August 292006 Revised Selected and Invited Papers
edited by Stefan Edelkamp Alessio Lomuscio
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4428
オンライン: http://dx.doi.org/10.1007/978-3-540-74128-2
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Coordination Organizations Institutions and Norms in Agent Systems II : AAMAS 2006 and ECAI 2006 International Workshops COIN 2006 Hakodate Japan May 9 2006 Riva del Garda Italy August 28 2006. Revised Selected Papers
Noriega Pablo ; Dignum Virginia ; Boissier Olivier ; Matson Eric ; Vazquez-Salceda Javier ; Boella Guido ; Fornara Nicoletta ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4386
オンライン: http://dx.doi.org/10.1007/978-3-540-74459-7
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Theorem Proving in Higher Order Logics : 20th International Conference TPHOLs 2007 Kaiserslautern Germany September 10-13 2007. Proceedings
edited by Klaus Schneider Jens Brandt
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4732
オンライン: http://dx.doi.org/10.1007/978-3-540-74591-4
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Programming Multi-Agent Systems (vol. 3862) : Third International Workshop ProMAS 2005 Utrecht The Netherlands July 262005 Revised and Invited Papers
edited by Rafael H. Bordini Mehdi Dastani J-rgen Dix Amal
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3862
オンライン: http://dx.doi.org/10.1007/11678823
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Defence Applications of Multi-Agent Systems : International Workshop DAMAS 2005 Utrecht The Netherlands July 252005 Revised and Invited Papers
edited by Simon G. Thompson Robert Ghanea-Hercock
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3890
オンライン: http://dx.doi.org/10.1007/11683704
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Compiler Construction (vol. 3923) : 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-312006 Proceedings
Mycroft Alan ; Zeller Andreas ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3923
オンライン: http://dx.doi.org/10.1007/11688839
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Declarative Agent Languages and Technologies III : Third International Workshop DALT 2005 Utrecht The Netherlands July 252005 Selected and Revised Papers
edited by Matteo Baldoni Ulle Endriss Andrea Omicini Pao
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3904
オンライン: http://dx.doi.org/10.1007/11691792
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra Workshop of COST Action 274: TARSKI St. Catharin
MacCaull Wendy ; Winter Michael ; D-ntsch Ivo ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3929
オンライン: http://dx.doi.org/10.1007/11734673
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Agent-Oriented Software Engineering VI : 6th International Workshop AOSE 2005 Utrecht The Netherlands July 25 2005. Revised and Invited Papers
edited by J-rg P. M-ller Franco Zambonelli
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3950
オンライン: http://dx.doi.org/10.1007/11752660
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Coordination Organizations Institutions and Norms in Multi-Agent Systems : AAMAS 2005 International Workshops on Agents Norms and Institutions for Regulated Multiagent Systems ANIREM 2005 and on Organizations in Mul
Boissier Olivier ; Matson Eric ; V-zquez-Salceda Javier ; Sichman Jaime ; Ossowski Sascha ; Lindemann Gabriela ; Dignum Virginia ; Padget Julian ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3913
オンライン: http://dx.doi.org/10.1007/11775331
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Algebraic Methodology and Software Technology : 11th International Conference AMAST 2006 Kuressaare Estonia July 5-82006 Proceedings
edited by Michael Johnson Varmo Vene
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4019
オンライン: http://dx.doi.org/10.1007/11784180
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Agent Computing and Multi-Agent Systems : 9th Pacific Rim International Workshop on Multi-Agents PRIMA 2006 Guilin China August 7-82006 Proceedings
edited by Zhongzhi Shi Ramakoti Sadananada
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4088
オンライン: http://dx.doi.org/10.1007/11802372
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Automated Reasoning : Third International Joint Conference IJCAR 2006 Seattle WA USA August 17-202006 Proceedings
edited by Ulrich Furbach Natarajan Shankar
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4130
オンライン: http://dx.doi.org/10.1007/11814771
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Computer Aided Verification (vol. 4144) : 18th International Conference CAV 2006 Seattle WA USA August 17-202006 Proceedings
edited by Thomas Ball Robert B. Jones
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4144
オンライン: http://dx.doi.org/10.1007/11817963
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Logic for Programming Aritficial Intelligence and Reasoning : 13th International Conference LPAR 2006 Phnom Penh Cambodia November 13-172006 Proceedings
edited by Miki Hermann Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4246
オンライン: http://dx.doi.org/10.1007/11916277
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Agent Communication II : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers
Editors Frank P. M. Dignum, Rogier M. van Eijk, Roberto Flores
出版情報: Berlin Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Lecture Notes in Computer Science ; 3859
オンライン: http://dx.doi.org/10.1007/978-3-540-68143-4
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Declarative Agent Languages and Technologies IV : 4th International Workshop DALT 2006 Hakodate Japan May 82006 Selected Revised and Invited Papers
edited by Matteo Baldoni Ulle Endriss
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4327
オンライン: http://dx.doi.org/10.1007/11961536
所蔵情報: loading…
51.

電子ブック
ＥＢ
51. Innovative Internet Computing Systems : Second International Workshop IICS 2002 K-hlungsborn Germany June 20-22 2002 Proceedings
edited by Herwig Unger Thomas B-hme Armin Mikler
出版情報: Berlin Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Lecture Notes in Computer Science ; 2346
オンライン: http://dx.doi.org/10.1007/3-540-48080-3
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. 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…
53.

電子ブック
ＥＢ
53. 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…
54.

電子ブック
ＥＢ
54. 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…
55.

電子ブック
ＥＢ
55. 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…
56.

電子ブック
ＥＢ
56. 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…
57.

電子ブック
ＥＢ
57. 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…
58.

電子ブック
ＥＢ
58. 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…
59.

電子ブック
ＥＢ
59. 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…
60.

電子ブック
ＥＢ
60. 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…
61.

電子ブック
ＥＢ
61. 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…
62.

電子ブック
ＥＢ
62. 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…
63.

電子ブック
ＥＢ
63. 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…
64.

電子ブック
ＥＢ
64. 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…
65.

電子ブック
ＥＢ
65. 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…