Title: Optimal Control and Partial Differential Equations - Innovations and Applications, Author: Jose Menaldi
Title: Abstract Machine Models for Parallel and Distributed Computing / Edition 1, Author: M. Kara
Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs