Electronic Books

Total Books: 101 - 120 /229

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

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

HDPE Geomembranes in Geotechnics

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

Handbook of Psychodiagnostic Testing

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

Hardware Verification with SystemVerilog

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

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

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

High-Performance Energy-Efficient Microprocessor Design

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

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

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

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

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

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

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

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

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

Leakage in Nanometer CMOS Technologies

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

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

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

Many-Core Computing : Hardware and software

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

Total Books: 101 - 120 /229