CiNii Books 著者 - European Association for Theoretical Computer Science

1

Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom

supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science

IEEE Computer Society c2010

所蔵館2館
2

Proceedings : twenty-third Annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008 Pittsburgh, Pennsylvania

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

IEEE Computer Society c2008

所蔵館3館
3

Proceedings : twenty-third Annual IEEE Conference on Computational Complexity CCC 2008 : 23-26 June 2008, College Park, Maryland

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT and EATCS

IEEE Computer Society c2008

所蔵館2館
4

SPAA '07 : proceedings of the nineteenth annual Symposium on Parallelism in Algorithms and Architectures

sponsored by ACM SIGACT & ACM SIGARCH ; in cooperation with EATCS ; and supported by Akamai, Intel, & Sun Microsystems

Association for Computing Machinery c2007

所蔵館4館
5

SPAA 2005 : seventeenth annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada, USA

sponsored by ACM SIGACT, ACM SIGARCH ; and organized in cooperation with the European Association for Theoretical Computer Science & Intel corporation

Association for Computing Machinery c2005

所蔵館5館
6

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

Association for Computing Machinery c2004

所蔵館6館
7

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)

Association for Computing Machinery c2003

所蔵館7館
8

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

IEEE Computer Society c2003

所蔵館16館
9

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

Association for Computing Machinery c2002

所蔵館6館
10

Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic Conference

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Logic, European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research

IEEE Computer Society c2002

所蔵館16館
11

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

Association for Computing Machinery c2001

所蔵館7館
12

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

Association for Computing Machinery c2000

所蔵館8館
13

Proceedings, 15th Annual IEEE Conference on Computational Complexity, July 4-7, 2000, Florence, Italy

sponsored by IEEE Computer Society Technical Committee for Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS

IEEE Computer Society c2000

: pbk , : case , : microfiche

所蔵館10館
14

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

Association for Computing Machinery c1999

所蔵館7館
15

Automata, languages and programming : 26th International Colloquium, ICALP '99, Prague, Czech Republic, July 11-15, 1999 : proceedings

Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (eds.)

Springer c1999 Lecture notes in computer science 1644

所蔵館49館
16

Proceedings, Fourteenth Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), May 4-6, 1999, Atlanta, Georgia, USA

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS

IEEE Computer Society c1999

: case , : soft , : microfiche

所蔵館11館
17

Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), June 15-18, 1998, Buffalo, New York, USA

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS

IEEE Computer Society c1998

: soft , : case , : microfiche

所蔵館13館
18

Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science, June 21-24, 1998, Indianapolis, Indiana

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]

IEEE Computer Society c1998

: softbound , : casebound

所蔵館19館
19

Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings

Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)

Springer c1998 Lecture notes in computer science 1443

所蔵館52館
20

Proceedings, Twelfth Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), June 24-27, Ulm, Germany

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.]

IEEE Computer Society c1997

: soft. , : case.

所蔵館10館

European Association for Theoretical Computer Science

検索結果55件中 1-20 を表示

この著者を外部サイトでさがす

関連著者