close
1.

電子ブック
ＥＢ
1. Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
edited by Marino Miculan, Ivan Scagnetto, Furio Honsell
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4941
オンライン: http://dx.doi.org/10.1007/978-3-540-68103-8
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Foundations of Intelligent Systems : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings
edited by Aijun An, Stan Matwin, Zbigniew W. Ra?E Dominik ?l?zak
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4994
オンライン: http://dx.doi.org/10.1007/978-3-540-68123-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Advances in Knowledge Discovery and Data Mining : 12th Pacific-Asia Conference, PAKDD 2008 Osaka, Japan, May 20-23, 2008 Proceedings
edited by Takashi Washio, Einoshin Suzuki, Kai Ming Ting, Akihiro Inokuchi
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5012
オンライン: http://dx.doi.org/10.1007/978-3-540-68125-0
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
edited by Laurent Perron, Michael A. Trick
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5015
オンライン: http://dx.doi.org/10.1007/978-3-540-68155-7
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. The Semantic Web: Research and Applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
edited by Sean Bechhofer, Manfred Hauswirth, Jorg Hoffmann, Manolis Koubarakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5021
オンライン: http://dx.doi.org/10.1007/978-3-540-68234-9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
edited by Doug Lea, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5052
オンライン: http://dx.doi.org/10.1007/978-3-540-68265-3
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Persuasive Technology : Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings
edited by Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerstahl, Peter Ohrstrom
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5033
オンライン: http://dx.doi.org/10.1007/978-3-540-68504-3
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Multimodal Technologies for Perception of Humans : International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers
edited by Rainer Stiefelhagen, Rachel Bowers, Jonathan
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4625
オンライン: http://dx.doi.org/10.1007/978-3-540-68585-2
所蔵情報: loading…
9.

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

電子ブック
ＥＢ
10. Advances in Artificial Intelligence : 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008 Windsor, Canada, May 28-30, 2008 Proceedings
edited by Sabine Bergler
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5032
オンライン: http://dx.doi.org/10.1007/978-3-540-68825-9
所蔵情報: loading…