This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
WeiterlesenThis book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
WeiterlesenBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
WeiterlesenThe first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
WeiterlesenSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
WeiterlesenPractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
WeiterlesenThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
WeiterlesenA man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
WeiterlesenThis book is designed to provide both novice and experienced users of PBL with resources for designing and implementing problem-based ...
WeiterlesenThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
WeiterlesenThis short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip ...
WeiterlesenA Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
WeiterlesenA Tester's Guide to .NET Programming focuses solely on applied programming techniques for testers. You will learn how to ...
WeiterlesenMarketing has become one of the most influential forces in contemporary market economies. Yet despite ubiquitous empirical ...
WeiterlesenThis book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
WeiterlesenAI Strategy for Sales and Marketing presents a framework for understanding how AI can boost customer-centricity and sales ...
WeiterlesenProvides a valuable combination of relevant research works on developing smart city ecosystem from the artificial intelligence ...
WeiterlesenPeople with disabilities are facing a lot of difficulties every day. Whether it is in social life, work or education environment, ...
WeiterlesenThis volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence ...
WeiterlesenProvides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet ...
Weiterlesen