1
Published 2015
Table of Contents: ... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Session 9: Novel Methods in Evolutionary Design -- Imitation Programming -- EvoFab: A Fully Embodied...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Gate -- Compositional Computational Reflection -- An Isabelle Proof Method Language -- Proof Pearl...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...Level Sets, FEM and Sound -- Coupling the Level Set Method and the Topological Gradient...
View full text
Electronic eBook