Software Environments and Tools

Grid Computing: Software Environments and Tools

ARPACK Users' Guide

Solution of Large-Scale Eigenvalue Problems with Implicitly Restarted Arnoldi Methods

LAPACK Users' Guide

Spectral Methods in MATLAB

Lanczos Method

Evolution and Application

Understanding Search Engines

Mathematical Modeling and Text Retrieval

Parallel MATLAB for Multicore and Multinode Computers

Numerically Solving Polynomial Systems with Bertini

Automatic Differentiation in MATLAB Using ADMAT with Applications

Introduction to High Performance Scientific Computing

PETSc for Partial Differential Equations

Numerical Solutions in C and Python

Scientific Computing in Modern C

ScaLAPACK Users' Guide

Simulating, Analyzing, and Animating Dynamical Systems

A Guide to XPPAUT for Researchers and Students

Tools and Environments for Parallel and Distributed Systems

Basic Protocols in Predictive Microbiology Softwares

Authoring Tools for Advanced Technology Learning Environments

Toward Cost-Effective Adaptive, Interactive and Intelligent Educational Software

Tools and Environments for Parallel and Distributed Systems

Software Repository for Gaussian Quadratures and Christoffel Functions

Learning Management System Technologies and Software Solutions for Online Teaching

Tools and Applications

Interior Design Reference & Specification Book updated & revised

Everything Interior Designers Need to Know Every Day

Universal Access in Human-Computer Interaction. Theory, Methods and Tools

13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production

13th International Conference, HPCST 2023, Barnaul, Russia, May 19–20, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

Anti-Environments

On the Exploration of Unconventional Tools through Friction and Norm-Bending

Solving Software Challenges for Exascale

International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

High Performance Computing

Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings