Electronic Books

Total Books: 821 - 840 /883
NoIMG
Theory of Concentrated Vortices

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

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

Weiterlesen
Theory of Light Hydrogenic Bound States

The book describes the modern theory of light hydrogen-like systems, and the discussion is based on quantum electrodynamics. ...

Weiterlesen
Thermal Analysis of Polymeric Materials

"Thermal Analysis of Polymeric Materials" systematically treats macroscopic measurements by thermal analysis and the quantitative ...

Weiterlesen
Thin Place Design : Architecture of the Numinous / Phillip James Tabb

Aims to expand the discussion about thin places, how they work and why they are important. It explores the origins and characteristics ...

Weiterlesen
Théorie élémentaire et pratique de la commande par les régimes glissants

This work proposes to apply the Sliding Regimes (RG) algorithms to industrial regulation and servo loops controlled to date ...

Weiterlesen
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Weiterlesen
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Weiterlesen
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Weiterlesen
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Weiterlesen
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)

This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...

Weiterlesen
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Weiterlesen
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

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

Weiterlesen
Topics in the Theory of Chemical and Physical Systems

Topics in the Theory of Chemical and Physical Systems is a collection of 14 selected papers from the scientific presentations ...

Weiterlesen
Towards a Comparative Analysis of Social Inequalities between Europe and Latin America

This book identifies the common and specific aspects of social mechanisms that generate inequalities, through comparative ...

Weiterlesen
Trace Fossils

This definitive textbook by a renowned field observer and analyst of trace fossils concentrates on the most distinctive examples, ...

Weiterlesen
Transactions on Aspect-Oriented Software Development I

This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...

Weiterlesen
Transactions on Aspect-Oriented Software Development III

This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...

Weiterlesen
Transboundary Floods: Reducing Risks Through Flood Management

Flood damages are increasing as a result of frequent occurrence of large floods in many parts of the world, existing and ...

Weiterlesen
Total Books: 821 - 840 /883