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
51.

電子ブック
ＥＢ
51. Algorithms — ESA '96 : Fourth Annual European Symposium Barcelona, Spain, September 25–27, 1996 Proceedings
edited by Josep Diaz, Maria Serna
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1136
オンライン: http://dx.doi.org/10.1007/3-540-61680-2
52.

電子ブック
ＥＢ
52. Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing
edited by Stefan Wermter, Ellen Riloff, Gabriele Scheler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1040
オンライン: http://dx.doi.org/10.1007/3-540-60925-3
53.

電子ブック
ＥＢ
53. Optimization of SQL Queries for Parallel Machines
edited by Waqar Hasan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1182
オンライン: http://dx.doi.org/10.1007/BFb0020710
54.

電子ブック
ＥＢ
54. Rewriting Techniques and Applications : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1103
オンライン: http://dx.doi.org/10.1007/3-540-61464-8
55.

電子ブック
ＥＢ
55. Interactive Distributed Multimedia Systems and Services : European Workshop IDMS'96 Berlin, Germany, March 4–6, 1996 Proceedings
edited by Berthold Butscher, Eckhard Moeller, Herwart Pusch
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1045
オンライン: http://dx.doi.org/10.1007/3-540-60938-5
56.

電子ブック
ＥＢ
56. Logics for Concurrency : Structure versus Automata
edited by Faron Moller, Graham Birtwistle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1043
オンライン: http://dx.doi.org/10.1007/3-540-60915-6
57.

電子ブック
ＥＢ
57. Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
edited by P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1071
オンライン: http://dx.doi.org/10.1007/3-540-61208-4
58.

電子ブック
ＥＢ
58. Parallel Virtual Machine — EuroPVM '96 : Third European PVM Conference Munich, Germany, October 7–9, 1996 Proceedings
edited by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1156
オンライン: http://dx.doi.org/10.1007/3-540-61779-5
59.

電子ブック
ＥＢ
59. Adaption and Learning in Multi-Agent Systems : IJCAI'95 Workshop Montréal, Canada, August 21, 1995 Proceedings
edited by Gerhard Weiß, Sandip Sen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1042
オンライン: http://dx.doi.org/10.1007/3-540-60923-7
60.

電子ブック
ＥＢ
60. Applied Parallel Computing Industrial Computation and Optimization : Third International Workshop, PARA '96 Lyngby, Denmark, August 18–21, 1996 Proceedings
edited by Jerzy Waśniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1184
オンライン: http://dx.doi.org/10.1007/3-540-62095-8
61.

電子ブック
ＥＢ
61. Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20–22, 1995 Proceedings
edited by Franz J. Brandenburg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1027
オンライン: http://dx.doi.org/10.1007/BFb0021783
62.

電子ブック
ＥＢ
62. Active Visual Inference of Surface Shape
by Roberto Cipolla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1016
オンライン: http://dx.doi.org/10.1007/3-540-60642-4
63.

電子ブック
ＥＢ
63. Automata, Languages and Programming : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings
edited by Friedhelm Meyer, Burkhard Monien
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1099
オンライン: http://dx.doi.org/10.1007/3-540-61440-0
64.

電子ブック
ＥＢ
64. Applied Computational Geometry Towards Geometric Engineering : FCRC'96 Workshop, WACG'96 Philadelphia, PA, May 27–28, 1996 Selected Papers
edited by Ming C. Lin, Dinesh Manocha
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1148
オンライン: http://dx.doi.org/10.1007/BFb0014474
65.

電子ブック
ＥＢ
65. Algorithms and Computation : 7th International Symposium, ISAAC '96 Osaka, Japan, December 16–18, 1996 Proceedings
edited by Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi, Satoru Miyano, Subhash Suri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1178
オンライン: http://dx.doi.org/10.1007/BFb0009475
66.

電子ブック
ＥＢ
66. Advances in Cryptology — CRYPTO ’96 : 16th Annual International Cryptology Conference Santa Barbara, California, USA August 18–22, 1996 Proceedings
edited by Neal Koblitz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1996
シリーズ名: Lecture Notes in Computer Science ; 1109
オンライン: http://dx.doi.org/10.1007/3-540-68697-5
67.

