close
1.

電子ブック
ＥＢ
1. Handbook of Open Source Tools. 1
by Sandeep Koranne
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7719-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. The Seductive Computer : Why IT Systems Always Fail
by Derek Partridge
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-1-84996-498-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Software and Data Technologies : 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
edited by José Cordeiro, AlpeshKumar Ranchordas, Boris Shishkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 50
オンライン: http://dx.doi.org/10.1007/978-3-642-20116-5
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Systems, Software and Service Process Improvement : 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings
edited by Rory V. O‘Connor, Jan Pries-Heje, Richard Messnarz
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 172
オンライン: http://dx.doi.org/10.1007/978-3-642-22206-1
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Video Processing in the Cloud
by Rafael Silva Pereira, Karin K. Breitman
出版情報: London : Rafael Silva Pereira, 2011
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-2137-4
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Methods and Tools of Parallel Programming Multicomputers : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
edited by Ching-Hsien Hsu, Victor Malyshkin
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6083
オンライン: http://dx.doi.org/10.1007/978-3-642-14822-4
所蔵情報: loading…
7.

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

電子ブック
ＥＢ
8. Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
edited by Marco Bernardo, Valérie Issarny
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6659
オンライン: http://dx.doi.org/10.1007/978-3-642-21455-4
所蔵情報: loading…
9.

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

電子ブック
ＥＢ
10. Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6154
オンライン: http://dx.doi.org/10.1007/978-3-642-13678-8
所蔵情報: loading…