1.

電子ブック
ＥＢ
1. Approximation and Online Algorithms : 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers. 1st ed. 2020
edited by Evripidis Bampis, Nicole Megow
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11926
オンライン: https://doi.org/10.1007/978-3-030-39479-0
2.

電子ブック
ＥＢ
2. From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement. 1st ed. 2020
edited by Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12065
オンライン: https://doi.org/10.1007/978-3-030-41103-9
3.

電子ブック
ＥＢ
3. Learning and Intelligent Optimization : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers. 1st ed. 2020
edited by Ilias S. Kotsireas, Panos M. Pardalos
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12096
オンライン: https://doi.org/10.1007/978-3-030-53552-0
4.

電子ブック
ＥＢ
4. Mathematical Optimization Theory and Operations Research : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings. 1st ed. 2020
edited by Alexander Kononov, Michael Khachay, Valery A Kalyagin, Panos Pardalos
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12095
オンライン: https://doi.org/10.1007/978-3-030-49988-4
5.

電子ブック
ＥＢ
5. Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part II. 1st ed. 2020
edited by Meikang Qiu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12453
オンライン: https://doi.org/10.1007/978-3-030-60239-0
6.

電子ブック
ＥＢ
6. Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part I. 1st ed. 2020
edited by Meikang Qiu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12452
オンライン: https://doi.org/10.1007/978-3-030-60245-1
7.

電子ブック
ＥＢ
7. Scientific Computing : A Historical Perspective. 1st ed. 2018
by Bertil Gustafsson
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Texts in Computational Science and Engineering ; 17
オンライン: https://doi.org/10.1007/978-3-319-69847-2
8.

電子ブック
ＥＢ
8. Convex Analysis and Global Optimization. 2nd ed. 2016
by Hoang Tuy
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
シリーズ名: Springer Optimization and Its Applications ; 110
オンライン: https://doi.org/10.1007/978-3-319-31484-6
9.

電子ブック
ＥＢ
9. The Courant–Friedrichs–Lewy (CFL) Condition : 80 Years After Its Discovery
edited by Carlos A. de Moura, Carlos S. Kubrusly
出版情報: Boston : Birkhäuser Boston : Imprint: Birkhäuser, 2013
オンライン: http://dx.doi.org/10.1007/978-0-8176-8394-8
10.

電子ブック
ＥＢ
10. Modeling and Optimization in Space Engineering
edited by Giorgio Fasano, János D. Pintér
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Springer Optimization and Its Applications ; 73
オンライン: http://dx.doi.org/10.1007/978-1-4614-4469-5
11.

電子ブック
ＥＢ
11. 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
12.

電子ブック
ＥＢ
12. Teoria degli Automi Finiti
by Aldo Luca, Flavio D’Alessandro
出版情報: Milano : Springer Milan : Imprint: Springer, 2013
シリーズ名: UNITEXT ; 68
オンライン: http://dx.doi.org/10.1007/978-88-470-5474-5
13.

電子ブック
ＥＢ
13. Quantum Walks and Search Algorithms. 1st ed. 2013
by Renato Portugal
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Quantum Science and Technology ;
オンライン: https://doi.org/10.1007/978-1-4614-6336-8
14.

電子ブック
ＥＢ
14. The Relevance of the Time Domain to Neural Network Models. 1st ed. 2012
edited by A. Ravishankar Rao, Guillermo A. Cecchi
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: Springer Series in Cognitive and Neural Systems ; 3
オンライン: https://doi.org/10.1007/978-1-4614-0724-9
15.

電子ブック
ＥＢ
15. Uncertainty Quantification in Scientific Computing : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers. 1st ed. 2012
edited by Andrew Dienstfrey, Ronald Boisvert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 377
オンライン: https://doi.org/10.1007/978-3-642-32677-6
16.

電子ブック
ＥＢ
16. Wireless Internet : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, Revised Selected Papers. 1st ed. 2012
edited by Pinyi Ren, Chao Zhang, Xin Liu, Pei Liu, Song Ci
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 98
オンライン: https://doi.org/10.1007/978-3-642-30493-4
17.

電子ブック
ＥＢ
17. Emerging Research in Artificial Intelligence and Computational Intelligence : International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings. 1st ed. 2012
edited by Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 315
オンライン: https://doi.org/10.1007/978-3-642-34240-0
18.

