close
1.

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

電子ブック
ＥＢ
2. Organized Adaption in Multi-Agent Systems : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised 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, George Vouros, Alexander Artikis, Kostas Stathis, Jeremy Pitt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5368
オンライン: http://dx.doi.org/10.1007/978-3-642-02377-4
所蔵情報: loading…
3.

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

電子ブック
ＥＢ
4. Theory and Applications of Satisfiability Testing ?ESAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
edited by Hans Kleine Buning, Xishun Zhao
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4996
オンライン: http://dx.doi.org/10.1007/978-3-540-79719-7
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Ambient Intelligence : European Conference AmI 2007 Darmstadt Germany November 7-10 2007. Proceedings
edited by Bernt Schiele Anind K. Dey Hans Gellersen Boris Ruyter Manfred Tscheligi et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4794
オンライン: http://dx.doi.org/10.1007/978-3-540-76652-0
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Engineering Self-Organising Systems : 4th International Workshop ESOA 2006 Hakodate Japan May 92006 Revised and Invited Papers
edited by Sven A. Brueckner Salima Hassas Mark Jelasity Daniel Yamins
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4335
オンライン: http://dx.doi.org/10.1007/978-3-540-69868-5
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference SAT 2007 Lisbon Portugal May 28-31 2007 Proceedings
edited by Joao Marques-Silva Karem A. Sakallah
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4501
オンライン: http://dx.doi.org/10.1007/978-3-540-72788-0
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Engineering Self-Organising Systems (vol. 3910) : Third International Workshop ESOA 2005 Utrecht The Netherlands July 252005 Revised Selected Papers
edited by Sven A. Brueckner Giovanni Di Marzo Serugendo Davi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3910
オンライン: http://dx.doi.org/10.1007/11734697
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference Seattle WA USA August 12-152006 Proceedings
edited by Armin Biere Carla P. Gomes
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4121
オンライン: http://dx.doi.org/10.1007/11814948
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Advanced Topics in Exception Handling Techniques
edited by Christophe Dony Jorgen Lindskov Knudsen Alexander Romanovsky Anand Tripathi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4119
オンライン: http://dx.doi.org/10.1007/11818502
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Ubiquitous Intelligence and Computing : Third International Conference UIC 2006 Wuhan China September 3-62006 Proceedings
edited by Jianhua Ma Hai Jin Laurence T. Yang Jeffrey J.-P. Tsai
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4159
オンライン: http://dx.doi.org/10.1007/11833529
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Rigorous Engineering of Fault-Tolerant Systems
edited by Michael Butler Cliff Jones Alexander Romanovsky Elena Troubitsyna
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4157
オンライン: http://dx.doi.org/10.1007/11916246
所蔵情報: loading…
13.

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

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

電子ブック
ＥＢ
15. Theory and Applications of Satisfiability Testing (vol. # 3569) : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
edited by Fahiem Bacchus, Toby Walsh
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3569
オンライン: http://dx.doi.org/10.1007/b137280
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Theory and Applications of Satisfiability Testing (vol. # 3542) : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
edited by Holger H. Hoos, David G. Mitchell
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3542
オンライン: http://dx.doi.org/10.1007/11527695
所蔵情報: loading…
17.

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