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

Weiterlesen
A Legacy for Living Systems

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

Weiterlesen
A Linear Systems Primer

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

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

Weiterlesen
A Practical Guide for SystemVerilog Assertions

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

Weiterlesen
A Practical Introduction to PSL

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

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

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

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

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

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

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

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

Weiterlesen
A Theory of Marketing

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

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

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

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

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

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

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

Weiterlesen
Total Books: 21 - 40 /4224