國立高雄大學圖資館 |

查詢結果 [ subject:"SDL (Computer program language)"]

10 筆 (0.029s)· 頁 1 of 1 • 1

1.

SDL 2001meeting UML, 10th Internatio...

~
(1998 :)
- SDL 2001meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, proceedings /
- by: (1998 :); Reed, Jeanne.; Reed, Rick.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2001
- ISBN: 9783540422815
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

SDL 2003system design : 11th interna...

~
(1998 :)
- SDL 2003system design : 11th international SDL Forum, Stuttgart, Germany, July 1-4, 2003 : proceedings /
- by: (1998 :); Reed, Jeanne, (1948-); Reed, Rick.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2003
- ISBN: 9783540405399
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Telecommunications and beyondthe bro...

~
(1998 :)
- Telecommunications and beyondthe broader applicability of SDL and MSC : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002 : revised papers /
- by: (1998 :); Sherratt, Edel, (1958-); SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2003
- ISBN: 9783540008774
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Validation of communications systems...

~
Doldi, Laurent.
- Validation of communications systems with SDL :the art of SDL simulation and reachability analysis /
- by: Doldi, Laurent.
- 書目-語言資料,印刷品 : Monograph/item
- 出版者: Wiley,
- 出版地: Hoboken, NJ :
- 出版年: 2003
- ISBN: 0470852860
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Practical TLA+planning driven develo...

~
SpringerLink (Online service)
- Practical TLA+planning driven development /
- by: SpringerLink (Online service); Wayne, Hillel.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Apress :; Imprint: Apress,
- 出版地: Berkeley, CA :
- 出版年: 2018
- ISBN: 9781484238288; 9781484238295
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

System Analysis and Modeling4th Inte...

~
(1998 :)
- System Analysis and Modeling4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /
- by: (1998 :); Amyot, Daniel.; SpringerLink (Online service); Williams, Alan W.
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag GmbH.,
- 出版地: Berlin Heidelberg :
- 出版年: 2005
- ISBN: 9783540245612; 9783540318101
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

SDL 2009design for motes and mobiles...

~
(1998 :)
- SDL 2009design for motes and mobiles : 14th International SDL Forum, Bochum, Germany, September 22-24, 2009 : proceedings /
- by: (1998 :); Bilgic, Attila.; Gotzhein, Reinhard.; Reed, Rick.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2009
- ISBN: 9783642045530; 9783642045547
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

SDL 2005: Model Driven12th Internati...

~
(1998 :)
- SDL 2005: Model Driven12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings /
- by: (1998 :); Prinz, Andreas.; Reed, Jeanne.; Reed, Rick.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag GmbH.,
- 出版地: Berlin Heidelberg :
- 出版年: 2005
- ISBN: 9783540266129; 9783540315391
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

System analysis and modelingabout mo...

~
(1998 :)
- System analysis and modelingabout models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers /
- by: (1998 :); Herrmann, Peter.; Kraemer, Frank Alexander.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Springer-Verlag GmbH Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2011
- ISBN: 9783642216510; 9783642216527
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

System Analysis and Modeling: Langua...

~
(1998 :)
- System Analysis and Modeling: Language Profiles5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /
- by: (1998 :); Gotzhein, Reinhard.; Reed, Rick.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag GmbH.,
- 出版地: Berlin Heidelberg :
- 出版年: 2006
- ISBN: 9783540683711; 9783540683735
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

書目性質:
資料類型:
查找有館藏的資料