Springer London: 1778 books

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP,...

With the resurgence of nuclear power around the world, and the increasingly important role of hydrogen as a clean energy carrier, the utilization of nuclear energy for large-scale hydrogen production will have a key role in a sustainable energy future. Co-generation of both electricity and hydrogen...

This book presents the state of the art on thermophysical and thermochemical properties, fabrication methodologies, irradiation behaviours, fuel reprocessing procedures, and aspects of waste management for oxide fuels in general and for thoria-based fuels in particular. The book covers all the essential...

This book considers the pollutants formed by the combustion of solid biomass fuels. The availability and potential use of solid biofuels is first discussed because this is the key to the development of biomass as a source of energy. This is followed by details of the methods used for characterisation...

This comprehensive guide exposes the security risks and vulnerabilities of computer networks and networked devices, offering advice on developing improved algorithms and best practices for enhancing system security. Fully revised and updated, this new edition embraces a broader view of computer networks...

An oft-repeated adage among telecommunication providers goes, “There are ve things that matter: reliability, reliability, reliability, time to market, and cost. If you can’t do all ve, at least do the rst three. ” Yet, designing and operating reliable networks and services is a Herculean task....

The aim of this book is to review innovative physical multiscale modeling methods which numerically simulate the structure and properties of electrochemical devices for energy storage and conversion. Written by world-class experts in the field, it revisits concepts, methodologies and approaches connecting...

Algae Energy covers the production of algae culture and the usage of algal biomass conversion products. It also reviews modern biomass-based transportation fuels, including biodiesel, bio-oil, biomethane and biohydrogen. Each chapter opens with fundamental explanations suitable for those with...

In Ambient Intelligence (AmI) systems, reasoning is fundamental for triggering actions or adaptations according to specific situations that may be meaningful and relevant to some applications. However, such reasoning operations may need to evaluate context data collected from distributed sources and...

This book explores the emerging field of hyperconnectivity looking at technology and systems that allow person-to-person and person-to-machine communication in networked organizations and the social and economic impact of this society. The author begins by presenting literary culture and interaction,...

The first edition of "Composite Materials" introduced a new way of looking at composite materials. This second edition expands the book’s scope to emphasize application-driven and process-oriented materials development. The approach is vibrant yet functional.

The theory of table algebras was introduced in 1991 by Z. Arad and H. Blau in order to treat, in a uniform way, products of conjugacy classes and irreducible characters of finite groups. Today, table algebra theory is a well-established branch of modern algebra with various applications, including...

This book details the analysis of continuous- and discrete-time dynamical systems described by differential and difference equations respectively. Differential geometry provides the tools for this, such as first-integrals or orbital symmetries, together with normal forms of vector fields and of maps....

This book reviews the shift in the historiography of computing from inventors and innovations to a user-perspective, and examines how the relevant sources can be created, collected, preserved, and disseminated. The text describes and evaluates a project in Sweden that documented the stories of around...