Electronic Books

Total Books: 1521 - 1540 /1575

UML for SOC Design

The last several years have seen significant progress on two related frontsin hardware and software design for electronic ...

Ubiquitous Computing Systems

UCS has become a symposium for the dissemination of state-of-the-art research and engineering practices in ubiquitous computing ...

Ubiquitous Computing Systems (vol. # 4239)

This book constitutes the refereed proceedings of the proceedings of the 2006 International Symposium on Ubiquitous Computing ...

Ubiquitous Convergence Technology

Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects ...

Uncertainty, Rationality, and Agency

This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...

Unconventional Programming Paradigms

Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...

Understanding Programming Languages

This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...

Unfoldings : A Partial-Order Approach to Model Checking

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...

Unifying Theories of Programming

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

Unifying the Software Process Spectrum

This volume contains papers presented at SPW 2005, the Software Process Workshop held in Beijing, P. R. China, on May 25-27, ...

Univariate Stable Distributions

This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...

Universal Access in Ambient Intelligence Environments

This volume contains the proceedings of the last ERCIM “User Interfaces for All” Workshop. The work of the ERCIM WG UI4ALL ...

Use Case Driven Object Modeling with UML

Use Case Driven Object Modeling with UML: Theory and Practice shows how to drive an object-oriented software design from ...

User Interfaces for Wearable Computers : Development and Evaluation

It examines user interfaces for wearable computers and analyses the challenges imposed by the wearable computing paradigm ...

VLSI-SOC: From Systems to Chips

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

VLSI-SoC: Research Trends in VLSI and Systems on Chip : Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

Validated Designs for Object-oriented Systems

This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...

Value-Based Software Engineering

VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from ...

Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Variable Domain-specific Software Languages with DjDSL

This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...

Total Books: 1521 - 1540 /1575