1.

図書
図書
1. SPAA 2004 : sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with European Association for Theoretical Computer Science & Intel corporation
出版情報: New York : Association for Computing Machinery, c2004
所蔵情報: loading…
2.

図書
図書
2. SPAA 2003 : fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego. California, USA
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS(European Association for Theoretical Computer Science)
出版情報: New York : Association for Computing Machinery, c2003
所蔵情報: loading…
3.

図書
図書
3. Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
4.

図書
図書
4. SPAA 2002 : Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, August 10-13, 2002, Winnipeg, Manitoba, Canada
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c2002
所蔵情報: loading…
5.

図書
図書
5. SPAA 2001 : thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, July 3-6, 2001, Crete island, Greece
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c2001
所蔵情報: loading…
6.

図書
図書
6. SPAA 2000 : Twelfth annual ACM symposium on parallel algorithms and architectures, July 9-12, 2000, Bar Harbor, Maine
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c2000
所蔵情報: loading…
7.

図書
図書
7. SPAA '99 : Eleventh annual ACM symposium on parallel algorithms and architectures, June 27-30, 1999, Saint-Malo, France
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c1999
所蔵情報: loading…
8.

図書
図書
8. Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1443
所蔵情報: loading…
9.

図書
図書
9. Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science, June 21-24, 1998, Indianapolis, Indiana (: softbound ; : casebound)
organized by Indiana University, Bloomington ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from College of Arts and Sciences, Indiana University, Bloomington ... [et. al]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1998
所蔵情報: loading…
10.

図書
図書
10. Proceedings, Twelfth Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), June 24-27, Ulm, Germany (: soft. ; : case.)
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT and EATCS ; with support from Ulmer Univeritäts-Gesellschaft ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997
所蔵情報: loading…