查詢 text:Model Checking ，共 14 筆
查詢再細分
-
- 語言
- 英語(14)
-
- 作者
- Amon, Cherie.(1)
- Bening, Lionel,(1)
- Bialobrzeski, Peter.(1)
- Boiten, Eerke,(1)
- Derrick, John,(1)
- Dēmētrakakē, Antzela,(1)
- Esposito, Giampiero.(1)
- Foster, Harry,(1)
- Graf, Susanne.(1)
- Hanig, Florian.(1)
-
- 主題
- COMPUTERS(7)
- Model Checking(5)
- Logiciels(3)
- Model-checking (Informatique)(3)
- Programmverifikation(3)
- Verification.(3)
- Computer software(2)
- Formale Methode(2)
- HardwareGeneral.(2)
- Integrated circuits(2)
- More
-
- 館別
- 總圖(4)
-
35 0 0 0 0Verification, model checking, and abstract interpretation :5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
- 作者: Steffen, Bernhard.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
4 0 0 0 0
Model-checking based data retrieval :an application to semistructured and temporal data
- 作者: Quintarelli, Elisa.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
8 0 0 0 0
Model checking software :11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
- 作者: Graf, Susanne.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
10 0 0 0 0
Equivalence checking of digital circuits :fundamentals, principles, methods
- 作者: Molitor, Paul.
- 出版: Boston : Kluwer Academic Publishers 2004.
- 資料類型: 電子書
-
58 0 0 0 0
Integrated Formal Methods :4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
- 作者: Boiten, Eerke,
- 出版: Berlin ;Heidelberg : Springer-Verlag Berlin Heidelberg 2004.
- 資料類型: 電子書
-
91 0 0 0 0
Design verification with e
- 作者: Palnitkar, Samir.
- 出版: Upper Saddle River, NJ : Prentice Hall PTR 2004.
- 資料類型: 圖書
-
44 0 0 0 0
Neontigers :photographs of Asian megacities
- 作者: Bialobrzeski, Peter.
- 出版: Ostfildern-Ruit, Germany :New York : Hatje Cantz ;[Distributors] D.A.P., Distributed Art Publishers c2004.
- 資料類型: 圖書
-
8 0 0 0 0
Tools and algorithms for the construction and analysis of systems :10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
- 作者: Jensen, K.
- 出版: Berlin ;New York : Springer-Verlag 2004.
- 資料類型: 電子書
-
138 0 0 0 0
Politics in a glass case :feminism, exhibition cultures and curatorial transgressions
- 作者: Dēmētrakakē, Antzela,
- 出版: Liverpool : Liverpool University Press ©2013.
- 資料類型: 圖書
-
27 0 0 0 0
Complex general relativity
- 作者: Esposito, Giampiero.
- 出版: New York : Kluwer Academic Publishers ©2002.
- 資料類型: 電子書