This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
Lire la suiteAll current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suiteThermotropic Liquid Crystals: Recent Advances covers developments in the field of thermotropic liquid crystals and their ...
Lire la suiteThe 25 papers in the proceedings of the first meeting of the ILP task force on Sedimentary Basins, December 2005, Institut ...
Lire la suiteThis book is the outcome of a global study undertaken on behalf of the World Education Fellowship (WEF) in collaboration ...
Lire la suiteThis book is the French translation of a reference book Andrology for the clinicians. It has two parts. The first part is ...
Lire la suiteTransmission Electron Microscopy: Physics of Image Formation presents the theory of image and contrast formation, and the ...
Lire la suiteThis book explains concepts of transmission electron microscopy (TEM) and x-ray diffractometry (XRD) that are important for ...
Lire la suiteThe development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...
Lire la suiteThis volume explores how UN peace operations are adapting to four trends in the changing global order: the rebalancing of ...
Lire la suitePhotoemission spectroscopy is one of the most extensively used methods to study the electronic structure of atoms, molecules, ...
Lire la suiteThis book demonstrates hope, optimism and the belief that people with good will can help contribute to peace and mutual cooperation ...
Lire la suiteWeb Standards Creativity is jam-packed with fresh, innovative design ideas. The topics range from essential CSS typography ...
Lire la suite