I: Foundations.- I - Elements of graded algebra.- II - Sheaves and cohomology.- II Supermanifolds...

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

Lo scibile matematico si espande a un ritmo vertiginoso. Nel corso degli ultimi cinquant'anni son...

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

The book describes the close relationship between physics and geometry as it is understood nowada...

InhaltsangabeExplicit-state model checking techniques.- Other related tools.- Techniques for the ...

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

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 Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on...

This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...

Intimità, spazio, libertà di movimento, mimetismo, coraggio, conoscenze tecniche, tempo e a volte...