語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (3)

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

Wehrheim, Heike.

概要

作品:	2 作品在 3 項出版品 1 種語言

書目資訊

Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings / by: Wehrheim, Heike.; SpringerLink (Online service); Ahrendt, Wolfgang.; TAP (Conference) (2020 :); STAF (Federation of conferences) ((2020 :) (書目-電子資源)

Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / by: Meyer, Roland.; Platzer, Andre.; Wehrheim, Heike.; SpringerLink (Online service) (書目-電子資源)

Fundamental approaches to software engineering = 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings / by: Wehrheim, Heike.; SpringerLink (Online service); FASE (Conference) (2020 :); ETAPS (Conference) (2020 :); Cabot, Jordi. (書目-電子資源)

Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: Leuschel, Michael.; Wehrheim, Heike.; SpringerLink (Online service); International Conference on Integrated Formal Methods (2009 :) (書目-語言資料,印刷品)

Formal methods for open object-based distributed systems : = 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / by: Gorrieri, Roberto.; Wehrheim, Heike.; International Conference on Formal Methods for Open Object-Based Distributed Systems (2006 :) (書目-語言資料,印刷品)

主題

Software Engineering. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Software engineering Logics and Meanings of Programs. Information Systems and Communication Service. Programming Techniques. Artificial Intelligence (incl. Robotics) Control Structures and Microprogramming. Formal methods (Computer science) System design- Congresses. Programming Languages, Compilers, Interpreters. Special Purpose and Application-Based Systems. Computer software- Testing Electronic data processing- Distributed processing Artificial Intelligence. Computer Science. Computer System Implementation. Computer software- Verification Object-oriented programming (Computer science)

變更密碼

登入