語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (16)

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

Margaria, Tiziana.

概要

作品:	1 作品在 16 項出版品 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.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

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 :) (書目-語言資料,印刷品)

Engineering of computer-based systems = 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023 : proceedings / by: Margaria, Tiziana.; SpringerLink (Online service); Seceleanu, Cristina.; International Conference on Engineering of Computer-Based Systems (2023 :); Kofroň, Jan. (書目-電子資源)

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: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service); ISoLA (Symposium) (2016 :) (書目-電子資源)

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: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service); ISoLA (Symposium) (2016 :) (書目-電子資源)

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: Margaria, Tiziana.; SpringerLink (Online service); TACAS (Conference) (2017 :); 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.; Graf, Susanne.; SpringerLink (Online service); Steffen, Bernhard,; Larsen, Kim G. (書目-電子資源)

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: Margaria, Tiziana.; SpringerLink (Online service); ETAPS (Conference) (2017 :); TACAS (Conference) (2017 :); Legay, Axel. (書目-電子資源)

更多

主題

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. Systems engineering Operating Systems. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics) Information Systems Applications (incl. Internet) Database Management. Algorithm Analysis and Problem Complexity. Control Structures and Microprogramming. 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. Computer Engineering and Networks. 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) Computer Hardware. System analysis Computer engineering

變更密碼

登入