1
Published 2015
Table of Contents: ... on Synapses -- Regulating Rule Application with Membrane Boundaries in P Systems -- Structured Grid Algorithms...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
View full text
Electronic eBook