for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This 2004 book provides students and professional programmers with a concise yet comprehensive view of the role memory plays in all aspects of programming and... Læs mere
This 2005 book explores the differences between mobile and stationary applications and the architectural and... Læs mere
Upper-division textbook covering foundations of constraint programming and applications to scheduling, optimisation etc.
A collection of papers written by prominent experts that examine a variety of advanced topics related to Boolean functions and expressions.
In this introductory text, the fundamental algorithms of numerical linear algebra are developed in a parallel context. Topics include direct... Læs mere
This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following from the authors' earlier title Concurrency in Ada, this book discusses both the new Ada 2005 language and the recent advances in real-time programming technique.
Using factor graphs, this detailed survey provides a general framework for systematically developing iterative algorithms for digital receivers.
This accessible text describes the process algebraic approach to the specification and verification of software and software systems using... Læs mere
The first comprehensive tutorial and reference for C# implementation of data structures and algorithms found in the .NET Framework library, in addition to those... Læs mere
Constraint Handling Rules (CHR) is both a special-purpose language for programming with rules, and a general-purpose language for computational logic and beyond. This book from... Læs mere
With applications in communication, transportation, and production, graph connectivity has thrived using the theory of complexity and algorithms in modern... Læs mere
This book concerns software design, focusing on scalable design. The authors analyze how the structure of a package determines its developmental... Læs mere