WorldCat Identities

IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Overview
Works: 362 works in 772 publications in 1 language and 12,880 library holdings
Genres: Conference proceedings  Periodicals 
Roles: Editor, Funder
Classifications: QA267, 004
Publication Timeline
.
Most widely held works by IEEE Computer Society
Annual Symposium on Foundations of Computer Science [papers] by Symposium on Foundations of Computer Science( )

in English and held by 353 WorldCat member libraries worldwide

Proceedings by IEEE Conference on Computational Complexity( )

in English and held by 337 WorldCat member libraries worldwide

Proceedings by Symposium on Logic in Computer Science( )

in English and held by 224 WorldCat member libraries worldwide

Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California by Symposium on Logic in Computer Science( Book )

6 editions published between 1995 and 2002 in English and held by 201 WorldCat member libraries worldwide

Proceedings : the Sixth Annual IEEE Symposium on Logic in Computer Science ; July 15-18, 1991, Amsterdam, the Netherlands by Symposium on Logic in Computer Science( )

12 editions published in 1991 in English and held by 193 WorldCat member libraries worldwide

Proceedings, structure in complexity theory fourth annual conference by 1989, Eugene, Or.) Structure in Complexity Theory Conference (4( )

2 editions published in 1989 in English and held by 188 WorldCat member libraries worldwide

Conference record of the ... annual ACM Symposium on Theory of Computing by ACM Symposium on Theory of Computing( )

in English and No Linguistic content and held by 188 WorldCat member libraries worldwide

Proceedings, Tenth Annual Structure in Complexity Theory Conference June 19-22, 1995, Minneapolis, Minnesota by 1995, Minneapolis, Minn.> Structure in Complexity Theory Conference. <10( )

9 editions published between 1995 and 2002 in English and held by 188 WorldCat member libraries worldwide

Proceedings of the Eighth Annual Structure in Complexity Theory Conference by Institute of Electrical and Electronics Engineers( )

7 editions published in 1993 in English and held by 181 WorldCat member libraries worldwide

Proceedings by Symposium on Foundations of Computer Science( )

in English and held by 174 WorldCat member libraries worldwide

35th Annual Symposium on Foundations of Computer Science proceedings ; November 20-22, 1994, Santa Fe, New Mexico by Symposium on Foundations of Computer Science( )

7 editions published in 1994 in English and held by 172 WorldCat member libraries worldwide

Proceedings, Eleventh Annual IEEE Conference on Computational Complexity May 24-27, 1996, Philadelphia, Pennsylvania by 1996, Philadelphia, Pa.> Conference on Computational Complexity. <11( )

2 editions published in 1996 in English and held by 170 WorldCat member libraries worldwide

Proceedings, Twelfth Annual IEEE Conference on Computational Complexity June 24-27, 1997, Ulm, Germany by 1997, Ulm) Conference on Computational Complexity (12( )

5 editions published in 1997 in English and held by 169 WorldCat member libraries worldwide

Proceedings 32nd annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1-4, 1991 by Symposium on Foundations of Computer Science( )

4 editions published in 1991 in English and held by 168 WorldCat member libraries worldwide

38th Annual Symposium on Foundations of Computer Science proceedings : October 20-22, 1997, Miami Beach, Florida by Symposium on Foundations of Computer Science( )

4 editions published in 1997 in English and held by 161 WorldCat member libraries worldwide

Proceedings 31st Annual Symposium on Foundations of Computer Science : October 22-24, 1990, St. Louis, Missouri by Symposium on Foundations of Computer Science( )

5 editions published in 1990 in English and held by 156 WorldCat member libraries worldwide

40th Annual Symposium on Foundations of Computer Science October 17-19, 1999, New York City, New York by 1999, New York, NY) Symposium on Foundations of Computer Science (40( )

7 editions published in 1999 in English and held by 156 WorldCat member libraries worldwide

25th Annual Symposium on Foundations of Computer Science October 24-26, 1984 by Symposium on Foundations of Computer Science( )

7 editions published in 1984 in English and held by 155 WorldCat member libraries worldwide

28th annual Symposium on Foundations of Computer Science October 12-14, 1987 by 1987, Los Angeles, Calif.) Symposium on Foundations of Computer Science (28( )

7 editions published in 1987 in English and held by 155 WorldCat member libraries worldwide

Conference proceedings of the ... annual ACM Symposium on Theory of Computing by ACM Symposium on Theory of Computing( )

in English and held by 154 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.84 (from 0.80 for Proceeding ... to 0.90 for Conference ...)

Alternative Names
Computer Society Technical Committee on Mathematical Foundations of Computer Science

IEEE Computer Society Technical Committee for Mathematical Foundations of Computing

IEEE Technical Committee on Mathematical Foundations of Computing.

Institute of Electrical and Electronics Engineers Computer Society Technical Committee on Mathematical Foundations of Computing

Technical Committee on Mathematical Foundations of Computing.

Languages
English (125)

Covers
40th Annual Symposium on Foundations of Computer Science October 17-19, 1999, New York City, New York25th Annual Symposium on Foundations of Computer Science October 24-26, 1984