1.

電子ブック
ＥＢ
1. Data Analysis for Direct Numerical Simulations of Turbulent Combustion : From Equation-Based Analysis to Machine Learning. 1st ed. 2020
edited by Heinz Pitsch, Antonio Attili
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
オンライン: https://doi.org/10.1007/978-3-030-44718-2
2.

電子ブック
ＥＢ
2. Parallel Finite Volume Computation on General Meshes. 1st ed. 2020
by Yuri Vassilevski, Kirill Terekhov, Kirill Nikitin, Ivan Kapyrin
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
オンライン: https://doi.org/10.1007/978-3-030-47232-0
3.

電子ブック
ＥＢ
3. Contact Tracing in Post-Covid World : A Cryptologic Approach. 1st ed. 2020
by Pranab Chakraborty, Subhamoy Maitra, Mridul Nandi, Suprita Talnikar
出版情報: Singapore : Springer Nature Singapore : Imprint: Springer, 2020
シリーズ名: Indian Statistical Institute Series ;
オンライン: https://doi.org/10.1007/978-981-15-9727-5
4.

電子ブック
ＥＢ
4. Advances in Trefftz Methods and Their Applications. 1st ed. 2020
edited by Carlos Alves, Andreas Karageorghis, Vitor Leitão, Svilen Valtchev
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: SEMA SIMAI Springer Series ; 23
オンライン: https://doi.org/10.1007/978-3-030-52804-1
5.

電子ブック
ＥＢ
5. Murder on the Einstein Express and Other Stories. 1st ed. 2016
by Harun Šiljak
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
シリーズ名: Science and Fiction ;
オンライン: https://doi.org/10.1007/978-3-319-29066-9
6.

電子ブック
ＥＢ
6. The Welsh Language in the Digital Age
edited by Georg Rehm, Hans Uszkoreit
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
シリーズ名: White Paper Series ;
オンライン: http://dx.doi.org/10.1007/978-3-642-45372-4
7.

電子ブック
ＥＢ
7. Compressed Data Structures for Strings : On Searching and Extracting Strings from Compressed Textual Data
by Rossano Venturini
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2014
シリーズ名: Atlantis Studies in Computing ; 4
オンライン: http://dx.doi.org/10.2991/978-94-6239-033-1
8.

電子ブック
ＥＢ
8. Constraints Meet Concurrency
by Jacopo Mauro
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2014
シリーズ名: Atlantis Studies in Computing ; 5
オンライン: http://dx.doi.org/10.2991/978-94-6239-067-6
9.

電子ブック
ＥＢ
9. Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
by Fabio Mogavero
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
シリーズ名: Atlantis Studies in Computing ; 3
オンライン: http://dx.doi.org/10.2991/978-94-91216-95-4
10.

電子ブック
ＥＢ
10. Reshaping Learning : Frontiers of Learning Technology in a Global Context. 1st ed. 2013
edited by Ronghuai Huang, Kinshuk, J. Michael Spector
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: New Frontiers of Educational Research ;
オンライン: https://doi.org/10.1007/978-3-642-32301-0
11.

電子ブック
ＥＢ
11. Functional Coherence of Molecular Networks in Bioinformatics. 1st ed. 2012
edited by Mehmet Koyutürk, Shankar Subramaniam, Ananth Grama
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4614-0320-3
12.

電子ブック
ＥＢ
12. Conquering Complexity. 1st ed. 2012
edited by Mike Hinchey, Lorcan Coyle
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4471-2297-5
13.

電子ブック
ＥＢ
13. Applied Computer Science. 1st ed. 2012
by Shane Torbert
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4614-1888-7
14.

電子ブック
ＥＢ
14. Reflections on the History of Computing : Preserving Memories and Sharing Stories. 1st ed. 2012
edited by Arthur Tatnall
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP AICT Surveys ;
オンライン: https://doi.org/10.1007/978-3-642-33899-1
15.

電子ブック
ＥＢ
15. Advanced Methods, Techniques, and Applications in Modeling and Simulation : Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings. 1st ed. 2012
edited by Jong-Hyun Kim, Kangsun Lee, Satoshi Tanaka, Soo-Hyun Park
出版情報: Tokyo : Springer Japan : Imprint: Springer, 2012
シリーズ名: Proceedings in Information and Communications Technology ; 4
オンライン: https://doi.org/10.1007/978-4-431-54216-2
16.

