You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Table of contents
This book contains articles on the notion of a continuous lattice, which has its roots in Dana Scott's work on a mathematical theory of computation, presented at a conference on categorical and topological aspects of continuous lattices held in 1982.
Integrated Periodization in Sports Training & Athletic Development considers the large problem of training specialists working in isolation and builds a case for integrated periodization as conceived by Tudor Bompa. This book on periodization is the first of its kind to combine the concepts of training methodology, sports psychology, and nutrition in the discussion on periodization training. The book begins by defining periodization as a specific theory and methodology, historically detailing how the term was formally derived, differentiating it from the current view of periodization as a Russian concept. Next, the authors clarify some common misconceptions of periodization by integrating ev...
The book collects original research papers on applied categorical structures, most of which have been presented at the North-West European Category Seminar 2003 in Berlin. The spectrum of these mathematical results reflects the varied interests of Horst Herrlich OCo one of the leading category theorists of the world OCo to whom this volume is dedicated in view of his 65th birthday. The book contains applications of categorical methods in various branches of mathematics such as algebra, analysis, logic and topology, as well as fuzzy structures and computer science. At the end of the book the reader will find a complete list of Horst HerrlichOCOs publications. The proceedings have been selected for coverage in: . OCo Index to Scientific & Technical Proceedings- (ISTP- / ISI Proceedings). OCo Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings). OCo CC Proceedings OCo Engineering & Physical Sciences."
Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.
Includes section, "Recent book acquisitions" (varies: Recent United States publications) formerly published separately by the U.S. Army Medical Library.