1
Published 2008
Table of Contents: ... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...
View full text
Electronic eBook
2
by Sharan, Kishori., Sharan, Kishori.
Published 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Complexity Analysis for Fork Processes -- Pure Pointer Programs and Tree Isomorphism -- A Language...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Variants of the FORK-256 Hash Function -- Second Preimages for SMASH -- Digital Signatures (I) -- A...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... -- A New Dedicated 256-Bit Hash Function: FORK-256 -- Some Plausible Constructions of Double-Block...
View full text
Electronic eBook