5 books found
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
The 1980s had more than its share of both emerging stars and final tributes paid to luminaries, as well as smash hits and bombs, memorable and boring performances, and new trends and tried-and-true formula offerings. The Film of the Eighties includes numerous examples of all of these. Each entry has the year of release, production company, country of origin (U.S., U.K., Australian, Canadian), leading performers and the characters they portrayed, and comprehensive credits. A brief description, review, and evaluation of the film's cinematic values (if any) are also provided.
This extremely versatile handbook, written for students and practitioners, taps current treatment and assessment research to provide up-to-date coverage of emotional and behavioral disorders, major DSM-IV-TR diagnostic categories, MMPI-2 correlates and other test-response patterns, and treatment options. Diagnostic concepts and observations are linked with specific assessment and test data for diagnostic categories; this is then integrated with recommended intervention procedures. In a single volume, the authors have synthesized an abundance of information and presented it in a manageable and accessible manner. Their extensive experience in clinical and forensic psychologyteaching, conducting research, interacting with clients, working in the criminal justice systemhighly qualifies them to know and present the kind of practical information students and practitioners need. Additional outstanding features . . . emphasizes multimodal assessment and treatment includes extensive discussions of clinical challenges, such as suicidal clients, the criminal personality, deception, and malingering offers bibliotherapy reading assignments and appropriate relaxation techniques for various types of clients provides coverage of legal issuescompetency, criminal responsibility, and civil commitment presents useful tips on case preparation and professional practice in the office and the courtroom
In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in a general and clean way. And, on the other hand, researchers interested in purely functional languages discovered that ALGOL 60 shows how to add imperative mechanisms to functional languages in a way that does not compromise their desirable properties. Unfortunately, many of the key works in this field have been rather hard to obtain. The primary purpose of this collection is to make the most significant material on ALGoL-like languages conveniently available to graduate students and researchers. Contents Introduction to Volume 1 1 Part I Historical Background 1 Part n Basic Principles 3 Part III Language Design 5 Introduction to Volume 2 6 Part IV Functor-Category Semantics 7 Part V Specification Logic 7 Part VI Procedures and Local Variables 8 Part vn Interference, Irreversibility and Concurrency 9 Acknowledgements 11 Bibliography 11 Introduction to Volume 1 This volume contains historical and foundational material, and works on lan guage design. All of the material should be accessible to beginning graduate students in programming languages and theoretical Computer Science.
This all-inclusive A-Z encyclopedia by one of the world's foremost experts on cinema provides comprehensive annotations of the best films produced from 1914 on. The work offers more than 5,000 three- to five-star entries (three stars=good; four stars=excellent; five stars=masterpiece), and yes, author Jay Robert Nash has viewed every single one of them as well as many more that did not "make the cut." In addition to a precis, each film's entry also includes a listing of the cast as well as the key principles involved in production, from the director to the hair stylist. Especially unique to this book is a rating system that helps parents determine whether or not a film is appropriate for their children. Unlike the industry rating system which can be influenced by studio lobbying, Nash objectively evaluates each film and confers upon it one of four recommendations for viewing: recommended, acceptable, cautionary, and unacceptable. Backmatter includes a list of top films by genre (i.e. animated, drama, sports, mystery, adventure etc.) as well as an annotated name index listing all persons mentioned along with their dates of birth and death. Rounding out this essential volume for the film buff are over 500 still photos from the author's private collection.