Book picks similar to
Term Rewriting and All That by Franz Baader


computer-science
mathematics
programming
logic

Advanced Programming in the UNIX Environment


W. Richard Stevens - 1992
    Rich Stevens describes more than 200 system calls and functions; since he believes the best way to learn code is to read code, a brief example accompanies each description.Building upon information presented in the first 15 chapters, the author offers chapter-long examples teaching you how to create a database library, a PostScript printer driver, a modem dialer, and a program that runs other programs under a pseudo terminal. To make your analysis and understanding of this code even easier, and to allow you to modify it, all of the code in the book is available via UUNET.A 20-page appendix provides detailed function prototypes for all the UNIX, POSIX, and ANSI C functions that are described in the book, and lists the page on which each prototype function is described in detail. Additional tables throughout the text and a thorough index make Advanced Programming in the UNIX Environment an invaluable reference tool that all UNIX programmers - beginners to experts - w

Making Sense of Japanese: What the Textbooks Don't Tell You


Jay Rubin - 1992
    Previously known as Gone Fishin', this book has brought Jay Rubin more feedback than any of his literary translations or scholarly tomes, "even if," he says, "you discount the hate mail from spin-casters and the stray gill-netter."To convey his conviction that "the Japanese language is not vague," Rubin has dared to explain how some of the most challenging Japanese grammatical forms work in terms of everyday English. Reached recently at a recuperative center in the hills north of Kyoto, Rubin declared, "I'm still pretty sure that Japanese is not vague. Or at least, it's not as vague as it used to be. Probably."The notorious "subjectless sentence" of Japanese comes under close scrutiny in Part One. A sentence can't be a sentence without a subject, so even in cases where the subject seems to be lost or hiding, the author provides the tools to help you find it. Some attention is paid as well to the rest of the sentence, known technically to grammarians as "the rest of the sentence."Part Two tackles a number of expressions that have baffled students of Japanese over the decades, and concludes with Rubin's patented technique of analyzing upside-down Japanese sentences right-side up, which, he claims, is "far more restful" than the traditional way, inside-out."The scholar," according to the great Japanese novelist Soseki Natsume, is "one who specializes in making the comprehensible incomprehensible." Despite his best scholarly efforts, Rubin seems to have done just the opposite.Previously published in the Power Japanese series under the same title and originally as Gone Fishin' in the same series.

Management: Leading & Collaborating in the Competitive World


Thomas S. Bateman - 2005
    This text discusses and explains the traditional, functional approach to management, through planning, organising, leading and controlling.

Algorithms to Live By: The Computer Science of Human Decisions


Brian Christian - 2016
    What should we do, or leave undone, in a day or a lifetime? How much messiness should we accept? What balance of new activities and familiar favorites is the most fulfilling? These may seem like uniquely human quandaries, but they are not: computers, too, face the same constraints, so computer scientists have been grappling with their version of such issues for decades. And the solutions they've found have much to teach us.In a dazzlingly interdisciplinary work, acclaimed author Brian Christian and cognitive scientist Tom Griffiths show how the algorithms used by computers can also untangle very human questions. They explain how to have better hunches and when to leave things to chance, how to deal with overwhelming choices and how best to connect with others. From finding a spouse to finding a parking spot, from organizing one's inbox to understanding the workings of memory, Algorithms to Live By transforms the wisdom of computer science into strategies for human living.

Guidebook to Mechanism in Organic Chemistry


Peter Sykes - 1970
    This guidebook is aimed clearly at the needs of the student, with a thorough understanding of, and provision for, the potential conceptual difficulties he or she is likely to encounter.

The C++ Programming Language


Bjarne Stroustrup - 1986
    For this special hardcover edition, two new appendixes on locales and standard library exception safety (also available at www.research.att.com/ bs/) have been added. The result is complete, authoritative coverage of the C++ language, its standard library, and key design techniques. Based on the ANSI/ISO C++ standard, The C++ Programming Language provides current and comprehensive coverage of all C++ language features and standard library components. For example:abstract classes as interfaces class hierarchies for object-oriented programming templates as the basis for type-safe generic software exceptions for regular error handling namespaces for modularity in large-scale software run-time type identification for loosely coupled systems the C subset of C++ for C compatibility and system-level work standard containers and algorithms standard strings, I/O streams, and numerics C compatibility, internationalization, and exception safety Bjarne Stroustrup makes C++ even more accessible to those new to the language, while adding advanced information and techniques that even expert C++ programmers will find invaluable.

Planning, Implementing, and Evaluating Health Promotion Programs: A Primer


James F. McKenzie - 1992
    The Fifth Edition features updated information throughout, including new theories and models such as the Healthy Action Process Approach (HAPA) and the Community Readiness Model (CRM), sections on grant writing and preparing a budget, real-life examples of marketing principles and processes, and a new classification system for evaluation approaches and designs. Health Education, Health Promotion, Health Educators, and Program Planning, Models for Program Planning in Health Promotion, Starting the Planning Process, Assessing Needs, Measurement, Measures, Measurement Instruments and Sampling, Mission Statement, Goals, and Objectives, Theories and Models Commonly Used for Health Promotion Interventions, Interventions, Community Organizing and Community Building, Identification and Allocation of Resources, Marketing: Making Sure Programs Respond to Wants and Needs of Consumers, Implementation: Strategies and Associated Concerns, Evaluation: An Overview, Evaluation Approaches and Designs, Data Analysis and Reporting. Intended for those interested in learning the basics of planning, implementing, and evaluating health promotion programs

