close
1.

電子ブック
ＥＢ
1. Engineering Secure Software and Systems : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
edited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6542
オンライン: http://dx.doi.org/10.1007/978-3-642-19125-1
所蔵情報: 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. Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
edited by Wolfgang Meuter, Gruia-Catalin Roman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6721
オンライン: http://dx.doi.org/10.1007/978-3-642-21464-6
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Coordination Models and Languages : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
edited by Dave Clarke, Gul Agha
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6116
オンライン: http://dx.doi.org/10.1007/978-3-642-13414-2
所蔵情報: loading…
6.

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

電子ブック
ＥＢ
7. Transactions on Petri Nets and Other Models of Concurrency IV
edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6550
オンライン: http://dx.doi.org/10.1007/978-3-642-18222-8
所蔵情報: loading…
8.

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

電子ブック
ＥＢ
9. Engineering Secure Software and Systems : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
edited by Fabio Massacci, Dan Wallach, Nicola Zannone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5965
オンライン: http://dx.doi.org/10.1007/978-3-642-11747-3
所蔵情報: loading…