1.

電子ブック
ＥＢ
1. Instruction Sequences for Computer Science
by Jan A. Bergstra, Cornelis A. Middelburg
出版情報: Paris : Atlantis Press, 2012
シリーズ名: Atlantis Studies in Computing ; 2
オンライン: http://dx.doi.org/10.2991/978-94-91216-65-7
2.

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

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

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

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

電子ブック
ＥＢ
6. The Data Parallel Programming Model : Foundations, HPF Realization, and Scientific Applications
edited by Guy-René Perrin, Alain Darte
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1132
オンライン: http://dx.doi.org/10.1007/3-540-61736-1
7.

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

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

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

電子ブック
ＥＢ
10. Hybrid Systems II
edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 999
オンライン: http://dx.doi.org/10.1007/3-540-60472-3
11.

電子ブック
ＥＢ
11. Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings
edited by Horst Reichel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 965
オンライン: http://dx.doi.org/10.1007/3-540-60249-6
12.

電子ブック
ＥＢ
12. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings
edited by Jiří Wiedermann, Petr Hájek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: http://dx.doi.org/10.1007/3-540-60246-1
13.

電子ブック
ＥＢ
13. Graph-Theoretic Concepts in Computer Science : 21st International Workshop, WG '95 Aachen, Germany, June 20–22, 1995 Proceedings
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1017
オンライン: http://dx.doi.org/10.1007/3-540-60618-1
14.

電子ブック
ＥＢ
14. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2–4, 1995 Proceedings
edited by Ernst W. Mayr, Claude Puech
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 900
オンライン: http://dx.doi.org/10.1007/3-540-59042-0
15.

電子ブック
ＥＢ
15. CONCUR '95: Concurrency Theory : 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings
edited by Insup Lee, Scott A. Smolka
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 962
オンライン: http://dx.doi.org/10.1007/3-540-60218-6
16.

電子ブック
ＥＢ
16. Foundations of Software Technology and Theoretical Computer Science : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings
edited by P. S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1026
オンライン: http://dx.doi.org/10.1007/3-540-60692-0
17.

電子ブック
ＥＢ
17. LATIN '95: Theoretical Informatics : Second Latin American Symposium Valparaíso, Chile, April 3–7, 1995 Proceedings
edited by Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 911
オンライン: http://dx.doi.org/10.1007/3-540-59175-3
18.

電子ブック
ＥＢ
18. Application and Theory of Petri Nets 1995 : 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings
edited by Giorgio Michelis, Michel Diaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 935
オンライン: http://dx.doi.org/10.1007/3-540-60029-9
19.

電子ブック
ＥＢ
19. Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
edited by Leszek Pacholski, Jerzy Tiuryn
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 933
オンライン: http://dx.doi.org/10.1007/BFb0022242
20.

電子ブック
ＥＢ
20. TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 915
オンライン: http://dx.doi.org/10.1007/3-540-59293-8
21.

電子ブック
ＥＢ
21. STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings
edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 775
オンライン: http://dx.doi.org/10.1007/3-540-57785-8
22.

電子ブック
ＥＢ
22. Logic, Language and Computation : Festschrift in Honor of Satoru Takasu
edited by Neil D. Jones, Masami Hagiya, Masahiko Sato
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 792
オンライン: http://dx.doi.org/10.1007/BFb0032390
23.

電子ブック
ＥＢ
23. CONCUR '94: Concurrency Theory : 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings
edited by Bengt Jonsson, Joachim Parrow
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 836
オンライン: http://dx.doi.org/10.1007/BFb0014992
24.

電子ブック
ＥＢ
24. Automata, Languages and Programming : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
edited by Serge Abiteboul, Eli Shamir
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 820
オンライン: http://dx.doi.org/10.1007/3-540-58201-0
25.

電子ブック
ＥＢ
25. Theoretical Aspects of Computer Software : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings
edited by Masami Hagiya, John C. Mitchell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 789
オンライン: http://dx.doi.org/10.1007/3-540-57887-0
26.

