000			05201nam a2200565 i 4500
001			8555180
003			IEEE
005			20220712204923.0
006			m o d
007			cr |n|||||||||
008			181218s2018 mau ob 001 eng d
020			_a9780262346498 _qelectronic bk.
020			_z0262346494 _qelectronic bk.
020			_z9780262037938 _qhardcover
020			_z0262037939 _qhardcover
035			_a(CaBNVSL)mat08555180
035			_a(IDAMS)0b000064888bbc45
040			_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL
050		4	_aQA76 _b.D396 2018eb
082	0	4	_a004 _223
100	1		_aDay, Mark Stuart, _eauthor. _925387
245	1	0	_aBits to bitcoin : _bhow our digital stuff works / _cMark Stuart Day ; illustrated by C.A. Jennings.
264		1	_aCambridge, Massachusetts : _bMIT Press, _c[2018]
264		2	_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[2018]
300			_a1 PDF (368 pages).
336			_atext _2rdacontent
337			_aelectronic _2isbdmedia
338			_aonline resource _2rdacarrier
500			_aIncludes index.
505	0		_aIntro; Contents; Preface; Acknowledgments; 1 -- Introduction; I -- Single Process; 2 -- Steps; Bits; Noise; Is Computation Physical?; Weighing Programs; Analog/Digital Conversion; Born Digital; 3 -- Processes; Reading as a Process; Turing Machines; Infinite Processes; Execution; Effective Construction; Hardware vs -- Software; Uniformity Gives Speed; Moore's Law and Uniformity; 4 -- Names; What's in a Name?; Quoting; Sentence Patterns; Lambda; 5 -- Recursion; Factorial; The House That Jack Built; Finite and Infinite; 6 -- Limits: Imperfect Programs; All Software Is Flawed; Discrete States; Testing.
505	8		_aMassive ScaleDoubling; Branching; Malleability; Making Things Worse; Requirements; Expressing Requirements; Specifications; Mock-ups; Implementation; 7 -- Limits: Perfect Programs; Environment; Big Problems; Computational Complexity; Ignoring Constants; Categories of Complexity; Uncomputability; Formal Logic; No Solution to Hilbert's Problem; Russell's Paradox; Halting vs -- Diverging; Building a Paradox; The Halting Problem; II -- Interacting Processes; 8 -- Coordination; Sharing a Book; Multiple Books and Multiple Readers; Deadlock; Gridlock; Detecting Deadlock; Breaking Deadlock; Livelock.
505	8		_aThrashing9 -- State, Change, and Equality; Stateless vs -- Stateful; Assignment; Referential Transparency; Is State Necessary?; Two Kinds of Equal; Same Object vs -- Different Object; 10 -- Controlled Access; Lost Update; Two Processes, in Detail; Interleaving; Multiprocessing and Multiprogramming; Some Example Interleavings; Is This a Real Problem?; Mutual Exclusion; Using a Lock; 11 -- Interrupts; The Unpredictable Environment; Check, Check, Check ... ; Interrupts and Handlers; Shared Services; Frequent Check, Rare Problem; Protecting Memory; System Calls; 12 -- Virtualization; Managing Storage.
505	8		_aVirtual MemoryVirtual Addresses and Real Addresses; Virtual Machines; Sharing Servers; Building a Hypervisor; 13 -- Separation; Distributed Systems; Autonomy; Distance; Standards; Distance Revisited; Light Is Slow; Is Anyone There?; The Order of Events; Reaching Agreement; Heartbeats; Are Earth-Size Distances Small?; 14 -- Packets; Compression; Incompressible Data; 15 -- Browsing; Programs in Browsers; Naming Resources; Hierarchical Names; Shorter Names; Editing URLs; Naming Servers; Finding Servers; Caching; Talking to the Server; Structure vs -- Presentation; Forms; Escaping; Searching Searches.
505	8		_aIII -- Unstoppable Processes16 -- Failure; Reliability vs -- Availability; Fail-Stop; Spares; Error Correction; Error Detection; Storage and Failure; Flash; Injury vs -- Death; Logging vs -- Replication; Stable Storage; RAID; Independent Failures?; Common-Mode Failure; Failure Rates; 17 -- Software Failure; Specifications Revisited; Consistent Comparison; Comparing Results; Byzantine Failure; 18 -- Reliable Networks; Guaranteed Delivery?; Redundant Messages; The End-to-End Principle; Acknowledgment and Retransmission; Multiple Acknowledgments and Negative Acknowledgments; Congestion Collapse.
506			_aRestricted to subscribers or individual electronic text purchasers.
520			_aAn accessible guide to our digital infrastructure, explaining the basics of operating systems, networks, security, and other topics for the general reader.
530			_aAlso available in print.
538			_aMode of access: World Wide Web
588			_aDescription based on print version record.
650		0	_aComputer science _vPopular works. _925206
650		7	_aComputer science. _2fast _99832
655		4	_aElectronic books. _93294
655		7	_aPopular works. _2fast _96581
700	1		_aJennings, C. A., _eillustrator. _925388
710	2		_aIEEE Xplore (Online Service), _edistributor. _925389
710	2		_aMIT Press, _epublisher. _925390
776	0	8	_iPrint version: _aDay, Mark Stuart. _tBits to bitcoin. _dCambridge, MA : MIT Press, [2018] _z9780262037938 _w(DLC) 2017046504 _w(OCoLC)1015258699
856	4	2	_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=8555180
942			_cEBK
999			_c73552 _d73552