1
Udgivet 2008
Indholdsfortegnelse: ... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...
Få fuldtekst
Electronisk eBog
2
Fag: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
3
Udgivet 2013
Indholdsfortegnelse: ... Complexity Analysis for Fork Processes -- Pure Pointer Programs and Tree Isomorphism -- A Language...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ...Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory...
Få fuldtekst
Electronisk eBog
5
Udgivet 2006
Indholdsfortegnelse: ... Variants of the FORK-256 Hash Function -- Second Preimages for SMASH -- Digital Signatures (I) -- A...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ... -- A New Dedicated 256-Bit Hash Function: FORK-256 -- Some Plausible Constructions of Double-Block...
Få fuldtekst
Electronisk eBog