Computer-Aided Design of User Interfaces IV: Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI '2004

Steiner Trees in Industry

Advances in Steiner Trees

Graph Colouring and the Probabilistic Method

Facial Analysis from Continuous Video with Applications to Human-Computer Interface

Palmprint Authentication

Palmprint Authentication

Facial Analysis from Continuous Video with Applications to Human-Computer Interface

Multi-Dimensional Modal Logic

Thirty Five Years of Automating Mathematics

A Modern Perspective on Type Theory: From its Origins until Today

Abduction and Induction: Essays on their Relation and Integration

Thirty Five Years of Automating Mathematics

Multi-Dimensional Modal Logic

Abduction and Induction: Essays on their Relation and Integration

A Modern Perspective on Type Theory: From its Origins until Today

Mathematical Problems from Applied Logic I: Logics for the XXIst Century

Mathematical Problems from Applied Logic I: Logics for the XXIst Century

Matrix-Based Multigrid: Theory and Applications

Matrix-Based Multigrid: Theory and Applications

Algoritmi: Lo spirito dell'informatica

Bounded Queries in Recursion Theory

Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989