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

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

電子ブック
ＥＢ
6. Conceptual Modeling: Foundations and Applications : Essays in Honor of John Mylopoulos
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Alexander T. Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. Yu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5600
オンライン: http://dx.doi.org/10.1007/978-3-642-02463-4
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5569
オンライン: http://dx.doi.org/10.1007/978-3-642-01918-0
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Visual Languages and Applications
by Kang Zhang
出版情報: Boston, MA : Springer-Verlag US, 2007
オンライン: http://dx.doi.org/10.1007/978-0-387-68257-0
所蔵情報: loading…