Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- C++ (Computer program language) --- Abstract data types (Computer science) --- Problem solving --- C++ (Langage de programmation) --- Types abstraits de données (Informatique) --- Résolution de problème --- Data processing. --- Informatique --- Types abstraits de données (Informatique) --- Résolution de problème

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Abstract data types (Computer science). --- Electronic data processing --- System analysis. --- Structured techniques. --- Abstract data types (Computer science) --- Types abstraits de données (Informatique) --- Analyse de systèmes --- Systèmes informatiques --- Techniques structurées --- Structured techniques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer science --- Abstract data types --- C++ (programmeertaal) --- C++ (programmeertaal). --- C++ (Computer program language) --- Abstract data types (Computer science) --- Problem solving --- Data processing --- Types abstraits de données (Informatique) --- C++ (Langage de programmation) --- Résolution de problème --- Informatique --- Problem solving - Data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Abstract data types (Computer science) --- Software engineering --- Types abstraits de données (Informatique) --- Génie logiciel --- #KVIV:BB --- 681.3*D21 --- 681.3*D22 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Types abstraits de données (Informatique) --- Génie logiciel --- Computer software engineering --- Engineering --- Data types (Computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT’95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS’98, the ?rst instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises ?ve conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials.

Computer software --- Computer science --- Abstract data types (Computer science) --- Development --- Mathematics --- Logiciels --- Informatique --- Types abstraits de données (Informatique) --- Congresses. --- Développement --- Congrès --- Mathématiques --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming --- Computer software - Development - Congresses --- Computer science - Mathematics - Congresses --- Abstract data types (Computer science) - Congresses