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. Trustworthy Global Computing : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 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, Christos Kaklamanis, Flemming Nielson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5474
オンライン: http://dx.doi.org/10.1007/978-3-642-00945-7
所蔵情報: loading…
6.

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

電子ブック
ＥＢ
7. Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 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, Roberto Bruni, Karsten Wolf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5387
オンライン: http://dx.doi.org/10.1007/978-3-642-01364-5
所蔵情報: 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. Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 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, David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5522
オンライン: http://dx.doi.org/10.1007/978-3-642-02138-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Software Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 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, Alexandre Bergel, Johan Fabry
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5634
オンライン: http://dx.doi.org/10.1007/978-3-642-02655-3
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 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, Catherine Dubois
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5668
オンライン: http://dx.doi.org/10.1007/978-3-642-02949-3
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Domain-Specific Languages : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 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, Walid Mohamed Taha
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5658
オンライン: http://dx.doi.org/10.1007/978-3-642-03034-5
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. ECOOP 2009 ? Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
edited by Sophia Drossopoulou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5653
オンライン: http://dx.doi.org/10.1007/978-3-642-03013-0
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
edited by Kenji Suzuki, Teruo Hig
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5047
オンライン: http://dx.doi.org/10.1007/978-3-540-68524-1
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
edited by Rene Meier, Sotirios Terzis
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5053
オンライン: http://dx.doi.org/10.1007/978-3-540-68642-2
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Formal Techniques for Networked and Distributed Systems ?EFORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5048
オンライン: http://dx.doi.org/10.1007/978-3-540-68855-6
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
edited by Gilles Barthe, Frank S. Boer
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5051
オンライン: http://dx.doi.org/10.1007/978-3-540-68863-1
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5016
オンライン: http://dx.doi.org/10.1007/978-3-540-68894-5
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Analytical and Stochastic Modeling Techniques and Applications : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
edited by Khalid Al-Begain, Armin Heindl, Miklos Telek
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5055
オンライン: http://dx.doi.org/10.1007/978-3-540-68982-9
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Performance Evaluation: Metrics, Models and Benchmarks : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
edited by Samuel Kounev, Ian Gorton, Kai Sachs
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5119
オンライン: http://dx.doi.org/10.1007/978-3-540-69814-2
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 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, T. C. Nicholas Graham, Philippe Palanque
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5136
オンライン: http://dx.doi.org/10.1007/978-3-540-70569-7
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. ECOOP 2008 ?EObject-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 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, Jan Vitek
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5142
オンライン: http://dx.doi.org/10.1007/978-3-540-70592-5
所蔵情報: loading…
23.

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

電子ブック
ＥＢ
24. Software Architectures, Components, and Applications : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers
edited by Sven Overhage, Clemens A. Szyperski, Ralf Reussner, Judith A. Stafford
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4880
オンライン: http://dx.doi.org/10.1007/978-3-540-77619-2
所蔵情報: loading…
25.

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

電子ブック
ＥＢ
26. Object-Oriented Technology. ECOOP 2007 Workshop Reader : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
edited by Michael Cebulla
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4906
オンライン: http://dx.doi.org/10.1007/978-3-540-78195-0
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
edited by Gilles Barthe, Cedric Fournet
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4912
オンライン: http://dx.doi.org/10.1007/978-3-540-78663-4
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Software Composition : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
edited by Cesare Pautasso, Eric Tanter
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4954
オンライン: http://dx.doi.org/10.1007/978-3-540-78789-1
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Ma
Ramakrishnan, C. R. ; Rehof, Jakob ; SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4963
オンライン: http://dx.doi.org/10.1007/978-3-540-78800-3
所蔵情報: loading…
30.

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

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

電子ブック
ＥＢ
32. Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
edited by Bernhard Beckert, Reiner Hahnle
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4966
オンライン: http://dx.doi.org/10.1007/978-3-540-79124-9
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
edited by Marlon Dumas, Reiko Heckel
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4937
オンライン: http://dx.doi.org/10.1007/978-3-540-79230-7
所蔵情報: loading…
34.

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

電子ブック
ＥＢ
35. Engineering Interactive Systems : Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 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, Peter Forbrig, Fabio Paterno
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5247
オンライン: http://dx.doi.org/10.1007/978-3-540-85992-5
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 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, Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5311
オンライン: http://dx.doi.org/10.1007/978-3-540-88387-6
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
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, Martin Wirsing, Jean-Pierre Banatre, Matthias Holzl, Axel Rauschmayer
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5380
オンライン: http://dx.doi.org/10.1007/978-3-540-89437-7
所蔵情報: loading…
38.

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

