※一部利用できない機能があります
1.
図書 |
sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART
|
|||||||
2.
図書 |
sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART
|
|||||||
3.
図書 |
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science
|