Type d'article
Etat
Reliure
Particularités
Pays
Evaluation du vendeur
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319191314ISBN 13 : 9783319191317
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This work contains updated and clinically relevant information about tuberculosis. It is aimed at providing a succinct overview of history and disease epidemiology, clinical presentation and the most recent scientific developments in the field of tuberculosis research, with an emphasis on diagnosis and treatment. It may serve as a practical resource for students, clinicians and researchers who work in the field of infectious diseases. 76 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 331916693XISBN 13 : 9783319166933
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. Elancheziyan (illustrateur). This item is printed on demand - it takes 3-4 days longer - Neuware -A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no fixed order of interrogation, or interval between interrogations, and the same prisoner may be interrogated again at any stage. When interrogated, a prisoner can either do nothing, or toggle the light switch, or announce that all prisoners have been interrogated. If that announcement is true, the prisoners will (all) be set free, but if it is false, they will all be executed. While still in the dining room, and before the prisoners go to their isolation cells (forever), can the prisoners agree on a protocol that will set them free At first glance, this riddle may seem impossible to solve: how can all of the necessary information be transmitted by the prisoners using only a single light bulb There is indeed a solution, however, and it can be found by reasoning about knowledge.This book provides a guided tour through eleven classic logic puzzles that are engaging and challenging and often surprising in their solutions. These riddles revolve around the characters' declarations of knowledge, ignorance, and the appearance that they are contradicting themselves in some way. Each chapter focuses on one puzzle, which the authors break down in order to guide the reader toward the solution.For general readers and students with little technical knowledge of mathematics, One Hundred Prisoners and a Light Bulb will be an accessible and fun introduction to epistemic logic. Additionally, more advanced students and their teachers will find it to be a valuable reference text for introductory course work and further study. 200 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319038192ISBN 13 : 9783319038193
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents Nils Petter Gleditsch, a staff member of the Peace Research Institute of Oslo (PRIO) since 1964, a former editor of the Journal for Peace Research (1983-2010), a former president of the International Studies Association (2008-2009) and the recipient of several academic awards as a pioneer in the scientific analysis of war and peace. This unique anthology covers major themes in his distinguished career as a peace researcher. An autobiographical, critical retrospective puts his work on conflict and peace into a broader context, while a comprehensive bibliography documents his publications over a period of nearly 50 years. Part II documents his wide-ranging contributions on globalization, democratization and liberal peace, on international espionage, environmental security, climate change and conflict and on the decline of war and more generally of violence as a tool in conflict. 196 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319177583ISBN 13 : 9783319177588
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Titan is practically a planet in its own right, with a diameter similar to that of Mercury, methane rainstorms, organic soot and ethane seas. All of the most detailed knowledge on the moon's geology, volcanology, meteorology, marine sciences and chemistry are gathered together here to paint a factually accurate hypothetical future of early human colonization on this strange world.The views from Titan's Mayda Outpost are spectacular, but all is not well at the moon's remote science base. On the shore of a methane sea beneath glowering skies, atmospherics researcher Abigail Marco finds herself in the middle of murder, piracy and colleagues who seem to be seeing sea monsters and dead people from the past. On the Shores of Titan's Farthest Sea provides thrills, excitement and mystery - couched in the latest science - on one of the Solar System's most bizarre worlds, Saturn's huge moon Titan.'This riveting story, set against a plausibly well integrated interplanetary space, carries us along with its bright and interesting characters. We feel absolutely transported to a hauntingly beautiful and alien Titan through Carroll's masterful weaving of art and science.' - Jani Radebaugh, Professor of Planetary Sciences, Titan dune expert, BYU'It's a fun read! Really makes Titan come alive, literally.' - Astrophysicist and author Ralph Lorenz'Michael Carroll's new novel 'On the Shores of Titan's Farthest Sea' (Springer) is a gripping, good-vs-evil tale that sparkles with imagination. It's set on the shores of Kraken Mare, the vast methane sea found high in the northern latitudes of Saturn's moon, Titan, in a future when humanity has spread throughout the solar system. The villains are wicked, the heroes are scientists (Thanks, Mike!), the story is convincing, the dialogue snappy, and the scenery is right out of our catalog of findings on this cold, hazy and alien world.If you fancy skipping forward 250 years and checking out how humankind might be navigating the very geography and landforms we have uncovered in our years touring Saturn, this book is for you!' --Carolyn Porco, leader of the Cassini Imaging Science team and the Director of the Cassini Imaging Central Laboratory for Operations (CICLOPS) at the Space Science Institute in Boulder, Colorado 284 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319154303ISBN 13 : 9783319154305
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 312 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319160648ISBN 13 : 9783319160641
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume develops results on continuous time branching processes and applies them to study rate of tumor growth, extending classic work on the Luria-Delbruck distribution. As a consequence, the author calculate the probability that mutations that confer resistance to treatment are present at detection and quantify the extent of tumor heterogeneity. As applications, the author evaluate ovarian cancer screening strategies and give rigorous proofs for results of Heano and Michor concerning tumor metastasis. These notes should be accessible to students who are familiar with Poisson processes and continuous time Markov chains. Richard Durrett is a mathematics professor at Duke University, USA. He is the author of 8 books, over 200 journal articles, and has supervised more than 40 Ph.D students. Most of his current research concerns the applications of probability to biology: ecology, genetics and most recently cancer. 72 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319188712ISBN 13 : 9783319188713
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From the authors of 'How to Find the Apollo Landing Sites,' this is a guide to connecting the view above with the history of recent scientific discoveries from the Hubble Space Telescope. Each selected HST photo is shown with a sky map and a photograph or drawing to illustrate where to find it and how it should appear from a backyard telescope. Here is the casual observer's chance to locate the deep space objects visually, and appreciate the historic Hubble photos in comparison to what is visible from a backyard telescope. HST objects of all types are addressed, from Messier objects, Caldwell objects, and NGC objects, and are arranged in terms of what can be seen during the seasons. Additionally, the reader is given an historical perspective on the work of Edwin Hubble, while locating and viewing the deep space objects that changed astronomy forever. Countless people have seen the amazing photographs taken by the Hubble Space Telescope. But how many people can actually point out where in the sky those objects are Why were these objects chosen to be studied What discoveries were made from the Hubble Space Telescope photographs This book is for anyone who wants answers to these questions. 260 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 303101166XISBN 13 : 9783031011665
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With the rapid growth of web search in recent years the problem of modeling its users has started to attract more and more attention of the information retrieval community. This has several motivations. By building a model of user behavior we are essentially developing a better understanding of a user, which ultimately helps us to deliver a better search experience. A model of user behavior can also be used as a predictive device for non-observed items such as document relevance, which makes it useful for improving search result ranking. Finally, in many situations experimenting with real users is just infeasible and hence user simulations based on accurate models play an essential role in understanding the implications of algorithmic changes to search engine results or presentation changes to the search engine result page. In this survey we summarize advances in modeling user click behavior on a web search engine result page. We present simple click models as well as more complex models aimed at capturing non-trivial user behavior patterns on modern search engine result pages. We discuss how these models compare to each other, what challenges they have, and what ways there are to address these challenges. We also study the problem of evaluating click models and discuss the main applications of click models. 116 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3031006208ISBN 13 : 9783031006203
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since the end of Dennard scaling in the early 2000s, improving the energy efficiency of computation has been the main concern of the research community and industry. The large energy efficiency gap between general-purpose processors and application-specific integrated circuits (ASICs) motivates the exploration of customizable architectures, where one can adapt the architecture to the workload. In this Synthesis lecture, we present an overview and introduction of the recent developments on energy-efficient customizable architectures, including customizable cores and accelerators, on-chip memory customization, and interconnect optimization. In addition to a discussion of the general techniques and classification of different approaches used in each area, we also highlight and illustrate some of the most successful design examples in each category and discuss their impact on performance and energy efficiency. We hope that this work captures the state-of-the-art research and development on customizable architectures and serves as a useful reference basis for further research, design, and implementation for large-scale deployment in future computing systems. 120 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3031011651ISBN 13 : 9783031011658
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book introduces fundamentals of information communication. At first, concepts and characteristics of information and information communication are summarized. And then five classic models of information communication are introduced. The mechanisms and fundamental laws of the information transmission process are also discussed. In order to realize information communication, impediments in information communication process are identified and analyzed. For the purpose of investigating implications of Internet information communication, patterns and characteristics of information communication in the Internet and Web 2.0 environment are also analyzed. In the end, case studies are provided for readers to understand the theory. 124 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319185454ISBN 13 : 9783319185453
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the must-have guide for all amateur astronomers who double as makers, doers, tinkerers, problem-solvers, and inventors. In a world where an amateur astronomy habit can easily run into the many thousands of dollars, it is still possible for practitioners to get high-quality results and equipment on a budget by utilizing DIY techniques. Surprisingly, it's not that hard to modify existing equipment to get new and improved usability from older or outdated technology, creating an end result that can outshine the pricey higher-end tools. All it takes is some elbow grease, a creative and open mind and the help of Chung's hard-won knowledge on building and modifying telescopes and cameras. With this book, it is possible for readers to improve their craft, making their equipment more user friendly. The tools are at hand, and the advice on how to do it is here. Readers will discover a comprehensive presentation of astronomical projects that any amateur on any budget can replicate - projects that utilize leading edge technology and techniques sure to invigorate the experts and elevate the less experienced. As the 'maker' community continues to expand, it has wonderful things to offer amateur astronomers with a willingness to get their hands dirty. Tweaking observing and imaging equipment so that it serves a custom purpose can take your observing options to the next level, while being fun to boot. 260 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319197932ISBN 13 : 9783319197937
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Translated from the popular French edition, the goal of the book is to provide a self-contained introduction to mean topological dimension, an invariant of dynamical systems introduced in 1999 by Misha Gromov. The book examines how this invariant was successfully used by Elon Lindenstrauss and Benjamin Weiss to answer a long-standing open question about embeddings of minimal dynamical systems into shifts.A large number of revisions and additions have been made to the original text. Chapter 5 contains an entirely new section devoted to the Sorgenfrey line. Two chapters have also been added: Chapter 9 on amenable groups and Chapter 10 on mean topological dimension for continuous actions of countable amenable groups. These new chapters contain material that have never before appeared in textbook form. The chapter on amenable groups is based on Følner's characterization of amenability and may be read independently from the rest of the book.Although the contents of this book lead directly to several active areas of current research in mathematics and mathematical physics, the prerequisites needed for reading it remain modest; essentially some familiarities with undergraduate point-set topology and, in order to access the final two chapters, some acquaintance with basic notions in group theory. Topological Dimension and Dynamical Systems is intended for graduate students, as well as researchers interested in topology and dynamical systems. Some of the topics treated in the book directly lead to research areas that remain to be explored. 252 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319177524ISBN 13 : 9783319177526
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Presenting a study of geometric action functionals (i.e., non-negative functionals on the space of unparameterized oriented rectifiable curves), this monograph focuses on the subclass of those functionals whose local action is a degenerate type of Finsler metric that may vanish in certain directions, allowing for curves with positive Euclidean length but with zero action. For such functionals, criteria are developed under which there exists a minimum action curve leading from one given set to another. Then the properties of this curve are studied, and the non-existence of minimizers is established in some settings.Applied to a geometric reformulation of the quasipotential of Wentzell-Freidlin theory (a subfield of large deviation theory), these results can yield the existence and properties of maximum likelihood transition curves between two metastable states in a stochastic process with small noise.The book assumes only standard knowledge in graduate-level analysis; all higher-level mathematical concepts are introduced along the way. 204 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 331918346XISBN 13 : 9783319183466
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains two review articles on nonlinear data assimilation that deal with closely related topics but were written and can be read independently. Both contributions focus on so-called particle filters.The first contribution by Jan van Leeuwen focuses on the potential of proposal densities. It discusses the issues with present-day particle filters and explorers new ideas for proposal densities to solve them, converging to particle filters that work well in systems of any dimension, closing the contribution with a high-dimensional example. The second contribution by Cheng and Reich discusses a unified framework for ensemble-transform particle filters. This allows one to bridge successful ensemble Kalman filters with fully nonlinear particle filters, and allows a proper introduction of localization in particle filters, which has been lacking up to now. 132 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319153641ISBN 13 : 9783319153643
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Lebesgue integral is an essential tool in the fields of analysis and stochastics and for this reason, in many areas where mathematics is applied. This textbook is a concise, lecture-tested introduction to measure and integration theory. It addresses the important topics of this theory and presents additional results which establish connections to other areas of mathematics. The arrangement of the material should allow the adoption of this textbook in differently composed Bachelor programmes. 180 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 331918671XISBN 13 : 9783319186719
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book examines contractual options for a performance based contract between an owner of a revenue generating unit and a repair agent for such unit. The framework of the analysis is that of economists' principal-agent problem. The contractual options of a principal and an agent are modeled as a Markov process with an undetermined time horizon. For a risk neutral principal, the authors identify the conditions under which a principal contracts with a risk-neutral, risk-averse, or risk-seeking agent and derive the principal's optimal offer together with the agent's optimal service capacity response. In essence, the book provides an extensive formulating analysis of principal-agent contracts given any exogenous parameter values. Ultimately a small number of formulas cover a large spectrum of principal-agent conditions. 140 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319178903ISBN 13 : 9783319178905
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book, now in a revised and updated second edition, explains the theory of special and general relativity in detail without approaching Einstein's life or the historical background. The text is formulated in such a way that the reader will be able to understand the essence intuitively, and new sections have been added on time machines, the twin paradoxes, and tensors. The first part of the book focuses on the essentials of special relativity. It explains the famous equivalence between mass and energy and tells why Einstein was able to use the theory of electrodynamics as a template for his 'electrodynamics of moving bodies'. General relativity is then addressed, mainly with the help of thought experiments. Reference is made to the previously introduced special relativity and the equivalence principle and, using many figures, it is explained how space-time is bending under gravity. The climax of the book is the Einstein equation of gravity, which describes the way in which matterbends space-time. The reader is shown how to obtain the famous Schwarzschild solution. Moreover, the book presents a numerically correct and yet intuitive explanation of the classic effects such as light bending and the advance of the perihelion. The book concludes by explaining the Friedmann model of the big bang and why the theory of gravity does not fit with quantum theory. 152 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319215442ISBN 13 : 9783319215440
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 7th International Formal Ontologies Meet Industries Workshop held in Berlin, Germany, in August 2015.The 11 full research papers accepted for FOMI 2015 were selected from 18 submissions. The papers focus on theoretical studies of formal ontologies committed to provide a sound basis for industrial applications and to allow formal representation of corporate knowledge, and on business experiences in case studies that single out concrete problems and possible solutions in the creation and deployment of formal ontologies. Overall, they provide valuable insights into the current state of progress in supporting industrial information and knowledge sharing through the development of formal ontologies. 152 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319102648ISBN 13 : 9783319102641
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2014, held in Munich, Germany, in September 2014, in conjunction with DEXA 2014. The 9 revised long papers presented together with 3 short papers were carefully reviewed and selected from numerous submissions. The papers address the following topics: clustering and bioinformatics; medical image and data processing; and knowledge discovery and machine learning in medicine. 160 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 331921361XISBN 13 : 9783319213613
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry. 192 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319215353ISBN 13 : 9783319215358
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains extended and revised versions of a set of selected papers from two events organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in Toulouse, France and Barcelona, Spain, in June and July 2014. Overall, 8 papers were accepted for publication in this edition after a rigorous review process through at least three internationally known experts from the EWG-DSS Program Committee and external invited reviewers. The selected papers focus on knowledge management and sharing, and on information models developed to support various decision processes. 112 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319220012ISBN 13 : 9783319220017
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 submissions. The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transformations into complex reasoning problems. Rule-based systems have found many applications in this area. The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems. Topics of particular interest are: answer set programming, complex events, datalog, description logics, event-condition-action rules, information extraction, and logic programming. 152 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319211501ISBN 13 : 9783319211503
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 11th European Conference on Modelling Foundations and Applications, ECMFA 2015, held as part of STAF 2015, in L`Aquila, Utaly, in July 2015. The 13 papers presented in this volume were carefully reviewed and selected from 54 submissions.The committee decided to accept 13 papers, 9 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and domain-specific modeling w.r.t. energy consumption and cloud-based systems. 216 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319178512ISBN 13 : 9783319178516
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 384 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319193058ISBN 13 : 9783319193052
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Presenting topics that have not previously been contained in a single volume, this book offers an up-to-date review of computational methods in electromagnetism, with a focus on recent results in the numerical simulation of real-life electromagnetic problems and on theoretical results that are useful in devising and analyzing approximation algorithms. Based on four courses delivered in Cetraro in June 2014, the material covered includes the spatial discretization of Maxwell's equations in a bounded domain, the numerical approximation of the eddy current model in harmonic regime, the time domain integral equation method (with an emphasis on the electric-field integral equation) and an overview of qualitative methods for inverse electromagnetic scattering problems.Assuming some knowledge of the variational formulation of PDEs and of finite element/boundary element methods, the book is suitable for PhD students and researchers interested in numerical approximation of partial differential equations and scientific computing. 252 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319177885ISBN 13 : 9783319177885
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Jonathan Ward takes the reader deep into the facilities at Kennedy Space Center to describe NASA's first computer systems used for spacecraft and rocket checkout and explain how tests and launches proceeded. Descriptions of early operations include a harrowing account of the heroic efforts of pad workers during the Apollo 1 fire. A companion to the author's book Countdown to a Moon Launch: Preparing Apollo for Its Historic Journey, this explores every facet of the facilities that served as the base for the Apollo/Saturn missions. Hundreds of illustrations complement the firsthand accounts of more than 70 Apollo program managers and engineers. The era of the Apollo/Saturn missions was perhaps the most exciting period in American space exploration history. Cape Canaveral and Kennedy Space Center were buzzing with activity. Thousands of workers came to town to build the facilities and launch the missions needed to put an American on the Moon before the end of the decade. Work at KSC involved much more than just launching rockets. It was a place like none other on Earth. Technicians performed intricate operations, and hazards abounded everywhere, including lightning, fire, highly-toxic fuels, snakes, heat, explosives, LOX spills, and even plutonium. The reward for months of 7-day workweeks under intense pressure was witnessing a Saturn V at liftoff.For anyone who ever wished they had worked at Kennedy Space Center during the Apollo era, this book is the next best thing. The only thing missing is the smell of rocket fuel in the morning. 356 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319212141ISBN 13 : 9783319212142
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers. 232 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319209094ISBN 13 : 9783319209098
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th Industrial Conference on Advances in Data Mining, ICDM 2015, held in Hamburg, Germany, in July 2015.The 16 revised full papers presented were carefully reviewed and selected from numerous submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine and agriculture, and in process control, industry and society. 292 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319211447ISBN 13 : 9783319211442
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations. 300 pp. Englisch.
Edité par Springer International Publishing Jul 2015, 2015
ISBN 10 : 3319208594ISBN 13 : 9783319208596
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis. 300 pp. Englisch.