Faithin Omaha eBook Collection

This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods a

This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the Europe

A practical reference to the medical and surgicaltreatment of epilepsy The third edition of The Treatment of Epilepsy has beenthoroughly updated. It is a refere