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

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

電子ブック
ＥＢ
4. Software Technologies for Embedded and Ubiquitous Systems : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings
edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 6399
オンライン: http://dx.doi.org/10.1007/978-3-642-16256-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Requirements Engineering: Foundation for Software Quality : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings
edited by Daniel Berry, Xavier Franch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6606
オンライン: http://dx.doi.org/10.1007/978-3-642-19858-8
所蔵情報: loading…
6.

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

電子ブック
ＥＢ
7. System Analysis and Modeling: About Models : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
edited by Frank Alexander Kraemer, Peter Herrmann
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6598
オンライン: http://dx.doi.org/10.1007/978-3-642-21652-7
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. CONCUR 2011 – Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
edited by Joost-Pieter Katoen, Barbara König
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6901
オンライン: http://dx.doi.org/10.1007/978-3-642-23217-6
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Research into Practice – Reality and Gaps : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
edited by George T. Heineman, Jan Kofron, Frantisek Plasil
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6093
オンライン: http://dx.doi.org/10.1007/978-3-642-13821-8
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Requirements Engineering: Foundation for Software Quality : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
edited by Roel Wieringa, Anne Persson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6182
オンライン: http://dx.doi.org/10.1007/978-3-642-14192-8
所蔵情報: loading…