“Hardening” is the process of protecting a system and its applications against unknown threats. Hardening Linux identifies ...
Lire la suiteHardening is the process of protecting a system against unknown threats. System administrators harden against that which ...
Lire la suitePart I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II ...
Lire la suiteVerification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Lire la suiteThe Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Lire la suiteThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Lire la suiteThese are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
Lire la suiteThis book provides an extensive treatment of Hardy inequalities and closely related topics from the point of view of Folland ...
Lire la suiteThe purpose of this work is to provide an up-to-date overview of the advances in our knowledge of harmful cyanobacteria. ...
Lire la suiteمدينة تضم دار اوبرا و معهد للموسيقا و الرقص تابع لوزارة الثقافة بالاضافة ...
Lire la suiteJohn J. Benedetto has had a profound influence not only on the direction of harmonic analysis and its applications, but also ...
Lire la suiteJohn J. Benedetto has had a profound influence not only on the direction of harmonic analysis and its applications, but also ...
Lire la suiteThis book - an outgrowth of a topical summer school - sets out to introduce non-specialists from physics and engineering ...
Lire la suiteThis volume reflects the state-of-the-art in these areas. Original articles and survey articles, all refereed, cover topics ...
Lire la suiteThis open access book is the culmination of many years of research on what happened to the bodies of executed criminals in ...
Lire la suiteMolecular-orbital calculations for materials design such as alloys, ceramics, and coordination compounds are now possible ...
Lire la suitePractical approach to the subject, taking the reader through every step of endodontic practice from scientific basis to patient ...
Lire la suiteA guide to proven, current clinical endodontic practice. It is designed, primarily, with the undergraduate readership in ...
Lire la suiteThe book brings together information on harvest methods, system productivity, and methods for conducting safe, efficient, ...
Lire la suiteIn this book, a group of global experts gathered by the Institute for the Integration of Latin America and the Caribbean ...
Lire la suite