Electronic Books

Total Books: 361 - 380 /400
Strand Corrosion in Prestressed Concrete Structures / Lei Wang

Focuses on the durability problems of existing prestressed concrete (PC) structures caused by strand corrosion, clarifies ...

Lire la suite
Strengthening of Concrete Structures : Unified Design Approach, Numerical Examples and Case Studies / Amr Abdelrahman

Presents unified design approach for strengthening concrete members with different techniques such as concrete, steel, and ...

Lire la suite
Structural Concrete: Theory and Design / M. Nadim Hassoun, Akthem Al-Manaseer

Covers the historical background of structural concrete; advantages and disadvantages; codes and practice; and design philosophy ...

Lire la suite
Structural Concrete: Theory and Design, 7th Edition / M. Nadim Hassoun, Akthem Al-Manaseer

The leading structural concrete design reference for over two decades—updated to reflect the latest ACI 318-19 code A go-to ...

Lire la suite
Structural Information and Communication Complexity : 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings

This book cover topics such as distributed algorithms, compact data structures, information dissemination, informative labeling ...

Lire la suite
Structural, Syntactic, and Statistical Pattern Recognition : Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings

This book includes : graph-based methods, probabilistic and stochastic structural models for PR, image and video analysis, ...

Lire la suite
Supervisory Control of Concurrent Systems

This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...

Lire la suite
Sustainable Concrete Made with Ashes and Dust from Different Sources / Rafat Siddique and Rafik Belarbi

Focuses on individual materials, addressing material characterization, their role in the strength and durability of construction ...

Lire la suite
Sustainable Light Concrete Structures / Kristian Dahl Hertz, Philip Halding

Presents new technologies for easy and economical construction of light concrete structures saving materials and CO2. The ...

Lire la suite
Technical Translation

This book is an introduction to technical translation and usability for translators and researchers. It draws on a broad ...

Lire la suite
Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

Lire la suite
Testing and Tuning Market Trading Systems : Algorithms in C++ / Timothy Masters

Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...

Lire la suite
Testing of Construction Materials / Bahurudeen A, P V P Moorthi

Provides an understanding of peer-reviewed international construction materials and their testing methods in a simplified ...

Lire la suite
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

Lire la suite
The Definitive Guide to Modern Java Clients with JavaFX 17 : Cross-Platform Mobile and Cloud Development / Stephen Chin, Johan Vos, James Weaver

Show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud ...

Lire la suite
The Developers Guide to Debugging

"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...

Lire la suite
The Painlevé Handbook

This book introduces the reader to methods allowing one to build explicit solutions to these equations. A prerequisite task ...

Lire la suite
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 ...

Lire la suite
Theory and Applications of Models of Computation

This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...

Lire la suite
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 ...

Lire la suite
Total Books: 361 - 380 /400