Electronic Books

Total Books: 1 - 20 /2925
978-3-540-74055-1
50 Years of EU Economic Dynamics

On the occasion of the 50th anniversary of the European Union experts present their analyses of historical developments and ...

Continue reading
9780081006078
A Clinical Guide to Fibre Reinforced Composites (FRCs) in Dentistry / Pekka Vallittu, Mutlu Özcan

Fiber-reinforced composites (FRCs) are a novel group of dental materials characterized by fibrous fillers that are being ...

Continue reading
978-3-540-71999-1
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Continue reading
978-3-540-71999-1
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Continue reading
978-3-030-47487-4
A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday

This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...

Continue reading
978-3-7908-1763-8
A Life Cycle for Clusters?

The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...

Continue reading
978-0-8176-4661-5
A Linear Systems Primer

Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...

Continue reading
978-981-15-2770-8
A Matrix Algebra Approach to Artificial Intelligence

The book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...

Continue reading
978-0-387-23896-8
A Platform-Centric Approach to System-on-Chip (SOC) Design

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

Continue reading
978-0-387-26173-7
A Practical Guide for SystemVerilog Assertions

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

Continue reading
NoIMG
A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security

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

Continue reading
978-3-540-27348-6
A Practical Theory of Reactive Systems

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

Continue reading
978-3-540-30004-5
A Reappraisal of the Ascending Systems in Man, with Emphasis on the Medial Lemniscus

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

Continue reading
978-0-387-36619-7
A Short Course on Operator Semigroups

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

Continue reading
978-0-8176-4540-3
A Software-Defined GPS and Galileo Receiver

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

Continue reading
978-3-540-27245-8
A Theory of Distributed Objects

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

Continue reading
978-3-540-89378-3
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings

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

Continue reading
978-981-15-5503-9
AI based Robot Safe Learning and Control

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

Continue reading
978-3-030-76613-9
AI-Enabled Threat Detection and Security Analysis for Industrial IoT / Hadis Karimipour, Farnaz Derakhshan

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

Continue reading
978-1-84800-310-1
ANEMONA : A Mulit-agent Methodology for Holonic Manufacturing Systems

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

Continue reading
Total Books: 1 - 20 /2925