Computer Science
-
Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package -
Parallel-Vector Equation Solvers for Finite Element Engineering Applications -
Line Drawing Interpretation -
Innovation Together: Microsoft Research Asia Academic Research Collaboration -
Nuclear Principles in Engineering -
Line Drawing Interpretation -
Pro WPF in VB 2010: Windows Presentation Foundation in .NET 4 -
Pro WPF in C# 2010: Windows Presentation Foundation in .NET 4 -
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification -
Computational Magnetics -
Fast Simulation of Computer Architectures -
Scalable Shared Memory Multiprocessors -
Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package -
Arrays, Functional Languages, and Parallel Systems -
Material Flow Systems in Manufacturing -
Parallel-Vector Equation Solvers for Finite Element Engineering Applications -
Auditory User Interfaces: Toward the Speaking Computer -
Computer Graphics and Geometric Modelling: Implementation & Algorithms -
Studies in Writing -
Springer Professional Computing -
Progress in Theoretical Computer Science: From Logic to Programming -
Progress in Theoretical Computer Science: Fundamental Algorithms -
Computer Communications and Networks -
The Patrick Moore Practical Astronomy Series: The Best of the Internet
