Related Books

Abstract Computing Machines
Language: en
Pages: 382

Abstract Computing Machines

Authors: Werner Kluge
Categories: Computers
Type: BOOK - Published: 2005-02-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Abstract Computing Machines
Language: en
Pages: 382

Abstract Computing Machines

Authors: Werner Kluge
Categories: Computers
Type: BOOK - Published: 2005-12-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Abstract State Machines
Language: en
Pages: 441

Abstract State Machines

Authors: Egon Börger
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A Small Matter of Programming
Language: en
Pages: 196

A Small Matter of Programming

Authors: Bonnie A. Nardi
Categories: Computers
Type: BOOK - Published: 1993 - Publisher: MIT Press

DOWNLOAD EBOOK

Analyzes cognitive, social and technical issues of end user programming. Drawing on empirical research on existing end user systems, this text examines the impo
The Physics of Computing
Language: en
Pages: 278

The Physics of Computing

Authors: Marilyn Wolf
Categories: Technology & Engineering
Type: BOOK - Published: 2016-10-16 - Publisher: Elsevier

DOWNLOAD EBOOK

The Physics of Computing gives a foundational view of the physical principles underlying computers. Performance, power, thermal behavior, and reliability are al