電子ブック
ＥＢ
67. Foundations of Software Technology and Theoretical Computer Science : 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings
edited by V. Chandru, V. Vinay
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1180
オンライン: http://dx.doi.org/10.1007/3-540-62034-6
68.

電子ブック
ＥＢ
68. Coordination Languages and Models : First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings
edited by Paolo Ciancarini, Chris Hankin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1061
オンライン: http://dx.doi.org/10.1007/3-540-61052-9
69.

電子ブック
ＥＢ
69. Teleservices and Multimedia Communications : Second International COST 237 Workshop Copenhagen, Denmark, November 20–22 1995 Proceedings
edited by David Hutchison, Henning Christiansen, Geoff Coulson, André Danthine
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1052
オンライン: http://dx.doi.org/10.1007/3-540-61028-6
70.

電子ブック
ＥＢ
70. Programming Languages and Systems — ESOP '96 : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hanne Riis Nielson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1058
オンライン: http://dx.doi.org/10.1007/3-540-61055-3
71.

電子ブック
ＥＢ
71. Hybrid Systems III : Verification and Control
edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1066
オンライン: http://dx.doi.org/10.1007/BFb0020931
72.

電子ブック
ＥＢ
72. Algorithmic Learning Theory : 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings
edited by Setsuo Arikawa, Arun K. Sharma
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1160
オンライン: http://dx.doi.org/10.1007/3-540-61863-5
73.

電子ブック
ＥＢ
73. Object-Based Parallel and Distributed Computation : France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers
edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1107
オンライン: http://dx.doi.org/10.1007/3-540-61487-7
74.

電子ブック
ＥＢ
74. Types for Proofs and Programs : International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
edited by Stefano Berardi, Mario Coppo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1158
オンライン: http://dx.doi.org/10.1007/3-540-61780-9
75.

電子ブック
ＥＢ
75. Reliable Software Technologies — Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June 10–14, 1996 Proceedings
edited by Alfred Strohmeier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1088
オンライン: http://dx.doi.org/10.1007/BFb0013474
76.

電子ブック
ＥＢ
76. Studies of Software Design : ICSE'93 Workshop Maltimore, Maryland, USA, May 17–18, 1993 Selected Papers
edited by David Alex Lamb
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1078
オンライン: http://dx.doi.org/10.1007/BFb0030514
77.

電子ブック
ＥＢ
77. Electronic Commerce : Current Research Issues and Applications
edited by Nabil R. Adam, Yelena Yesha
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1028
オンライン: http://dx.doi.org/10.1007/3-540-60738-2
78.

電子ブック
ＥＢ
78. Algorithmic Number Theory : Second International Symposium, ANTS-II Talence, France, May 18–23, 1996 Proceedings
edited by Henri Cohen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1122
オンライン: http://dx.doi.org/10.1007/3-540-61581-4
79.

電子ブック
ＥＢ
79. Fast Software Encryption : Third International Workshop Cambridge, UK, February 21–23 1996 Proceedings
edited by Dieter Gollmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1039
オンライン: http://dx.doi.org/10.1007/3-540-60865-6
80.

電子ブック
ＥＢ
80. Automated Deduction — Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
edited by M. A. McRobbie, J. K. Slaney
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104
オンライン: http://dx.doi.org/10.1007/3-540-61511-3
81.

電子ブック
ＥＢ
81. Computing and Combinatorics : Second Annual International Conference, COCOON '96 Hong Kong, June 17–19, 1996 Proceedings
edited by Jin-Yi Cai, Chak Kuen Wong
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1090
オンライン: http://dx.doi.org/10.1007/3-540-61332-3
82.

電子ブック
ＥＢ
82. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1074
オンライン: http://dx.doi.org/10.1007/3-540-61254-8
83.

電子ブック
ＥＢ
83. Distributed Software Agents and Applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94 Odense, Denmark, August 3–5, 1994 Proceedings
edited by John W. Perram, Jean-Pierre Müller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1069
オンライン: http://dx.doi.org/10.1007/3-540-61157-6
84.

