Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...
Lee mas
Theory and Applications of Relational Structures as Knowledge Instruments II
This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
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 Applications of Satisfiability Testing - SAT 2006
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
Lee mas
Theory and Applications of Satisfiability Testing - SAT 2007
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Lee mas
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 ...
Lee mas
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations ...
Lee mas
Theory of Complex Homogeneous Bounded Domains
This book is the first to systematically explore the classification and function theory of complex homogeneous bounded domains. ...
Lee mas
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lee mas
Theory of Cryptography (vol. # 3876)
This book constitutes the refereed proceedings of the PrefaceTCC 2006 was the third Theory of Cryptography Conference, which ...
Lee mas
Theory of Evolutionary Computation
Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...
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 Quantum Transport in Metallic and Hybrid Nanostructures
A new science emerges at the intersection of modern physics, computer s- ence,andmaterialscience. Thestruggletofurtherminiaturizeisputtingna- ...
Lee mas
Theory of Random Sets
Theory of Random Sets presents a state of the art treatment of the modern theory, but it does not neglect to recall and build ...
Lee mas
Thermal Processes Using Attosecond Laser Pulses
This book contains a study of the thermal processes initiated by attosecond laser pulses. Considering the existence of the ...
Lee mas
Thermal Properties of Green Polymers and Biocomposites
The book includes over 370 figures concerning thermal properties of green polymers with detailed experimental conditions. ...
Lee mas
Time Domain Methods in Electrodynamics
This book consists of contributions given in honor of Wolfgang J.R. Hoefer. The contributions represent the state of the ...
Lee mas
Time Series Analysis : With Applications in R
Time Series Analysis With Applications in R, Second Edition, presents an accessible approach to understanding time series ...
Lee mas
Time Series Analysis and Its Applications
Time Series Analysis and Its Applications, Second Edition, presents a balanced and comprehensive treatment of both time and ...
Lee mas
Timing and Temporality in Islamic Philosophy and Phenomenology of Life
From time immemorial, concern with timing of life has been crucial for the regulation of human praxis as well as for the ...
Lee mas
