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. 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…
3.

電子ブック
ＥＢ
3. Languages, Methodologies, and Development Tools for Multi-Agent Systems : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
edited by Mehdi Dastani, Amal Fallah Seghrouchni, Jomi Hübner, João Leite
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6822
オンライン: http://dx.doi.org/10.1007/978-3-642-22723-3
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
edited by Andrea Corradini, Bartek Klin, Corina Cîrstea
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6859
オンライン: http://dx.doi.org/10.1007/978-3-642-22944-2
所蔵情報: loading…
5.

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

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

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

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

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

電子ブック
ＥＢ
10. Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
edited by Farhad Arbab, Marjan Sirjani
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5961
オンライン: http://dx.doi.org/10.1007/978-3-642-11623-0
所蔵情報: loading…