'Et moi, ... si favait III mmment en revenir, One service mathematics has rendered the je n'y ser...

'Et moi, ... si favait III mmment en revenir, One service mathematics has rendered the je n'y ser...

This book constitutes the refereed proceedings of the 20th International Symposium on Model Check...

Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to ...

This book provides comprehensive coverage of neural networks, their evolution, their structure, t...

One of the great challenges of the companies to maximize its capability of innovation, an urgent ...

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Ver...

Geometry, if understood properly, is still the closest link between mathematics and theoretical p...

The idea of this volume originated from the need to have a book for students to support their tra...

This book provides comprehensive coverage of neural networks, their evolution, their structure, t...

This book constitutes the refereed proceedings of the 14th International Conference on Computatio...

This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on...