The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suite
This established text and reference contains an advanced presentation of quantum mechanics adapted to the requirements of ...
Lire la suite
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lire la suite
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Lire la suite
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
This book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote ...
Lire la suite
This book includes different issues related with: process and engineering of model transformations; model transformations ...
Lire la suite
This book constitutes the refereed proceedings of the PrefaceTCC 2006 was the third Theory of Cryptography Conference, which ...
Lire la suiteA new calculation method is presented for heat transfer in coupled convective-conductive fluid-wall systems under periodical ...
Lire la suite
This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Lire la suite
This book presents a modern viewpoint of welding thermomechanics and provides a unified and systematic continuum approach ...
Lire la suite
This volume will be of interest to both the researcher interested in therapeutic hypothermia as well as the clinician interested ...
Lire la suite
The focus of this monograph is on thermal transport modeling at time and length scales ranging from micro- to nanoscale levels. It ...
Lire la suite
Thermo-fluid dynamics of two-phase flow is an important subject for various scientific and engineering fields. It plays a ...
Lire la suite
Thermotropic Liquid Crystals: Recent Advances covers developments in the field of thermotropic liquid crystals and their ...
Lire la suite
Thinking English Translation is a practical guide to analysing and translating English source texts. Section I focuses on ...
Lire la suite
Classification societies are charged with the technical supervision of maritime shipping to enhance the safety of life and ...
Lire la suite
This is a reader that gives a complete overview of the history of photosynthesic carbon metabolism research up to the very ...
Lire la suite
This book provides a formal ontology of senses and the belief-relation that grounds the distinction between de dicto, de ...
Lire la suite
3DTV require the integration of a diversity of key technologies from computing to graphics, imaging to display, and signal ...
Lire la suite