| 1.
図書 |
図書
|
sponsored by the Association for Computing Machinery SIGPLAN, SIGACT, SIGART
|
||||
| 2.
図書 |
図書
|
edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery
|
||||
| 3.
図書 |
図書
|
editors, Kai Hwang, Steven M. Jacobs, Earl E. Swartzlander ; co-sponsored by Department of Electrical Engineering, Penn. State University and the IEEE Computer Society in cooperation with the Association for Computing Machinery
|
||||
| 4.
図書 |
図書
|
ACM/IEEE Design Automation Conference ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery
|