電子ブック
ＥＢ
18. Advances in Computational Intelligence, Part II : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part II. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 298
オンライン: https://doi.org/10.1007/978-3-642-31715-6
19.

電子ブック
ＥＢ
19. Wireless Communications and Applications : First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers. 1st ed. 2012
edited by Patrick Sénac, Max Ott, Aruna Seneviratne
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 72
オンライン: https://doi.org/10.1007/978-3-642-29157-9
20.

電子ブック
ＥＢ
20. Emerging Intelligent Computing Technology and Applications : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings. 1st ed. 2012
edited by De-Shuang Huang, Phalguni Gupta, Xiang Zhang, Prashan Premaratne
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 304
オンライン: https://doi.org/10.1007/978-3-642-31837-5
21.

電子ブック
ＥＢ
21. Computational Intelligence and Intelligent Systems : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings. 1st ed. 2012
edited by Zhenhua Li, Xiang Li, Yong Liu, Zhihua Cai
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 316
オンライン: https://doi.org/10.1007/978-3-642-34289-9
22.

電子ブック
ＥＢ
22. Advances in Computational Intelligence, Part I : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part I. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 297
オンライン: https://doi.org/10.1007/978-3-642-31709-5
23.

電子ブック
ＥＢ
23. Handbook of Natural Computing. 1st ed. 2012
edited by Grzegorz Rozenberg, Thomas Bäck, Joost N. Kok
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-540-92910-9
24.

電子ブック
ＥＢ
24. Foundations of Rule Learning. 1st ed. 2012
by Johannes Fürnkranz, Dragan Gamberger, Nada Lavrač
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Cognitive Technologies ;
オンライン: https://doi.org/10.1007/978-3-540-75197-7
25.

電子ブック
ＥＢ
25. Engineering Applications of Neural Networks : 13th International Conference, EANN 2012, London, UK, September 20-23, 2012. 1st ed. 2012
edited by Chrisina Jayne, Shigang Yue, Lazaros S. Iliadis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 311
オンライン: https://doi.org/10.1007/978-3-642-32909-8
26.

電子ブック
ＥＢ
26. Autonomous Search. 1st ed. 2012
edited by Youssef Hamadi, Eric Monfroy, Frédéric Saubion
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-21434-9
27.

電子ブック
ＥＢ
27. Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers. 1st ed. 2012
edited by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 336
オンライン: https://doi.org/10.1007/978-3-642-34781-8
28.

電子ブック
ＥＢ
28. Advances in Computational Intelligence, Part IV : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part IV. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 300
オンライン: https://doi.org/10.1007/978-3-642-31724-8
29.

電子ブック
ＥＢ
29. Mathematics of Discrete Structures for Computer Science. 1st ed. 2012
by Gordon J. Pace
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-29840-0
30.

電子ブック
ＥＢ
30. Trends in Intelligent Robotics, Automation, and Manufacturing : First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012, Proceedings. 1st ed. 2012
edited by S.G. Poonambalam, Jussi Parkkinen, Kuppan Chetty Ramanathan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 330
オンライン: https://doi.org/10.1007/978-3-642-35197-6
31.

電子ブック
ＥＢ
31. Contemporary Computing : 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings. 1st ed. 2012
edited by Manish Parashar, Dinesh Kaushik, Omer F. Rana, Ravi Samtaney, Yuanyuan Yang, Albert Y. Zomaya
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 306
オンライン: https://doi.org/10.1007/978-3-642-32129-0
32.

電子ブック
ＥＢ
32. Modeling Time in Computing. 1st ed. 2012
by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Monographs in Theoretical Computer Science. An EATCS Series ;
オンライン: https://doi.org/10.1007/978-3-642-32332-4
33.

電子ブック
ＥＢ
33. Technological Innovation for Value Creation : Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012, Proceedings. 1st ed. 2012
edited by Luis M. Camarinha-Matos, Ehsan Shahamatnia, Gonçalo Nunes
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 372
オンライン: https://doi.org/10.1007/978-3-642-28255-3
34.

電子ブック
ＥＢ
34. Theory and Practice of Computation : Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings. 1st ed. 2012
edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez
出版情報: Tokyo : Springer Japan : Imprint: Springer, 2012
シリーズ名: Proceedings in Information and Communications Technology ; 5
オンライン: https://doi.org/10.1007/978-4-431-54106-6
35.

