Springer London: 1778 books

This volume is a technical and operative contribution to the United Nations "Decade on Education for Sustainable Development" (2005-2014), aiding the development of a new generation of designers, responsible and able in the task of designing environmentally sustainable products. The book...

Membrane Reactors for Hydrogen Production Processes deals with technological and economic aspects of hydrogen selective membranes application in hydrogen production chemical processes. Membrane Reactors for Hydrogen Production Processes starts with an overview of membrane integration in the...

A 'how-to' book for medical aid workers - doctors, nurses and paramedics - working in hostile environments (natural disasters, man-made disasters, conflict in all its forms and remote or austere industrial settings). This manual provides information on what is going on, how to get involved, how to...

This textbook is intended for an introductory course on Compiler Design, suitable for use in an undergraduate programme in computer science or related fields. Introduction to Compiler Design presents techniques for making realistic, though non-optimizing compilers for simple programming languages...

In this book, Tony Sammes and Brian Jenkinson show how information held in computer systems can be recovered and how it may be deliberately hidden or subverted for criminal purposes. "Forensic Computing: A Practitioner's Guide" is illustrated by plenty of case studies and worked examples,...

This work provides a guide to the configuration of Cisco routers, from tasks for beginners to advanced operations. A collection of detailed "how-to" instructions are presented, which will be of use to all professionals and students who engage with Cisco routers in the field or in the lab....

Transformation electromagnetics is a systematic design technique for optical and electromagnetic devices that enables novel wave-material interaction properties. The associated metamaterials technology for designing and realizing optical and electromagnetic devices can control the behavior of light...

As a follow-up to the successful Politics of Usability, this book deals with the ways in which HCI experts apply their knowledge within the pressured environment of the modern organisation. Quite apart from the need to provide a good usability service with little time or money, most HCI practitioners...

This book will provide readers with the essential information needed to understand knowledge representation with a focus on healthcare. The book will use health sector real world examples to delineate the principal issues and solutions for the field of data representation. The book will include a...

The title of this new book: “The Connected Home” reflects the move away from the idea that smart homes would alter the lives of those living in them by providing technologies to take over tasks that were previously the responsibility of the householder, such as managing entertainment, education...

This book provides an overview of attentional impairments in brain-damaged patients from both clinical and neuroscientific perspectives, and aims to offer a comprehensive, succinct treatment of these topics useful to both clinicians and scholars. A main focus of the book concerns left visual neglect,...

The International Conference on Informatics and Management Science (IMS) 2012 will be held on November 16-19, 2012, in Chongqing, China, which is organized by Chongqing Normal University, Chongqing University, Shanghai Jiao Tong University, Nanyang Technological University, University of Michigan,...

During its life cycle, a product produces waste that is over 20 times its weight. As such it is critical to develop products that are sustainable. Currently product development processes lack high quality methods and tools that are empirically validated to support development of sustainable products....

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical...