Visar resultat för..."Springer London Ltd"
4 814 produkter
4 814 produkter
490 kr
Skickas inom 10-15 vardagar
In Europe's Space Programme - to Ariane and Beyond, author Brian Harvey begins with the fledgling European rocket effort of the 1930s and the key pioneers of the period, examining the significance of the V-2 and the technological advances represented by its development. He shows how the Russians and Americans put their captured V-2s to work, but the European countries were slower to respond. Both Britain and France developed national space programmes in the 1950s and 1960s and the early attempts at European co-operation for launcher development - ELDO and ESRO - are described. The formation of the European Space Agency and the origins of the successful Ariane launcher programme are discussed and Europe's subsequent success in the world launcher market, its cutting-edge role in space applications and European manned spaceflight, are all described in detail.
376 kr
Skickas inom 10-15 vardagar
Written for undergraduate students with a mathematical background, this book is a self-contained introduction to a fundamental field of numerical analysis and scientific computation. It features numerous theoretical and computational examples.
377 kr
Skickas inom 10-15 vardagar
Mathematics for Finance: An Introduction to Financial Engineering combines financial motivation with mathematical style.
376 kr
Skickas inom 10-15 vardagar
Suitable for self study Use real examples and real data sets that will be familiar to the audience Introduction to the bootstrap is included -- this is a modern method missing in many other books
798 kr
Skickas inom 10-15 vardagar
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. The discussion of classical logic is concluded with a concise exposition of second-order logic.
408 kr
Skickas inom 10-15 vardagar
Based on the latest historical research, Worlds Out of Nothing is the first book to provide a course on the history of geometry in the 19th century. Topics covered in the first part of the book are projective geometry, especially the concept of duality, and non-Euclidean geometry. The book then moves on to the study of the singular points of algebraic curves (Plücker’s equations) and their role in resolving a paradox in the theory of duality; to Riemann’s work on differential geometry; and to Beltrami’s role in successfully establishing non-Euclidean geometry as a rigorous mathematical subject. The final part of the book considers how projective geometry rose to prominence, and looks at Poincaré’s ideas about non-Euclidean geometry and their physical and philosophical significance. Three chapters are devoted to writing and assessing work in the history of mathematics, with examples of sample questions in the subject, advice on how to write essays, and comments on what instructors should be looking for.
504 kr
Skickas inom 5-8 vardagar
This book presents the human hand from an overall perspective – from the first appearance of hand-like structures in the fins of big fishes living millions of years ago to today´s and the future’s mind-controlled artificial hands.
1 202 kr
Skickas inom 10-15 vardagar
Dermatopathology is a specialized branch of pathology in which there has been great progress as new techniques have become available to evaluate the pathology of the skin. Many of the advances in our knowledge and understanding of the skin and the diseases that affect it have been made by people with experience of both diagnostic pathology and clinical dermatology. With significant numbers of large textbooks available, there is a need to provide practical clinical information and concise criteria for pathologic diagnosis for pathologists and dermatologists looking for up-to-date diagnostic and management options.
867 kr
Skickas inom 5-8 vardagar
This book provides an updated and expanded overview of basic concepts of energy economics and explains how simple economic tools can be used to analyse contemporary energy issues in the light of recent developments, such as the Paris Agreement, the UN Sustainable Development Goals and new technological developments in the production and use of energy. The new edition is divided into four parts covering concepts, issues, markets, and governance. Although the content has been thoroughly revised and rationalised to reflect the current state of knowledge, it retains the main features of the first edition, namely accessibility, research-informed presentation, and extensive use of charts, tables and worked examples.This easily accessible reference book allows readers to gain the skills required to understand and analyse complex energy issues from an economic perspective. It is a valuable resource for students and researchers in the field of energy economics, as well asinterested readers with an interdisciplinary background.
1 637 kr
Skickas inom 10-15 vardagar
Numerous treatments have been proposed. But the treatment of itch remains difficult and it depends on its etiology. The understanding of the pathophysiogeny of itch is necessary. Fortunately, many very interesting results of research have been reported in the recent years. 'Pruritis' will explain the pathophysiogeny of itch, describe all causes, and give guidelines for management and treatment.
1 062 kr
Skickas inom 10-15 vardagar
This book provides a comprehensive basics-to-advanced course in an aero-thermal science vital to the design of engines for either type of craft. The text classifies engines powering aircraft and single/multi-stage rockets, and derives performance parameters for both from basic aerodynamics and thermodynamics laws. Each type of engine is analyzed for optimum performance goals, and mission-appropriate engines selection is explained.Fundamentals of Aircraft and Rocket Propulsion provides information about and analyses of: thermodynamic cycles of shaft engines (piston, turboprop, turboshaft and propfan);jet engines (pulsejet, pulse detonation engine, ramjet, scramjet, turbojet and turbofan);chemical and non-chemical rocket engines;conceptual design of modular rocket engines (combustor, nozzle and turbopumps); andconceptual design of different modules of aero-engines in their design and off-design state. Aimed at graduate and final-year undergraduate students, this textbook provides a thorough grounding in the history and classification of both aircraft and rocket engines, important design features of all the engines detailed, and particular consideration of special aircraft such as unmanned aerial and short/vertical takeoff and landing aircraft.End-of-chapter exercises are provided, increasing the book’s value to students.
Mathematics in Computing
An Accessible Guide to Historical, Foundational and Application Contexts
Inbunden, Engelska, 2012
867 kr
Skickas inom 5-8 vardagar
This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the context of the contributions made by early civilizations, such as the ancient Babylonians, Egyptians and Greeks; examines the building blocks of mathematics, including sets, relations and functions; presents an introduction to logic, formal methods and software engineering; explains the fundamentals of number theory, and its application in cryptography; describes the basics of coding theory, language theory, and graph theory; discusses the concept of computability and decideability; includes concise coverage of calculus, probability and statistics, matrices, complex numbers and quaternions.
SymbolicC++:An Introduction to Computer Algebra using Object-Oriented Programming
An Introduction to Computer Algebra using Object-Oriented Programming
Häftad, Engelska, 2000
550 kr
Skickas inom 10-15 vardagar
Symbolic C++: An Introduction to Computer Algebra Using Object-Oriented Programming provides a concise introduction to C++ and object-oriented programming, using a step-by-step construction of a new object-oriented designed computer algebra system - Symbolic C++. It shows how object-oriented programming can be used to implement a symbolic algebra system and how this can then be applied to different areas in mathematics and physics. This second revised edition:- Explains the new powerful classes that have been added to Symbolic C++. Includes the Standard Template Library. Extends the Java section. Contains useful classes in scientific computation. Contains extended coverage of Maple, Mathematica, Reduce and MuPAD.
2 117 kr
Skickas inom 10-15 vardagar
Data-driven Design of Fault Diagnosis and Fault-tolerant Control Systems presents basic statistical process monitoring, fault diagnosis, and control methods and introduces advanced data-driven schemes for the design of fault diagnosis and fault-tolerant control systems catering to the needs of dynamic industrial processes. With ever increasing demands for reliability, availability and safety in technical processes and assets, process monitoring and fault-tolerance have become important issues surrounding the design of automatic control systems. This text shows the reader how, thanks to the rapid development of information technology, key techniques of data-driven and statistical process monitoring and control can now become widely used in industrial practice to address these issues. To allow for self-contained study and facilitate implementation in real applications, important mathematical and control theoretical knowledge and tools are included in this book. Major schemes are presented in algorithm form and demonstrated on industrial case systems. Data-driven Design of Fault Diagnosis and Fault-tolerant Control Systems will be of interest to process and control engineers, engineering students and researchers with a control engineering background.
376 kr
Skickas inom 10-15 vardagar
This rigorous yet accessible introduction to complex analysis and differential equations covers complex numbers, holomorphic functions, analytic functions, ordinary differential equations, Fourier series and applications to partial differential equations.
550 kr
Skickas inom 10-15 vardagar
New edition of the classic complete reference book for cardiologists and trainee cardiologists on the theory and practice of electrocardiography, one of the key modalities used for evaluating cardiology patients and deciding on appropriate management strategies.
Evolutionary Optimisation of Façade Design
A New Approach for the Design of Building Envelopes
Inbunden, Engelska, 2014
1 094 kr
Skickas inom 10-15 vardagar
Optimization techniques offer immense potential for the improvement of performance-driven design, since they allow the adoption of an holistic approach. This can lead to great advantages: optimal design solutions can be properly identified only if all criteria are considered at the same time, rather than separately. There are two barriers which obstruct optimization from being applied to building design: a technological barrier (applying the algorithms is not easy and can be quite time-consuming) and a cultural one (architects and engineers are required to change their perspectives as the design process has to be handled in a new way). This book explores these barriers from the perspective of both engineers and architects, and proposes a change in the attitudes of these two “actors”: an engineer and an architect develop a dialog which helps them understand each other’s perspective; in this way they find how they must both make a step forward.
1 589 kr
Skickas inom 10-15 vardagar
Machining dynamics are vital to the performance of machine tools and machining processes in manufacturing. Advances in computational modelling, sensors, diagnostic equipment and analysis tools, 3D surface metrology and manufacturing science are providing a new perspective on the machining process.Written by experts in each field, this book discusses the state-of-the-art applications, practices and research in machining dynamics. Part 1 presents the basic theory, analysis and control methodology in addition to detailed modelling and diagnostic techniques, while Part 2 focuses on the applications of machining dynamics in machining processes such as turning, grinding, gear machining and non-traditional machining. Advanced undergraduate and postgraduate students studying manufacturing engineering and machining technology will find this book a comprehensive introduction. Manufacturing engineers, production supervisors, planning and application engineers and designers will find it a useful reference.
534 kr
Skickas inom 10-15 vardagar
This book focuses on sustainable solid waste management in an urban context and gives an example of how a modern city can work with waste management for increased sustainability in close cooperation with the academy. The book describes challenges which the city is facing and presents a case on how these can be tackled based on several research and development projects performed in the City of Malmö over the last decade. In these projects, the city has worked as a test bed for new solutions, developed with and evaluated by the university. The projects and evaluations of the same have been developed with a multi-dimensional approach; including technical aspects, resource efficiency, economic parameters, information strategies towards households and user friendliness. Methods used for evaluation are presented in a comprehensive way together with a discussion on how results from performed evaluations have affected the solid waste management policy making in the city. The book describes a bridging over a commonly noticed gap between research on the one hand and policy making and technical management on the other. Several examples are given on how academy and real life and full-scale developments in the city can have a fruit-full collaboration, where feed-back from evaluation of made changes are used for continuous improvements – at the same time as the actual needs from the city forces the academy to develop new methods for evaluations and develop new solutions to previously un-known or un-addressed problems.
Simulator-based Human Factors Studies Across 25 Years
The History of the Halden Man-Machine Laboratory
Inbunden, Engelska, 2010
2 117 kr
Skickas inom 10-15 vardagar
The Halden Man-Machine Laboratory (HAMMLAB) has been at the heart of human factors research at the OECD Halden Reactor Project (HRP). The HRP is sponsored by a group of national organizations, representing nuclear power plant regulators, utilities, and research institutions. The HRP is hosted by the Institute for Energy Technology (IFE) in Halden, Norway. HAMMLAB comprises three full-scale nuclear power plant control room research simulators. The simulator studies performed in HAMMLAB have traditionally been experimental in nature. In a simulator it is possible to study events as they unfold in real time, in a highly realistic operational environment under partially controlled conditions. This means that a wide range of human factors issues, which would be impossible or highly impracticable to study in real-life settings, can thus be addressed in HAMMLAB.Simulator-based Human Factors Studies Across 25 Years celebrates the twenty-fifth anniversary of HAMMLAB by reviewing the human factors studies performed in HAMMLAB across this time-span. A range of human factors issues have been addressed, including:• human-system interfaces;• alarm systems;• computerized procedures;• human-automation interaction;• staffing, teamwork and human reliability.The aim of HAMMLAB studies has always been the same: to generate knowledge for solving current and future challenges in nuclear power plant operation to contribute to safety. The outcomes of HAMMLAB studies have been used to support design and assessment of nuclear power plant control rooms.
387 kr
Skickas inom 10-15 vardagar
As our society grows ever more reliant on computers, so it also becomes more vulnerable to computer crime. Cyber attacks have been plaguing computer users since the 1980s, and computer security experts are predicting that smart telephones and other mobile devices will also become the targets of cyber security threats in the future.Developed from the author's successful Springer guide to Foundations of Computer Security, this accessible textbook/reference is fully updated and enhanced with resources for students and tutors.Topics and features: examines the physical security of computer hardware, networks, and digital data; introduces the different forms of rogue software (or malware), discusses methods for preventing and defending against malware, and describes a selection of viruses, worms and Trojans in detail; investigates the important threats to network security, and explores the subjects of authentication, spyware, and identity theft; discusses issues of privacy and trust in the online world, including children's privacy and safety; includes appendices which discuss the definition, meaning, and history of the term hacker, introduce the language of "l33t Speak", and provide a detailed virus timeline; provides numerous exercises and examples throughout the text, in addition to a Glossary of terms used in the book; supplies additional resources at the associated website, http://www.DavidSalomon.name/, including an introduction to cryptography, and answers to the exercises.Clearly and engagingly written, this concise textbook is an ideal resource for undergraduate classes on computer security. The book is mostly non-mathematical, and is suitable for anyone familiar with the basic concepts of computers and computations.
550 kr
Skickas inom 10-15 vardagar
Principles of Therapy in the Epilepsies provides a concise, authoritative guide to all aspects of the treatment and management of epilepsies. The book also overviews management strategies for specific groups of patients including women and elderly patients.
550 kr
Skickas inom 10-15 vardagar
Antiepileptic Drugs, Pharmacopoeia provides a concise guide to the properties and clinical applications of all antiepileptic drugs (AED) currently used in the prophylactic treatment of epileptic seizures. The presentation of each AED follows a clinically orientated template. This is in accordance with the FDA Package insert and the EMA Summary of Product Characteristics, supplemented with recent published reports and expert clinical advice. This pocket-sized, user-friendly guide will be a valuable resource for all those involved in the care of patients with epileptic seizures.
Advanced Modeling and Optimization of Manufacturing Processes
International Research and Development
Inbunden, Engelska, 2010
2 328 kr
Skickas inom 10-15 vardagar
Advanced Modeling and Optimization of Manufacturing Processes presents a comprehensive review of the latest international research and development trends in the modeling and optimization of manufacturing processes, with a focus on machining. It uses examples of various manufacturing processes to demonstrate advanced modeling and optimization techniques. Both basic and advanced concepts are presented for various manufacturing processes, mathematical models, traditional and non-traditional optimization techniques, and real case studies. The results of the application of the proposed methods are also covered and the book highlights the most useful modeling and optimization strategies for achieving best process performance. In addition to covering the advanced modeling, optimization and environmental aspects of machining processes, Advanced Modeling and Optimization of Manufacturing Processes also covers the latest technological advances, including rapid prototyping and tooling, micromachining, and nano-finishing. Advanced Modeling and Optimization of Manufacturing Processes is written for designers and manufacturing engineers who are responsible for the technical aspects of product realization, as it presents new models and optimization techniques to make their work easier, more efficient, and more effective. It is also a useful text for practitioners, researchers, and advanced students in mechanical, industrial, and manufacturing engineering.
387 kr
Skickas inom 10-15 vardagar
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 methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering.The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software.The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.
Del 259 - Graduate Texts in Mathematics
Ergodic Theory
with a view towards Number Theory
Inbunden, Engelska, 2010
639 kr
Skickas inom 10-15 vardagar
This text is a rigorous introduction to ergodic theory, developing the machinery of conditional measures and expectations, mixing, and recurrence.Beginning by developing the basics of ergodic theory and progressing to describe some recent applications to number theory, this book goes beyond the standard texts in this topic. Applications include Weyl's polynomial equidistribution theorem, the ergodic proof of Szemeredi's theorem, the connection between the continued fraction map and the modular surface, and a proof of the equidistribution of horocycle orbits.Ergodic Theory with a view towards Number Theory will appeal to mathematicians with some standard background in measure theory and functional analysis. No background in ergodic theory or Lie theory is assumed, and a number of exercises and hints to problems are included, making this the perfect companion for graduate students and researchers in ergodic theory, homogenous dynamics or number theory.
New World Situation: New Directions in Concurrent Engineering
Proceedings of the 17th ISPE International Conference on Concurrent Engineering
Inbunden, Engelska, 2010
3 172 kr
Skickas inom 10-15 vardagar
The proceedings contain papers accepted for the 17th ISPE International Conference on Concurrent Engineering, which was held in Cracow, Poland, September 6-10, 2010. Concurrent Engineering (CE) has a history of over twenty years. At first, primary focus was on bringing downstream information as much upstream as possible, by introducing parallel processing of processes, in order to prevent errors at the later stage which would sometimes cause irrevocable damage and to reduce time to market. During the period of more than twenty years, numerous new concepts, methodologies and tools have been developed. During this period the background for engineering/manufacturing has changed extensively. Now, industry has to work with global markets. The globalization brought forth a new network of experts and companies across many different domains and fields in distributed environments. These collaborations integrated with very high level of profesionalism and specialisation, provided the basis for innovations in design and manufacturing and succeeded in creating new products on a global market.
1 745 kr
Skickas inom 10-15 vardagar
Computed Tomography gives a detailed overview of various aspects of computed tomography. It discusses X-ray CT tomography from a historical point of view, the design and physical operating principles of computed tomography apparatus, the algorithms of image reconstruction and the quality assessment criteria of tomography scanners. Algorithms of image reconstruction from projections, a crucial problem in medical imaging, are considered in depth. The author gives descriptions of the reconstruction methods related to tomography scanners with a parallel X-ray beam, trough solutions with fan-shaped beam and successive modifications of spiral scanners. Computed Tomography contains a dedicated chapter for those readers who are interested in computer simulations based on studies of reconstruction algorithms. The information included in this chapter will enable readers to create a simulation environment in which virtual tomography projections can be obtained in all basic projection systems. This monograph is a valuable study on computed tomography that will be of interest to advanced students and researchers in the fields of biomedical engineering, medical electronics, computer science and medicine.
640 kr
Skickas inom 10-15 vardagar
This book provides an introduction to complex analysis in several variables. The viewpoint of integral representation theory together with Grauert's bumping method offers a natural extension of single variable techniques to several variables analysis and leads rapidly to important global results. Applications focus on global extension problems for CR functions, such as the Hartogs-Bochner phenomenon and removable singularities for CR functions. Three appendices on differential manifolds, sheaf theory and functional analysis make the book self-contained.Each chapter begins with a detailed abstract, clearly demonstrating the structure and relations of following chapters. New concepts are clearly defined and theorems and propositions are proved in detail. Historical notes are also provided at the end of each chapter.Clear and succinct, this book will appeal to post-graduate students, young researchers seeking an introduction to holomorphic function theory in several variables and lecturers seeking a concise book on the subject.
2 117 kr
Skickas inom 10-15 vardagar
This book nds its origin in the WIDE PhD School on Networked Control Systems, which we organized in July 2009 in Siena, Italy. Having gathered experts on all the aspects of networked control systems, it was a small step to go from the summer school to the book, certainly given the enthusiasm of the lecturers at the school. We felt that a book collecting overviewson the important developmentsand open pr- lems in the eld of networked control systems could stimulate and support future research in this appealing area. Given the tremendouscurrentinterests in distributed control exploiting wired and wireless communication networks, the time seemed to be right for the book that lies now in front of you. The goal of the book is to set out the core techniques and tools that are ava- able for the modeling, analysis and design of networked control systems. Roughly speaking, the book consists of three parts. The rst part presents architectures for distributed control systems and models of wired and wireless communication n- works. In particular, in the rst chapter important technological and architectural aspects on distributed control systems are discussed. The second chapter provides insight in the behavior of communication channels in terms of delays, packet loss and information constraints leading to suitable modeling paradigms for commu- cation networks.
Letar du efter digitala böcker?
E-böcker och ljudböcker handlar du än så länge på vår tidigare sajt.