※一部利用できない機能があります
| 1.
図書 |
図書
|
edited by Guy Pujolle
|
||||||||||||
| 2.
図書 |
図書
|
edited by Khaldoun Al Agha
|
||||||||||||
| 3.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Parallel Processing ; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Processing, ACM SIGARCH
|
||||||||||||
| 4.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Society on 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 Parallel Processing ; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Processing, ACM SIGARCH
|
||||||||||||
| 7.
図書 |
図書
|
Yale N. Patt, Sanjay J. Patel
|
||||||||||||
| 8.
図書 |
図書
|
edited by Lars Arge, Giuseppe F. Italiano, and Robert Sedgewick
|
||||||||||||
| 9.
図書 |
図書
|
Markus Aleksy, Axel Korthaus, Martin Schader
|
||||||||||||
| 10.
図書 |
図書
|
edited by Munenori Kitahara, Koshiro Ota, Yoshinobu Arisada
|
||||||||||||
| 11.
図書 |
図書
|
Shaogang Gong, Stephen J. McKenna, Alexandra Psarrou
|
||||||||||||
| 12.
図書 |
図書
|
sponsors, IEEE Computer Society Technical Committee on Parallel Processing, Association for Computing Machinery
|
||||||||||||
| 13.
図書 |
図書
|
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
|
||||||||||||
| 14.
図書 |
図書
|
by Man Leung Wong, Kwong Sak Leung
|
||||||||||||
| 15.
図書 |
図書
|
sponsored by IEEE Computer Society Technical society on Foundations of Computing
|
||||||||||||
| 16.
図書 |
図書
|
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 (CRM), University of Ottawa
|
||||||||||||
| 17.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Logic, 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
|
||||||||||||
| 18.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Parallel Processing
|
||||||||||||
| 19.
図書 |
図書
|
by David Zhang, Xiaobo Li, Zhiyong Liu
|
||||||||||||
| 20.
図書 |
図書
|
editor, Marcos A. Rodrigues
|
||||||||||||
| 21.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Parallel Processing
|
||||||||||||
| 22.
図書 |
図書
|
Chia Siow Yue ... [et al.]
|
||||||||||||
| 23.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||||||||||
| 24.
図書 |
図書
|
editors, Jun Shen, P.S.P. Wang, Tianzu Zhang
|
||||||||||||
| 25.
図書 |
図書
|
Sunil K. Kopparapu, Uday B. Desai
|
||||||||||||
| 26.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT
|
||||||||||||
| 27.
図書 |
図書
|
editors, Ning Zhong ... [et al.]
|
||||||||||||
| 28.
図書 |
図書
|
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
|
||||||||||||
| 29.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
|
||||||||||||
| 30.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Parallel Processing ; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Processing, ACM SIGARCH
|
||||||||||||
| 31.
図書 |
|
Hans-Gerhard Gross
|
||||||||||||
| 32.
図書 |
図書
|
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
|
||||||||||||
| 33.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||||||||||
| 34.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||||||||||
| 35.
図書 |
図書
|
Symposium on Foundations of Computer Science
|
||||||||||||
| 36.
図書 |
図書
|
Symposium on Logic in Computer Science
|
||||||||||||
| 37.
図書 |
図書
|
Symposium on Foundations of Computer Science ; IEEE Computer Society
|
||||||||||||
| 38.
図書 |
図書
|
Rodney G. Downey, Denis R. Hirschfeldt
|
||||||||||||
| 39.
図書 |
図書
|
supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science
|
||||||||||||
| 40.
図書 |
図書
|
Symposium on Foundations of Computer Science ; IEEE Computer Society
|
||||||||||||
| 41.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||||||||||
| 42.
図書 |
図書
|
editors, Rafail Ostrovsky
|
||||||||||||
| 43.
図書 |
図書
|
B. Bérard ... [et al.]
|
||||||||||||
| 44.
図書 |
図書
|
Egon Börger, Robert Stärk
|
||||||||||||
| 45.
図書 |
図書
|
D. Bjørner
|
||||||||||||
| 46.
図書 |
|
Sarnath Ramnath and Brahma Dathan
目次情報:
|
||||||||||||
| 47.
図書 |
図書
|
David Harel, Dexter Kozen, Jerzy Tiuryn
|
||||||||||||
| 48.
図書 |
|
Chris Raistrick... [et al.]
|
||||||||||||
| 49.
図書 |
図書
|
D. Bjørner
|
||||||||||||
| 50.
図書 |
図書
|
editors Deepak D'Souza, Priti Shankar
|
