Software engineering - Congresses.

Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / by: (書目-語言資料,印刷品)

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 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: (書目-語言資料,印刷品)

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering by: (書目-語言資料,印刷品)

Software Engineering.

Formal methods (Computer science)

Software Engineering/Programming and Operating Systems.

Symbolic and Algebraic Manipulation.

Algebraic logic

Communications Engineering, Networks.

Computer Appl. in Administrative Data Processing.

Agile software development

Generative programming (Computer science)

Computer Science.

Programming Techniques.

Computer programs

Computer Systems Organization and Communication Networks.

Component software

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Management of Computing and Information Systems.

Artificial Intelligence (incl. Robotics)

Systems design

Special Purpose and Application-Based Systems.

Computers and Society.

Computer engineering

Abstract data types (Computer science)

Software engineering

Programming Languages, Compilers, Interpreters.

Computer software

Database Management.