電子ブック
ＥＢ
26. Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
edited by Egon Börger, Yuri Gurevich, Karl Meinke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 832
オンライン: http://dx.doi.org/10.1007/BFb0049319
27.

電子ブック
ＥＢ
27. Application and Theory of Petri Nets 1994 : 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings
edited by Robert Valette
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 815
オンライン: http://dx.doi.org/10.1007/3-540-58152-9
28.

電子ブック
ＥＢ
28. Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings
edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 812
オンライン: http://dx.doi.org/10.1007/3-540-58131-6
29.

電子ブック
ＥＢ
29. Trees in Algebra and Programming — CAAP'94 : 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings
edited by Sophie Tison
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 787
オンライン: http://dx.doi.org/10.1007/BFb0017469
30.

電子ブック
ＥＢ
30. Mathematical Foundations of Programming Semantics : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 802
オンライン: http://dx.doi.org/10.1007/3-540-58027-1
31.

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

電子ブック
ＥＢ
32. Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings
edited by Igor Prívara, Branislav Rovan, Peter Ruzička
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 841
オンライン: http://dx.doi.org/10.1007/3-540-58338-6
33.

電子ブック
ＥＢ
33. CONCUR'93 : 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings
edited by Eike Best
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 715
オンライン: http://dx.doi.org/10.1007/3-540-57208-2
34.

電子ブック
ＥＢ
34. Automata, Languages and Programming : 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings
edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 700
オンライン: http://dx.doi.org/10.1007/3-540-56939-1
35.

電子ブック
ＥＢ
35. Hybrid Systems
edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 736
オンライン: http://dx.doi.org/10.1007/3-540-57318-6
36.

電子ブック
ＥＢ
36. Advances in Petri Nets 1993
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 674
オンライン: http://dx.doi.org/10.1007/3-540-56689-9
37.

電子ブック
ＥＢ
37. STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings
edited by P. Enjalbert, A. Finkel, K. W. Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 665
オンライン: http://dx.doi.org/10.1007/3-540-56503-5
38.

電子ブック
ＥＢ
38. Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 702
オンライン: http://dx.doi.org/10.1007/3-540-56992-8
39.

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

電子ブック
ＥＢ
40. TAPSOFT'93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings
edited by M. -C. Gaudel, J. -P. Jouannaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 668
オンライン: http://dx.doi.org/10.1007/3-540-56610-4
41.

電子ブック
ＥＢ
41. Fundamentals of Computation Theory : 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings
edited by Zoltán Ésik
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 710
オンライン: http://dx.doi.org/10.1007/3-540-57163-9
42.

電子ブック
ＥＢ
42. Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings
edited by Rudrapatna K. Shyamasundar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 761
オンライン: http://dx.doi.org/10.1007/3-540-57529-4
43.

電子ブック
ＥＢ
43. Application and Theory of Petri Nets 1993 : 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings
edited by Marco Ajmone Marsan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 691
オンライン: http://dx.doi.org/10.1007/3-540-56863-8
44.

電子ブック
ＥＢ
44. Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
edited by Andrzej M. Borzyszkowski, Stefan Sokołowski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 711
オンライン: http://dx.doi.org/10.1007/3-540-57182-5
45.

電子ブック
ＥＢ
45. CONCUR '92 : Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings
edited by W.R. Cleaveland
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 630
オンライン: http://dx.doi.org/10.1007/BFb0084777
46.

電子ブック
ＥＢ
46. Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 600
オンライン: http://dx.doi.org/10.1007/BFb0031984
47.

電子ブック
ＥＢ
47. Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 626
オンライン: http://dx.doi.org/10.1007/BFb0023753
48.

電子ブック
ＥＢ
48. Mathematical Foundations of Computer Science 1992 : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings
edited by Ivan M. Havel, Václav Koubek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 629
オンライン: http://dx.doi.org/10.1007/3-540-55808-X
49.

