語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

跳至 : 概要書目資訊主題

Component software - Congresses.

概要

作品:	29 作品在 12 項出版品 12 種語言

書目資訊

Formal Methods for Components and Objects (vol. # 4111)4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / by: (書目-電子資源)

Software Composition (vol. # 4089)5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers / by: (書目-電子資源)

Formal Methods for Components and Objects :Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures by: (書目-電子資源)

Generative Programming and Component Engineering :4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings by: (書目-電子資源)

Component Deployment :Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings by: (書目-電子資源)

The Common Component Modeling ExampleComparing Software Component Models / by: (書目-電子資源)

Formal methods for components and objects6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers / by: (書目-語言資料,印刷品)

Formal methods for components and objectsfirst international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / by: (書目-電子資源)

Generative programming and component engineeringsecond International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings / by: (書目-電子資源)

Component deploymentsecond international working conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings / by: (書目-電子資源)

更多

主題

Software Engineering.

Software engineering

User interfaces (Computer systems)

Mathematical Logic and Formal Languages.

Theory of Computation.

Mathematical Logic and Foundations.

Data Structures and Information Theory.

Natural Language Processing (NLP)

Component software

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Information Systems and Communication Service.

Operating Systems.

Programming Techniques.

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Control Structures and Microprogramming.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Appl. in Administrative Data Processing.

Software engineering.

Special Purpose and Application-Based Systems.

Languages.

Models and Principles.

Performance and Reliability.

The Computing Profession.

Formal Languages and Automata Theory.

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

System Performance and Evaluation.

Computer science.

Computer networks.

Computer System Implementation.

Object-oriented programming (Computer science)

Generative programming (Computer science)

變更密碼

登入