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.
The Stranger Within
Increasing numbers of people now receive a higher education. Yet we still do not have that ‘educated public’ about which the philosopher, Alasdair MacIntyre, wrote two decades ago. The stranger within: On the idea of an educated public reflects on this situation, regarding the future shape of the university as a kind of public sphere in exile and a site of social and cultural interpenetration. At its centre is a revaluation of the Scottish tradition of ‘democratic intellectualism’, highlighted by George Davie in his book The democratic intellect (1961). Davie charts the gradual extinction in the Scottish universities of a type of higher education which encouraged breadth of study, pu...
The Loom of God
From the mysterious cult of Pythagoras to the awesome mechanics of Stonehenge to the “gargoyles” and fractals on today’s computers, mathematics has always been a powerful, even divine force in the world. In a lively, intelligent synthesis of math, mysticism, and science fiction, Clifford Pickover explains the eternal magic of numbers. Taking a uniquely humorous approach, he appoints readers “Chief Historian” of an intergalactic museum and sends them, along with a quirky cast of characters, hurtling through the ages to explore how individuals used numbers for such purposes as predicting the end of the world, finding love, and winning wars.
An Introduction to Programming with S-algol
Teaches general programming and the new programming language, S-algol.
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.
Discrete Mathematics Using a Computer
Several areas of mathematics find application throughout computer science, and all students of computer science need a practical working understanding of them. These core subjects are centred on logic, sets, recursion, induction, relations and functions. The material is often called discrete mathematics, to distinguish it from the traditional topics of continuous mathematics such as integration and differential equations. The central theme of this book is the connection between computing and discrete mathematics. This connection is useful in both directions: • Mathematics is used in many branches of computer science, in applica tions including program specification, datastructures,design a...
Angel in Vegas
Angel in Vegas is based on the life of a professional gambler, her experiences, techniques and strategies. It begins in the late 1940’s, a time when Southern Nevada was being transformed from sage and sand to glitzy palaces that would one day be measured in acres. She wanted to be part of its ambiance of make-believe, embraced by its innovators, The Boys, who were making the American Dream come true for themselves... But, only if she could live like a cat, not restricted to a leash, free to wander where she may.
Counseling the Hard Cases
Real life stories from the counseling and medical field about the sufficiency of God's resources in Scripture to bring help, hope, and healing to difficult psychiatric diagnoses from bipolar and obsessive compulsive disorders to postpartum depression, panic attacks, etc.
Implementation of Functional Languages
This book constitutes the thoroughly refereed post-proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented were carefully selected from 25 submissions during two rounds of reviewing and revision. Among the topics addressed are language concepts, type checking, compilation techniques, abstract interpretation, automatic program generation, machine architecture, array processing, concurrent and parallel programming and program execution, heap management, runtime profiling and performance measurement, debugging and tracing, verification of functional programs, and tools and programming techniques.
Research Directions in Parallel Functional Programming
Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person-years is only ever seen by anyone through a lOO-line window. In some ways it is astonishing that such large systems work at all. But parallel programming is much, much harder. There are so many more things to go wrong. Debugging is a nightmare. A bug that shows up on one run may never happen when you are looking for it - but unfailingly returns as soon as your attention moves elsewhere. A large fraction of the program's code can be made up of marshalling and coordination algorithms. The core application can easil...
Semantics, Applications, and Implementation of Program Generation
This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Florence, Italy. SAIG 2001 was held as an ACM SIGPLAN workshop co-located with the International Conference on Principles, Logics, and Implementations of High-level Programming Languages (PLI). As the commercial production of software systems moves toward being a traditional industry, automation will necessarily play a more substantial role in this industry, just as it plays a key role in the production of traditional commodities. SAIG aims at promoting the development and the application of foundational...
