Electronic Books

Total Books: 41 - 60 /4928

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

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

Based on material assembled by Dr Jaap HR Schoen who was one of the few neuroanatomists to apply the Nauta method to human ...

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

The book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...

This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...

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

The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...

Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...

Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...

Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...

Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...

The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...

This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...

Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...

This book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...

Provides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet ...

ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...

Total Books: 41 - 60 /4928