Topology Via Logic


Book Description

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the methods of locale theory are freely exploited. Third, there is substantial discussion of some computer science applications. Although books on topology aimed at mathematics exist, no book has been written specifically for computer scientists. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct relevance and applicability. This book goes some way towards bridging the gap.




Guide to Tables in Mathematical Statistics


Book Description

This book is exclusively devoted to the tables of mathematical statistics. It catalogues a large selection of tables in the field of mathematical statistics, with a small selection of mathematical tables lying outside statistics but often used with statistical tables. Originally published in 1962. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.




Process Algebra: Equational Theories of Communicating Processes


Book Description

Presents a unified overview of the various process algebras currently in use and sets the standard for the field.




Advanced Topics in Bisimulation and Coinduction


Book Description

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.
















Blumgart's Surgery of the Liver, Pancreas and Biliary Tract E-Book


Book Description

Extensively revised with new illustrations, new clinical photos, this classic text remains the most comprehensive and up-to-date resource on surgery of the hepatobiliary and pancreatic region. Dr. William Jarnagin and his team of internationally recognized surgeons continue the Blumgart’s tradition of excellence, bringing you the latest advances in diagnostic and surgical techniques. You’ll find updates on the newest minimally invasive surgeries, new interventional diagnostic techniques, and complete coverage of all relevant diseases, including those seen in the tropics. Considers all worldwide opinions and approaches to management, and includes key data on surgical outcomes to better inform your clinical decision-making. Covers exactly what you need to know, balancing basic science with information on clinical practice. Presents cutting edge guidance on pathology, diagnostics, surgery and non-operative intervention of the liver, biliary tract, and pancreas in a single, comprehensive reference. Covers the most recent non-surgical therapies for pancreatic cancer, microwave ablation, and other emerging technologies. Brings you up to date with recent developments in transplantation, minimally invasive surgery, percutaneous devices, pre- and post-care, blood transfusion, and surgical techniques for the spleen. Features an extensively revised art and illustration program, with new anatomical line drawings (including hundreds now in color), more than 750 new clinical photos, more schematic diagrams that summarize information, and new graphs and algorithms throughout.