Adapting Proofs-as-Programs - The Curry--Howard Protocol

von: Iman Poernomo, John N. Crossley, Martin Wirsing, 2007

The Gambler and the Scholars - Herbert Yardley, William & Elizebeth Friedman, and the Birth of Modern American Cryptology

von: John F. Dooley, 2023

Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science

von: Monica Cojocaru, Ilias S. Kotsireas, Roman Makarov, Roderick Melnik, Hasan Shodiev, 2015

High Performance Computing on Vector Systems 2007

von: Sabine Roller, Peter Lammers, Toshiyuki Furui, Martin Galle, Wolfgang Bez, 2007

Sparse Grids and Applications - Stuttgart 2014

von: Jochen Garcke, Dirk Pflüger, 2016

Preventive Methods for Coastal Protection - Towards the Use of Ocean Dynamics for Pollution Control

von: Tarmo Soomere, Ewald Quak, 2013

Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning

von: Jair M Abe, Seiki Akama, Kazumi Nakamatsu, 2015

Function Algebras on Finite Sets - Basic Course on Many-Valued Logic and Clone Theory

von: Dietlinde Lau, 2006

The Rubato Composer Music Software - Component-Based Implementation of a Functorial Concept Architecture

von: Gérard Milmeister, 2009

Parallel Algorithms and Cluster Computing - Implementations, Algorithms and Applications

von: Karl Heinz Hoffmann, Arnd Meyer, 2007