查詢 text:Formale Methode ，共 75 筆
查詢再細分
-
- 主題
- COMPUTERS(13)
- Social Control, Formal(13)
- Delivery of Health Care(12)
- Social Sciences(12)
- Sociology(12)
- Epidemiologic Methods(11)
- Health Care Evaluation Mechanisms(11)
- Contrôle social.(10)
- Medical care.(10)
- Prestation de soins.(10)
- More
-
- 館別
- 總圖(30)
-
4 0 0 0 0Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
- 作者: Kim, Myungchul.
- 出版: New York : Kluwer Academic Publishers ©2002.
- 資料類型: 電子書
-
7 0 0 0 0
Formal approaches to software testing :Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
- 作者: Petrenko, Alexandre.
- 出版: Berlin ;New York : Springer-Verlag ©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.
- 資料類型: 電子書
-
103 0 0 0 0
The prison-house of language :a critical account of structuralism and Russian formalism
- 作者: Jameson, Fredric.
- 出版: Princeton, N.J. : Princeton University Press 1974, c1972.
- 資料類型: 圖書
-
8 0 0 0 0
Advanced formal verification
- 作者: Drechsler, Rolf.
- 出版: Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書
-
35 0 0 0 0
Verification, 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
Formal methods for embedded distributed systems :how to master the complexity
- 作者: Kordon, Fabrice.
- 出版: Boston : Kluwer Academic ©2004.
- 資料類型: 電子書
-
15 0 0 0 0
Making history count :a primer in quantitative methods for historians
- 作者: Feinstein, C. H.
- 出版: Cambridge ;New York : Cambridge University Press 2002.
- 資料類型: 圖書
-
33 0 0 0 0
Russian formalist criticism :four essays
- 作者: Lemon, Lee T.,
- 出版: Lincoln and London : University of Nebraska Press 1965.
- 資料類型: 圖書