電子ブック
ＥＢ
16. Computational Intelligence Systems in Industrial Engineering : With Recent Theory and Applications. 1st ed. 2012
edited by Cengiz Kahraman
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2012
シリーズ名: Atlantis Computational Intelligence Systems ;
オンライン: https://doi.org/10.2991/978-94-91216-77-0
17.

電子ブック
ＥＢ
17. Using Microsoft Dynamics AX 2012. 2nd ed. 2012
by Andreas Luszczak
出版情報: Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag, 2012
オンライン: https://doi.org/10.1007/978-3-8348-2191-1
18.

電子ブック
ＥＢ
18. Multimedia Signals and Systems. 1st ed. 2012
by Srdjan Stanković, Irena Orovic, Ervin Sejdić
出版情報: New York, NY : Springer US : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4614-4208-0
19.

電子ブック
ＥＢ
19. SynDEVS Co-Design Flow : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation. 1st ed. 2012
by H. Gregor Molter
出版情報: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012
オンライン: https://doi.org/10.1007/978-3-658-00397-5
20.

電子ブック
ＥＢ
20. Information Computing and Applications : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part I. 1st ed. 2012
edited by Chunfeng Liu, Leizhen Wang, Aimin Yang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 307
オンライン: https://doi.org/10.1007/978-3-642-34038-3
21.

電子ブック
ＥＢ
21. The Universal Machine : From the Dawn of Computing to Digital Consciousness. 1st ed. 2012
by Ian Watson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Copernicus, 2012
オンライン: https://doi.org/10.1007/978-3-642-28102-0
22.

電子ブック
ＥＢ
22. Fire Safety Challenges of Green Buildings. 1st ed. 2012
by Brian Meacham, Brandon Poole, Juan Echeverria, Raymond Cheng
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Fire ;
オンライン: https://doi.org/10.1007/978-1-4614-8142-3
23.

電子ブック
ＥＢ
23. Context Management for Distributed and Dynamic Context-Aware Computing. 1st ed. 2012
by Ricardo Couto Antunes da Rocha, Markus Endler
出版情報: London : Springer London : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: https://doi.org/10.1007/978-1-4471-4020-7
24.

電子ブック
ＥＢ
24. Data Analytics : Models and Algorithms for Intelligent Data Analysis. 1st ed. 2012
by Thomas A. Runkler
出版情報: Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag, 2012
オンライン: https://doi.org/10.1007/978-3-8348-2589-6
25.

電子ブック
ＥＢ
25. Coarse-to-Fine Natural Language Processing. 1st ed. 2012
by Slav Petrov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Theory and Applications of Natural Language Processing ;
オンライン: https://doi.org/10.1007/978-3-642-22743-1
26.

電子ブック
ＥＢ
26. ISSE 2012 Securing Electronic Business Processes : Highlights of the Information Security Solutions Europe 2012 Conference. 1st ed. 2012
edited by Helmut Reimer, Norbert Pohlmann, Wolfgang Schneider
出版情報: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012
オンライン: https://doi.org/10.1007/978-3-658-00333-3
27.

電子ブック
ＥＢ
27. Automatic Algorithm Selection for Complex Simulation Problems. 1st ed. 2012
by Roland Ewald
出版情報: Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag, 2012
オンライン: https://doi.org/10.1007/978-3-8348-8151-9
28.

電子ブック
ＥＢ
28. Recent Progress in Data Engineering and Internet Technology : Volume 2. 1st ed. 2012
edited by Ford Lumban Gaol
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Electrical Engineering ; 157
オンライン: https://doi.org/10.1007/978-3-642-28798-5
29.

電子ブック
ＥＢ
29. Structural Fire Resistance Experimental Research : Priority Needs of U.S. Industry. 1st ed. 2012
by Kathleen H Almand
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Fire ;
オンライン: https://doi.org/10.1007/978-1-4614-8112-6
30.

電子ブック
ＥＢ
30. Fire Flow Water Consumption in Sprinklered and Unsprinklered Buildings : An Assessment of Community Impacts. 1st ed. 2012
by Code Consultants, Inc
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Fire ;
オンライン: https://doi.org/10.1007/978-1-4614-8109-6
31.

電子ブック
ＥＢ
31. Ensemble Machine Learning : Methods and Applications. 1st ed. 2012
edited by Cha Zhang, Yunqian Ma
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4419-9326-7
32.

電子ブック
ＥＢ
32. Fuzzy Semirings with Applications to Automata Theory. 1st ed. 2012
by Javed Ahsan, John N. Mordeson, Muhammad Shabir
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Studies in Fuzziness and Soft Computing ; 278
オンライン: https://doi.org/10.1007/978-3-642-27641-5
33.