電子ブック
ＥＢ
35. The Complexity of Valued Constraint Satisfaction Problems. 1st ed. 2012
by Stanislav Živný
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Cognitive Technologies ;
オンライン: https://doi.org/10.1007/978-3-642-33974-5
36.

電子ブック
ＥＢ
36. Advances in Computational Intelligence, Part III : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part III. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 299
オンライン: https://doi.org/10.1007/978-3-642-31718-7
37.

電子ブック
ＥＢ
37. Computational Complexity : Theory, Techniques, and Applications. 1st ed. 2012
edited by Robert A. Meyers
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4614-1800-9
38.

電子ブック
ＥＢ
38. On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. 1st ed. 2012
by Brian Henderson-Sellers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: https://doi.org/10.1007/978-3-642-29825-7
39.

電子ブック
ＥＢ
39. The Universe as Automaton : From Simplicity and Symmetry to Complexity. 1st ed. 2012
by Klaus Mainzer, Leon Chua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Complexity ; 1
オンライン: https://doi.org/10.1007/978-3-642-23477-4
40.

電子ブック
ＥＢ
40. Theoretical Computer Science
edited by F. Preparata
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: C.I.M.E. Summer Schools ; 68
オンライン: http://dx.doi.org/10.1007/978-3-642-11120-4
41.

電子ブック
ＥＢ
41. Algorithmic Randomness and Complexity [e-books]. 1
by Rodney G. Downey, Denis R. Hirschfeldt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Theory and Applications of Computability, In cooperation with the association Computability in Europe ;
オンライン: http://dx.doi.org/10.1007/978-0-387-68441-3
42.

電子ブック
ＥＢ
42. Computability of Julia Sets [e-books]
by Mark Braverman, Michael Yampolsky ; edited by Arjeh M. Cohen, Henri Cohen, David Eisenbud, Michael F. Singer, Bernd Sturmfels
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Algorithms and Computation in Mathematics ; 23
オンライン: http://dx.doi.org/10.1007/978-3-540-68547-0
43.

電子ブック
ＥＢ
43. Post-Quantum Cryptography [e-books]
edited by Daniel J. Bernstein, Johannes Buchmann, Erik Dahmen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
オンライン: http://dx.doi.org/10.1007/978-3-540-88702-7
44.

電子ブック
ＥＢ
44. Gröbner Bases, Coding, and Cryptography
edited by Massimiliano Sala, Shojiro Sakata, Teo Mora, Carlo Traverso, Ludovic Perret
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
オンライン: http://dx.doi.org/10.1007/978-3-540-93806-4
45.

電子ブック
ＥＢ
45. Media Theory : Interdisciplinary Applied Mathematics. First edition
by David Eppstein, Jean-Claude Falmagne, Sergei Ovchinnikov
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
オンライン: http://dx.doi.org/10.1007/978-3-540-71697-6
46.

電子ブック
ＥＢ
46. Algoritmi : Lo spirito dell’informatica
by David Harel, Yishai Feldman
出版情報: Milano : Springer-Verlag Italia, Milano, 2008
シリーズ名: Unitext ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0580-8
47.

電子ブック
ＥＢ
47. Magnetic Nanostructures in Modern Technology : Spintronics, Magnetic MEMS and Recording. 1st ed. 2008
edited by Bruno Azzerboni, Giovanni Asti, Luigi Pareti, Massimo Ghidini
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2008
シリーズ名: NATO Science for Peace and Security Series B: Physics and Biophysics ;
オンライン: https://doi.org/10.1007/978-1-4020-6338-1
48.

電子ブック
ＥＢ
48. Electron Transport in Nanosystems. 1st ed. 2008
edited by Janez Bonca, Sergei Kruchinin
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2008
シリーズ名: NATO Science for Peace and Security Series B: Physics and Biophysics ;
オンライン: https://doi.org/10.1007/978-1-4020-9146-9
49.

電子ブック
ＥＢ
49. Self-Organizing Natural Intelligence : Issues of Knowing, Meaning, and Complexity
by Myrna Estep
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/1-4020-5299-5
50.

