This book constitutes the refereed proceedings of the 5th International Conference on Algebraic M...

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodol...

This book constitutes the refereed proceedings of the First International Conference on the Found...

En Europe occidentale, en matière de  médias, les années quatre-vingts  ont été celles de tous le...

Specification and top down design of distributed systems.- Specification languages for distribute...

An introduction to finite automata on infinite words.- Deterministic and non ambiguous rational ?...

This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (...

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software...

On the relevance of formal methods to software development.- Combining algebraic and predicative ...

This volume contains the papers selected for presentation atthe Second International Conference o...

Chienne de guerre

In the spring of 2003, acclaimed journalist Anne Nivat set off from Tajikistan on a six-month jou...

The research and development of multi-dimensional pattern recognition, scene analysis, computer v...

Presents essays on such topics as three-dimensional object representation by array grammars, stoc...

French journalist Nivat decided to see what war was all about. And though it was forbidden, she s...

This review volume contains a selection of papers by leading experts in the areas of Parallel Ima...

This volume deals with the following topics: 2-D, 3-D automata and grammars, parallel architectur...

Der Sammelband enthält die folgenden Beiträge: Peter Brang, Zur Situation und den Aufgaben einer ...