Direct3D 11 offers such a wealth of capabilities that users can sometimes get lost in the details of specific APIs and their implementation. While there is a great deal of low-level information available about how each API function should be used, t
Presents a logical approach to engineering correct software as an application of computational logic Verification exercises develop the reader's facility in specifying and verifying software using logic Computational logic is a fast-growing field wi
In advanced TDMA mobile communications systems, reduced-state equalization algorithms have to be employed because high-level modulation is used in order to improve spectral efficiency. Such equalizers have only high performance, if the overall discr
Storm is the most popular framework for real-time stream processing. Storm provides the fundamental primitives and guarantees required for fault-tolerant distributed computing in high-volume, mission critical applications. It is both an integration
Storm Blueprints- Patterns for Distributed Real-time Computation, 英文版 Use Storm design patterns to perform distributed, real-time big data processing, and analytics for real-world use cases
This highly accessible introduction to Lisp is suitable both for novices approaching their first programming language and experienced programmers interested in exploring a key tool for artificial intelligence research. The text offers clear, reader-
Numerical Computation of INTERNAL AND EXTERNAL FLOJiJiS Volume 2: Computational Methods for Inviscid and Viscous Flows CharlesHirsch Departmentof Fluid Mechanics, Vrije Universiteit Brussel, Brussels, Belgium A Wiley-lntersciencePublication JOHN WIL