الصفحة 29
الصفحة 29
A Modern Perspective on Type Theory : From its Origins until Today
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt
A handbook of medical laboratory technology
Thoroughly revised and updated, manual as well as automatic methods have been incorporated into this edition. Special techniques in the field of histocytochemistry have also been added. Ever since the publication of the first edition in 1987, this book is continously in demand and has been appreciated both in India and abraod.
A first course in differential equations with modeling applications
A comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous manner. Including various examples from physics, mechanics, natural sciences, engineering and automatic theory, Differential Equations is a bridge between the abstract theory of differential equations and applied systems theory.
A Distributed Coordination Approach to Reconfigurable Process Control
A Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, via developing a new distributed framework that will enable the building of a process control system that is capable of reconfigurability.
A concise introduction to traffic engineering : theoretical fundamentals and case studies
Covers a selection of fundamental topics of traffic engineering useful for highways facilities design and control. The treatment is concise but it does not neglect to examine the most recent and crucial theoretical aspects which are at the root of numerous highway engineering applications, like, for instance, the essential aspects of highways traffic stream reliability calculation and automated highway systems control.
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows the lecturer to select the material for a one-semester course on a topic more easily. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed where appropriate.
A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science.
3-D Structural Geology : A Practical Guide to Quantitative Surface and Subsurface Map Interpretation
This book provides an overview of techniques for constructing structural interpretations in 2-D, 2½-D and 3-D environments; for interpolating - tween and extrapolating beyond the control points; and for validating the final int- pretation. The underlying philosophy is that structures are three-dimensional solid bodies and that data from throughout the structure, whether in 2-D or 3-D format, should be integrated into an internally consistent 3-D interpretation. It is assumed that most users of this book will do their work on a computer. C- sequently, the book provides quantitative structural methods and techniques that are designed for use with spreadsheets, mapping software, and three-dimensional c- puter-graphics programs. The book is also intended to provide the background for understanding what interpretive software, for example, a computer contouring p- gram, does automatically. Most techniques are presented in both a traditional format appropriate for paper, pencil, and a pocket calculator, and in quantitative format for use with spreadsheets and computer-graphics or computer-aided-design programs.
.NET Test Automation Recipes : A Problem-Solution Approach
If you develop, test, or manage .NET software, you will find .NET Test Automation Recipes: A Problem-Solution Approach very useful. The book presents practical techniques for writing lightweight software test automation in a .NET environment and covers API testing thoroughly. It also discusses lightweight, custom Windows application user interface automation and teaches you low-level web application user interface automation. Additional material covers SQL stored procedure testing techniques.
