This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html

Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)

Computers & Technology

Davies, Jim

Woodcock, Jim

Computer Science

PRENTICE/HALL

Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Series Number 6)

Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behavior of critical systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains a continuous interaction with its environment) may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method for structuring CSP descriptions of layered protocols is given. The research contained here represents the very latest work on the specification and verification of real-time systems.

Programming

Cambridge University Press

This guide to advertising from the 1920s to the present day includes special features on cartoons, World War II advertising, Guinness advertising campaigns, including the toucan and Pure Genius, and the Festival of Britain.

Book of Guinness Advertising

Business & Money

Skills

Guinness Records

The GNU Scientific Library (GSL) is a free numerical library for C and C++ programmers. This reference manual is the definitive guide to the library.

Gnu Scientific Library Reference Manual

Booth, Michael

Galassi, Mark

Theiler, James

Gough, Brian

Jungman, Gerard

Rossi, Fabrice

Programming Languages

Network Theory Ltd.

The GNU Scientific Library (GSL) is a free numerical library for C and C++ programmers. It provides over 1,000 routines for solving mathematical problems in science and engineering. Written by the developers of GSL this reference manual is the definitive guide to the library. The GNU Scientific Library is free software, distributed under the GNU General Public License (GPL). It is available for GNU (GNU/Linux), Unix and Microsoft Windows systems. All the money raised from the sale of this book supports the development of the GNU Scientific Library. This is the revised second edition of the manual, and corresponds to version 1.8 of the library (updated August 2006).

Gnu Scientific Library: Reference Manual

Why do some things pass under the radar of our attention, but other things capture our interest? Why do some religions catch on and others fade away? What makes a story, a movie, or a book riveting? Why do some people keep watching the news even though it makes them anxious?
The past 20 years have seen a remarkable flourishing of scientific research into exactly these kinds of questions. Professor Jim Davies' fascinating and highly accessible book, Riveted, reveals the evolutionary underpinnings of why we find things compelling, from art to religion and from sports to superstition. Compelling things fit our minds like keys in the ignition, turning us on and keeping us running, and yet we are often unaware of what makes these "keys" fit. What we like and don't like is almost always determined by subconscious forces, and when we try to consciously predict our own preferences we're often wrong. In one study of speed dating, people were asked what kinds of partners they found attractive. When the results came back, the participants' answers before the exercise had no correlation with who they actually found attractive in person! We are beginning to understand just how much the brain makes our decisions for us: we are rewarded with a rush of pleasure when we detect patterns, as the brain thinks we've discovered something significant; the mind urges us to linger on the news channel or rubberneck an accident in case it might pick up important survival information; it even pushes us to pick up People magazine in order to find out about changes in the social structure.
Drawing on work from philosophy, anthropology, religious studies, psychology, economics, computer science, and biology, Davies offers a comprehensive explanation to show that in spite of the differences between the many things that we find compelling, they have similar effects on our minds and brains.

Riveted: The Science of Why Jokes Make Us Laugh, Movies Make Us Cry, and Religion Makes Us Feel One with the Universe: The Science of Why Jokes Make ... Religion Makes Us Feel One with the Universe

Health, Fitness & Dieting

Psychology & Counseling

St.Martin's Press

The first-ever book on the science of imagination, which sheds light on both the complex inner-workings of our mind and the ways in which we can channel imagination for a better life. We don’t think of imagination the way that we should. The word is often only associated with children, artists and daydreamers, viewed as something separate from everyday adult life. However, imagination is an integral part of almost every action and decision that we make. Simply put, imagination is a person’s ability to create scenarios in his or her head: this can include everything from planning a grocery list, to honing a golf swing, and even to having religious hallucinations. And while imagination has positive connotations, it can also lead to more pernicious outcomes including decreased productivity and cooperation, and much worse, the continuous reliving of past trauma. The human brain is remarkable in its ability to imagine―to create worlds and situations outside of its reality. We can imagine complex possible futures, fantasy worlds, and jars of peanut butter. We can use our imaginations to make us relaxed or anxious, and the most impressive feat of human imagination may be our ability to use it in creative endeavors. Sitting in a chair, with our eyes closed, we can imagine what the world might be, and construct elaborate plans. With such power, we have an obligation to use it for good―to make things better for ourselves, and for the world. 
People have been fascinated with the machination of the human brain and its ability to imagine for centuries, but until now, there have been no popular science books that are dedicated to imagination. There are books on creativity, dreams, memory, and the mind in general, but how exactly do we create those scenes in our head? With chapters ranging from hallucination and imaginary friends to how imagination can make you happier and more productive, Jim Davies' Imagination will help us explore the full potential of our own mind.

Imagination: The Science of Your Mind's Greatest Power

Pegasus Books

A crisp and sparkling blend of cognitive science and human behavior&nbsp;that offers meaningful and attainable pathways towards becoming our best selves.&nbsp; Why do we feel like in order to be productive, happy, or good, we must sacrifice everything else? Is it possible to feel all three at once? Without even knowing it, we're doing things everyday to sabotage ourselves and our societies, habits that prevent us from optimizing long term happiness. Where most books imagine solutions that, when enacted, fail to fundamentally improve our lives, Jim Davies grounds his research in cognitive science to show you not only what works, but how much it works. Being the Person Your Dog Thinks You Are&nbsp;shows us how we can use science to become our best selves, using&nbsp;resources we already have within our own brains. Davies' book&nbsp;challenges and inspires us to approach the big picture while also staying mindful of the everyday details in real life. Davies proves why multitasking is bad for you, when a little&nbsp;unmindfulness can be good for you, how to best justify which charities to donate to, and how to hack your brain. The most surprising truth Davies offers us spreads across these pages like wildfire: you too can lead an optimally good life, not through uprooting your life from the ground up, but from adapting your mentality to your given present. A better life doesn't need to look like a massive change--like our beloved&nbsp;dogs who already view us as our best selves,&nbsp;it's already much closer than you think.

Being the Person Your Dog Thinks You Are: The Science of a Better You

Reference

"For those on the home front, World War I was experienced primarily through words—yet people still wanted to see what the war was like. With photography still relatively new and complicated, and censorship limiting what could be shared, illustrators stepped into the breach. None produced work as remarkable as that of Fortunino Matania (1881–1963). Blessed with a photographic memory, and able to work at great speed, Matanie created illustrations that were unnervingly photographic in their realism. This book presents the entire collection of Matania’s work from World War I for the first time. The works featured here are the result of regular trips to the Western Front as well as interviews with soldiers recovering in hospitals, where Matania would use toy soldiers to help him understand troop positions and movements. He would take that information back to his studio, where he had an enormous collection of uniforms, weapons, and other props to help make sure that every last detail of his finished picture was correct. The resulting images are an unmatched resource for understanding the war and how it was fought."

Illustrating Armageddon: Matania and the First World War

Arts & Photography

History & Criticism

Uniform Press

See the best price to sell, buy, or rent books by Davies, Jim. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Davies, Jim