語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
連至 進階查詢
限制條件
書目性質:
全系統記錄
圖書
期刊
分析
合集
資料類型:
全系統記錄
一般圖書
套書區
本校碩士論文
他校碩士論文
電子書
大尺寸
本校博士論文
中小學教科書
他校博士論文
原美崙校區博士論文
參考書
教師指定參考書
縮印本報紙
本校出版品及教師著作
資訊檢索參考書不外借
東方語文期刊
西文期刊
日文期刊
大陸期刊
音樂光碟資料
多媒體及純文字光碟資料
DVD資料
VCD資料
錄影資料
書附磁片或光碟等
錄音資料
LD資料
微片
幻燈片
投影片
1樓兒童讀物
1樓兒童參考書不外借
國小教科書不外借
1樓兒童CD
1樓兒童CD-ROM
1樓兒童DVD
1樓兒童VCD
1樓兒童錄音帶
1樓兒童錄影帶
1樓兒童室玩具
館際借書證(21天)
館際借書證(30天)
複印資料
地圖資料
管制資料
待改至一般書庫_樂譜
專櫃陳覽
借2小時
鄉土教育資料不外借
圖書館學實習書不外借
圖書館會議資料不外借
圖書館行政用書不外借
館內設備(耳機/微縮鏡頭/遙控器)
場地鑰匙(聆賞室/討論室)
研究小間鑰匙
臨時研究小間鑰匙
1樓教具
工具
數位相機
DV攝影機
佈展桌布
雨傘
吳兆棠博士贈書
樂譜區_套譜
English Corner
BD資料(藍光)
電子期刊
楊牧書房
單機版資料庫
王禎和
韋政通
鄭清茂
點字書
方銘健
李元貞
李忠男
林富士
林道生
查找有館藏的資料
精確檢索
關連的主題
10
20
50
關連性 (由大到小)
關連性 (由小到大)
主題 (由大到小)
主題 (由小到大)
書名 (由大到小)
書名 (由小到大)
作者 (由大到小)
作者 (由小到大)
出版地 (由大到小)
出版地 (由小到大)
出版年 (由大到小)
出版年 (由小到大)
ISBN/ISSN (由大到小)
ISBN/ISSN (由小到大)
作者 (由大到小)
作者 (由小到大)
語言 (由大到小)
語言 (由小到大)
系統識別號 (由大到小)
系統識別號 (由小到大)
集叢 (由大到小)
集叢 (由小到大)
正題名 (由大到小)
正題名 (由小到大)
版本項 (由大到小)
版本項 (由小到大)
ISBN (由大到小)
ISBN (由小到大)
ISSN (由大到小)
ISSN (由小到大)
內容註 (由大到小)
內容註 (由小到大)
出版者 (由大到小)
出版者 (由小到大)
評價 (由大到小)
評價 (由小到大)
查詢結果
[ subject:"Component software"]
26 筆 (0.05s)
·
頁 1 of 2
•
1
2
1
.
Formal aspects of component software...
~
Păsăreanu, Corina S.
FindBook
Google Book
Amazon
博客來
Formal aspects of component software : = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 Revised selected papers /
by:
Păsăreanu, Corina S. ; Salaün, G.
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
2013
ISBN:
3642358608; 3642358616; 9783642358609; 9783642358616
ISSN:
16113349; 03029743
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
2
.
Component deployment = Second Intern...
~
Emmerich, Wolfgang, (Dr. Rer. Nat.)
FindBook
Google Book
Amazon
博客來
Component deployment = Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings /
by:
Emmerich, Wolfgang, (Dr. Rer. Nat.); Wolf, Alexander L.; NetLibrary, Inc.; Working Conference on Component Deployment (2004 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer,
出版地:
Berlin ;
出版年:
2004
ISBN:
354024848X
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
3
.
Generative programming and component...
~
Pfenning, Frank.
FindBook
Google Book
Amazon
博客來
Generative programming and component engineering = second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings /
by:
Pfenning, Frank.; Smaragdakis, Yannis.; SpringerLink (Online service); GPCE 2003 ((2003 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
2003
ISBN:
9783540201021
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
4
.
Component deployment = second intern...
~
Emmerich, Wolfgang, (Dr. Rer. Nat.)
FindBook
Google Book
Amazon
博客來
Component deployment = second international working conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings /
by:
Emmerich, Wolfgang, (Dr. Rer. Nat.); Wolf, Alexander L.; SpringerLink (Online service); Working Conference on Component Deployment ((2004 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
2004
ISBN:
9783540220596
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
5
.
Generative programming and component...
~
Karsai, Gabor, (1959-)
FindBook
Google Book
Amazon
博客來
Generative programming and component engineering = Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings /
by:
Karsai, Gabor, (1959-); Visser, Eelco.; SpringerLink (Online service); GPCE 2004 ((2004 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
2004
ISBN:
9783540235804
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
6
.
Component deployment = IFIP/ACM Work...
~
Bishop, Judith.
FindBook
Google Book
Amazon
博客來
Component deployment = IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings /
by:
Bishop, Judith.; SpringerLink (Online service); IFIP/ACM Working Conference on Component Deployment ((2002 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
2002
ISBN:
9783540438472
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
7
.
Generative programming and component...
~
Batory, Don.
FindBook
Google Book
Amazon
博客來
Generative programming and component engineering = ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings /
by:
Batory, Don.; Consel, Charles.; Taha, Walid.; SpringerLink (Online service); GPCE 2002 ((2002 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
2002
ISBN:
9783540442844
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
8
.
Formal aspects of component software...
~
FACS (Symposium) (2016 :)
FindBook
Google Book
Amazon
博客來
Formal aspects of component software = 13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016 : revised selected papers /
by:
FACS (Symposium) (2016 :); Kouchnarenko, Olga.; Khosravi, Ramtin.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2017
ISBN:
9783319576657; 9783319576664
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
9
.
NET本質論首部曲 /
~
巴克斯 ((Box, Don, 1962-))
FindBook
Google Book
Amazon
博客來
NET本質論首部曲 /
by:
巴克斯 ((Box, Don, 1962-)); 謝爾希 ((Shells, Chris)); 呂青鴻; Box, Don, (1962-); Shells, Chris
書目-語言資料,印刷品
: Monograph/item
語文別:
中文
出版者:
碁峰資訊,
出版地:
臺北市 :
出版年:
2003
ISBN:
9864213830
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
10
.
Formal methods for components and ob...
~
Boer, Frank S. de.
FindBook
Google Book
Amazon
博客來
Formal methods for components and objects = first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
by:
Boer, Frank S. de.; SpringerLink (Online service); FMCO 2002 ((2002 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer-Verlag,
出版地:
New York :
出版年:
2003
ISBN:
9783540203032
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
11
.
Formal methods for components and ob...
~
Boer, Frank S. de.
FindBook
Google Book
Amazon
博客來
Formal methods for components and objects = second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
by:
Boer, Frank S. de.; SpringerLink (Online service); FMCO 2003 ((2003 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
2004
ISBN:
9783540229421
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
12
.
The Common Component Modeling Exampl...
~
SpringerLink (Online service)
FindBook
Google Book
Amazon
博客來
The Common Component Modeling Example = Comparing Software Component Models /
by:
SpringerLink (Online service); Rausch, Andreas, (Prof.)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer-Verlag Berlin Heidelberg,
出版地:
Berlin, Heidelberg :
出版年:
2008
ISBN:
9783540852889; 9783540852896
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
13
.
Formal Methods for Components and Ob...
~
Boer, Frank S. de.
FindBook
Google Book
Amazon
博客來
Formal Methods for Components and Objects : = Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
by:
Boer, Frank S. de.; SpringerLink (Online service); FMCO 2004 ((2004 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer-Verlag GmbH.,
出版地:
Berlin Heidelberg :
出版年:
2005
ISBN:
9783540291312; 9783540319399
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
14
.
Component Deployment : = Third Inter...
~
Dearle, Alan.
FindBook
Google Book
Amazon
博客來
Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
by:
Dearle, Alan.; Eisenbach, Susan; SpringerLink (Online service); Working Conference on Component Deployment (2005 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer-Verlag GmbH.,
出版地:
Berlin Heidelberg :
出版年:
2005
ISBN:
9783540305170; 9783540322818
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
15
.
Formal methods for components and ob...
~
Boer, Frank S. de.
FindBook
Google Book
Amazon
博客來
Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers /
by:
Boer, Frank S. de.; SpringerLink (Online service); FMCO 2007 ((2007 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer Berlin Heidelberg,
出版地:
Berlin, Heidelberg :
出版年:
2008
ISBN:
9783540921875; 9783540921882
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
16
.
Formal aspects of component software...
~
FACS (Symposium) (2019 :)
FindBook
Google Book
Amazon
博客來
Formal aspects of component software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings /
by:
FACS (Symposium) (2019 :); Arbab, Farhad.; Jongmans, Sung-Shik.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2020
ISBN:
9783030409135; 9783030409142
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
17
.
Formal aspects of component software...
~
FACS (Symposium) (2022 :)
FindBook
Google Book
Amazon
博客來
Formal aspects of component software = 18th International Conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings /
by:
FACS (Symposium) (2022 :); Tapia Tarifa, Silvia Lizeth.; Proenca, Jose.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Springer International Publishing :; Imprint: Springer,
出版地:
Cham :
出版年:
2022
ISBN:
9783031208713; 9783031208720
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
18
.
Generative Programming and Component...
~
Gluck, Robert.
FindBook
Google Book
Amazon
博客來
Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
by:
Gluck, Robert.; Lowry, Michael.; SpringerLink (Online service); GPCE 2005 ((2005 :)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer-Verlag GmbH.,
出版地:
Berlin Heidelberg :
出版年:
2005
ISBN:
9783540291381; 9783540319771
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
19
.
Formal methods for components and ob...
~
Boer, Frank S. de.
FindBook
Google Book
Amazon
博客來
Formal methods for components and objects = 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers /
by:
Boer, Frank S. de.; SpringerLink (Online service)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer Berlin Heidelberg,
出版地:
Berlin, Heidelberg :
出版年:
2010
ISBN:
9783642170706; 9783642170713
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
20
.
Formal aspects of component software...
~
Barbosa, Luis Soares.
FindBook
Google Book
Amazon
博客來
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
Barbosa, Luis Soares.; Lumpe, Markus.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Springer Berlin Heidelberg,
出版地:
Berlin, Heidelberg :
出版年:
2012
ISBN:
9783642272684; 9783642272691
館藏流通狀態
:
1 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
小鍵盤
Close
符號表
Close
貨幣
：
￥
￡
₤
₣
₢
₡
₠
₥
₦
₧
₨
₩
₪
₫
€
數學符號
：
±
Ω
λ
β
α
θ
π
μ
≠
≤
≥
∑
日文
：
あ
い
う
え
お
か
き
く
け
こ
さ
し
す
せ
そ
た
ち
つ
て
と
な
に
ぬ
ね
の
は
ひ
ふ
へ
ほ
ま
み
む
め
も
や
ゆ
よ
ら
り
る
れ
ろ
わ
を
ん
が
ぎ
ぐ
げ
ご
ざ
じ
ず
ぜ
ぞ
だ
ぢ
づ
で
ど
ば
び
ぶ
べ
ぼ
ぱ
ぴ
ぷ
ぺ
ぽ
ア
イ
ウ
エ
オ
カ
キ
ク
ケ
コ
サ
シ
ス
セ
ソ
タ
チ
ツ
テ
ト
ナ
ニ
ヌ
ネ
ノ
ハ
ヒ
フ
ヘ
ホ
マ
ミ
ム
メ
モ
ヤ
ユ
ヨ
ラ
リ
ル
レ
ロ
ワ
ヲ
ン
ガ
ギ
グ
ゲ
ゴ
ザ
ジ
ズ
ゼ
ゾ
ダ
ヂ
ヅ
デ
ド
バ
ビ
ブ
ベ
ボ
パ
ピ
プ
ペ
ポ
羅馬數字
：
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
儲存檢索策略
Export
取書館
處理中
...
變更密碼
登入
精確檢索
關連的主題
精確檢索
關連的主題