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 ...
اقرأ المزيدTheoretical Advances and Applications of Fuzzy Logic and Soft Computing
This book comprises a selection of papers from the IFSA 2007 World Congress on theoretical advances and applications of fuzzy ...
اقرأ المزيد
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 ...
اقرأ المزيد
Theoretical Introduction to Programming
Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...
اقرأ المزيدTheoretical and Numerical Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...
اقرأ المزيد
Theory and Applications of Ordered Fuzzy Numbers
This open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information ...
اقرأ المزيد
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 ...
اقرأ المزيد
Theory and Design of CNC Systems
Theory and Design of CNC Systems covers the elements of control, the design of control systems, and modern open-architecture ...
اقرأ المزيد
Theory and Simulation of Hard-Sphere Fluids and Related Systems
Hard spheres and related objects (hard disks and mixtures of hard systems) are paradigmatic systems: indeed, they have served ...
اقرأ المزيد
Theory of Bridge Aerodynamics
This text book is intended for studies in structural dynamics or wind engineering, with special focus on the stochastic theory ...
اقرأ المزيدTheory of Concentrated Vortices
This book presents comprehensive and authoritative coverage of the wide field of concentrated vortices observed in nature ...
اقرأ المزيد
Theory of Concrete-Filled Steel Tubular Structures / Lin-Hai Han
This textbook focuses on concrete-filled steel tubular structures formed by placing concrete inside the steel tube. The content ...
اقرأ المزيد
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيد
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيدTheory of Periodic Conjugate Heat Transfer
A new calculation method is presented for heat transfer in coupled convective-conductive fluid-wall systems under periodical ...
اقرأ المزيد
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 ...
اقرأ المزيد
Theory of Thermomechanical Processes in Welding
This book presents a modern viewpoint of welding thermomechanics and provides a unified and systematic continuum approach ...
اقرأ المزيد
Thermal Energy Storage for Sustainable Energy Consumption
? ukurova University, Turkey in collaboration with Ljubljana University, Slovenia and the International Energy Agency Implementing ...
اقرأ المزيد
Thermal Stress Resistance of Materials
This book deals with the problem of a bearing capacity and fracture of thermally loaded materials. The treatise is based ...
اقرأ المزيد
Thermal and Power Management of Integrated Circuits
In Thermal and Power Management of Integrated Circuits, power and thermal management issues in integrated circuits during ...
اقرأ المزيد
