1
Udgivet 2006
Indholdsfortegnelse: ... and Chinese Remainder Theorem -- A High-Speed Square Root Algorithm in Extension Fields -- The Smallest ARIA...
Få fuldtekst
Electronisk eBog
2
Indholdsfortegnelse: ... -- Larch -- Calculus of Communicating Systems -- Part VI: Model-based Specifications -- Vienna Development...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... of Reachability in Randomized Sabotage Games -- Applying Step Coverability Trees to Communicating Component-Based...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... Introduction to Exact Sampling -- On the Different Extensions of the Ergodic Theorem of Information Theory...
Få fuldtekst
Electronisk eBog