1.

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

電子ブック
ＥＢ
2. Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: http://dx.doi.org/10.1007/3-540-60299-2
3.

電子ブック
ＥＢ
3. System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings
edited by A. Nico Habermann, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 275
オンライン: http://dx.doi.org/10.1007/3-540-18341-8
4.

電子ブック
ＥＢ
4. TAPSOFT '87 : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 249
オンライン: http://dx.doi.org/10.1007/3-540-17660-8
5.

電子ブック
ＥＢ
5. TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 250
オンライン: http://dx.doi.org/10.1007/BFb0014968
6.

電子ブック
ＥＢ
6. International Symposium on Programming : 5th Colloquium Turin, April 6–8, 1982 Proceedings
edited by Mariangiola Dezani-Ciancaglini, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 137
オンライン: http://dx.doi.org/10.1007/3-540-11494-7