Electronic Books

Total Books: 21 - 40 /4224
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 ...

Lire la suite
A Legacy for Living Systems

This book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...

Lire la suite
A Linear Systems Primer

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

Lire la suite
A Modern Perspective on Type Theory

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

Lire la suite
A Practical Guide for SystemVerilog Assertions

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

Lire la suite
A Practical Introduction to PSL

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

Lire la suite
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

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

Lire la suite
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, ...

Lire la suite
A Problem-based Approach for Management Education

This book is designed to provide both novice and experienced users of PBL with resources for designing and implementing problem-based ...

Lire la suite
A Roadmap for Formal Property Verification

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

Lire la suite
A Short Course in Quantum Information Theory : An Approach From Theoretical Physics

This short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip ...

Lire la suite
A Software Process Model Handbook for Incorporating Peoples Capabilities

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

Lire la suite
A Testers Guide to .NET Programming

A Tester's Guide to .NET Programming focuses solely on applied programming techniques for testers. You will learn how to ...

Lire la suite
A Theory of Marketing

Marketing has become one of the most influential forces in contemporary market economies. Yet despite ubiquitous empirical ...

Lire la suite
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, ...

Lire la suite
NoIMG
AI Strategy for Sales and Marketing : Connecting Marketing, Sales and Customer Experience / Katie King

AI Strategy for Sales and Marketing presents a framework for understanding how AI can boost customer-centricity and sales ...

Lire la suite
AI and IoT for smart city applications / Vincenzo Piuri, Rabindra Nath Shaw, Ankush Ghosh, Rabiul Islam

Provides a valuable combination of relevant research works on developing smart city ecosystem from the artificial intelligence ...

Lire la suite
NoIMG
AI sign language translator سيد حسن أكبر موسوي ؛ عمر عامر حايك الأصفر ؛ كنعان الاحمد ؛ طارق هيكل ؛ إشراف د. أنس دهبية

People with disabilities are facing a lot of difficulties every day. Whether it is in social life, work or education environment, ...

Lire la suite
AI*IA 2005: Advances in Artificial Intelligence

This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence ...

Lire la suite
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 ...

Lire la suite
Total Books: 21 - 40 /4224