Electronic Books

Total Books: 21 - 40 /4135

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...

Les médecins généralistes sont destinataires d’un grand nombre d’informations sur l’alcool, son usage et ses conséquences ...

Total Books: 21 - 40 /4135