Electronic Books

Total Books: 101 - 120 /229
NoIMG
Guidelines for the supplementary load testing of bridges

As of January 1999, under European Union ruling, 40 tonne vehicles have been allowed on UK roads, leading to a challenging ...

Continue reading
9783035622676
Guidelines for thermography in architecture and civil engineering : theory, application area, practical implementation / Torsten Richter, Nabil A. Fouad

These guidelines convey in condensed form the authors' many years of experience in detecting thermal engineering defects ...

Continue reading
NoIMG
HDPE Geomembranes in Geotechnics

HDPE (High-density polyethylene) geomembranes are nowadays widely used for large-area liners and construction sealings in ...

Continue reading
978-0-387-71370-0
Handbook of Psychodiagnostic Testing

Since the debut of the original edition, the Handbook of Psychodiagnostic Testing has been an invaluable aid to students ...

Continue reading
978-0-387-71740-1
Hardware Verification with SystemVerilog

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...

Continue reading
978-3-540-70889-6
Hardware and Software, Verification and Testing

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

Continue reading
978-3-540-32605-2
Hardware and Software, Verification and Testing

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...

Continue reading
978-0-387-34047-0
High-Performance Energy-Efficient Microprocessor Design

High Performance Energy Efficient Microprocessor Design is intended to be a useful companion book for every design engineer ...

Continue reading
978-1-4302-0242-4
How to Code .NET

How to Code .NET: Tips and Tricks for Coding .NET 1.1 and .NET 2.0 Applications Effectively provides solutions to certain ...

Continue reading
978-3-030-19389-8
IEA International Computer and Information Literacy Study 2018 Assessment Framework

This book is designed to assess how well students are prepared for study, work and life in a digital world. The study measures ...

Continue reading
978-1-4842-7799-7
IT Security Controls : A Guide to Corporate Standards and Frameworks / Virgilio Viegas, Oben Kuyucu

Gives an overview of the major standards and frameworks, and a proposed architecture to meet them. The book identifies and ...

Continue reading
NoIMG
Innovations in E-learning, Instruction Technology, Assessment and Engineering Education

Innovations in E-learning, Instruction Technology, Assessment and Engineering Education is a collection of world class paper ...

Continue reading
978-3-030-20223-1
International Reflections on the Netherlands Didactics of Mathematics Visions on and Experiences with Realistic Mathematics Education

This book, inspired by the ICME 13 Thematic Afternoon on “European Didactic Traditions”, takes readers on a journey ...

Continue reading
978-3-031-13433-3
Introduction to Intelligent Construction Technology of Transportation Infrastructure / Guanghui Xu , Dongsheng Wang

Expounds on the related technologies of intelligent transportation infrastructure construction. Based on the essential characteristics ...

Continue reading
978-3-030-97899-0
Introduction to Software Design with Java / Martin P. Robillard

Provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming ...

Continue reading
978-3-030-47515-4
Large-Scale Cognitive Assessment Analyzing PIAAC Data

This methodological book summarises existing analysing techniques using data from PIAAC, a study initiated by the OECD that ...

Continue reading
978-0-387-28133-9
Leakage in Nanometer CMOS Technologies

It is essential for circuit and system designers to understand the components of leakage, sensitivity of leakage to different ...

Continue reading
978-3-030-61467-6
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Continue reading
978-3-030-91585-8
Machine Learning for Cyber Agents : Attack and Defence / Stanislav Abaimov, Maurizio Martellini

The cyber world has been both enhanced and endangered by AI. On the one hand, the performance of many existing security services ...

Continue reading
978-1-78561-583-2
Many-Core Computing : Hardware and software

Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming ...

Continue reading
Total Books: 101 - 120 /229