Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Real-Time Systems: Formal Specification and Automatic Verification
Real-Time Systems: Formal Specification and Automatic Verification
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:...
Capital Investment & Financing: a practical guide to financial evaluation
Capital Investment & Financing: a practical guide to financial evaluation

The requirement to maximise value for shareholders is at the core of any corporate investment or financing decision. The intrinsic value of proposed investments should be assessed before deciding how much capital to allocate; the benefits and risks associated with each available source of finance should be considered when capital is being...

The Role of Labour Mobility and Informal Networks for Knowledge Transfer
The Role of Labour Mobility and Informal Networks for Knowledge Transfer
The purpose of this volume is to analyze the microfoundations of knowledge spillovers. The microeconomic analysis of spillovers leads to the insight that the spillover and flow of knowledge is not at all automatic. Instead, this volume suggests that a filter exists between knowledge and its economic application. The focus of this volume is on...
Introduction to Logic Design, 3rd Edition (Irwin Electronics & Computer Enginering)
Introduction to Logic Design, 3rd Edition (Irwin Electronics & Computer Enginering)

Introduction to Logic Design by Alan Marcovitz is intended for the first course in logic design, taken by computer science, computer engineering, and electrical engineering students. As with the previous editions, this edition has a clear presentation of fundamentals and an exceptional collection of examples, solved problems and...

Pro WPF: Windows Presentation Foundation in .NET 3.0
Pro WPF: Windows Presentation Foundation in .NET 3.0
The Microsoft Windows Presentation Foundation (formerly code-named "Avalon") is a key part of .NET 3.0 and provides the foundation for building applications and high-quality user experiences in Windows Vista. WPF blends together application user interface, documents, and media content, while exploiting the full power of your computer....
Mastering Financial Mathematics in Microsoft Excel: A Practical Guide for Business Calculations (Market Editions)
Mastering Financial Mathematics in Microsoft Excel: A Practical Guide for Business Calculations (Market Editions)
Tools enabling managers to carry out financial calculations have evolved in the last 20 years from tables through calculators to programs on PCs and personal organisers. Today, the majority of those in finance have Excel on their desks and increasingly on their laptops or pocket computers.

Mastering Financial Mathematics in Microsoft...

Power-Constrained Testing of VLSI Circuits (Frontiers in Electronic Testing)
Power-Constrained Testing of VLSI Circuits (Frontiers in Electronic Testing)

Increased levels of chip integration combined with physical limitations of heat removal devices, cooling mechanisms and battery capacity, have established energy-efficiency as an important design objective in the implementation flow of modern electronic products. To meet these low energy objectives, new low power techniques, including...

BPMN Modeling and Reference Guide
BPMN Modeling and Reference Guide

Develop rigorous yet understandable graphical representations of business processes

Business Process Modeling Notation (BPMN) is a standard, graphical modeling representation for business processes. It provides an easy to use, flow-charting notation that is independent of the implementation environment. An underlying rigor
...

The C Answer Book: Solutions to the Exercises in The C Programming Language, Second Edition
The C Answer Book: Solutions to the Exercises in The C Programming Language, Second Edition

Provides solutions to all exercises in Kernighan & Ritchie's new ANSI C book. Ideal for use with K&R in any course on C. Careful study of this answer book will help understand ANSI C and enhance programming skills. Tondo & Gimpel describe each solution and completely format programs to show the logical flow.

...
Virtual Crowds: Methods, Simulation, and Control (Synthesis Lectures on Computer Graphics and Animation)
Virtual Crowds: Methods, Simulation, and Control (Synthesis Lectures on Computer Graphics and Animation)
There are many applications of computer animation and simulation where it is necessary to model virtual crowds of autonomous agents. Some of these applications include site planning, education, entertainment, training, and human factors analysis for building evacuation. Other applications include simulations of scenarios where masses of people...
Programming Elastic MapReduce: Using AWS Services to Build an End-to-End Application
Programming Elastic MapReduce: Using AWS Services to Build an End-to-End Application

Although you don’t need a large computing infrastructure to process massive amounts of data with Apache Hadoop, it can still be difficult to get started. This practical guide shows you how to quickly launch data analysis projects in the cloud by using Amazon Elastic MapReduce (EMR), the hosted Hadoop framework in Amazon Web...

Design, Deployment and Performance of 4G-LTE Networks: A Practical Approach
Design, Deployment and Performance of 4G-LTE Networks: A Practical Approach

This book provides an insight into the key practical aspects and best practice of 4G-LTE network design, performance, and deployment

Design, Deployment and Performance of 4G-LTE Networks addresses the key practical aspects and best practice of 4G networks design, performance, and deployment. In addition, the book...

unlimited object storage image
Result Page: 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 47 46 45 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy