Texts & Monographs in Symbolic Computation
Schreiner
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Schreiner
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Schreiner
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Schreiner
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Melczer
An Invitation to Analytic Combinatorics
An Invitation to Analytic Combinatorics
From One to Several Variables
Pillwein / Schneider
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
In Honour of Peter Paule on his 60th Birthday
Thalheim / Schewe / Prinz / Buchberger
Correct Software in Web Applications and Web Services
Correct Software in Web Applications and Web Services