電子ブック
ＥＢ
49. Mathematical Foundations of Programming Semantics : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 598
オンライン: http://dx.doi.org/10.1007/3-540-55511-0
50.

電子ブック
ＥＢ
50. Theory of Computing and Systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings
edited by D. Dolev, Z. Galil, M. Rodeh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 601
オンライン: http://dx.doi.org/10.1007/BFb0035160
51.

電子ブック
ＥＢ
51. CAAP '92 : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings
edited by J. -C. Raoult
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 581
オンライン: http://dx.doi.org/10.1007/3-540-55251-0
52.

電子ブック
ＥＢ
52. Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings
edited by K. Jensen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 616
オンライン: http://dx.doi.org/10.1007/3-540-55676-1
53.

電子ブック
ＥＢ
53. Foundations of Software Technology and Theoretical Computer Science : 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
edited by Rudrapatna Shyamasundar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 652
オンライン: http://dx.doi.org/10.1007/3-540-56287-7
54.

電子ブック
ＥＢ
54. Advances in Petri Nets 1992
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 609
オンライン: http://dx.doi.org/10.1007/3-540-55610-9
55.

電子ブック
ＥＢ
55. STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings
edited by Alain Finkel, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 577
オンライン: http://dx.doi.org/10.1007/3-540-55210-3
56.

電子ブック
ＥＢ
56. Advances in Petri Nets 1990
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 483
オンライン: http://dx.doi.org/10.1007/3-540-53863-1
57.

電子ブック
ＥＢ
57. Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 533
オンライン: http://dx.doi.org/10.1007/3-540-54487-9
58.

電子ブック
ＥＢ
58. Baltic Computer Science : Selected Papers
edited by Janis Bārzdinš, Dines Bjørner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 502
オンライン: http://dx.doi.org/10.1007/BFb0019352
59.

電子ブック
ＥＢ
59. Fundamentals of Computation Theory : 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings
edited by L. Budach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 529
オンライン: http://dx.doi.org/10.1007/3-540-54458-5
60.

電子ブック
ＥＢ
60. CONCUR '91 : 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
edited by Jos C. M. Baeten, Jan Frisco Groote
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 527
オンライン: http://dx.doi.org/10.1007/3-540-54430-5
61.

電子ブック
ＥＢ
61. Concurrency: Theory, Language, and Architecture : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings
edited by Akinori Yonezawa, Takayasu Ito
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 491
オンライン: http://dx.doi.org/10.1007/3-540-53932-8
62.

電子ブック
ＥＢ
62. Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India December 17–19, 1991 Proceedings
edited by Somenath Biswas, Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 560
オンライン: http://dx.doi.org/10.1007/3-540-54967-6
63.

電子ブック
ＥＢ
63. Mathematical Foundations of Computer Science 1991 : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings
edited by Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 520
オンライン: http://dx.doi.org/10.1007/3-540-54345-7
64.

電子ブック
ＥＢ
64. STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings
edited by Christian Choffrut, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 480
オンライン: http://dx.doi.org/10.1007/BFb0020782
65.

電子ブック
ＥＢ
65. Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
edited by Jan Vytopil
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 571
オンライン: http://dx.doi.org/10.1007/3-540-55092-5
66.

電子ブック
ＥＢ
66. Advances in Petri Nets 1991
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 524
オンライン: http://dx.doi.org/10.1007/BFb0019965
67.

電子ブック
ＥＢ
67. Theoretical Aspects of Computer Software : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings
edited by Takayasu Ito, Albert R. Meyer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 526
オンライン: http://dx.doi.org/10.1007/3-540-54415-1
68.

電子ブック
ＥＢ
68. Mathematical Foundations of Computer Science 1990 : Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings
edited by Branislav Rovan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 452
オンライン: http://dx.doi.org/10.1007/BFb0029591
69.

