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. High Performance Embedded Architectures and Compilers : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 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, Andre Seznec, Joel Emer, Michael O’Boyle, Margaret Martonosi, Theo Ungerer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5409
オンライン: http://dx.doi.org/10.1007/978-3-540-92990-1
所蔵情報: loading…
3.

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

電子ブック
ＥＢ
4. Methods, Models and Tools for Fault Tolerance
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 Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5454
オンライン: http://dx.doi.org/10.1007/978-3-642-00867-2
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Transactions on High-Performance Embedded Architectures and Compilers II
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, Per Stenstrom
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5470
オンライン: http://dx.doi.org/10.1007/978-3-642-00904-4
所蔵情報: loading…
6.

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

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

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

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

電子ブック
ＥＢ
12. Foundations of Security Analysis and Design V : FOSAD 2007/2008/2009 Tutorial Lectures
edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5705
オンライン: http://dx.doi.org/10.1007/978-3-642-03829-7
所蔵情報: loading…
13.

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

電子ブック
ＥＢ
14. Reliable Software Technologies ?EAda-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
edited by Fabrice Kordon, Tullio Vardanega
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5026
オンライン: http://dx.doi.org/10.1007/978-3-540-68624-8
所蔵情報: 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 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…
17.

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

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

電子ブック
ＥＢ
19. High Performance Embedded Architectures and Compilers : Third International Conference, HiPEAC 2008, Goteborg, Sweden, January 27-29, 2008. Proceedings
edited by Per Stenstrom, Michel Dubois, Manolis Katevenis, Rajiv Gupta, Theo Ungerer
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4917
オンライン: http://dx.doi.org/10.1007/978-3-540-77560-7
所蔵情報: loading…
20.

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
28. Languages and Compilers for Parallel Computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, 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, Vikram Adve, Maria Jesus Garzaran, Paul Petersen
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5234
オンライン: http://dx.doi.org/10.1007/978-3-540-85261-2
所蔵情報: loading…
29.

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

電子ブック
ＥＢ
30. Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 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, Ralf Lammel, Joost Visser, Joao Saraiva
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5235
オンライン: http://dx.doi.org/10.1007/978-3-540-88643-3
所蔵情報: loading…
31.

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

電子ブック
ＥＢ
32. Languages and Compilers for Parallel Computing : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 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, Jose Nelson Amaral
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5335
オンライン: http://dx.doi.org/10.1007/978-3-540-89740-8
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 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, Valerie Issarny, Richard Schantz
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5346
オンライン: http://dx.doi.org/10.1007/978-3-540-89856-6
所蔵情報: loading…
34.

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

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

電子ブック
ＥＢ
36. Embedded Systems Design : The ARTIST Roadmap for Research and Development
edited by Bruno Bouyssounouse, Joseph Sifakis
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3436
オンライン: http://dx.doi.org/10.1007/b106761
所蔵情報: loading…
37.

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

電子ブック
ＥＢ
38. Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
edited by Keijiro Araki, Zhiming Liu
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3407
オンライン: http://dx.doi.org/10.1007/b107116
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Software Engineering and Middleware : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers
edited by Thomas Gschwind, Cecilia Mascolo
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3437
オンライン: http://dx.doi.org/10.1007/b107130
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
edit
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3465
オンライン: http://dx.doi.org/10.1007/b135888
所蔵情報: loading…
41.

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

電子ブック
ＥＢ
42. Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
edited by Martin Steffen, Gianluigi Zavattaro
出版情報: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005
シリーズ名: Lecture Notes in Computer Science ; 3535
オンライン: http://dx.doi.org/10.1007/b136996
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Distributed Applications and Interoperable Systems (vol. # 3543) : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
edited by Lea Kutvonen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3543
オンライン: http://dx.doi.org/10.1007/b137217
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Reliable Software Technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
edited by Tullio Vardanega, Andy Wellings
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3555
オンライン: http://dx.doi.org/10.1007/b137344
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
edited by Andrew Black
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3586
オンライン: http://dx.doi.org/10.1007/11531142
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Languages and Compilers for High Performance Computing : 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
edited by Rudolf Eigenmann, Zhiyuan Li, Samuel P. M
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3602
オンライン: http://dx.doi.org/10.1007/11532378
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
edited by Martin Abadi, Luca de Alfaro
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3653
オンライン: http://dx.doi.org/10.1007/11539452
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Software Composition (vol. # 3628) : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
edited by Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3628
オンライン: http://dx.doi.org/10.1007/11550679
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures
edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3655
オンライン: http://dx.doi.org/10.1007/11554578
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
edited by Dang Van Hung, Martin Wirsing
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3722
オンライン: http://dx.doi.org/10.1007/11560647
所蔵情報: loading…
51.

電子ブック
ＥＢ
51. Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
edited by Doron A. Peled, Yih-Kuen Tsay
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3707
オンライン: http://dx.doi.org/10.1007/11562948
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
edited by Rocco De Nicola, Davide Sangiorgi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3705
オンライン: http://dx.doi.org/10.1007/11580850
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. High Performance Embedded Architectures and Compilers : First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
edited by Tom ConteWen-mei W. Hwu, Nacho Navarro, Theo Ungerer et a
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3793
オンライン: http://dx.doi.org/10.1007/11587514
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Middleware 2005 : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings
edited by Gustavo Alonso
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3790
オンライン: http://dx.doi.org/10.1007/11587552
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Languages and Compilers for Parallel Computing (vol. # 2481) : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
edited by Bill Pugh, Chau-Wen Tseng
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 2481
オンライン: http://dx.doi.org/10.1007/11596110
所蔵情報: loading…