電子ブック
ＥＢ
39. Engineering Interactive Systems : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. 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, Jan Gulliksen, Morton Borup Harning, Philippe Palanque, Gerrit C. Veer, Janet Wesson
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 4940
オンライン: http://dx.doi.org/10.1007/978-3-540-92698-6
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Formal Methods and Stochastic Models for Performance Evaluation : Fourth European Performance Engineering Workshop EPEW 2007 Berlin Germany September 27-28 2007. Proceedings
edited by Katinka Wolter
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4748
オンライン: http://dx.doi.org/10.1007/978-3-540-75211-0
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Theoretical Aspects of Computing ?EICTAC 2007 : 4th International Colloquium Macau China September 26-28 2007. Proceedings
edited by Cliff B. Jones Zhiming Liu Jim Woodcock
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4711
オンライン: http://dx.doi.org/10.1007/978-3-540-75292-9
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Trustworthy Global Computing : Second Symposium TGC 2006 Lucca Italy November 7-92006 Revised Selected Papers
edited by Ugo Montanari Donald Sannella Roberto Bruni
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4661
オンライン: http://dx.doi.org/10.1007/978-3-540-75336-0
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Automated Technology for Verification and Analysis : 5th International Symposium ATVA 2007 Tokyo Japan October 22?E5 2007 Proceedings
edited by Kedar S. Namjoshi Tomohiro Yoneda Teruo Higashino Yoshio Okamura
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4762
オンライン: http://dx.doi.org/10.1007/978-3-540-75596-8
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Task Models and Diagrams for User Interface Design : 6th International Workshop TAMODIA 2007 Toulouse France November 7-9 2007. Proceedings
edited by Marco Winckler Hilary Johnson Philippe Palanque
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4849
オンライン: http://dx.doi.org/10.1007/978-3-540-77222-4
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Software Composition : 6th International Symposium SC 2007 Braga Portugal March 24-25 2007 Revised Selected Papers
edited by Markus Lumpe Wim Vanderperren
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4829
オンライン: http://dx.doi.org/10.1007/978-3-540-77351-1
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris France October 16-18 2006 Revised Selected Papers
edited by Fabrice Kordon Oleg Sokolsky
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4888
オンライン: http://dx.doi.org/10.1007/978-3-540-77419-8
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Grid Computing : Experiment Management Tool Integration and Scientific Workflows
by Radu Prodan Thomas Fahringer
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4340
オンライン: http://dx.doi.org/10.1007/978-3-540-69262-1
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Interactive Systems. Design Specification and Verification : 13th International Workshop DSVIS 2006 Dublin Ireland July 26-28 2006. Revised Papers
edited by Gavin Doherty Ann Blandford
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4323
オンライン: http://dx.doi.org/10.1007/978-3-540-69554-7
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Task Models and Diagrams for Users Interface Design : 5th International Workshop TAMODIA 2006 Hasselt Belgium October 23-24 2006. Revised Papers
edited by Karin Coninx Kris Luyten Kevin A. Schneider
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4385
オンライン: http://dx.doi.org/10.1007/978-3-540-70816-2
所蔵情報: loading…
50.

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

電子ブック
ＥＢ
51. Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005 Laguna Beach CA USA September 22-24 2005. Revised Selected Papers
edited by Fabrice Kordon Janos Sztipanovits
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4322
オンライン: http://dx.doi.org/10.1007/978-3-540-71156-8
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2007 Braga Portugal
Grumberg Orna ; Huth Michael ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4424
オンライン: http://dx.doi.org/10.1007/978-3-540-71209-1
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Object-Oriented Technology. ECOOP 2006 Workshop Reader : ECOOP 2006 Workshops Nantes France July 3-72006 Final Reports
edited by Mario Sudholt Charles Consel
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4379
オンライン: http://dx.doi.org/10.1007/978-3-540-71774-4
所蔵情報: loading…
54.

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

