Theatre Buildings : A Design Guide / Margaret Shewring
It provides an invaluable resource for those looking to build, remodel or conserve theatre buildings, taking into account ...
Lee mas
Theorem Proving in Higher Order Logics
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lee mas
Theorem Proving in Higher Order Logics
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Lee mas
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Lee mas
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lee mas
Theoretical Aspects of Computing – ICTAC 2007
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lee mas
Theoretical Atomic Physics
This established text and reference contains an advanced presentation of quantum mechanics adapted to the requirements of ...
Lee mas
Theoretical and Practical Advances in Computer-based Educational Measurement
Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...
Lee mas
Theory and Applications of Satisfiability Testing (vol. # 3569)
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
Lee mas
Theory and Approach of Information Retrievals from Electromagnetic Scattering and Remote Sensing
This book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote ...
Lee mas
Theory of Association Schemes
The present text is an introduction to the theory of association schemes. We start with the de?nition of an association scheme ...
Lee mas
Theory of Probability and Random Processes
A one-year course in probability theory and the theory of random processes, taught at Princeton University to undergraduate ...
Lee mas
Theory of Stochastic Differential Equations with Jumps and Applications
This book is written for people who are interested in stochastic differential equations (SDEs) and their applications. It ...
Lee mas
Thermal Analysis of Polymeric Materials
"Thermal Analysis of Polymeric Materials" systematically treats macroscopic measurements by thermal analysis and the quantitative ...
Lee mas
Thermal Decomposition of Solids and Melts
Thermal Decomposition of Solids and Melts describes the results of investigations into the mechanisms and kinetics involved ...
Lee mas
Thermodynamic Equilibria and Extrema
This book discusses mathematical models that are based on the concepts of classical equilibrium thermodynamics. They are ...
Lee masThin Films of Soft Matter
A detailed overview and comprehensive analysis of the main theoretical and experimental advances on free surface thin film ...
Lee mas
Thin-Walled Composite Beams
A decisive factor that has fueled thisgrowing activity was generatedby highdiversity and severity ofdemandsand operating ...
Lee mas
Third Generation Photovoltaics
Photovoltaics, the direct conversion of sunlight to electricity, is now the fastest growing technology for electricity generation. ...
Lee mas
Third-Party Liability of Classification Societies
Classification societies are charged with the technical supervision of maritime shipping to enhance the safety of life and ...
Lee mas
