GameMaker: Studio 100 Programming Challenges

Principles of the Spin Model Checker

Springer, 2008

Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use.

The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching...

Essentials of Clinical Immunology

John Wiley & Sons, 1999

The fourth edition of this highly popular book has been extensively revised. The first chapter, a revision of the immune system, has been updated to provide the 'nitty-gritty' a student or trainee needs to know in order to understand diseases that have an immunological basis. Although the remainder of the book's focus is clinical,...

Social Constructivism and the Philosophy of Science

Routledge, 2000

Social constructivists maintain that we invent the properties of the world rather than discover them. Is reality constructed by our own activity? Or, more provocatively, are scientific facts--is everything--constructed? Social Constructivism and the Philosophy of Science is a clear assessment of this critical and...

Sams Teach Yourself JavaScript in 24 Hours (3rd Edition)

Sams Publishing, 2002

JavaScript is one of the easiest, most straightforward ways to enhance a Web site with interactivity.

Sams Teach Yourself JavaScript in 24 Hours serves as an easy-to-understand tutorial on both scripting basics and JavaScript itself. The book is written in a clear and personable style with an extensive use of practical,...

The New Stock Market: Law, Economics, and Policy

Columbia University Press, 2019

The U.S. stock market has been transformed over the last twenty-five years. Once a market in which human beings traded at human speeds, it is now an electronic market pervaded by algorithmic trading, conducted at speeds nearing that of light. High-frequency traders participate in a large portion of all transactions, and a significant...

Reverse Transcriptase Inhibitors in HIV/AIDS Therapy (Infectious Disease)

Humana Press, 2006

A magisterial survey of all aspects of the reverse transcriptase inhibitors (RTIs) used to treat HIV/AIDS, including drug discovery, pharmacology, development of drug resistance, toxicity, and prevention of mother-to-child transmission of HIV/AIDS. The authors synthesize our current understanding of the role of reverse transcriptase in the...