1.

電子ブック
ＥＢ
1. Game Theory for Networks : 2nd International ICST Conference, GameNets 2011, Shanghai, China, April 11-18, 2011, Revised Selected Papers. 1st ed. 2012
edited by RAHUL JAIN, Rajgopal Kannan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 75
オンライン: https://doi.org/10.1007/978-3-642-30373-9
2.

電子ブック
ＥＢ
2. Mobile and Ubiquitous Systems : 7th International ICST Conference, MobiQuitous 2010, Sydney, Australia, December 6-9, 2010, 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 ; 73
オンライン: https://doi.org/10.1007/978-3-642-29154-8
3.

電子ブック
ＥＢ
3. VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers. 1st ed. 2012
edited by Jose L. Ayala, David Atienza Alonso, Ricardo Reis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 373
オンライン: https://doi.org/10.1007/978-3-642-28566-0
4.

電子ブック
ＥＢ
4. Green and Smart Technology with Sensor Applications : International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings. 1st ed. 2012
edited by Hyun-seob Cho, Tai-hoon Kim, Sabah Mohammed, Hojjat Adeli, Myoung-kwan Oh, Keun-Wang Lee
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 338
オンライン: https://doi.org/10.1007/978-3-642-35251-5
5.

電子ブック
ＥＢ
5. Mobile Networks and Management : Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers. 1st ed. 2012
edited by Kostas Pentikousis, Rui L. Aguiar, Susana Sargento, Ramón Agüero
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 97
オンライン: https://doi.org/10.1007/978-3-642-30422-4
6.

電子ブック
ＥＢ
6. Broadband Communications, Networks and Systems : 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010, Revised Selected Papers. 1st ed. 2012
edited by Ioannis Tomkos, Georgios Ellinas, Prasun Sinha
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 66
オンライン: https://doi.org/10.1007/978-3-642-30376-0
7.

電子ブック
ＥＢ
7. Quality, Reliability, Security and Robustness in Heterogeneous Networks : 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Huston, TX, USA, November 17-19, 2010, Revised Selected Papers. 1st ed. 2012
edited by Xi Zhang, Daji Qiao
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 74
オンライン: https://doi.org/10.1007/978-3-642-29222-4
8.

電子ブック
ＥＢ
8. Signal Processing and Information Technology : First International Joint Conference, SPIT 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers. 1st ed. 2012
edited by Vinu V Das, Ezendu Ariwa, Syarifah Bahiyah Rahayu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 62
オンライン: https://doi.org/10.1007/978-3-642-32573-1
9.

電子ブック
ＥＢ
9. Advances in Computer Science and Information Technology. Computer Science and Engineering : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II. 1st ed. 2012
edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 85
オンライン: https://doi.org/10.1007/978-3-642-27308-7
10.

電子ブック
ＥＢ
10. Computer Applications for Communication, Networking, and Digital Contents : International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings. 1st ed. 2012
edited by Tai-hoon Kim, Dae-sik Ko, Thanos Vasilakos, Adrian Stoica, Jemal Abawajy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 350
オンライン: https://doi.org/10.1007/978-3-642-35594-3
11.

電子ブック
ＥＢ
11. Advances in Computer Science and Information Technology. Networks and Communications : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I. 1st ed. 2012
edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 84
オンライン: https://doi.org/10.1007/978-3-642-27299-8
12.

電子ブック
ＥＢ
12. Computer Applications for Graphics, Grid Computing, and Industrial Environment : International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings. 1st ed. 2012
edited by Tai-hoon Kim, Hyun-seob Cho, Osvaldo Gervasi, Stephen S. Yau
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 351
オンライン: https://doi.org/10.1007/978-3-642-35600-1
13.

電子ブック
ＥＢ
13. Computer Applications for Modeling, Simulation, and Automobile : International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings. 1st ed. 2012
edited by Tai-hoon Kim, Carlos Ramos, Jemal Abawajy, Byeong-Ho Kang, Dominik Slezak, Hojjat Adeli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 341
オンライン: https://doi.org/10.1007/978-3-642-35248-5
14.

