Despite national and international commitments to Education for All, and the Millennium Developme...

Thishandbookwasmotivatedinpartbyourexperience(andthatofothers)in performing research and in teach...

Despite national and international commitments to Education for All, and the Millennium Developme...

Despite national and international commitments to Education for All, and the Millennium Developme...

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Contr...

This book constitutes the refereed proceedings of the Third International Conference on Embedded ...

A foundational text that offers a rigorous introduction to the principles of design, specificatio...

A foundational text that offers a rigorous introduction to the principles of design, specificatio...

This book constitutes the refereed proceedings of the Third International Conference on Embedd...

This book constitutes the refereed proceedings of the 8th International Conference on Computer Ai...

This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification...