IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingOverview
Publication Timeline
Most widely held works by
IEEE Computer Society
Proceedings
by Conference on Artificial Intelligence Applications
(
)
in English and held by 543 WorldCat member libraries worldwide
Annual Symposium on Foundations of Computer Science [papers]
by Symposium on Foundations of Computer Science
(
)
in English and held by 361 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 195 WorldCat member libraries worldwide
Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 2629, 1995, San Diego, California
by Symposium on Logic in Computer Science
(
Book
)
6 editions published between 1995 and 2002 in English and held by 176 WorldCat member libraries worldwide
Proceedings
by Symposium on Foundations of Computer Science
(
)
in English and held by 174 WorldCat member libraries worldwide
Proceedings, structure in complexity theory : fourth annual conference
by Structure in Complexity Theory Conference
(
Book
)
5 editions published in 1989 in English and held by 171 WorldCat member libraries worldwide
Proceedings of the Eighth Annual Structure in Complexity Theory Conference
by Institute of Electrical and Electronics Engineers
(
)
9 editions published in 1993 in English and held by 160 WorldCat member libraries worldwide
35th Annual Symposium on Foundations of Computer Science : proceedings ; November 2022, 1994, Santa Fe, New Mexico
by Symposium on Foundations of Computer Science
(
)
9 editions published in 1994 in English and held by 154 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 153 WorldCat member libraries worldwide
Proceedings, Eleventh Annual IEEE Conference on Computational Complexity : May 2427, 1996, Philadelphia, Pennsylvania
by Structure in Complexity Theory Conference
(
)
3 editions published in 1996 in English and held by 149 WorldCat member libraries worldwide
Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity : (formerly, Structure in Complexity Theory Conference) : June 1518, 1998, Buffalo, New York, USA
by IEEE Conference on Computational Complexity
(
)
7 editions published in 1998 in English and held by 146 WorldCat member libraries worldwide
Proceedings 31st Annual Symposium on Foundations of Computer Science : October 2224, 1990, St. Louis, Missouri
by Symposium on Foundations of Computer Science
(
)
6 editions published in 1990 in English and held by 138 WorldCat member libraries worldwide
Computational complexity proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 47, 2000, Florence, Italy
by IEEE Conference on Computational Complexity
(
)
4 editions published in 2000 in English and held by 134 WorldCat member libraries worldwide
30th Annual Symposium on Foundations of Computer Science October 30November 1, 1989
by Symposium on Foundations of Computer Science
(
)
3 editions published in 1989 in English and held by 133 WorldCat member libraries worldwide
25th Annual Symposium on Foundations of Computer Science October 2426, 1984
by Symposium on Foundations of Computer Science
(
)
7 editions published in 1984 in English and held by 133 WorldCat member libraries worldwide
28th annual Symposium on Foundations of Computer Science October 1214, 1987
by Symposium on Foundations of Computer Science
(
)
8 editions published between 1987 and 1988 in English and held by 132 WorldCat member libraries worldwide
27th Annual symposium on foundations of computer science October 2729, 1986
by 1986, Toronto) Symposium on Foundations of Computer Science (27
(
)
6 editions published in 1986 in English and held by 130 WorldCat member libraries worldwide
26th Annual Symposium on Foundations of Computer Science October 2123, 1985
by 1985, Portland, Or.) Symposium on Foundations of Computer Science (26
(
)
7 editions published in 1985 in English and held by 127 WorldCat member libraries worldwide
Proceedings of the Seventh Annual Structure in Complexity Theory Conference : June 2225, 1992, Boston University, Boston, Massachusetts
by IEEE Structure in Complexity Theory Conference
(
Book
)
8 editions published between 1992 and 2002 in English and held by 125 WorldCat member libraries worldwide
Proceedings, Tenth Annual Structure in Complexity Theory Conference : June 1922, 1995, Minneapolis, Minnesota
by 1995, Minneapolis, Minn.> Structure in Complexity Theory Conference. <10
(
Book
)
10 editions published between 1995 and 2002 in English and held by 123 WorldCat member libraries worldwide more
fewer
Audience Level
Related Identities
Associated Subjects
Algorithms Artificial intelligence Artificial intelligenceData processing Automatic control Computational complexity Computer architecture Computer arithmetic Computer arithmetic and logic units Computer networks Computer programming Computer programsCorrectness ComputersAccess control Computer science Computer scienceMathematics ComputersCircuits Computer security Computer storage devices Data protection Data transmission systems Distributed databasesReliability Electronic data processing Electronic data processing departmentsSecurity measures Electronic data processingDistributed processing Expert systems (Computer science) Floatingpoint arithmetic High performance computing Integrated circuitsTesting Integrated circuitsVery large scale integration Integrated circuitsVery large scale integrationComputeraided design Integrated circuitsVery large scale integrationDesign and construction Integrated circuitsWaferscale integration Logic, Symbolic and mathematical Logic programming Machine theory MedicineData processing Neural networks (Computer science) Nonlinear boundary value problems Optical data processing Pattern perception Polynomials Privacy, Right of Programming languages (Electronic computers) Robotics Robots, Industrial Semiconductors Semiconductor storage devicesTesting Software engineering Supercomputers Switching theory Telecommunication

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
Covers
