Electronic Books

Total Books: 3241 - 3260 /3504

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 ...

Total Books: 3241 - 3260 /3504