※一部利用できない機能があります
1.
図書 |
TAC情報処理講座編
|
|||||||
2.
図書 |
門脇香奈子著
|
|||||||
3.
図書 |
切田節子 [ほか] 共著
|
|||||||
4.
図書 |
edited by Guy Pujolle
|
|||||||
5.
図書 |
edited by Khaldoun Al Agha
|
|||||||
6.
図書 |
研究代表者 大山口通夫
|
|||||||
7.
図書 |
木村真也著
|
|||||||
8.
図書 |
沢勲著
|
|||||||
9.
図書 |
福嶋宏訓著
|
|||||||
10.
図書 |
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
|
|||||||
11.
図書 |
寺田幸正著
|
|||||||
12.
図書 |
柏崎吉一, 須藤公明著
|
|||||||
13.
図書 |
高田美樹著
|
|||||||
14.
図書 |
中部経済連合会[編]
|
|||||||
15.
図書 |
sponsored by IEEE Computer Society Technical Society on Foundations of Computing
|
|||||||
16.
図書 |
V. Kumar, N. Leonard, A.S. Morse (eds.)
|
|||||||
17.
図書 |
肖珑主编, 肖珑 [ほか] 编著
|
|||||||
18.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
|||||||
19.
図書 |
研究代表者 石上英一
|
|||||||
20.
図書 |
村上輝康
|
|||||||
21.
図書 |
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
|
|||||||
22.
図書 |
Yale N. Patt, Sanjay J. Patel
|
|||||||
23.
図書 |
Sara Kiesler...[et al.]
|
|||||||
24.
図書 |
edited by Lars Arge, Giuseppe F. Italiano, and Robert Sedgewick
|
|||||||
25.
図書 |
Markus Aleksy, Axel Korthaus, Martin Schader
|
|||||||
26.
図書 |
白井暁彦 [ほか] 共著
|
|||||||
27.
図書 |
紅林秀治, 青木浩幸著
|
|||||||
28.
図書 |
Norman L. Biggs
|
|||||||
29.
図書 |
edited by Munenori Kitahara, Koshiro Ota, Yoshinobu Arisada
|
|||||||
30.
図書 |
川合慧, 萩谷昌己著
|
|||||||
31.
図書 |
椎原正次著
|
|||||||
32.
図書 |
小林健一郎著
|
|||||||
33.
図書 |
ロバート・スコーブル, シェル・イスラエル著 ; 滑川海彦, 高橋信夫訳
|
|||||||
34.
図書 |
桑名由美著
|
|||||||
35.
図書 |
軍司聖詞 [著]
|
|||||||
36.
図書 |
情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター著作監修
|
|||||||
37.
図書 |
Steven Homer, Alan L. Selman
|
|||||||
38.
図書 |
岩松信洋 [ほか] 共著
|
|||||||
39.
図書 |
水町雅子著
|
|||||||
40.
図書 |
アンドリュー・マカフィー, エリック・ブリニョルフソン著 ; 村井 章子訳
|
|||||||
41.
図書 |
川原靖弘, 片桐祥雅編著
|
|||||||
42.
図書 |
人間文化研究機構研究資源共有化事業委員会編集
|
|||||||
43.
図書 |
生田信一 [ほか] 著
|
|||||||
44.
図書 |
広瀬洋子, 関根千佳編著
|
|||||||
45.
図書 |
山田恒夫編著
|
|||||||
46.
図書 |
岡部洋一著
|
|||||||
47.
図書 |
青木久美子, 高橋秀明著
|
|||||||
48.
図書 |
研究代表者 倉田敬子
|
|||||||
49.
図書 |
阿部勘一, noa出版著
|
|||||||
50.
図書 |
Uday Apte, Uday Karmarkar, Hiranya Nath
|
|||||||
51.
図書 |
北村かよ子編
|
|||||||
52.
図書 |
Shaogang Gong, Stephen J. McKenna, Alexandra Psarrou
|
|||||||
53.
図書 |
sponsors, IEEE Computer Society Technical Committee on Parallel Processing, Association for Computing Machinery
|
|||||||
54.
図書 |
Richard Hartley, Andrew Zisserman
|
|||||||
55.
図書 |
FEST Project編集委員会編
|
|||||||
56.
図書 |
Richard P. Feynman ; edited by Tony Hey and W. Allen
|
|||||||
57.
図書 |
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
|
|||||||
58.
図書 |
by Man Leung Wong, Kwong Sak Leung
|
|||||||
59.
図書 |
sponsored by IEEE Computer Society Technical society on Foundations of Computing
|
|||||||
60.
図書 |
京都学園大学総合研究所編
|
|||||||
61.
図書 |
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
|
|||||||
62.
図書 |
Michael J. Quinn
|
|||||||
63.
図書 |
切通博朗著
|
|||||||
64.
図書 |
図書館情報大学生涯学習教育研究センター編
|
|||||||
65.
図書 |
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
|
|||||||
66.
図書 |
sponsored by IEEE Computer Society Technical Committee on Parallel Processing
|
|||||||
67.
図書 |
東北大学電気通信研究所 ; 東北大学大学院電気・情報系
|
|||||||
68.
図書 |
by David Zhang, Xiaobo Li, Zhiyong Liu
|
|||||||
69.
図書 |
京都学園大学総合研究所編
|
|||||||
70.
図書 |
イメージ情報科学研究所 ; 新エネルギー・産業技術総合開発機構
|
|||||||
71.
図書 |
イメージ情報科学研究所 ; 新エネルギー・産業技術総合開発機構
|
|||||||
72.
図書 |
島村徹也監修; トリケップス企画部編
|
|||||||
73.
図書 |
稲葉和也, 室谷心共著
|
|||||||
74.
図書 |
editor, Marcos A. Rodrigues
|
|||||||
75.
図書 |
sponsored by IEEE Computer Society Technical Committee on Parallel Processing
|
|||||||
76.
図書 |
小野欽司研究代表
|
|||||||
77.
図書 |
Chia Siow Yue ... [et al.]
|
|||||||
78.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
|||||||
79.
図書 |
editors, Jun Shen, P.S.P. Wang, Tianzu Zhang
|
|||||||
80.
図書 |
Sunil K. Kopparapu, Uday B. Desai
|
|||||||
81.
図書 |
米岡学, 池田清一著
|
|||||||
82.
図書 |
長井務編
|
|||||||
83.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT
|
|||||||
84.
図書 |
editors, Ning Zhong ... [et al.]
|
|||||||
85.
図書 |
科学技術振興機構中国総合研究・さくらサイエンスセンター編
|
|||||||
86.
図書 |
安岡孝一, 安岡素子 [編]
|
|||||||
87.
図書 |
森洋久編集
|
|||||||
88.
図書 |
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
|
|||||||
89.
図書 |
Moritz Diehl, Katja Mombaur (eds.)
|
|||||||
90.
図書 |
杉原厚吉 [ほか] 編
|
|||||||
91.
図書 |
研究代表者:大山口通夫
|
|||||||
92.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
|
|||||||
93.
図書 |
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
|
|||||||
94.
視聴覚資料 |
|
|||||||
95.
視聴覚資料 |
|
|||||||
96.
図書 |
田中徹, 難波美帆著
|
|||||||
97.
図書 |
大谷晋平 [ほか] 著
|
|||||||
98.
図書 |
Raymond Séroul ; translated from the French by Donal O'Shea
|
|||||||
99.
図書 |
Guerino Mazzola, Gérard Milmeister, Jody Weissmann
|
|||||||
100.
図書 |
Paul A. Fuhrmann, Uwe Helmke
|