Electronic Books

Total Books: 3241 - 3260 /3504

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

This book comprises a selection of papers from the IFSA 2007 World Congress on theoretical advances and applications of fuzzy ...

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...

These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...

This open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information ...

This book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote ...

Theory and Design of CNC Systems covers the elements of control, the design of control systems, and modern open-architecture ...

Hard spheres and related objects (hard disks and mixtures of hard systems) are paradigmatic systems: indeed, they have served ...

This text book is intended for studies in structural dynamics or wind engineering, with special focus on the stochastic theory ...

This book presents comprehensive and authoritative coverage of the wide field of concentrated vortices observed in nature ...

This textbook focuses on concrete-filled steel tubular structures formed by placing concrete inside the steel tube. The content ...

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

A new calculation method is presented for heat transfer in coupled convective-conductive fluid-wall systems under periodical ...

This book is written for people who are interested in stochastic differential equations (SDEs) and their applications. It ...

This book presents a modern viewpoint of welding thermomechanics and provides a unified and systematic continuum approach ...

? ukurova University, Turkey in collaboration with Ljubljana University, Slovenia and the International Energy Agency Implementing ...

This book deals with the problem of a bearing capacity and fracture of thermally loaded materials. The treatise is based ...

In Thermal and Power Management of Integrated Circuits, power and thermal management issues in integrated circuits during ...

Total Books: 3241 - 3260 /3504