1.

電子ブック
ＥＢ
1. Numerical Semigroups : IMNS 2018. 1st ed. 2020
edited by Valentina Barucci, Scott Chapman, Marco D'Anna, Ralf Fröberg
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Springer INdAM Series ; 40
オンライン: https://doi.org/10.1007/978-3-030-40822-0
2.

電子ブック
ＥＢ
2. DUNE — The Distributed and Unified Numerics Environment. 1st ed. 2020
by Oliver Sander
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Lecture Notes in Computational Science and Engineering ; 140
オンライン: https://doi.org/10.1007/978-3-030-59702-3
3.

電子ブック
ＥＢ
3. Bayesian Optimization and Data Science. 1st ed. 2019
by Francesco Archetti, Antonio Candelieri
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: SpringerBriefs in Optimization ;
オンライン: https://doi.org/10.1007/978-3-030-24494-1
4.

電子ブック
ＥＢ
4. Compatible Finite Element Methods for Geophysical Flows : Automation and Implementation Using Firedrake. 1st ed. 2019
by Thomas H. Gibson, Andrew T.T. McRae, Colin J. Cotter, Lawrence Mitchell, David A. Ham
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: SpringerBriefs in Mathematics of Planet Earth, Weather, Climate, Oceans ;
オンライン: https://doi.org/10.1007/978-3-030-23957-2
5.

電子ブック
ＥＢ
5. Linear Time Series with MATLAB and OCTAVE. 1st ed. 2019
by Víctor Gómez
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: Statistics and Computing ;
オンライン: https://doi.org/10.1007/978-3-030-20790-8
6.

電子ブック
ＥＢ
6. Elements of Copula Modeling with R. 1st ed. 2018
by Marius Hofert, Ivan Kojadinovic, Martin Mächler, Jun Yan
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Use R! ;
オンライン: https://doi.org/10.1007/978-3-319-89635-9
7.

電子ブック
ＥＢ
7. Handbook of Heuristics. 1st ed. 2018
edited by Rafael Martí, Panos M. Pardalos, Mauricio G. C. Resende
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
オンライン: https://doi.org/10.1007/978-3-319-07124-4
8.

電子ブック
ＥＢ
8. Statistical Data Analysis Using SAS : Intermediate Statistical Methods. 2nd ed. 2018
by Mervyn G. Marasinghe, Kenneth J. Koehler
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Springer Texts in Statistics ;
オンライン: https://doi.org/10.1007/978-3-319-69239-5
9.

電子ブック
ＥＢ
9. Advances in Computer Algebra : In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada. 1st ed. 2018
edited by Carsten Schneider, Eugene Zima
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Springer Proceedings in Mathematics & Statistics ; 226
オンライン: https://doi.org/10.1007/978-3-319-73232-9
10.

電子ブック
ＥＢ
10. Modeling and Simulation with Compose and Activate. 1st ed. 2018
by Stephen L. Campbell, Ramine Nikoukhah
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
オンライン: https://doi.org/10.1007/978-3-030-04885-3
11.

電子ブック
ＥＢ
11. Multiple Criteria Decision Aid : Methods, Examples and Python Implementations. 1st ed. 2018
by Jason Papathanasiou, Nikolaos Ploskas
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Springer Optimization and Its Applications ; 136
オンライン: https://doi.org/10.1007/978-3-319-91648-4
12.

電子ブック
ＥＢ
12. Practical Mathematical Optimization : Basic Optimization Theory and Gradient-Based Algorithms. 2nd ed. 2018
by Jan A Snyman, Daniel N Wilke
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Springer Optimization and Its Applications ; 133
オンライン: https://doi.org/10.1007/978-3-319-77586-9
13.

電子ブック
ＥＢ
13. Singular Spectrum Analysis with R. 1st ed. 2018
by Nina Golyandina, Anton Korobeynikov, Anatoly Zhigljavsky
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018
シリーズ名: Use R! ;
オンライン: https://doi.org/10.1007/978-3-662-57380-8
14.

電子ブック
ＥＢ
14. Dynamical Systems with Applications Using Mathematica®. 2nd ed. 2017
by Stephen Lynch
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2017
オンライン: https://doi.org/10.1007/978-3-319-61485-4
15.

電子ブック
ＥＢ
15. Scientific Computing and Algorithms in Industrial Simulations : Projects and Products of Fraunhofer SCAI. 1st ed. 2017
edited by Michael Griebel, Anton Schüller, Marc Alexander Schweitzer
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
オンライン: https://doi.org/10.1007/978-3-319-62458-7
16.

