語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

跳至 : 概要書目資訊主題

Software architecture - Congresses.

概要

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

書目資訊

Software architecture = 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, proceedings / by: (書目-語言資料,印刷品)

Software architecture : = SBC architecture at work / by: (書目-語言資料,印刷品)

System specification and design languages = selected contributions from FDL 2010 / by: (書目-電子資源)

Software architecture = 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014 : proceedings / by: (書目-電子資源)

Hardware and software: Verification and Testing = 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : proceedings / by: (書目-電子資源)

Coordination models and languages = 17th IFIP WG 6.1 International Conference, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015 : proceedings / by: (書目-電子資源)

Software architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings / by: (書目-電子資源)

Coordination models and languages = 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings / by: (書目-電子資源)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 / by: (書目-電子資源)

Hardware and Software: Verification and Testing = 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / by: (書目-電子資源)

更多

主題

Software Engineering.

Software engineering

Mathematical Logic and Formal Languages.

Software architecture

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Electronics and Microelectronics, Instrumentation.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Formal methods (Computer science)

Processor Architectures.

Management information systems

Computer Appl. in Administrative Data Processing.

Computer programming

Circuits and Systems.

Information Systems Applications (incl.Internet)

Business- Data processing

Business Information Systems.

Computer hardware description languages

Electronic data processing- Distributed processing

IT in Business.

Computer Science.

Computer Communication Networks.

Computer software- Verification

Economics/Management Science.

Computer Hardware.

Computer programs- Verification

Intelligent agents (Computer software)

變更密碼

登入