1
Published 2013
Table of Contents: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
View full text
Electronic eBook