語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (15)

跳至 : 概要 | 書目資訊 | 主題

Margaria, Tiziana.

概要

作品:	1 作品在 15 項出版品 1 種語言

書目資訊

Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I / by: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Process design for natural scientists = an agile model-driven approach / by: Margaria, Tiziana.; SpringerLink (Online service); Lamprecht, Anna-Lena. (書目-電子資源)

Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Correct hardware design and verification methods = 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / by: Margaria, Tiziana.; Melham, Tom.; SpringerLink (Online service); CHARME 2001 ((2001 :) (書目-語言資料,印刷品)

Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I / by: ISoLA (Symposium) (2016 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II / by: ISoLA (Symposium) (2016 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.. Part II / by: TACAS (Conference) (2017 :); Margaria, Tiziana.; SpringerLink (Online service); ETAPS (Conference) (2017 :); Legay, Axel. (書目-電子資源)

Models, mindsets, meta = the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday / by: Margaria, Tiziana.; Larsen, Kim G.; Steffen, Bernhard,; SpringerLink (Online service); Graf, Susanne. (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.. Part I / by: ETAPS (Conference) (2017 :); TACAS (Conference) (2017 :); Margaria, Tiziana.; SpringerLink (Online service); Legay, Axel. (書目-電子資源)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I/ by: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (書目-語言資料,印刷品)

更多

主題

Integrated circuits- Verification Integrated circuits- Very large scale integration Software engineering Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Computer software- Validation Science- Data processing. Robots- Programming Software Engineering/Programming and Operating Systems. Operating Systems. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics) Information Systems Applications (incl. Internet) Database Management. Algorithm Analysis and Problem Complexity. System design- Congresses. Programming Languages, Compilers, Interpreters. Formal methods (Computer science) Information Storage and Retrieval. System design Computer science- Philosophy. Special Purpose and Application-Based Systems. Data Mining and Knowledge Discovery. Models and Principles. Information Systems Applications (incl.Internet) Service-oriented architecture (Computer science) Business Information Systems. Machine learning Artificial Intelligence. Computer software- Development Computer Science. Computer Communication Networks. Computer software- Verification Computers and Society. Simulation and Modeling. Computer System Implementation. Blockchains (Databases) System analysis

變更密碼

登入