1.

図書
図書
1. Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 : proceedings
Luís Caires ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3580
所蔵情報: loading…
2.

図書
図書
2. 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
所蔵情報: loading…