Linear Algebra for Computational Sciences and Engineering

Engineering Computation of Structures: The Finite Element Method

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

Modeling, Simulation and Optimization for Science and Technology

Parallelism in Matrix Computations

Index-aware Model Order Reduction Methods Applications to Differential-Algebraic Equations

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Relaxed Abduction Robust Information Interpretation for Industrial Applications

Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Introduction to Concurrency Theory Transition Systems and CCS

Petri Net Synthesis