Thinking Programs. Logical Modeling and Reasoning About Languages, Data, Computations, and ExecutionsWolfgang Schreiner74,89 €
The Symbolic Computation of Integrability Structures for Partial Differential EquationsJoseph Krasil'Shchik, Alexander Verbovetsky, Raffaele Vitolo52,70 €