電子ブック
ＥＢ
16. Pyomo — Optimization Modeling in Python. 2nd ed. 2017
by William E. Hart, Carl D. Laird, Jean-Paul Watson, David L. Woodruff, Gabriel A. Hackebeil, Bethany L. Nicholson, John D. Siirola
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: Springer Optimization and Its Applications ; 67
オンライン: https://doi.org/10.1007/978-3-319-58821-6
17.

電子ブック
ＥＢ
17. Linear Programming Using MATLAB®. 1st ed. 2017
by Nikolaos Ploskas, Nikolaos Samaras
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: Springer Optimization and Its Applications ; 127
オンライン: https://doi.org/10.1007/978-3-319-65919-0
18.

電子ブック
ＥＢ
18. Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing : EPASA 2015, Tsukuba, Japan, September 2015. 1st ed. 2017
edited by Tetsuya Sakurai, Shao-Liang Zhang, Toshiyuki Imamura, Yusaku Yamamoto, Yoshinobu Kuramashi, Takeo Hoshi
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: Lecture Notes in Computational Science and Engineering ; 117
オンライン: https://doi.org/10.1007/978-3-319-62426-6
19.

電子ブック
ＥＢ
19. Topological Data Analysis for Scientific Visualization. 1st ed. 2017
by Julien Tierny
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: Mathematics and Visualization ;
オンライン: https://doi.org/10.1007/978-3-319-71507-0
20.

電子ブック
ＥＢ
20. Data Mining with SPSS Modeler : Theory, Exercises and Solutions. 1st ed. 2016
by Tilo Wendler, Sören Gröttrup
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
オンライン: https://doi.org/10.1007/978-3-319-28709-6
21.

電子ブック
ＥＢ
21. Domain Decomposition Methods in Science and Engineering XXII. 1st ed. 2016
edited by Thomas Dickopf, Martin J. Gander, Laurence Halpern, Rolf Krause, Luca F. Pavarino
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
シリーズ名: Lecture Notes in Computational Science and Engineering ; 104
オンライン: https://doi.org/10.1007/978-3-319-18827-0
22.

電子ブック
ＥＢ
22. Optimization of Polynomials in Non-Commuting Variables. 1st ed. 2016
by Sabine Burgdorf, Igor Klep, Janez Povh
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
シリーズ名: SpringerBriefs in Mathematics ;
オンライン: https://doi.org/10.1007/978-3-319-33338-0
23.

電子ブック
ＥＢ
23. Educational Measurement for Applied Researchers : Theory into Practice. 1st ed. 2016
by Margaret Wu, Hak Ping Tam, Tsung-Hau Jen
出版情報: Singapore : Springer Nature Singapore : Imprint: Springer, 2016
オンライン: https://doi.org/10.1007/978-981-10-3302-5
24.

電子ブック
ＥＢ
24. Post-Optimal Analysis in Linear Semi-Infinite Optimization
by Miguel A. Goberna, Marco A. López
出版情報: New York, NY : Springer New York : Imprint: Springer, 2014
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4899-8044-1
25.

電子ブック
ＥＢ
25. Hypergeometric Summation : An Algorithmic Approach to Summation and Special Function Identities. 2nd ed. 2014
by Wolfram Koepf
出版情報: London : Springer London : Imprint: Springer, 2014
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-6464-7
26.

電子ブック
ＥＢ
26. Scientific Computing - An Introduction using Maple and MATLAB
by Walter Gander, Martin J. Gander, Felix Kwok
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Texts in Computational Science and Engineering ; 11
オンライン: http://dx.doi.org/10.1007/978-3-319-04325-8
27.

電子ブック
ＥＢ
27. Input Modeling with Phase-Type Distributions and Markov Models : Theory and Applications
by Peter Buchholz, Jan Kriege, Iryna Felko
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: SpringerBriefs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-3-319-06674-5
28.

電子ブック
ＥＢ
28. Computer Mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks
edited by Ruyong Feng, Wen-shin Lee, Yosuke Sato
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
オンライン: http://dx.doi.org/10.1007/978-3-662-43799-5
29.

電子ブック
ＥＢ
29. Computational Experiment Approach to Advanced Secondary Mathematics Curriculum
by Sergei Abramovich
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2014
シリーズ名: Mathematics Education in the Digital Era ; 3
オンライン: http://dx.doi.org/10.1007/978-94-017-8622-5
30.

電子ブック
ＥＢ
30. Introduction to Global Optimization Exploiting Space-Filling Curves
by Yaroslav D. Sergeyev, Roman G. Strongin, Daniela Lera
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-8042-6
31.

電子ブック
ＥＢ
31. Mathematics, Computer Science and Logic - A Never Ending Story : The Bruno Buchberger Festschrift
edited by Peter Paule
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-319-00966-7
32.

電子ブック
ＥＢ
32. Realtime Data Mining : Self-Learning Techniques for Recommendation Engines
by Alexander Paprotny, Michael Thess
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2013
シリーズ名: Applied and Numerical Harmonic Analysis ;
オンライン: http://dx.doi.org/10.1007/978-3-319-01321-3
33.

