close
1.

電子ブック
ＥＢ
1. Testing Software and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
edited by Burkhart Wolff, Fatiha Zaïdi
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 7019
オンライン: http://dx.doi.org/10.1007/978-3-642-24580-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Languages and Compilers for Parallel Computing : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers
edited by Keith Cooper, John Mellor-Crummey, Vivek Sarkar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6548
オンライン: http://dx.doi.org/10.1007/978-3-642-19595-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Declarative Agent Languages and Technologies VIII : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6619
オンライン: http://dx.doi.org/10.1007/978-3-642-20715-0
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Top Productivity through Software Reuse : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings
edited by Klaus Schmid
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6727
オンライン: http://dx.doi.org/10.1007/978-3-642-21347-2
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Languages and Compilers for Parallel Computing : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers
edited by Guang R. Gao, Lori L. Pollock, John Cavazos, Xiaoming Li
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5898
オンライン: http://dx.doi.org/10.1007/978-3-642-13374-9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Business Process Management : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
edited by Richard Hull, Jan Mendling, Stefan Tai
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6336
オンライン: http://dx.doi.org/10.1007/978-3-642-15618-2
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
edited by Peter Csaba Ölveczky
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6381
オンライン: http://dx.doi.org/10.1007/978-3-642-16310-4
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6435
オンライン: http://dx.doi.org/10.1007/978-3-642-16573-3
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Architecting Dependable Systems VII
edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6420
オンライン: http://dx.doi.org/10.1007/978-3-642-17245-8
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Declarative Agent Languages and Technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5948
オンライン: http://dx.doi.org/10.1007/978-3-642-11355-0
所蔵情報: loading…