Abstract data types (Computer science)

Data structures with abstract data types and Ada / by: (Language materials, printed)

Data structures, algorithms, and performance / by: (Language materials, printed)

Data abstraction and structures using C++ by: (Language materials, printed)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Language materials, printed)

Software, services, and systems = essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering / by: (Electronic resources)

Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers / by: (Electronic resources)

Data structures (Computer science)

Mathematical Logic and Foundations.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logic, Symbolic and mathematical.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Systems engineering

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Abstract data types (Computer science)

Ada (Computer program language)

Logic Design.

Programming Languages, Compilers, Interpreters.

Models and Principles.

Functional programming (Computer science)

Lambda calculus.

Proof theory.

Computer Science.

C++ (Computer program language)

Curry-Howard isomorphism.