Heuristic Algorithms Design: A Methodological Approach

Advances in Formal Design Methods for CAD

Advances in Automated Reasoning

Automated Deduction: From Theory to Applications

Data Assimilation: Methods, Modeling and Applications

Computational Fluid Dynamics: A Practical Approach

Kalman Filtering: A Practical Approach

Digital Signal Processing: Theory, Practice and Applications

Telecommunications: A Systems Approach

Structural Equation Modeling: Methodology in the Social Science

Textbook of Algebra

Differential Equations: An Elementary Approach

Semantics with Applications: Advanced Topics in Computer Science

Algorithm Design and Analysis

Structural Health Monitoring and Aerospace Structures

Practical Probabilistic Programming: Volume 1

Calculus: A Comprehensive Course

Circuits and Systems: A Modern Approach

Mechanical Engineering: Designing and Applications

NY Research Press

Patristic Theology: Epistemological Foundations

Understanding Semiconductors: A Technical Approach

Technology and Digital Media

Acoustics: An Introduction

Essential Discrete Mathematics

Advances in Numerical Methods and Analysis