1
by O'Regan, Gerard., O'Regan, Gerard.
Published 2008
Table of Contents: ... Zuse -- Computer Programming Languages -- Object-oriented Languages -- Functional Programming Languages...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Gate -- Compositional Computational Reflection -- An Isabelle Proof Method Language -- Proof Pearl...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Level Sets, FEM and Sound -- Coupling the Level Set Method and the Topological Gradient...
View full text
Electronic eBook