語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

跳至 : 概要書目資訊主題

Component software - Congresses.

概要

作品:	8 作品在 6 項出版品 6 種語言

書目資訊

NET本質論首部曲 / by: (書目-語言資料,印刷品)

Formal methods for components and objects = 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers / by: (書目-語言資料,印刷品)

Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (書目-電子資源)

Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / by: (書目-電子資源)

Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: (書目-電子資源)

Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (書目-電子資源)

Formal aspects of component software : = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 Revised selected papers / by: (書目-語言資料,印刷品)

Formal aspects of component software = 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: (書目-電子資源)

主題

Software Engineering.

Mathematical Logic and Formal Languages.

Software engineering

Component software

Software Engineering/Programming and Operating Systems.

Logics and Meanings of Programs.

Programming Techniques.

Operating Systems.

Management of Computing and Information Systems.

Programming languages (Electronic computers)

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Software engineering.

Computer Science.

Computer science.

Computer networks.

Computer Communication Networks.

Object-oriented programming (Computer science)

變更密碼

登入