電子ブック
ＥＢ
69. Advances in Petri Nets 1989
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 424
オンライン: http://dx.doi.org/10.1007/3-540-52494-0
70.

電子ブック
ＥＢ
70. STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings
edited by Christian Choffrut, Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 415
オンライン: http://dx.doi.org/10.1007/3-540-52282-4
71.

電子ブック
ＥＢ
71. CONCUR '90 Theories of Concurrency: Unification and Extension : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings
edited by J. C. M. Baeten, J. W. Klop
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 458
オンライン: http://dx.doi.org/10.1007/BFb0039045
72.

電子ブック
ＥＢ
72. Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings
edited by Antoni Kreczmar, Grazyna Mirkowska
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 379
オンライン: http://dx.doi.org/10.1007/3-540-51486-4
73.

電子ブック
ＥＢ
73. Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
by Dirk A. Taubner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 369
オンライン: http://dx.doi.org/10.1007/3-540-51525-9
74.

電子ブック
ＥＢ
74. STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16–18, 1989 Proceedings
edited by B. Monien, R. Cori
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 349
オンライン: http://dx.doi.org/10.1007/BFb0028968
75.

電子ブック
ＥＢ
75. Fundamentals of Computation Theory : International Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings
edited by J. Csirik, J. Demetrovics, F. Gécseg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 380
オンライン: http://dx.doi.org/10.1007/3-540-51498-8
76.

電子ブック
ＥＢ
76. Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 372
オンライン: http://dx.doi.org/10.1007/BFb0035746
77.

電子ブック
ＥＢ
77. Advances in Petri Nets 1988
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 340
オンライン: http://dx.doi.org/10.1007/3-540-50580-6
78.

電子ブック
ＥＢ
78. Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India December 21–23, 1988 Proceedings
edited by Kesav V. Nori, Sanjeev Kumar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 338
オンライン: http://dx.doi.org/10.1007/3-540-50517-2
79.

電子ブック
ＥＢ
79. Mathematical Models for the Semantics of Parallelism : Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings
edited by Marisa Venturini Zilli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 280
オンライン: http://dx.doi.org/10.1007/3-540-18419-8
80.

電子ブック
ＥＢ
80. CAAP '86 : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24–26, 1986 Proceedings
edited by Paul Franchi-Zannettacci
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 214
オンライン: http://dx.doi.org/10.1007/BFb0022653
81.

電子ブック
ＥＢ
81. Automata, Languages and Programming : 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings
edited by Laurent Kott
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 226
オンライン: http://dx.doi.org/10.1007/3-540-16761-7
82.

電子ブック
ＥＢ
82. Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings
edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 242
オンライン: http://dx.doi.org/10.1007/3-540-17184-3
83.

電子ブック
ＥＢ
83. STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986
edited by B. Monien, G. Vidal-Naquet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 210
オンライン: http://dx.doi.org/10.1007/3-540-16078-7
84.

電子ブック
ＥＢ
84. Logics of Programs : Brooklyn, June 17–19, 1985 Proceedings
edited by Rohit Parikh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 193
オンライン: http://dx.doi.org/10.1007/3-540-15648-8
85.

電子ブック
ＥＢ
85. Automata, Languages and Programming : 11th Colloquium Antwerp, Belgium, July 16–20, 1984
edited by Jan Paredaens
出版情報: Berlin, Heidelberg : Springer-Verlag, 1984
シリーズ名: Lecture Notes in Computer Science ; 172
オンライン: http://dx.doi.org/10.1007/3-540-13345-3
86.

電子ブック
ＥＢ
86. Theoretical Computer Science : 5th GI-Conference Karlsruhe, March 23–25, 1981
edited by Peter Deussen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1981
シリーズ名: Lecture Notes in Computer Science ; 104
オンライン: http://dx.doi.org/10.1007/BFb0017288
87.

電子ブック
ＥＢ
87. Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975
edited by Jíří Bečvář
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 32
オンライン: http://dx.doi.org/10.1007/3-540-07389-2