| 1.
図書 |
図書
|
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, University of Ottawa
|
||||
| 2.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing(TCMF)
|
||||
| 3.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Lofic 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
|
||||
| 4.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||
| 5.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||
| 6.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||
| 7.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||
| 8.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||
| 9.
図書 |
図書
|
organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]
|
||||
| 10.
図書 |
図書
|
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from State University of New York at Buffalo ; edited by Steve Homer and Jin-Yi Cai
|
||||
| 11.
図書 |
図書
|
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||
| 12.
図書 |
図書
|
edited by Shafi Goldwasser ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||
| 13.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||
| 14.
図書 |
図書
|
sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing, in cooperation with the University of Puerto Rico at Mayaguez and at Rio Piedras
|
||||
| 15.
図書 |
図書
|
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computing Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, and the University of Colorado
|
||||
| 16.
図書 |
図書
|
sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group for Automata and Computability Theory, and Brown University
|
||||
| 17.
図書 |
図書
|
sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group for Automata and Computability Theory, Rice University, Departments of Mathematical Sciences and Electrical Engineering, the University of Houston, Department of Computer Science
|