Clean Code: A Handbook of Agile Software Craftsmanship


Robert C. Martin - 2007
    But if code isn't clean, it can bring a development organization to its knees. Every year, countless hours and significant resources are lost because of poorly written code. But it doesn't have to be that way. Noted software expert Robert C. Martin presents a revolutionary paradigm with Clean Code: A Handbook of Agile Software Craftsmanship . Martin has teamed up with his colleagues from Object Mentor to distill their best agile practice of cleaning code on the fly into a book that will instill within you the values of a software craftsman and make you a better programmer but only if you work at it. What kind of work will you be doing? You'll be reading code - lots of code. And you will be challenged to think about what's right about that code, and what's wrong with it. More importantly, you will be challenged to reassess your professional values and your commitment to your craft. Clean Code is divided into three parts. The first describes the principles, patterns, and practices of writing clean code. The second part consists of several case studies of increasing complexity. Each case study is an exercise in cleaning up code - of transforming a code base that has some problems into one that is sound and efficient. The third part is the payoff: a single chapter containing a list of heuristics and "smells" gathered while creating the case studies. The result is a knowledge base that describes the way we think when we write, read, and clean code. Readers will come away from this book understanding ‣ How to tell the difference between good and bad code‣ How to write good code and how to transform bad code into good code‣ How to create good names, good functions, good objects, and good classes‣ How to format code for maximum readability ‣ How to implement complete error handling without obscuring code logic ‣ How to unit test and practice test-driven development This book is a must for any developer, software engineer, project manager, team lead, or systems analyst with an interest in producing better code.

Eloquent Ruby


Russ Olsen - 2011
    In Eloquent Ruby, Russ Olsen helps you write Ruby like true Rubyists do-so you can leverage its immense, surprising power. Olsen draws on years of experience internalizing the Ruby culture and teaching Ruby to other programmers. He guides you to the "Ah Ha!" moments when it suddenly becomes clear why Ruby works the way it does, and how you can take advantage of this language's elegance and expressiveness. Eloquent Ruby starts small, answering tactical questions focused on a single statement, method, test, or bug. You'll learn how to write code that actually looks like Ruby (not Java or C#); why Ruby has so many control structures; how to use strings, expressions, and symbols; and what dynamic typing is really good for. Next, the book addresses bigger questions related to building methods and classes. You'll discover why Ruby classes contain so many tiny methods, when to use operator overloading, and when to avoid it. Olsen explains how to write Ruby code that writes its own code-and why you'll want to. He concludes with powerful project-level features and techniques ranging from gems to Domain Specific Languages. A part of the renowned Addison-Wesley Professional Ruby Series, Eloquent Ruby will help you "put on your Ruby-colored glasses" and get results that make you a true believer.

A Glossary of Literary Terms


M.H. Abrams - 1957
    A Glossary of Literary Terms covers the terminology of literature - from literary history to theory to criticism - making it a valuable addition to any literary theory or literature course.

Using Econometrics: A Practical Guide


A.H. Studenmund - 1987
    "Using Econometrics: A Practical Guide "provides readers with a practical introduction that combines single-equation linear regression analysis with real-world examples and exercises. This text also avoids complex matrix algebra and calculus, making it an ideal text for beginners. New problem sets and added support make "Using Econometrics" modern and easier to use.

Machine Learning: An Algorithmic Perspective


Stephen Marsland - 2009
    The field is ready for a text that not only demonstrates how to use the algorithms that make up machine learning methods, but also provides the background needed to understand how and why these algorithms work. Machine Learning: An Algorithmic Perspective is that text.Theory Backed up by Practical ExamplesThe book covers neural networks, graphical models, reinforcement learning, evolutionary algorithms, dimensionality reduction methods, and the important area of optimization. It treads the fine line between adequate academic rigor and overwhelming students with equations and mathematical concepts. The author addresses the topics in a practical way while providing complete information and references where other expositions can be found. He includes examples based on widely available datasets and practical and theoretical problems to test understanding and application of the material. The book describes algorithms with code examples backed up by a website that provides working implementations in Python. The author uses data from a variety of applications to demonstrate the methods and includes practical problems for students to solve.Highlights a Range of Disciplines and ApplicationsDrawing from computer science, statistics, mathematics, and engineering, the multidisciplinary nature of machine learning is underscored by its applicability to areas ranging from finance to biology and medicine to physics and chemistry. Written in an easily accessible style, this book bridges the gaps between disciplines, providing the ideal blend of theory and practical, applicable knowledge."

Gcse Modern World History


Ben Walsh - 1996
    The core content of the major GCSE specifications in this subject is covered through explanation and carefully-selected course material. The most popular options or depth studies from each specification are covered in detail. There are questions, activities and focus tasks throughout to: deepen understanding of the content; develop evaluative and investigative skills; help students become more independent learners; and support examination preparation.

Advanced Engineering Mathematics


Erwin Kreyszig - 1968
    The new edition provides invitations - not requirements - to use technology, as well as new conceptual problems, and new projects that focus on writing and working in teams.

Pro Git


Scott Chacon - 2009
    It took the open source world by storm since its inception in 2005, and is used by small development shops and giants like Google, Red Hat, and IBM, and of course many open source projects.A book by Git experts to turn you into a Git expert. Introduces the world of distributed version control Shows how to build a Git development workflow.