サテライトキャンパス 組込み参考書 37冊 1 12190512428 C42.3/ R

サテライトキャンパス
No.
Book ID
組込み参考書
Call Num.
Title
Author
1
2
3
12190512428 C42.3/ R
12190512437 C42.3/ R
12190512446 C42.3/ R
The unified modeling language reference manual
The unified modeling language reference manual
The unified modeling language reference manual
4
12190512455 C45.2/ C /
Model checking
5
12190512464 C45.2/ C /
Model checking
6
12190512473 C45.2/ C /
Model checking
7
12190512482 C45.2/ C /
Model checking
8
9
10
11
12
13
14
15
16
12190512491
12190512501
12190512511
12190512520
12190512612
12190512621
12190512631
12190512640
12190512954
17
12190512963 C44 / B
18
12190512972 C23.1/ I
Computer organization and design : the hardware
Computer organization and design : the hardware
Computer organization and design : the hardware
Computer organization and design : the hardware
プロジェクトマネジメント知識体系ガイド (PMBOKガイド).
プロジェクトマネジメント知識体系ガイド (PMBOKガイド).
プロジェクトマネジメント知識体系ガイド (PMBOKガイド).
プロジェクトマネジメント知識体系ガイド (PMBOKガイド).
The unified modeling language reference manual
Hard real-time computing systems : predictable scheduling
algorithms and applications
Introduction to HOL : a theorem proving environment for
higher order logic
James Rumbaugh, Ivar Jacobson, Grady Booch.
James Rumbaugh, Ivar Jacobson, Grady Booch.
James Rumbaugh, Ivar Jacobson, Grady Booch.
Edmund M. Clarke, Jr., Orna Grumberg, Doron
A. Peled.
Edmund M. Clarke, Jr., Orna Grumberg, Doron
A. Peled.
Edmund M. Clarke, Jr., Orna Grumberg, Doron
A. Peled.
Edmund M. Clarke, Jr., Orna Grumberg, Doron
A. Peled.
software interface
software interface
software interface
software interface
19
12190513578 C33.1/ J
J2EEチュートリアル
20
12190513587 C33.1/ J
J2EEチュートリアル
21
12190513596 C33.1/ J
J2EEチュートリアル
22
12190513606 C33.1/ J
J2EEチュートリアル
23
12190513615 C33.1/ C
Java Webサービス
24
12190513624 C33.1/ C
Java Webサービス
25
12190513633 C33.1/ C
Java Webサービス
C31.3/ H
C31.3/ H
C31.3/ H
C31.3/ H
336 / P
336 / P
336 / P
336 / P
C42.3/ R
Vol. etc
37冊
/
/
/
/
James Rumbaugh, Ivar Jacobson, Grady Booch.
by Giorgio C. Buttazzo.
edited by M.J.C. Gordon and T.F. Melham.
ステファニー・ボドフ [ほか]著 ; カサレアル訳 ;
サン・マイクロシステムズ株式会社監修.
ステファニー・ボドフ [ほか]著 ; カサレアル訳 ;
サン・マイクロシステムズ株式会社監修.
ステファニー・ボドフ [ほか]著 ; カサレアル訳 ;
サン・マイクロシステムズ株式会社監修.
ステファニー・ボドフ [ほか]著 ; カサレアル訳 ;
サン・マイクロシステムズ株式会社監修.
David A. Chappell, Tyler Jewell著 ; テクノロジッ
クアート訳.
David A. Chappell, Tyler Jewell著 ; テクノロジッ
クアート訳.
David A. Chappell, Tyler Jewell著 ; テクノロジッ
クアート訳.
1/2
サテライトキャンパス
No.
Book ID
組込み参考書
Call Num.
26
12190513642 C33.1/ C
27
12190513651 C33.1/ G
28
12190513661 C33.1/ G
29
12190513670 C33.1/ G
30
12190513689 C33.1/ G
31
12190602964 C44 / B
32
12190602973 C44 / B
33
12190602982 C44 / B
34
35
36
37
12190602991
12190603006
12190603015
12190603024
LN
LN
LN
LN
/LNCS/2283
/LNCS/2283
/LNCS/2283
/LNCS/2283
Vol. etc
37冊
Title
Author
Java Webサービス
David A. Chappell, Tyler Jewell著 ; テクノロジッ
クアート訳.
マスタリングJakarta Struts : フレームワークを利用した
JavaWebプログラミング
マスタリングJakarta Struts : フレームワークを利用した
JavaWebプログラミング
マスタリングJakarta Struts : フレームワークを利用した
JavaWebプログラミング
マスタリングJakarta Struts : フレームワークを利用した
JavaWebプログラミング
Hard real-time computing systems : predictable scheduling
algorithms and applications
Hard real-time computing systems : predictable scheduling
algorithms and applications
Hard real-time computing systems : predictable scheduling
algorithms and applications
Isabelle
Isabelle
Isabelle
Isabelle
2/2
James Goodwill著 : トップスタジオ訳.
James Goodwill著 : トップスタジオ訳.
James Goodwill著 : トップスタジオ訳.
James Goodwill著 : トップスタジオ訳.
by Giorgio C. Buttazzo.
by Giorgio C. Buttazzo.
by Giorgio C. Buttazzo.
HOL
HOL
HOL
HOL
:
:
:
:
a
a
a
a
proof
proof
proof
proof
assistant
assistant
assistant
assistant
for
for
for
for
higher
higher
higher
higher