1.

図書
図書
1. CONCUR 2002 - concurrency theory : 13th International Conference, Brno, Czech Repubilc, August 20-23, 2002 : proceedings
Luboš Brim...[et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2421
所蔵情報: 図書館
2.

図書
図書
2. CONCUR 2001 - concurrency theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 : proceedings
Kim G. Larsen, Mogens Nielsen (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2154
所蔵情報: 図書館
3.

図書
図書
3. CONCUR 2000 - concurrency theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 : proceedings
Catuscia Palamidessi (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1877
所蔵情報: 図書館
4.

図書
図書
4. Coordination languages and models : 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings
António Porto, Gruia-Catalin Roman (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1906
所蔵情報: 図書館
5.

図書
図書
5. Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Joost-Pieter Katoen (ed.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1601
所蔵情報: 図書館
6.

図書
図書
6. Euro-Par '99 parallel processing : 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999 : proceedings
Patrick Amestoy ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1685
所蔵情報: 図書館
7.

図書
図書
7. Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1536
所蔵情報: 図書館
8.

図書
図書
8. Job scheduling strategies for parallel processing : IPPS/SPDP '98 Workshop, Orlando, Florida,USA,March 30, 1998 : proceedings
Dror G. Feitelson, Larry Rudolph (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1459
所蔵情報: 図書館
9.

図書
図書
9. Parallel computer routing and communication : Second International Workshop, PCRCW '97, Atlanta, Georgia, USA, June 26-27, 1997 : proceedings (:)
Sudhakar Yalamanchili, José Duato (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1417
所蔵情報: 図書館
10.

図書
図書
10. Solving irregularly structured problems in parallel : 5th International Symposium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998 : proceedings
A. Ferreira ... [et al.], eds.
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1457
所蔵情報: 図書館