電子ブック
ＥＢ
55. Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2007 Bertinoro Italy May 28-June 2 2007 Advanced Lectures
edited by Marco Bernardo Jane Hillston
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4486
オンライン: http://dx.doi.org/10.1007/978-3-540-72522-0
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Distributed Applications and Interoperable Systems : 7th IFIP WG 6.1 International Conference DAIS 2007 Paphos Cyprus June 6-82007 Proccedings
edited by Jadwiga Indulska Kerry Raymond
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4531
オンライン: http://dx.doi.org/10.1007/978-3-540-72883-2
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos Cyprus June 6-8 2007 Proceedings
edited by Marcello M. Bonsangue Einar Broch Johnsen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4468
オンライン: http://dx.doi.org/10.1007/978-3-540-72952-5
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference TestCom 2007 7th International Workshop FATES 2007 Tallinn Estonia June 26-29 2007. Proceedings
edited by Alexandre Petrenko
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4581
オンライン: http://dx.doi.org/10.1007/978-3-540-73066-8
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Human-Computer Interaction. Interaction Design and Usability : 12th International Conference HCI International 2007 Beijing China July 22-27 2007 Proceedings Part I
edited by Julie A. Jacko
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4550
オンライン: http://dx.doi.org/10.1007/978-3-540-73105-4
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Human-Computer Interaction. Interaction Platforms and Techniques : 12th International Conference HCI International 2007 Beijing China July 22-27 2007 Proceedings Part II
edited by Julie A. Jacko
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4551
オンライン: http://dx.doi.org/10.1007/978-3-540-73107-8
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments : 12th International Conference HCI International 2007 Beijing China July 22-27 2007 Proceedings Part III
edited by Julie A. Jacko
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4552
オンライン: http://dx.doi.org/10.1007/978-3-540-73110-8
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Human-Computer Interaction. HCI Applications and Services : 12th International Conference HCI International 2007 Beijing China July 22-27 2007 Proceedings Part IV
edited by Julie A. Jacko
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4553
オンライン: http://dx.doi.org/10.1007/978-3-540-73111-5
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Formal Techniques for Networked and Distributed Systems ?EFORTE 2007 : 27th IFIP WG 6.1 International Conference Tallinn Estonia June 27-29 2007. Proceedings
edited by John Derrick Juri Vain
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4574
オンライン: http://dx.doi.org/10.1007/978-3-540-73196-2
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Universal Acess in Human Computer Interaction. Coping with Diversity : 4th International Conference on Universal Access in Human-Computer Interaction UAHCI 2007 Held as Part of HCI International 2007 Beijing China July 22-
Stephanidis Constantine ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4554
オンライン: http://dx.doi.org/10.1007/978-3-540-73279-2
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Universal Access in Human-Computer Interaction. Ambient Interaction : 4th International Conference on Universal Access in Human-Computer Interaction UAHCI 2007 Held as Part of HCI International 2007 Beijing China July 22-27
Stephanidis Constantine ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4555
オンライン: http://dx.doi.org/10.1007/978-3-540-73281-5
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Universal Access in Human-Computer Interaction. Applications and Services : 4th International Conference on Universal Access in Human-Computer Interaction UAHCI 2007 Held as Part of HCI International 2007 Beijing China July
Stephanidis Constantine ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4556
オンライン: http://dx.doi.org/10.1007/978-3-540-73283-9
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Component-Based Software Engineering : 10th International Symposium CBSE 2007 Medford MA USA July 9-11 2007. Proceedings
edited by Heinz W. Schmidt Ivica Crnkovic George T. Heineman Judith A. Stafford
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4608
オンライン: http://dx.doi.org/10.1007/978-3-540-73551-9
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. ECOOP 2007 ?EObject-Oriented Programming : 21st European Conference Berlin Germany July 30 - August 3 2007. Proceedings
edited by Erik Ernst
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4609
オンライン: http://dx.doi.org/10.1007/978-3-540-73589-2
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Tests and Proofs : First International Conference TAP 2007 Zurich Switzerland February 12-13 2007. Revised Papers
edited by Yuri Gurevich Bertrand Meyer
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4454
オンライン: http://dx.doi.org/10.1007/978-3-540-73770-4
所蔵情報: loading…
70.

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

電子ブック
ＥＢ
71. Domain Modeling and the Duration Calculus : International Training School Shanghai China September 17-21. 2007 Advanced Lectures
edited by Chris W. George Zhiming Liu Jim Woodcock
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4710
オンライン: http://dx.doi.org/10.1007/978-3-540-74964-6
所蔵情報: loading…
72.

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

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

電子ブック
ＥＢ
74. Tools and Algorithms for the Construction and Analysis of Systems (vol. 3920) : 12th International Conference TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2006 V
Hermanns Holger ; Palsberg Jens ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3920
オンライン: http://dx.doi.org/10.1007/11691372
所蔵情報: loading…
75.

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

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

