國立高雄大學圖資館 |

查詢結果 [ subject:"Formal methods (Computer science)"]

389 筆 (0.03s)· 頁 1 of 39 • 1 2 3 4 5 ... 39

1.

Formal methods for industrial critic...

~
Gnesi, Stefania, (1954-)
- Formal methods for industrial critical systemsa survey of applications /
- by: Gnesi, Stefania, (1954-); Margaria-Steffen, Tiziana, (1964-)
- 書目-電子資源 : Monograph/item
- 出版者: IEEE Computer Society,; John Wiley & Sons Inc. :
- 出版地: [Washington, D.C.] :
- 出版年: 2013
- ISBN: 1118459865; 111845989X; 1118561899; 9781118459867; 9781118459898; 9781118561898
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Lectures on formal methods and perfo...

~
(1998 :)
- Lectures on formal methods and performance analysisfirst EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
- by: (1998 :); Brinksma, Ed.; Hermanns, Holger.; Katoen, Joost-Pieter.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2001
- ISBN: 9783540424796
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Integrated formal methodsThird Inter...

~
(1998 :)
- Integrated formal methodsThird International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
- by: (1998 :); Butler, Michael.; Petre, Luigia.; Sere, Kaisa.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540437031
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Applied formal methods - FM-Trends 9...

~
(1998 :)
- Applied formal methods - FM-Trends 98International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /
- by: (1998 :); Hutter, Dieter.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1999
- ISBN: 9783540664628
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Integrated formal methodssecond inte...

~
(1998 :)
- Integrated formal methodssecond international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
- by: (1998 :); Grieskamp, Wolfgang.; Santen, Thomas.; SpringerLink (Online service); Stoddart, Bill.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2000
- ISBN: 9783540411963
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Integrated formal methods4th interna...

~
(1998 :)
- Integrated formal methods4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings /
- by: (1998 :); Boiten, Eerke, (1966-); Derrick, John, (1963-); Smith, Graeme, (1966-); SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: New York, NY :
- 出版年: 2004
- ISBN: 9783540213772
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.
- Formal methods: foundations and applications25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /
- by: (1998 :); Lima, Lucas.; Molnar, Vince.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031224751; 9783031224768
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Formal methods applied to industrial...

~
Boulanger, Jean-Louis.
- Formal methods applied to industrial complex systems
- by: Boulanger, Jean-Louis.
- 書目-電子資源 : Monograph/item
- 出版者: ISTE, Ltd. ;; Wiley,
- 出版地: London :
- 出版年: 2014
- ISBN: 1119004705; 1119004845; 9781119004707; 9781119004844
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Formal methodsindustrial use from mo...

~
Boulanger, Jean-Louis.
- Formal methodsindustrial use from model to the code /
- by: Boulanger, Jean-Louis.
- 書目-電子資源 : Monograph/item
- 出版者: ISTE ;; Wiley,
- 出版地: London :
- 出版年: 2012
- ISBN: 1118561899; 1118614380; 1299315070; 9781118561898; 9781118614389; 9781299315075
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Formal ontology in information syste...

~
Donnelly, Maureen.
- Formal ontology in information systemsproceedings of the seventh International Conference (FOIS 2012) /
- by: Donnelly, Maureen.; FOIS (Conference) (2012 :); Guizzardi, Giancarlo.
- 書目-電子資源 : Monograph/item
- 出版者: IOS Press,
- 出版地: Amsterdam :
- 出版年: 2012
- ISBN: 9781614990833; 9781614990840
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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