語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (1)

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

Steffen, Martin.

概要

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

書目資訊

Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: Steffen, Martin.; Zavattaro, Gianluigi.; SpringerLink (Online service); International Conference on Formal Methods for Open Object-Based Distributed Systems (2005 :) (書目-語言資料,印刷品)

Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever / by: Dams, Dennis.; Steffen, Martin.; SpringerLink (Online service); Roever, Willem Paul.; Hannemann, Ulrich. (書目-語言資料,印刷品)

Formal methods for open object-based distributed systems : = 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings / by: Steffen, Martin.; Zavattaro, Gianluigi.; IFIP Working Group 6.1.; International Conference on Formal Methods for Open Object-Based Distributed Systems (2005 :) (書目-語言資料,印刷品)

Software engineering and formal methods = SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: Camara, Javier.; Steffen, Martin.; SpringerLink (Online service); CoSim-CPS (Workshop) (2019 :); ASYDE (Workshop) ((2019 :); CIFMA (Workshop) ((2019 :); International Conference on Software Engineering and Formal Methods (2019 :); International Workshop on the Foundations of Coordination Languages and Software Architectures (2019 :) (書目-電子資源)

主題

Software Engineering. Mathematical Logic and Formal Languages. Software engineering Theory of Computation. Natural Language Processing (NLP) Logics and Meanings of Programs. Computer programs- Correctness. Logic in AI. Operating Systems. Programming Techniques. Algorithm Analysis and Problem Complexity. Computation by Abstract Devices. Control Structures and Microprogramming. Information Systems Applications (incl. Internet) Programming Languages, Compilers, Interpreters. Formal methods (Computer science) Parallel programming (Computer science) Electronic data processing- Distributed processing Computer Science. Computer Communication Networks. Computer science. Computer System Implementation. Object-oriented programming (Computer science)

變更密碼

登入