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