Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Singing about the Dark Times
  • Language: en
  • Pages: 262

Singing about the Dark Times

  • Type: Book
  • -
  • Published: 2014-08-28
  • -
  • Publisher: CreateSpace

Two members of an obscure community are reported missing. As Arwin investigates, he begins to suspect that his brother Max may be implicated. Unbeknownst to Arwin, their mother Grace suspects far more than she's telling. Will Arwin find the missing Monogs? Will Grace come clean before she dies? Will Max and Lucy's daughter Siloen trap the shadowy sheep stalker? Will Max and Goode's son Salvador finish piling polythene bags? Will the hot air balloon carry Max away from Goode? Will Lucy welcome Max with more than her bed? Will Siloen or Salvador win the competition? Will Arwin's bicycle survive the Great Glen? Will Beth and Arwin find love amongst the test tubes? The answers to all these irrelevancies may be glimpsed in this tumbling tale of singing and silences, secrets and deaths, set in the Scottish highlands in the not so near future. Singing About the Dark Times is the sequel to The Wave Singer (Argyll, 2008), and was written with Scottish Arts Council support.

Elementary Standard ML
  • Language: en
  • Pages: 297

Elementary Standard ML

  • Type: Book
  • -
  • Published: 1995
  • -
  • Publisher: Unknown

None

Computation and its Limits
  • Language: en
  • Pages: 248

Computation and its Limits

  • Type: Book
  • -
  • Published: 2012-03-15
  • -
  • Publisher: OUP Oxford

Computation and its Limits is an innovative cross-disciplinary investigation of the relationship between computing and physical reality. It begins by exploring the mystery of why mathematics is so effective in science and seeks to explain this in terms of the modelling of one part of physical reality by another. Going from the origins of counting to the most blue-skies proposals for novel methods of computation, the authors investigate the extent to which the laws of nature and of logic constrain what we can compute. In the process they examine formal computability, the thermodynamics of computation, and the promise of quantum computing.

An Introduction to Functional Programming Through Lambda Calculus
  • Language: en
  • Pages: 336

An Introduction to Functional Programming Through Lambda Calculus

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.

Elementary Standard ML
  • Language: en
  • Pages: 310

Elementary Standard ML

  • Type: Book
  • -
  • Published: 2004-01-10
  • -
  • Publisher: CRC Press

Standard ML has become the principal teaching language for introducing functional programming. This textbook places emphasis on teaching the essential features of ML, with extensive practical examples, and is intended for undergraduates studying functional programming with Standard ML.

The Wave Singer
  • Language: en
  • Pages: 253

The Wave Singer

More than a fantastical story of youth's journey to self-knowledge, 'The Wave Singer' is a captivating and challenging allegory for growing up in a harsh world of deceptive options.

Spin
  • Language: en
  • Pages: 310

Spin

When Gulf War veteran Jim Asher joins the Senate campaign of a California business magnate, his all-American dream world begins to collapse as he must face up to his excesses, his indiscretions, and the person he has unwillingly become.

Mathematical Reasoning: The History and Impact of the DReaM Group
  • Language: en
  • Pages: 173

Mathematical Reasoning: The History and Impact of the DReaM Group

This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software, and health care and emergency management. The book starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written by Alan Bundy, which is followed by chapters from leading researchers associated with the group. Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates. It should also be of interest to those researching the history of AI.

Research Directions in Parallel Functional Programming
  • Language: en
  • Pages: 524

Research Directions in Parallel Functional Programming

  • Type: Book
  • -
  • Published: 2014-09-01
  • -
  • Publisher: Unknown

None

How the World Works
  • Language: en
  • Pages: 376

How the World Works

A sweeping history of the full range of human labor Few authors are able to write cogently in both the scientific and the economic spheres. Even fewer possess the intellectual scope needed to address science and economics at a macro as well as a micro level. But Paul Cockshott, using the dual lenses of Marxist economics and technological advance, has managed to pull off a stunningly acute critical perspective of human history, from pre-agricultural societies to the present. In How the World Works, Cockshott connects scientific, economic, and societal strands to produce a sweeping and detailed work of historical analysis. This book will astound readers of all backgrounds and ages; it will also will engage scholars of history, science, and economics for years to come.