1.

電子ブック
ＥＢ
1. Foundational Java : Key Elements and Practical Programming. 1st ed. 2012
by David Parsons
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4471-2479-5
2.

電子ブック
ＥＢ
2. Guide to Scientific Computing in C++. 1st ed. 2012
by Joe Pitt-Francis, Jonathan Whiteley
出版情報: London : Springer London : Imprint: Springer, 2012
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: https://doi.org/10.1007/978-1-4471-2736-9
3.

電子ブック
ＥＢ
3. Introduction to Programming with Fortran : With Coverage of Fortran 90, 95, 2003, 2008 and 77. 2nd ed. 2012
by Ian Chivers, Jane Sleightholme
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-0-85729-233-9
4.

電子ブック
ＥＢ
4. Patterns, Programming and Everything. 1st ed. 2012
edited by Karin K. Breitman, R. Nigel Horspool
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4471-2350-7
5.

電子ブック
ＥＢ
5. Open Source Systems: Long-Term Sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedings. 1st ed. 2012
edited by Imed Hammouda, Björn Lundell, Tommi Mikkonen, Walt Scacchi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 378
オンライン: https://doi.org/10.1007/978-3-642-33442-9
6.

電子ブック
ＥＢ
6. Compiler Design : Analysis and Transformation. 1st ed. 2012
by Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-17548-0
7.

電子ブック
ＥＢ
7. Modern Compiler Design. 2nd ed. 2012
by Dick Grune, Kees van Reeuwijk, Henri E. Bal, Ceriel J.H. Jacobs, Koen Langendoen
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4614-4699-6
8.

電子ブック
ＥＢ
8. Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings. 1st ed. 1996
edited by Helene Kirchner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: https://doi.org/10.1007/3-540-61064-2
9.

電子ブック
ＥＢ
9. Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control. 1st ed. 1996
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1165
オンライン: https://doi.org/10.1007/BFb0027227
10.

電子ブック
ＥＢ
10. Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings. 1st ed. 1996
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: https://doi.org/10.1007/3-540-61551-2