電子ブック
ＥＢ
33. A Tiny Handbook of R [e-books]
by Mike Allerhand
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: SpringerBriefs in Statistics ;
オンライン: http://dx.doi.org/10.1007/978-3-642-17980-8
34.

電子ブック
ＥＢ
34. An Introduction to Modern Mathematical Computing : With Maple™
by Jonathan M. Borwein, Matthew P. Skerritt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-0122-3
35.

電子ブック
ＥＢ
35. Mathematica in Action : Problem Solving Through Visualization and Computation [e-books]
edited by Stan Wagon
出版情報: New York, NY : Springer-Verlag New York, 2010
オンライン: http://dx.doi.org/10.1007/978-0-387-75477-2
36.

電子ブック
ＥＢ
36. Advances in Applied Mathematics and Global Optimization : In Honor of Gilbert Strang [e-books]
edited by Hanif D. Sherali, David Y. Gao
出版情報: Boston, MA : Springer-Verlag US, 2009
シリーズ名: Advances in Mechanics and Mathematics ; 17
オンライン: http://dx.doi.org/10.1007/978-0-387-75714-8
37.

電子ブック
ＥＢ
37. Computer Algebra Recipes : An Advanced Guide to Scientific Modeling [e-books]
by Richard H. Enns, George C. McGuire
出版情報: New York, NY : Springer Science+Business Media, LLC, 2007
オンライン: http://dx.doi.org/10.1007/978-0-387-49333-6
38.

電子ブック
ＥＢ
38. Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra [e-books]
by David Cox, John Little, Donal O’Shea
出版情報: New York, NY : Springer, 2007
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-35651-8
39.

電子ブック
ＥＢ
39. Maple and Mathematica : A Problem Solving Approach for Mathematics [e-books]
by Inna Shingareva, Carlos Lizàrraga-Celaya
出版情報: Vienna : Springer-Verlag/Wien, 2007
オンライン: http://dx.doi.org/10.1007/978-3-211-73265-6
40.

電子ブック
ＥＢ
40. Essentials of Mathematica : With Applications to Mathematics and Physics. 1st ed. 2007
by Nino Boccara
出版情報: New York, NY : Springer New York : Imprint: Springer, 2007
オンライン: https://doi.org/10.1007/978-0-387-49514-9
41.

電子ブック
ＥＢ
41. Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science [e-books]
by Richard H. Enns, George C. McGuire
出版情報: New York, NY : Springer Science + Business Media, 2006
オンライン: http://dx.doi.org/10.1007/0-387-31262-5
42.

電子ブック
ＥＢ
42. Global Optimization : From Theory to Implementation [e-books]
edited by Leo Liberti, Nelson Maculan
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Nonconvex Optimization and Its Applications ; 84
オンライン: http://dx.doi.org/10.1007/0-387-30528-9
43.

電子ブック
ＥＢ
43. The Mathematica GuideBook for Numerics [e-books]
by Michael Trott
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28814-7
44.

電子ブック
ＥＢ
44. The Mathematica GuideBook for Symbolics [e-books]
by Michael Trott
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28815-5
45.

電子ブック
ＥＢ
45. Computing in Algebraic Geometry : A Quick Start using SINGULAR [e-books]
by Wolfram Decker, Christoph Lossen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg and Hindustan Book Agency New Delhi, 2006
シリーズ名: Algorithms and Computation in Mathematics ; 16
オンライン: http://dx.doi.org/10.1007/3-540-28993-3
46.

電子ブック
ＥＢ
46. Discovering Mathematics with Magma : Reducing the Abstract to the Concrete [e-books]
edited by Wieb Bosma, John Cannon
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Algorithms and Computation in Mathematics ; 19
オンライン: http://dx.doi.org/10.1007/978-3-540-37634-7
47.

電子ブック
ＥＢ
47. Design of Adaptive Finite Element Software : The Finite Element Toolbox ALBERTA [e-books]
Schmidt, Alfred ; Siebert, Kunibert G. ; SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
シリーズ名: Lecture Notes in Computational Science and Engineering ; 42
オンライン: http://dx.doi.org/10.1007/b138692
48.

電子ブック
ＥＢ
48. Computer Algebra Recipes for Mathematical Physics. 1st ed. 2005
by Richard H. Enns
出版情報: Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 2005
オンライン: https://doi.org/10.1007/b138898
49.

電子ブック
ＥＢ
49. Trends in Computer Algebra : International Symposium, Bad Neuenahr, May 19-21, 1987. Proceedings. 1st ed. 1988
edited by Rainer Janßen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 296
オンライン: https://doi.org/10.1007/3-540-18928-9