Objective certification of professionals is a time-honored tradition in many fields, including medicine and law. As small computer systems and networks proliferated over the last decade, Novell and Microsoft produced extremely popular certification products for their respective operating system and network technologies. These...

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...

Religious Therapeutics explores the relationship between psychophysical health and spiritual health and presents a model for interpreting connections between religion and medicine in world traditions. This model emerges from the work's investigation of health and religiousness in classical Yoga, AÖyurveda, and Tantra-three Hindu...

Research and development in the field of hyphenated techniques has been growing rapidly in the last few years, as indicated by the growing number of conferences on the subject and also the huge number of papers published on techniques such as LC-GC (Liquid Chromatography-Gas Chromatography). Multidimensional techniques - the combination of 2...

The Fourth edition of Database System Concepts has been extensively revised from the 3rd edition. The new edition provides improved coverage of concepts, extensive coverage of new tools and techniques, and updated coverage of database system internals. This text is intended for a first course in databases at the junior or senior...