First Page | Document Content | |
---|---|---|
Date: 2015-07-07 16:12:39Theoretical computer science Logic in computer science Mathematical analysis Mathematics Formal methods Probability Semantics Approximate computing Mathematical optimization Pi Operational semantics | H A R D WA R E A N D S O F T WA R E F O R A P P R O X I M AT E C O M P U T I N G adrian sampson A dissertation submitted in partial fulfillment of theAdd to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source WebsiteFile Size: 1,06 MBShare Document on Facebook |