Electronic Books

Total Books: 61 - 80 /8049

The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...

This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...

Written in the tradition of G. Ludwig’s groundbreaking works, this book aims to clarify and formulate more precisely the ...

The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...

This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...

SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...

A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...

A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...

This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...

Although there are now a large number of computer programmes for solving all sorts of foundation design problems, the need ...

Explains the process of ground formation - what it is made of and how it behaves as an engineering material. This enables ...

A Short Course in Soil-structure Engineering of Deep Foundations, Excavations and Tunnels, focuses on the three major geotechnical ...

A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...

Satellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...

الدراسة الإنشائية لبناء سكني : مبنى سكني مؤلف من 17 طابق

This book investigates the complex processes of the post-1990 transformation in the Czech automotive industry and its selective ...

Total Books: 61 - 80 /8049