1
Published 2005
Table of Contents: ... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... with Decentralized Parallel Adaptation of Tetrahedral Meshes.-Efficient Simulations of the Transport Properties...
View full text
Electronic eBook