電子ブック
ＥＢ
14. Mobile Lightweight Wireless Systems : Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers. 1st ed. 2012
edited by Javier Del Ser, Eduard Axel Jorswieck, Joaquin Miguez, Marja Matinmikko, Daniel P Palomar, Sancho Salcedo Sanz, Sergio Gil-Lopez
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 81
オンライン: https://doi.org/10.1007/978-3-642-29479-2
15.

電子ブック
ＥＢ
15. Advances in Computer Science and Information Technology. Computer Science and Information Technology : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III. 1st ed. 2012
edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 86
オンライン: https://doi.org/10.1007/978-3-642-27317-9
16.

電子ブック
ＥＢ
16. Software Process Improvement and Capability Determination : 12th International Conference, SPICE 2012, Palma de Mallorca, Spain, May 29-31, 2012. Proceedings. 1st ed. 2012
edited by Antonia Mas, Antoni Mesquida, Terry Rout, Rory V. O’Connor, Alec Dorling
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 290
オンライン: https://doi.org/10.1007/978-3-642-30439-2
17.

電子ブック
ＥＢ
17. Computer Applications for Database, Education and Ubiquitous Computing : International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings. 1st ed. 2012
edited by Tai-hoon Kim, Jianhua Ma, Wai-chi Fang, Yanchun Zhang, Alfredo Cuzzocrea
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 352
オンライン: https://doi.org/10.1007/978-3-642-35603-2
18.

電子ブック
ＥＢ
18. Mobile and Ubiquitous Systems: Computing, Networking, and Services : 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers. 1st ed. 2012
edited by Alessandro Puiatti, Tao Gu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 104
オンライン: https://doi.org/10.1007/978-3-642-30973-1
19.

電子ブック
ＥＢ
19. Algorithms - ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996. Proceedings. 1st ed. 1996
edited by Joseph Diaz, Maria Serna
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1136
オンライン: https://doi.org/10.1007/3-540-61680-2
20.

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

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

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

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

電子ブック
ＥＢ
24. Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Austria, September, 23 - 25, 1996, Proceedings. 1st ed. 1996
edited by Laszlo Böszörmenyi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1127
オンライン: https://doi.org/10.1007/3-540-61695-0
25.

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

電子ブック
ＥＢ
26. 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. 1st ed. 1996
edited by Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel, Hans-Michael Voigt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1141
オンライン: https://doi.org/10.1007/3-540-61723-X
27.

電子ブック
ＥＢ
27. Integer Programming and Combinatorial Optimization : 5th International IPCO Conference Vancouver, British Columbia, Canada June 3–5, 1996 Proceedings. 1st ed. 1996
edited by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1084
オンライン: https://doi.org/10.1007/3-540-61310-2
28.

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

電子ブック
ＥＢ
29. High-Performance Computing and Networking : International Conference and Exhibition, Brussels, Belgium, April 1996. Proceedings. 1st ed. 1996
edited by H. Liddell, A. Colbrook, Bob Hertzberger, P. Sloot
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1067
オンライン: https://doi.org/10.1007/3-540-61142-8
30.

電子ブック
ＥＢ
30. Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings. 1st ed. 1995
edited by Kanchana Kanchanasut, Jean-Jacques Levy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1023
オンライン: https://doi.org/10.1007/3-540-60688-2
31.

電子ブック
ＥＢ
31. Distributed Algorithms : 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings. 1st ed. 1995
edited by Jean-Michel Helary, Michel Raynal
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 972
オンライン: https://doi.org/10.1007/BFb0022134
32.

電子ブック
ＥＢ
32. Graph Drawing : DIMACS International Workshop, GD '94, Princeton, New Jersey, USA, October 10 - 12, 1994. Proceedings. 1st ed. 1995
edited by Roberto Tamassia, Ioannis G. Tollis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 894
オンライン: https://doi.org/10.1007/3-540-58950-3
33.

