Computer software - Congresses. - Development

Knowledge-based software engineering = proceedings of the Seventh Joint Conference on Knowledge-based Software Engineering / by: (書目-語言資料,印刷品)

FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / by: (書目-語言資料,印刷品)

Balancing Agility and Formalism in Software Engineering = Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software Engineering.

Formal methods(Computer science)

Computers and Society.

Expert systems (Computer science)

Agile software development

Computer Appl. in Administrative Data Processing.

Software engineering

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Semantic Web

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Computer software

Database Management.

Management of Computing and Information Systems.

System design