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

Continue reading
978-981-99-2170-6
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 ...

Continue reading
978-3-540-45270-6
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. ...

Continue reading
978-3-540-26360-9
Thermal Analysis of Polymeric Materials

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

Continue reading
9781032408286
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 ...

Continue reading
978-3-540-34480-3
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 ...

Continue reading
978-3-030-45190-5
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 ...

Continue reading
978-3-030-45237-7
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 ...

Continue reading
978-3-030-72016-2
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 ...

Continue reading
978-3-030-72013-1
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 ...

Continue reading
978-3-540-33057-8
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 ...

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

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

Continue reading
978-3-540-68564-7
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 ...

Continue reading
978-1-4020-5460-0
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 ...

Continue reading
978-3-030-48442-2
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 ...

Continue reading
978-3-540-47226-1
Trace Fossils

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

Continue reading
978-3-540-32974-9
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 ...

Continue reading
978-3-540-75162-5
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 ...

Continue reading
978-1-4020-4902-6
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 ...

Continue reading
Total Books: 821 - 840 /883