1
Veröffentlicht 2008
Inhaltsangabe: ... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2015
Inhaltsangabe: ... on Synapses -- Regulating Rule Application with Membrane Boundaries in P Systems -- Structured Grid Algorithms...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2007
Inhaltsangabe: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Volltext
Elektronisch E-Book