5 Ebooks by Mitsuhiro Okada
Mitsuhiro Okada & Benjamin Pierce: Software Security — Theories and Systems
For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software …
PDF
English
DRM
€56.36
Veronique Cortier & Claude Kirchner: Formal to Practical Security
The security issues set by the global digitization of our society have had, and will continue to have, a crucial impact at all levels of our social organization, including, just to mention a few, …
PDF
English
DRM
€56.28
Joshua Guttman & Tajana Ban Kirigin: Logic, Language, and Security
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative …
EPUB
English
DRM
€68.85
Toshiyasu Arai & Makoto Kikuchi: Advances in Mathematical Logic
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois …
PDF
English
€160.49
Mitsuhiro Okada: 62 Good Habits for Efficient Work
This book shows how to improve working efficiency and achieve objectives based on 62 good working habits. Everyone shares similar working competence in fact, but someone is successful with someone …
EPUB
DRM
€25.47
