You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
There is an increasing challenge for chemical industry and research institutions to find cost-efficient and environmentally sound methods of converting natural resources into fuels chemicals and energy. Catalysts are essential to these processes and the Catalysis Specialist Periodical Report series serves to highlight major developments in this area. This series provides systematic and detailed reviews of topics of interest to scientists and engineers in the catalysis field. The coverage includes all major areas of heterogeneous and homogeneous catalysis and also specific applications of catalysis such as NOx control kinetics and experimental techniques such as microcalorimetry. Each chapter...
This book constitutes the refereed proceedings of the Third International Workshop on Cooperative Information Systems, CIA'99, held in Uppsala, Sweden in July/August 1999. The 16 revised full papers presented were carefully reviewed and selected from a total of 46 submissions. Also included are ten invited contributions by leading experts. The volume is divided in sections on information discovery and management on the Internet; information agents on the Internet-prototypes systems and applications; communication and collaboration, mobile information agents; rational information agents for electronic business; service mediation and negotiation; and adaptive personal assistance.
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.
This book constitutes the refereed proceedings of the 9th International Conference on Information Security, ISC 2006, held on Samos Island, Greece in August/September 2006. The 38 revised full papers presented were carefully reviewed and selected from 188 submissions. The papers are organized in topical sections.
Recent developments in the field of cellular pathology and molecular biology have had a major impact on our ability to diagnose lymphoreticular disease and on our understanding of many of the disease processes which contribute to lymphoreticular pathology. Twenty years ago, the immunological analysis of lymphoid proliferations was in its infancy. The techniques available, such as sheep red blood cell rosetting and immune adherence to frozen sections, now appear unbelievably crude when compared with our ability to accurately phenotype lymphocytes in suspension, in frozen section and, more recently, in formalin-fixed, paraffin-embedded tissue biopsies. Four international work shops have also s...
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Radical Agent Concepts, WRAC 2005, held in Greenbelt, MD, USA in September 2005. The 27 full papers presented are fully revised to incorporate reviewers' comments and discussions at the workshop. Topics addressed are social aspects of agents, agent architectures, autonomic systems, agent communities, and agent intelligence.
Every company wants to turn its customers into true and lifelong fans. In this book, Roman Becker and Gregor Daschmann, the discoverers of the Fan Principle and FANOMICS, demonstrate how this can be actually accomplished. They transfer the mechanisms of fan relationships from sports, music, and art to those between companies and customers. What turns a customer into a “fan” customer? How are these identified? And how can the Fan Rate be managed and even increased? This book provides answers to all these questions. Based on surveys and interviews with more than 100,000 respondents, it becomes clear that fans have the highest customer value and therefore contribute significantly to the eco...
This volume contains the proceedings of the Third International Conference on Service-Oriented Computing (ICSOC 2005), that took place in Amsterdam, The Netherlands, December 12-15, 2005. The 2005 edition had the important and ambitious goal of bringing together the different communities working in Web services and service-oriented computing. By attracting excellent contributions from different scientific communities, ICSOC aims at creating a scientific venue where participants can share ideas and compare their approaches to tackling the many still-open common research challenges. The commitment to cross-area fertilization was put into practice by having a very diversified Program Committee ...
This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.
The book covers the planning and design of highways and country roads. The quality requirements for the road are derived from the network planning. After an excursus into the fundamentals of driving dynamics, the design elements are described in the site plan, in the height plan and in cross-section. After a detailed presentation of the intersection solutions, the necessary equipment is compiled. This book is a translation of the original German 1st edition Planung von Autobahnen und Landstraßen by Richter Thomas published by Springer Fachmedien Wiesbaden GmbH, part of Springer Nature in 2016. The translation was done with the help of artificial intelligence (machine translation by the service DeepL.com). A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation. Springer Nature works continuously to further the development of tools for the production of books and on the related technologies to support the authors.