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 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 Function Spaces III
This book deals with the recent theory of function spaces as it stands now. Special attention is paid to some developments ...
Lee masTheory of Periodic Conjugate Heat Transfer
A new calculation method is presented for heat transfer in coupled convective-conductive fluid-wall systems under periodical ...
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
Timber Design - Architect's Guidebooks to Structures / Paul W. McMullin, Jonathan S. Price
Covers timber fundamentals for students and professional architects and engineers, such as tension elements, flexural elements, ...
Lee mas
Tools for High Performance Computing : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
To support application developers in the various tasks involved in this process, several different tools need to be at his ...
Lee mas
Topics in Analysis and its Applications
Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
Lee mas
Topics in Cryptology - CT-RSA 2008 : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings
This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
Lee mas
Topics in Cryptology -- CT-RSA 2005
This book constitutes the refereed proceedings of the Cryptographers Track at the RSA Conference 2005, CT-RSA 2005, held ...
Lee mas
Topics in Cryptology – CT-RSA 2007
This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2007, CT-RSA 2007, held ...
Lee mas
Topics in Dynamic Model Analysis
Classical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...
Lee mas
Topological Degree Approach to Bifurcation Problems
Topological bifurcation theory is one of the most essential topics in mathematics. This book contains original bifurcation ...
Lee mas
Topological and Bivariant K-theory
Topological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...
Lee mas
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lee mas
Transactions on Computational Systems Biology IX
This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
Lee mas
Transactions on Computational Systems Biology VI
This issue of Transactions on Computational Systems Biology contains a fully-refereed selection of papers from the Fourth ...
Lee mas
Transactions on High-Performance Embedded Architectures and Compilers I
Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
Lee mas
Transient Receptor Potential (TRP) Channels
The main goal of this volume is to provide up-to-date information on the molecular and functional properties and pharmacology ...
Lee mas
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...
Lee mas