電子ブック
ＥＢ
50. Systems Approaches and Their Application : Examples from Sweden [e-books]
edited by Mats-Olov Olsson, Gunnar Sjöstedt
出版情報: Dordrecht : Springer Science + Business Media, Inc., 2005
オンライン: http://dx.doi.org/10.1007/1-4020-2370-7
51.

電子ブック
ＥＢ
51. Substitutions in Dynamics, Arithmetics and Combinatorics. 1st ed. 2002
by N. Pytheas Fogg ; edited by Valerie Berthé, Sebastien Ferenczi, Christian Mauduit, Anne Siegel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002
シリーズ名: Lecture Notes in Mathematics ; 1794
オンライン: https://doi.org/10.1007/b13861
52.

電子ブック
ＥＢ
52. Impacts in Mechanical Systems : Analysis and Modelling. 1st ed. 2000
edited by Bernard Brogliato
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000
シリーズ名: Lecture Notes in Physics ; 551
オンライン: https://doi.org/10.1007/3-540-45501-9
53.

電子ブック
ＥＢ
53. The Dynamical System Generated by the 3n+1 Function [e-books]
by Günther J. Wirsching
出版情報: Berlin, Heidelberg : Springer-Verlag, 1998
シリーズ名: Lecture Notes in Mathematics ; 1681
オンライン: http://dx.doi.org/10.1007/BFb0095985
54.

電子ブック
ＥＢ
54. The Dynamical System Generated by the 3n+1 Function. 1st ed. 1998
by Günther J. Wirsching
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998
シリーズ名: Lecture Notes in Mathematics ; 1681
オンライン: https://doi.org/10.1007/BFb0095985
55.

電子ブック
ＥＢ
55. 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
56.

電子ブック
ＥＢ
56. Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26–29 1996 Proceedings, Volume I
edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1123
オンライン: http://dx.doi.org/10.1007/3-540-61626-8
57.

電子ブック
ＥＢ
57. SOFSEM'96: Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 23–30, 1996 Proceedings
edited by Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1175
オンライン: http://dx.doi.org/10.1007/BFb0037392
58.

電子ブック
ＥＢ
58. Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26–29, 1996 Proceedings, Volume II
edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1124
オンライン: http://dx.doi.org/10.1007/BFb0024677
59.

電子ブック
ＥＢ
59. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
edited by Wojciech Penczek, Andrzej Szałas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: http://dx.doi.org/10.1007/3-540-61550-4
60.

電子ブック
ＥＢ
60. 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
61.

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

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

電子ブック
ＥＢ
63. Euro-Par'96 - Parallel Processing : Second International Euro-Par Conference, Lyon, France, August 26-29, 1996. Proceedings. Volume II. 1st ed. 1996
edited by Luc Bouge, Pierre Fraigniaud, Anne Mignotte, Yves Robert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1124
オンライン: https://doi.org/10.1007/BFb0024677
64.

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

電子ブック
ＥＢ
65. Artificial Evolution : European Conference, AE '95, Brest, France, September 4 - 6, 1995. Selected Papers. 1st ed. 1996
edited by Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1063
オンライン: https://doi.org/10.1007/3-540-61108-8
66.

電子ブック
ＥＢ
66. Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem. 1st ed. 1996
edited by Patrice Godefroid
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1032
オンライン: https://doi.org/10.1007/3-540-60761-7
67.

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

電子ブック
ＥＢ
68. Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings. 1st ed. 1996
edited by Bengt Jonsson, Joachim Parrow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1135
オンライン: https://doi.org/10.1007/3-540-61648-9
69.

電子ブック
ＥＢ
69. Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings. 1st ed. 1996
edited by Jaques Calmet, John A. Campbell, Jochen Pfalzgraf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1138
オンライン: https://doi.org/10.1007/3-540-61732-9
70.

電子ブック
ＥＢ
70. Fuzzy Logic, Neural Networks, and Evolutionary Computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers. 1st ed. 1996
edited by Takeshi Furuhashi, Yoshiki Uchikawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1152
オンライン: https://doi.org/10.1007/3-540-61988-7
71.

電子ブック
ＥＢ
71. Practice and Theory of Automated Timetabling : First International Conference, Edinburgh, UK, August 29 - September 1, 1995. Selected Papers. 1st ed. 1996
edited by Edmund Burke, Peter Ross
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1153
オンライン: https://doi.org/10.1007/3-540-61794-9
72.