電子ブック
ＥＢ
84. PRICAI'96: Topics in Artificial Intelligence : 4th Pacific Rim International Conference on Artificial Intelligence Cairns, Australia, August 26–30, 1996 Proceedings
edited by Norman Foo, Randy Goebel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1114
オンライン: http://dx.doi.org/10.1007/3-540-61532-6
85.

電子ブック
ＥＢ
85. KI-96: Advances in Artificial Intelligence : 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17–19, 1996 Proceedings
edited by Günther Görz, Steffen Hölldobler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1137
オンライン: http://dx.doi.org/10.1007/3-540-61708-6
86.

電子ブック
ＥＢ
86. Intelligent Agents II Agent Theories, Architectures, and Languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19–20, 1995 Proceedings
edited by Michael Wooldridge, Jörg P. Müller, Milind Tambe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1037
オンライン: http://dx.doi.org/10.1007/3-540-60805-2
87.

電子ブック
ＥＢ
87. Reasoning with Logic Programming
edited by José Júlio Alferes, Luís Moniz Pereira
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1111
オンライン: http://dx.doi.org/10.1007/3-540-61488-5
88.

電子ブック
ＥＢ
88. Advanced Functional Programming : Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text
edited by John Launchbury, Erik Meijer, Tim Sheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1129
オンライン: http://dx.doi.org/10.1007/3-540-61628-4
89.

電子ブック
ＥＢ
89. Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1125
オンライン: http://dx.doi.org/10.1007/BFb0105392
90.

電子ブック
ＥＢ
90. Parallel Problem Solving from Nature — PPSN IV : International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature Berlin, Germany, September 22–26, 1996 Proceedings
edited by Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1141
オンライン: http://dx.doi.org/10.1007/3-540-61723-X
91.

電子ブック
ＥＢ
91. Computer Vision — ECCV '96 : 4th European Conference on Computer Vision Cambridge, UK, April 15–18, 1996 Proceedings, Volume I
edited by Bernard Buxton, Roberto Cipolla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1064
オンライン: http://dx.doi.org/10.1007/BFb0015518
92.

電子ブック
ＥＢ
92. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
edited by Jacques Calmet, Carla Limongelli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1128
オンライン: http://dx.doi.org/10.1007/3-540-61697-7
93.

電子ブック
ＥＢ
93. Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers
edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1073
オンライン: http://dx.doi.org/10.1007/3-540-61228-9
94.

電子ブック
ＥＢ
94. Evaluating Natural Language Processing Systems : An Analysis and Review
edited by Karen Sparck Jones, Julia R. Galliers
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1083
オンライン: http://dx.doi.org/10.1007/BFb0027470
95.

電子ブック
ＥＢ
95. Parallel Algorithms for Irregularly Structured Problems : Third International Workshop, IRREGULAR '96 Santa Barbara, CA, USA, August 19–21, 1996 Proceedings
edited by Alfonso Ferreira, José Rolim, Yousef Saad, Tao Yang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1117
オンライン: http://dx.doi.org/10.1007/BFb0030093
96.

電子ブック
ＥＢ
96. Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hélène Kirchner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: http://dx.doi.org/10.1007/3-540-61064-2
97.

電子ブック
ＥＢ
97. High-Performance Computing and Networking : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings
edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1067
オンライン: http://dx.doi.org/10.1007/3-540-61142-8
98.

電子ブック
ＥＢ
98. Multimedia Telecommunications and Applications : Third International COST 237 Workshop Barcelona, Spain, November 25–27, 1996 Proceedings
edited by Giorgio Ventre, Jordi Domingo-Pascual, André Danthine
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1185
オンライン: http://dx.doi.org/10.1007/BFb0020846
99.

電子ブック
ＥＢ
99. Extensions of Logic Programming : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1050
オンライン: http://dx.doi.org/10.1007/3-540-60983-0
100.

電子ブック
ＥＢ
100. Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12–14, 1996 Proceedings
edited by Claude Frasson, Gilles Gauthier, Alan Lesgold
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1086
オンライン: http://dx.doi.org/10.1007/3-540-61327-7