IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing

ID:DA01037742

別名: Computer Society Technical Committee on Mathematical Foundations of Computer Science

同姓同名の著者を検索

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

1
2
3
4
5
1 / 5

1

Proceedings : 26th Annual IEEE Symposium on Logic in Computer Science : Toronto, Ontario, Canada 21-24 june 2011

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society c2011

所蔵館2館
2

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館
3

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館
4

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館
5

Proceedings : 22nd Annual IEEE Symposium on Logic in Computer Science : LICS 2007 : Wroclaw , Poland 10-14 July 2007,

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society c2007

所蔵館4館
6

Proceedings 48th Annual IEEE Symposium on Foundations of Computer Science : October 20-23, 2007, Providencd, Rhode Island

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society c2007

所蔵館12館
7

Proceedings : twenty-second Annual IEEE Conference on Computational Complexity CCC 2007 : San Diego, California, June 13-16, 2007

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

IEEE Computer Society c2007

所蔵館3館
8

Proceedings : twenty-first Annual IEEE Conference on Computational Complexity (CCC 2006) : 16-20 June 2006, Prague, Czech Republic

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

IEEE Computer Society c2006

所蔵館4館
9

Proceedings 47th Annual IEEE Symposium on Foundations of Computer Science : 21-24 October 2006, Berkeley, California

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society c2006

所蔵館14館
10

Proceedings : 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : 12-15 August 2006, Seattle, Washington

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]

IEEE Computer Society c2006

所蔵館7館
11

Proceedings : 46th Annual IEEE Symposium on Foundations of Computer Science : 23-25 October 2005, Pittsburgh, Pennsylvania, USA

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society c2005

所蔵館20館
12

Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM

IEEE Computer Society c2005

所蔵館11館
13

Proceedings : twentieth Annual IEEE Conference on Computational Complexity : 11-15 June 2005, San Jose, CA

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT

IEEE Computer Society c2005

所蔵館7館
14

Proceedings : 45th Annual IEEE Symposium on Foundations of Computer Science : 17-19 October 2004, Rome, Italy

sponsored by IEEE Computer Society Technical Society on Foundations of Computing

IEEE Computer Society c2004

所蔵館18館
15

Proceedings : 19th IEEE Annual Conference on Computational Complexity : 21-24 June 2004, Amherst, Massachusetts

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT

IEEE Computer Society c2004

所蔵館8館
16

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004

sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]

IEEE Computer Society c2004

所蔵館12館
17

Proceedings : 44th Annual IEEE Symposium on Foundations of Computer Science : 11-14 October 2003, Cambridge, Massachusettes

sponsored by IEEE Computer Society Technical society on Foundations of Computing

IEEE Computer Society c2003

: pbk

所蔵館24館
18

Proceedings, 18th IEEE Annual Conference on Computational Complexity, 7-10 July 2003, Aarhus, Denmark

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

IEEE Computer Society c2003

所蔵館7館
19

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館
20

Proceedings : the 43rd Annual IEEE Symposium on Foundations of Computer Science : Vancouver, BC, Canada 16-19 November 2002

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT

IEEE Computer Society c2002

所蔵館24館

1
2
3
4
5
1 / 5

IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing

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

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

関連著者