電子ブック
ＥＢ
72. Advanced Information Systems Engineering : 8th International Conference, CAiSE'96, Herakleion, Crete, Greece, May (20-24), 1996. Proceedings. 1st ed. 1996
edited by Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1080
オンライン: https://doi.org/10.1007/3-540-61292-0
73.

電子ブック
ＥＢ
73. Languages and Compilers for Parallel Computing : 8th International Workshop, Columbus, Ohio, USA, August 10-12, 1995. Proceedings. 1st ed. 1996
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1033
オンライン: https://doi.org/10.1007/BFb0014187
74.

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

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

電子ブック
ＥＢ
76. Solving Combinatorial Optimization Problems in Parallel Methods and Techniques : Methods and Techniques. 1st ed. 1996
edited by Alfonso Ferreira, Panos Pardalos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1054
オンライン: https://doi.org/10.1007/BFb0027114
77.

電子ブック
ＥＢ
77. SOFSEM '96: Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings. 1st ed. 1996
edited by Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1175
オンライン: https://doi.org/10.1007/BFb0037392
78.

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

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

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

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

電子ブック
ＥＢ
82. Evolutionary Computing : AISB Workshop, Brighton, U.K., April 1 - 2, 1996. Selected Papers. 1st ed. 1996
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1143
オンライン: https://doi.org/10.1007/BFb0032768
83.

電子ブック
ＥＢ
83. Application and Theory of Petri Nets 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings. 1st ed. 1996
edited by Jonathan Billington, Wolfgang Reisig
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1091
オンライン: https://doi.org/10.1007/3-540-61363-3
84.

電子ブック
ＥＢ
84. STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings. 1st ed. 1996
edited by Claude Puech, Rüdiger Reischuk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1046
オンライン: https://doi.org/10.1007/3-540-60922-9
85.

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

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

電子ブック
ＥＢ
87. Artificial Neural Networks - ICANN 96 : 6th International Conference, Bochum, Germany, July 16 - 19, 1996. Proceedings. 1st ed. 1996
edited by Christoph von der Malsburg, Werner von Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1112
オンライン: https://doi.org/10.1007/3-540-61510-5
88.

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

電子ブック
ＥＢ
89. Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. 1st ed. 1996
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1055
オンライン: https://doi.org/10.1007/3-540-61042-1
90.

電子ブック
ＥＢ
90. Algebraic and Logic Programming : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings. 1st ed. 1996
edited by Michael Hanus, Mario Rodriguez-Artalejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1139
オンライン: https://doi.org/10.1007/3-540-61735-3
91.

電子ブック
ＥＢ
91. Towards Evolvable Hardware : The Evolutionary Engineering Approach. 1st ed. 1996
edited by Eduardo Sanchez, Marco Tomassini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1062
オンライン: https://doi.org/10.1007/3-540-61093-6
92.

電子ブック
ＥＢ
92. CONCUR '96: Concurrency Theory : 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings. 1st ed. 1996
edited by Ugo Montanari, Vladimiro Sassone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1119
オンライン: https://doi.org/10.1007/3-540-61604-7
93.

電子ブック
ＥＢ
93. Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science : Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995. Proceedings. 1st ed. 1996
edited by Jack Dongarra, Kaj Madsen, Jerzy Wasniewski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1041
オンライン: https://doi.org/10.1007/3-540-60902-4
94.

電子ブック
ＥＢ
94. Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers. 1st ed. 1996
edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1130
オンライン: https://doi.org/10.1007/3-540-61629-2
95.

電子ブック
ＥＢ
95. Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers. 1st ed. 1996
edited by Hans Kleine Buening
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1092
オンライン: https://doi.org/10.1007/3-540-61377-3
96.

電子ブック
ＥＢ
96. Algorithm Theory - SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings. 1st ed. 1996
edited by Rolf Karlsson, Andrzej Lingas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1097
オンライン: https://doi.org/10.1007/3-540-61422-2
97.

電子ブック
ＥＢ
97. Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings. 1st ed. 1996
edited by Herbert Kuchen, S.Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1140
オンライン: https://doi.org/10.1007/3-540-61756-6
98.

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

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

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