電子ブック
ＥＢ
33. The CMS Silicon Strip Tracker : Concept, Production and Commissioning. 1st ed. 2010
by Oliver Pooth
出版情報: Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag, 2010
オンライン: https://doi.org/10.1007/978-3-8348-9639-1
34.

電子ブック
ＥＢ
34. Reliability, Life Testing and the Prediction of Service Lives : For Engineers and Scientists [e-books]
by Sam C. Saunders
出版情報: New York, NY : Springer-Verlag New York, 2007
シリーズ名: Springer Series in Statistics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-48538-6
35.

電子ブック
ＥＢ
35. Fundamentals of Quantum Optics and Quantum Information. 1st ed. 2007
by Peter Lambropoulos, David Petrosyan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
オンライン: https://doi.org/10.1007/978-3-540-34572-5
36.

電子ブック
ＥＢ
36. Imagination and Rigor : Essays on Eduardo R. Caianiello's Scientific Heritage. 1st ed. 2006
edited by Settimo Termini
出版情報: Milano : Springer Milan : Imprint: Springer, 2006
オンライン: https://doi.org/10.1007/88-470-0472-1
37.

電子ブック
ＥＢ
37. Information and Its Role in Nature. 1st ed. 2005
by Juan G. Roederer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
シリーズ名: The Frontiers Collection ;
オンライン: https://doi.org/10.1007/3-540-27698-X
38.

電子ブック
ＥＢ
38. Seminaire de Probabilites XXXIII. 1st ed. 1999
edited by J. Azema, M. Emery, M. Ledoux, M. Yor
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999
シリーズ名: Séminaire de Probabilités ; 1709
オンライン: https://doi.org/10.1007/BFb0096508
39.

電子ブック
ＥＢ
39. Workflow Management Systems for Process Organisations
by Thomas Schäl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1096
オンライン: http://dx.doi.org/10.1007/978-3-662-21574-6
40.

電子ブック
ＥＢ
40. Communication and Cooperation in Agent Systems : A Pragmatic Theory
edited by Afsaneh Haddadi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1056
オンライン: http://dx.doi.org/10.1007/3-540-61044-8
41.

電子ブック
ＥＢ
41. Trends in Natural Language Generation An Artificial Intelligence Perspective : Fourth European Workshop, EWNLG '93 Pisa, Italy, April 28–30, 1993 Selected Papers
edited by Giovanni Adorni, Michael Zock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1036
オンライン: http://dx.doi.org/10.1007/3-540-60800-1
42.

電子ブック
ＥＢ
42. Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O Klagenfurt, Austria, September 23–25, 1996 Proceedings
edited by László Böszörményi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1127
オンライン: http://dx.doi.org/10.1007/3-540-61695-0
43.

電子ブック
ＥＢ
43. Over-Constrained Systems
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1106
オンライン: http://dx.doi.org/10.1007/3-540-61479-6
44.

電子ブック
ＥＢ
44. Discrete Geometry for Computer Imagery : 6th International Workshop, DGCI'96 Lyon, France, November 13–15, 1996 Proceedings
edited by Serge Miguet, Annick Montanvert, Stéphane Ubéda
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1176
オンライン: http://dx.doi.org/10.1007/3-540-62005-2
45.

電子ブック
ＥＢ
45. Combinatorics and Computer Science : 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3–5, 1995 Selected Papers
edited by Michel Deza, Reinhardt Euler, Ioannis Manoussakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1120
オンライン: http://dx.doi.org/10.1007/3-540-61576-8
46.

電子ブック
ＥＢ
46. Concurrency and Parallelism, Programming, Networking, and Security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings
edited by Joxan Jaffar, Roland H. C. Yap
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1179
オンライン: http://dx.doi.org/10.1007/BFb0027773
47.

電子ブック
ＥＢ
47. Information Theory and Applications II : 4th Canadian Workshop Lac Delage, Québec, Canada, May 28–30, 1995 Selected Papers
edited by Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1133
オンライン: http://dx.doi.org/10.1007/BFb0025130
48.

電子ブック
ＥＢ
48. Dependable Computing — EDCC-2 : Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings
edited by Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1150
オンライン: http://dx.doi.org/10.1007/3-540-61772-8
49.

電子ブック
ＥＢ
49. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: http://dx.doi.org/10.1007/BFb0031795
50.

電子ブック
ＥＢ
50. Compiler Construction : 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings
edited by Tibor Gyimóthy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1060
オンライン: http://dx.doi.org/10.1007/3-540-61053-7