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

Reflections on Programming Systems
  • Language: en
  • Pages: 284

Reflections on Programming Systems

  • Type: Book
  • -
  • Published: 2019-01-10
  • -
  • Publisher: Springer

This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the contemporary need of providing a foundational analysis of such systems, rooted in a broader historical and philosophical discussion. The different chapters are grouped around three major themes. The first concerns the early history of large systems developed against the background of issues related to the growing semantic gap between hardware and code. The second revisits the fundamental issue of complexity of large systems, dealt with by the use of forma...

Abstractions and Embodiments
  • Language: en
  • Pages: 473

Abstractions and Embodiments

  • Type: Book
  • -
  • Published: 2022-08-30
  • -
  • Publisher: JHU Press

"This anthology of original historical essays examines how social relations are enacted in and through computing using the twin frameworks of abstraction and embodiment. The book highlights a wide range of understudied contexts and experiences, such as computing and disability, working mothers as technical innovators, race and community formation, and gaming behind the Iron Curtain"--

A New History of Modern Computing
  • Language: en
  • Pages: 545

A New History of Modern Computing

  • Type: Book
  • -
  • Published: 2021-09-14
  • -
  • Publisher: MIT Press

How the computer became universal. Over the past fifty years, the computer has been transformed from a hulking scientific supertool and data processing workhorse, remote from the experiences of ordinary people, to a diverse family of devices that billions rely on to play games, shop, stream music and movies, communicate, and count their steps. In A New History of Modern Computing, Thomas Haigh and Paul Ceruzzi trace these changes. A comprehensive reimagining of Ceruzzi's A History of Modern Computing, this new volume uses each chapter to recount one such transformation, describing how a particular community of users and producers remade the computer into something new. Haigh and Ceruzzi grou...

Understanding Programming Languages
  • Language: en
  • Pages: 229

Understanding Programming Languages

This book is about describing the meaning of programming languages. The author teaches the skill of writing semantic descriptions as an efficient way to understand the features of a language. While a compiler or an interpreter offers a form of formal description of a language, it is not something that can be used as a basis for reasoning about that language nor can it serve as a definition of a programming language itself since this must allow a range of implementations. By writing a formal semantics of a language a designer can yield a far shorter description and tease out, analyse and record design choices. Early in the book the author introduces a simple notation, a meta-language, used to...

Research in History and Philosophy of Mathematics
  • Language: en
  • Pages: 314

Research in History and Philosophy of Mathematics

This volume contains eighteen papers that have been collected by the Canadian Society for History and Philosophy of Mathematics. It showcases rigorously-reviewed contemporary scholarship on an interesting variety of topics in the history and philosophy of mathematics, as well as the teaching of the history of mathematics. Some of the topics explored include Arabic editions of Euclid’s Elements from the thirteenth century and their role in the assimilation of Euclidean geometry into the Islamic intellectual tradition Portuguese sixteenth century recreational mathematics as found in the Tratado de Prática Darysmetica A Cambridge correspondence course in arithmetic for women in England in th...

Engineering Trustworthy Software Systems
  • Language: en
  • Pages: 234

Engineering Trustworthy Software Systems

  • Type: Book
  • -
  • Published: 2018-11-12
  • -
  • Publisher: Springer

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.

The Practice of Formal Methods
  • Language: en
  • Pages: 337

The Practice of Formal Methods

None

The Application of Formal Methods
  • Language: en
  • Pages: 388

The Application of Formal Methods

None

Revolutions and Revelations in Computability
  • Language: en
  • Pages: 374

Revolutions and Revelations in Computability

This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022, in Swansea, UK, in July 2022. The 19 full papers together with 7 invited papers presented in this volume were carefully reviewed and selected from 41 submissions. The motto of CiE 2022 was “Revolutions and revelations in computability”. This alludes to the revolutionary developments we have seen in computability theory, starting with Turing's and Gödel's discoveries of the uncomputable and the unprovable and continuing to the present day with the advent of new computational paradigms such as quantum computing and bio-computing, which have dramatically changed our view of computability and revealed new insights into the multifarious nature of computation.

Wild Medicine, Autumn and Winter
  • Language: en
  • Pages: 252

Wild Medicine, Autumn and Winter

  • Type: Book
  • -
  • Published: 2019-11-30
  • -
  • Publisher: Aeon Books

Following on from Wild Medicine: Summer, herbalist Ali English's seasonal exploration of the wonders of hedgerow medicine continues with Autumn/Winter (2019) and Spring (2020). Gloriously illustrated with her own photographs, this series is a beautiful introduction to wild foraging - packed with recipes, remedies, and ideas for making the most of nature's abundant bounty. The books encourage a love of our native plants and their many uses and provide inspiration to gather and make your own medicine. Ali persuades us to turn over a small part of our own gardens to growing wild plants at a time when the natural places of the world are under threat.