Theory and Applications of Satisfiability Testing - SAT 2006
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
Weiterlesen
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Weiterlesen
Thermotropic Liquid Crystals
Thermotropic Liquid Crystals: Recent Advances covers developments in the field of thermotropic liquid crystals and their ...
Weiterlesen
Thrust belts and Foreland Basins
The 25 papers in the proceedings of the first meeting of the ILP task force on Sedimentary Basins, December 2005, Institut ...
Weiterlesen
Towards a Global Community
This book is the outcome of a global study undertaken on behalf of the World Education Fellowship (WEF) in collaboration ...
Weiterlesen
Traité dandrologie à lusage des cliniciens = Andrology treatise for clinicians
This book is the French translation of a reference book Andrology for the clinicians. It has two parts. The first part is ...
Weiterlesen
Transmission Electron Microscopy : Physics of Image Formation
Transmission Electron Microscopy: Physics of Image Formation presents the theory of image and contrast formation, and the ...
Weiterlesen
Transmission Electron Microscopy and Diffractometry of Materials
This book explains concepts of transmission electron microscopy (TEM) and x-ray diffractometry (XRD) that are important for ...
Weiterlesen
Trapped Charged Particles and Fundamental Interactions
The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...
Weiterlesen
United Nations Peace Operations in a Changing Global Order
This volume explores how UN peace operations are adapting to four trends in the changing global order: the rebalancing of ...
Weiterlesen
Very High Resolution Photoelectron Spectroscopy
Photoemission spectroscopy is one of the most extensively used methods to study the electronic structure of atoms, molecules, ...
Weiterlesen
Water Resources in the Middle East
This book demonstrates hope, optimism and the belief that people with good will can help contribute to peace and mutual cooperation ...
Weiterlesen
Web Standards Creativity
Web Standards Creativity is jam-packed with fresh, innovative design ideas. The topics range from essential CSS typography ...
Weiterlesen