電子ブック
ＥＢ
77. Interactive Systems. Design Specification and Verification : 12th International Workshop DSVIS 2005 Newcastle upon Tyne UK July 13-152005 Revised Papers
edited by Stephen W. Gilroy Michael D. Harrison
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3941
オンライン: http://dx.doi.org/10.1007/11752707
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. 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-272006 Advances Lectures
edited
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3965
オンライン: http://dx.doi.org/10.1007/11757283
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Formal Methods for Open Object-Based Distributed Systems (vol. 4037) : 8th IFIP WG 6.1 International Conference FMOODS 2006 Bologna Italy June 14-162006 Proceedings
edited by Roberto Gorrieri Heike Wehrheim
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4037
オンライン: http://dx.doi.org/10.1007/11768869
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Distributed Applications and Interoperable Systems (vol. 4025) : 6th IFIP WG 6.1 International Conference DAIS 2006 Athens Greece June 14-16 2006
edited by Frank Eliassen Alberto Montresor
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4025
オンライン: http://dx.doi.org/10.1007/11773887
所蔵情報: loading…
81.

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

電子ブック
ＥＢ
82. Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop EPEW 2006 Budapest Hungary June 21-222006 Proceedings
edited by Andr-s Horv-th Mikl-s Telek
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4054
オンライン: http://dx.doi.org/10.1007/11777830
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Component-Based Software Engineering (vol. 4063) : 9th International Symposium CBSE 2006 V-steras Sweden June 29 - July 12006 Proceedings
edited by Ian GortonGeorge T. Heinemann Ivica Crnkovic Heinz W. Schmidt
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4063
オンライン: http://dx.doi.org/10.1007/11783565
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. ECOOP 2006 - Object-Oriented Programming : 20th European Conference Nantes France July 3-72006 Proceedings
edited by Dave Thomas
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4067
オンライン: http://dx.doi.org/10.1007/11785477
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Architecting Systems with Trustworthy Components : International Seminar Dagstuhl Castle Germany December 12-17 2004. Revised Selected Papers
edited by Ralf H. Reussner Judith A. Stafford Clemens A. Szyperski
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3938
オンライン: http://dx.doi.org/10.1007/11786160
所蔵情報: loading…
86.

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

電子ブック
ＥＢ
87. Software Composition (vol. 4089) : 5th International Symposium SC 2006 Vienna Austria March 25-262006 Revised Papers
edited by Welf L-we Mario S-dholt
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4089
オンライン: http://dx.doi.org/10.1007/11821946
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Web Services and Formal Methods : Third International Workshop WS-FM 2006 Vienna Austria September 8-92006 Proceedings
edited by Mario Bravetti Manuel N--ez Gianluigi Zavattaro
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4184
オンライン: http://dx.doi.org/10.1007/11841197
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference Paris France September 26-292006 Proceedings
edited by Elie Najm Jean-Francois Pradat-Peyre V-roniq
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4229
オンライン: http://dx.doi.org/10.1007/11888116
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Automated Technology for Vertification and Analysis : 4th International Symposium ATVA 2006 Beijing China October 23-262006 Proceedings
edited by Susanne Graf Wenhui Zhang
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4218
オンライン: http://dx.doi.org/10.1007/11901914
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium Tunis Tunisia November 20-24 2006Proceedings
edited by Kamel Barkaoui Ana Cavalcanti Antonio Cerone
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4281
オンライン: http://dx.doi.org/10.1007/11921240
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Quality of Software Architectures : Second International Conference on Quality of Software Architectures QoSA 2006 V-steras Schweden June 27-292006 Revised Papers
edited by Christine Hofmeister Ivica Crnkovic Ra
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4214
オンライン: http://dx.doi.org/10.1007/11921998
所蔵情報: loading…
93.

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

電子ブック
ＥＢ
94. System Analysis and Modeling: Language Profiles : 5th International Workshop SAM 2006 Kaiserslautern Germany May 31 - June 22006 Revised Selected Papers
edited by Reinhard Gotzhein Rick Reed
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4320
オンライン: http://dx.doi.org/10.1007/11951148
所蔵情報: loading…
95.

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

電子ブック
ＥＢ
96. SDL 2001: Meeting UML : 10th International SDL Forum Copenhagen Denmark June 27-29 2001 Proceedings
edited by Rick Reed Jeanne Reed
出版情報: Berlin Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Lecture Notes in Computer Science ; 2078
オンライン: http://dx.doi.org/10.1007/3-540-48213-X
所蔵情報: loading…
97.

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

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

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

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