close
1.

電子ブック
ＥＢ
1. Component-Based Software Engineering : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
edited by Lars Grunske, Ralf Reussner, Frantisek Plasil
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6092
オンライン: http://dx.doi.org/10.1007/978-3-642-13238-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
edited by Claude Bolduc, Jules Desharnais, Béchir Ktari
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6120
オンライン: http://dx.doi.org/10.1007/978-3-642-13321-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. CONCUR 2010 - Concurrency Theory : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
edited by Paul Gastin, François Laroussinie
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6269
オンライン: http://dx.doi.org/10.1007/978-3-642-15375-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
edited by Christian G. Fermüller, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6397
オンライン: http://dx.doi.org/10.1007/978-3-642-16242-8
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Advances in Conceptual Modeling – Applications and Challenges : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
edited by Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6413
オンライン: http://dx.doi.org/10.1007/978-3-642-16385-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Conceptual Modeling – ER 2010 : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6412
オンライン: http://dx.doi.org/10.1007/978-3-642-16373-9
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
edited by Shengchao Qin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6445
オンライン: http://dx.doi.org/10.1007/978-3-642-16690-7
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
edited by Edmund M. Clarke, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6355
オンライン: http://dx.doi.org/10.1007/978-3-642-17511-4
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Service Research Challenges and Solutions for the Future Internet : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems
edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6500
オンライン: http://dx.doi.org/10.1007/978-3-642-17599-2
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
edited by Santiago Escobar
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5979
オンライン: http://dx.doi.org/10.1007/978-3-642-11999-6
所蔵情報: loading…