組込みシステム大学院コース配架図書 （参考書） 37冊 区分 NO 部署

組込みシステム大学院コース配架図書
（参考書）
区分
NO
部署
資料ID
請求記号
参考書 1
参考書IS(組込み) 12190512428
C42.3/ R
参考書 2
参考書IS(組込み) 12190512437
C42.3/ R
参考書 3
参考書IS(組込み) 12190512446
C42.3/ R
参考書 4
参考書IS(組込み) 12190512455
C45.2/ C /
参考書 5
参考書IS(組込み) 12190512464
C45.2/ C /
参考書 6
参考書IS(組込み) 12190512473
C45.2/ C /
参考書 7
参考書IS(組込み) 12190512482
C45.2/ C /
参考書 8
参考書IS(組込み) 12190512491
C31.3/ H
参考書 9
参考書IS(組込み) 12190512501
C31.3/ H
参考書 10
参考書IS(組込み) 12190512511
C31.3/ H
参考書 11
参考書IS(組込み) 12190512520
C31.3/ H
参考書 12
参考書IS(組込み) 12190512612
336 / P /
参考書 13
参考書IS(組込み) 12190512621
336 / P /
参考書 14
参考書IS(組込み) 12190512631
336 / P /
参考書 15
参考書IS(組込み) 12190512640
336 / P /
巻号等
資料名
The unified modeling language reference manual / James Rumbaugh, Ivar Jacobson,
Grady Booch. -- 2nd ed. -- Addison-Wesley, 2005. -- (The Addison-Wesley object
technology series / Grady booch, Ivan jacobson, James Rumbaugh).
The unified modeling language reference manual / James Rumbaugh, Ivar Jacobson,
Grady Booch. -- 2nd ed. -- Addison-Wesley, 2005. -- (The Addison-Wesley object
technology series / Grady booch, Ivan jacobson, James Rumbaugh).
The unified modeling language reference manual / James Rumbaugh, Ivar Jacobson,
Grady Booch. -- 2nd ed. -- Addison-Wesley, 2005. -- (The Addison-Wesley object
technology series / Grady booch, Ivan jacobson, James Rumbaugh).
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled. -- MIT
Press, c1999.
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled. -- MIT
Press, c1999.
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled. -- MIT
Press, c1999.
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled. -- MIT
Press, c1999.
Computer organization and design : the hardware/software interface / David A.
Patterson, John L. Hennessy ; with a contribution by Peter J. Ashenden, James R.
Larus, Daniel J. Sorin. -- : [CD-ROM]. -- 3rd ed. -- Elsevier/Morgan Kaufmann,
c2005 [i.e. 2004].
Computer organization and design : the hardware/software interface / David A.
Patterson, John L. Hennessy ; with a contribution by Peter J. Ashenden, James R.
Larus, Daniel J. Sorin. -- : [CD-ROM]. -- 3rd ed. -- Elsevier/Morgan Kaufmann,
c2005 [i.e. 2004].
Computer organization and design : the hardware/software interface / David A.
Patterson, John L. Hennessy ; with a contribution by Peter J. Ashenden, James R.
Larus, Daniel J. Sorin. -- : [CD-ROM]. -- 3rd ed. -- Elsevier/Morgan Kaufmann,
c2005 [i.e. 2004].
Computer organization and design : the hardware/software interface / David A.
Patterson, John L. Hennessy ; with a contribution by Peter J. Ashenden, James R.
Larus, Daniel J. Sorin. -- : [CD-ROM]. -- 3rd ed. -- Elsevier/Morgan Kaufmann,
c2005 [i.e. 2004].
プロジェクトマネジメント知識体系ガイド (PMBOKガイド). -- 第3版. -- Project
Management Institute, c2004.
プロジェクトマネジメント知識体系ガイド (PMBOKガイド). -- 第3版. -- Project
Management Institute, c2004.
プロジェクトマネジメント知識体系ガイド (PMBOKガイド). -- 第3版. -- Project
Management Institute, c2004.
プロジェクトマネジメント知識体系ガイド (PMBOKガイド). -- 第3版. -- Project
Management Institute, c2004.
1/3
37冊
登録日
20060315
20060315
20060315
20060315
20060315
20060315
20060315
20060315
20060315
20060315
20060315
20060315
20060315
20060315
20060315
2006/9/11 現在
組込みシステム大学院コース配架図書
（参考書）
区分
NO
部署
資料ID
請求記号
参考書 16
参考書IS(組込み) 12190512954
C42.3/ R
参考書 17
参考書IS(組込み) 12190512963
C44 / B
参考書 18
参考書IS(組込み) 12190512972
C23.1/ I
参考書 19
参考書IS(組込み) 12190513578
C33.1/ J
参考書 20
参考書IS(組込み) 12190513587
C33.1/ J
参考書 21
参考書IS(組込み) 12190513596
C33.1/ J
参考書 22
参考書IS(組込み) 12190513606
C33.1/ J
参考書 23
参考書IS(組込み) 12190513615
C33.1/ C
参考書 24
参考書IS(組込み) 12190513624
C33.1/ C
参考書 25
参考書IS(組込み) 12190513633
C33.1/ C
参考書 26
参考書IS(組込み) 12190513642
C33.1/ C
参考書 27
参考書IS(組込み) 12190513651
C33.1/ G
参考書 28
参考書IS(組込み) 12190513661
C33.1/ G
参考書 29
参考書IS(組込み) 12190513670
C33.1/ G
参考書 30
参考書IS(組込み) 12190513689
C33.1/ G
参考書 31
参考書IS(組込み) 12190602964
C44 / B
参考書 32
参考書IS(組込み) 12190602973
C44 / B
参考書 33
参考書IS(組込み) 12190602982
C44 / B
巻号等
37冊
資料名
The unified modeling language reference manual / James Rumbaugh, Ivar Jacobson,
Grady Booch. -- 2nd ed. -- Addison-Wesley, 2005. -- (The Addison-Wesley object
technology series / Grady booch, Ivan jacobson, James Rumbaugh).
Hard real-time computing systems : predictable scheduling algorithms and
applications / by Giorgio C. Buttazzo. -- : hard. -- Kluwer Academic Publishers,
c1997. -- (The Kluwer international series in engineering and computer science ;
Introduction to HOL : a theorem proving environment for higher order logic / edited
by M.J.C. Gordon and T.F. Melham. -- Cambridge University Press, 1993.
J2EEチュートリアル / ステファニー・ボドフ [ほか]著 ; カサレアル訳 ; サン・マイクロシ
ステムズ株式会社監修. -- ピアソン・エデュケーション, 2002.7. -- (The Java series).
J2EEチュートリアル / ステファニー・ボドフ [ほか]著 ; カサレアル訳 ; サン・マイクロシ
ステムズ株式会社監修. -- ピアソン・エデュケーション, 2002.7. -- (The Java series).
J2EEチュートリアル / ステファニー・ボドフ [ほか]著 ; カサレアル訳 ; サン・マイクロシ
ステムズ株式会社監修. -- ピアソン・エデュケーション, 2002.7. -- (The Java series).
J2EEチュートリアル / ステファニー・ボドフ [ほか]著 ; カサレアル訳 ; サン・マイクロシ
ステムズ株式会社監修. -- ピアソン・エデュケーション, 2002.7. -- (The Java series).
Java Webサービス / David A. Chappell, Tyler Jewell著 ; テクノロジックアート訳. -オライリー・ジャパン.
Java Webサービス / David A. Chappell, Tyler Jewell著 ; テクノロジックアート訳. -オライリー・ジャパン.
Java Webサービス / David A. Chappell, Tyler Jewell著 ; テクノロジックアート訳. -オライリー・ジャパン.
Java Webサービス / David A. Chappell, Tyler Jewell著 ; テクノロジックアート訳. -オライリー・ジャパン.
マスタリングJakarta Struts : フレームワークを利用したJavaWebプログラミング /
James Goodwill著 : トップスタジオ訳. -- 翔泳社, 2003.4.
マスタリングJakarta Struts : フレームワークを利用したJavaWebプログラミング /
James Goodwill著 : トップスタジオ訳. -- 翔泳社, 2003.4.
マスタリングJakarta Struts : フレームワークを利用したJavaWebプログラミング /
James Goodwill著 : トップスタジオ訳. -- 翔泳社, 2003.4.
マスタリングJakarta Struts : フレームワークを利用したJavaWebプログラミング /
James Goodwill著 : トップスタジオ訳. -- 翔泳社, 2003.4.
Hard real-time computing systems : predictable scheduling algorithms and
applications / by Giorgio C. Buttazzo. -- : hard. -- Kluwer Academic Publishers,
c1997. -- (The Kluwer international series in engineering and computer science ;
Hard real-time computing systems : predictable scheduling algorithms and
applications / by Giorgio C. Buttazzo. -- : hard. -- Kluwer Academic Publishers,
c1997. -- (The Kluwer international series in engineering and computer science ;
Hard real-time computing systems : predictable scheduling algorithms and
applications / by Giorgio C. Buttazzo. -- : hard. -- Kluwer Academic Publishers,
c1997. -- (The Kluwer international series in engineering and computer science ;
2/3
登録日
20060315
20060315
20060315
20060330
20060330
20060330
20060330
20060330
20060330
20060330
20060330
20060330
20060330
20060330
20060330
20060703
20060703
20060703
2006/9/11 現在
組込みシステム大学院コース配架図書
（参考書）
区分
NO
部署
資料ID
請求記号
参考書 34
参考書IS(組込み) 12190602991
LN
/LNCS/2283
参考書 35
参考書IS(組込み) 12190603006
LN
/LNCS/2283
参考書 36
参考書IS(組込み) 12190603015
LN
/LNCS/2283
参考書 37
参考書IS(組込み) 12190603024
LN
/LNCS/2283
巻号等
資料名
Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C.
Paulson, Markus Wenzel. -- Springer, c2002. -- (Lecture notes in computer science
; 2283).
Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C.
Paulson, Markus Wenzel. -- Springer, c2002. -- (Lecture notes in computer science
; 2283).
Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C.
Paulson, Markus Wenzel. -- Springer, c2002. -- (Lecture notes in computer science
; 2283).
Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C.
Paulson, Markus Wenzel. -- Springer, c2002. -- (Lecture notes in computer science
; 2283).
3/3
37冊
登録日
20060703
20060703
20060703
20060703
2006/9/11 現在