電子ブック
ＥＢ
33. Mathematics of Program Construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings. 1st ed. 1995
edited by Bernhard Möller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 947
オンライン: https://doi.org/10.1007/3-540-60117-1
34.

電子ブック
ＥＢ
34. Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings. 1st ed. 1995
edited by Paul Spirakis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 979
オンライン: https://doi.org/10.1007/3-540-60313-1
35.

電子ブック
ＥＢ
35. Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems. 1st ed. 1995
edited by Madhu Sudan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1001
オンライン: https://doi.org/10.1007/3-540-60615-7
36.

電子ブック
ＥＢ
36. Visualization of Scientific Parallel Programs
edited by Gerald Tomas, Christoph W. Ueberhuber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 771
オンライン: http://dx.doi.org/10.1007/3-540-57738-6
37.

電子ブック
ＥＢ
37. Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings. 1st ed. 1994
edited by P.S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 880
オンライン: https://doi.org/10.1007/3-540-58715-2
38.

電子ブック
ＥＢ
38. Distributed Algorithms : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings. 1st ed. 1994
edited by Gerard Tel, Paul Vitanyi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 857
オンライン: https://doi.org/10.1007/BFb0020419
39.

電子ブック
ＥＢ
39. Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings. 1st ed. 1994
edited by Igor Privara, Branislav Rovan, Peter Ruzicka
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 841
オンライン: https://doi.org/10.1007/3-540-58338-6
40.

電子ブック
ＥＢ
40. Parallel Problem Solving from Nature - PPSN III : International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings. 1st ed. 1994
edited by Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 866
オンライン: https://doi.org/10.1007/3-540-58484-6
41.

電子ブック
ＥＢ
41. Algorithms - ESA '94 : Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings. 1st ed. 1994
edited by Jan van Leeuwen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 855
オンライン: https://doi.org/10.1007/BFb0049390
42.

電子ブック
ＥＢ
42. Fast Software Encryption : Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings. 1st ed. 1994
edited by Ross Anderson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 809
オンライン: https://doi.org/10.1007/3-540-58108-1
43.

電子ブック
ＥＢ
43. Algorithms - ESA '93 : First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings. 1st ed. 1993
edited by Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 726
オンライン: https://doi.org/10.1007/3-540-57273-2
44.

電子ブック
ＥＢ
44. Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings. 1st ed. 1993
edited by Ernst W. Mayr
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 657
オンライン: https://doi.org/10.1007/3-540-56402-0
45.

電子ブック
ＥＢ
45. Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers. 1st ed. 1993
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 702
オンライン: https://doi.org/10.1007/3-540-56992-8
46.

電子ブック
ＥＢ
46. Foundations of Data Organization and Algorithms : 4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993. Proceedings. 1st ed. 1993
edited by David B. Lomet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 730
オンライン: https://doi.org/10.1007/3-540-57301-1
47.

電子ブック
ＥＢ
47. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings. 1st ed. 1993
edited by Richard S. Bird, C.Carroll Morgan, James C.P. Woodcock
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: https://doi.org/10.1007/3-540-56625-2
48.

電子ブック
ＥＢ
48. TAPSOFT '93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings. 1st ed. 1993
edited by Marie-Claude Gaudel, Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 668
オンライン: https://doi.org/10.1007/3-540-56610-4
49.

電子ブック
ＥＢ
49. Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings. 1st ed. 1993
edited by Andrzej M. Borzyszkowski, Stefan Sokolowski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 711
オンライン: https://doi.org/10.1007/3-540-57182-5
50.

電子ブック
ＥＢ
50. Parallel Computation : Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings. 1st ed. 1993
edited by Jens Volkert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 734
オンライン: https://doi.org/10.1007/3-540-57314-3