springer international publishing springer international publishing jun 2017 (871 resultados)

Taschenbuch. Condición: Neu. Neuware -This book is open access under a CC BY license.The book provides a critical and constructive assessment of the many contributions to social science and politics made by Professor R. J. Rummel. Rummel was a prolific writer and an important teacher and mentor to a number of people who in turn have made their mark on the profession. His work has always been controversial. But after the end of the Cold War, his views on genocide and the democratic peace in particular have gained wide recognition in the profession. He was also a pioneer in the use of statistical methods in international relations. His work in not easily classified in the traditional categories of international relations research (realism, idealism, and constructivism). He was by no means a pacifist and his views on the US-Soviet arms race led him to be classified as a hawk. But his work on the democratic peace has become extremely influential among liberal IR scholars and peace researchers. Above all, he was a libertarian.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Buch. Condición: Neu. Neuware -This book is open access under a CC BY 4.0 license.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The new field of cryptographic currencies and consensus ledgers, commonly referred to as blockchains, is receiving increasing interest from various different communities. These communities are very diverse and amongst others include: technical enthusiasts, activist groups, researchers from various disciplines, start ups, large enterprises, public authorities, banks, financial regulators, business men, investors, and also criminals. The scientific community adapted relatively slowly to this emerging and fast-moving field of cryptographic currencies and consensus ledgers. This was one reason that, for quite a while, the only resources available have been the Bitcoin source code, blog and forum posts, mailing lists, and other online publications. Also the original Bitcoin paper which initiated the hype was published online without any prior peer review. Following the original publication spirit of the Bitcoin paper, a lot of innovation in this field has repeatedly come from the community itself in the form of online publications and online conversations instead of established peer-reviewed scientific publishing. On the one side, this spirit of fast free software development, combined with the business aspects of cryptographic currencies, as well as the interests of today's time-to-market focused industry, produced a flood of publications, whitepapers, and prototypes. On the other side, this has led to deficits in systematization and a gap between practice and the theoretical understanding of this new field. This book aims to further close this gap and presents a well-structured overview of this broad field from a technical viewpoint. The archetype for modern cryptographic currencies and consensus ledgers is Bitcoin and its underlying Nakamoto consensus. Therefore we describe the inner workings of this protocol in great detail and discuss its relations to other derived systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This workbook integrates theory with the concept of engineering design and teaches troubleshooting and analytical problem-solving skills. It is intended to either accompany or follow a first circuits course, and it assumes no previous experience with breadboarding or other lab equipment. This workbook uses only those components that are traditionally covered in a first circuits course (e.g., voltage sources, resistors, potentiometers, capacitors, and op amps) and gives students clear design goals, requirements, and constraints. Because we are using only components students have already learned how to analyze, they are able to tackle the design exercises, first working through the theory and math, then drawing and simulating their designs, and finally building and testing their designs on a breadboard.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Buch. Condición: Neu. Neuware -This book draws on medical sociology and science and technology studies to develop a novel conceptual framework for understanding innovation processes, using the case study of deep brain stimulation in paediatric neurology. It addresses key questions, including: How are promising and potentially disruptive new health technologies integrated into busy resource-constrained clinical contexts What activities are involved in establishing a new clinical service How do social and cultural forces shape these services, and importantly, how are understandings of ¿health¿ and ¿illness¿ reconfigured in the process The book explores how the ideals of patient-centred medicine influence innovation in the clinic, and it introduces the concept of patient-centred proto-platforms. It argues that patient-centred innovation can constitute an expansion of medical power, as the clinical gaze is directed not only towards the body but also towards the patient as a social being. This willbe an innovative and insightful read for academics and advanced students, as well as health service researchers with an interest in technology adoption processes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book is a formalization of collected notes from an introductory game theory course taught at Queen's University. The course introduced traditional game theory and its formal analysis, but also moved to more modern approaches to game theory, providing a broad introduction to the current state of the discipline. Classical games, like the Prisoner's Dilemma and the Lady and the Tiger, are joined by a procedure for transforming mathematical games into card games. Included is an introduction and brief investigation into mathematical games, including combinatorial games such as Nim. The text examines techniques for creating tournaments, of the sort used in sports, and demonstrates how to obtain tournaments that are as fair as possible with regards to playing on courts. The tournaments are tested as in-class learning events, providing a novel curriculum item. Example tournaments are provided at the end of the book for instructors interested in running a tournament in their own classroom.The book is appropriate as a text or companion text for a one-semester course introducing the theory of games or for students who wish to get a sense of the scope and techniques of the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book looks at the persistence of life and how difficult it would be to annihilate life, especially a species as successful as humanity. The idea that life in general is fragile is challenged by the hardiness of microbes, which shows that astrobiology on exoplanets and other satellites must be robust and plentiful. Microbes have adapted to virtually every niche on the planet, from the deep, hot biosphere, to the frigid heights of the upper troposphere.Life, it seems, is almost indestructible. The chapters in this work examine the various scenarios that might lead to the extermination of life, and why they will almost always fail. Life's highly adaptive nature ensures that it will cling on no matter how difficult the circumstances.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Consisting of two parts, the first part of this volume is an essentially self-contained exposition of the geometric aspects of local and global regularity theory for the Monge¿Ampère and linearized Monge¿Ampère equations. As an application, we solve the second boundary value problem of the prescribed affine mean curvature equation, which can be viewed as a coupling of the latter two equations. Of interest in its own right, the linearized Monge¿Ampère equation also has deep connections and applications in analysis, fluid mechanics and geometry, including the semi-geostrophic equations in atmospheric flows, the affine maximal surface equation in affine geometry and the problem of finding Kahler metrics of constant scalar curvature in complex geometry.Among other topics, the second part provides a thorough exposition of the large time behavior and discounted approximation of Hamilton¿Jacobi equations, which have received much attention in the last two decades, and a newapproach to the subject, the nonlinear adjoint method, is introduced. The appendix offers a short introduction to the theory of viscosity solutions of first-order Hamilton¿Jacobi equations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This is the first book describing the glorious geology of Iceland¿s Golden Circle and four additional excursions:(1) the beautiful valleys and mountains of the fjord of Hvalfjördur, (2) the unique landscape and geothermal fields of the Hengill Volcano, (3) the explosion craters, volcanic fissures, and lava fields of the Reykjanes Peninsula, and (4) the volcanoes (Hekla, Eyjafjallajökull, Katla), waterfalls, sandur plains, and rock columns of South Iceland. The Golden Circle offers a unique opportunity to observe and understand many of our planet¿s forces in action. These forces move the Earth¿s tectonic plates, rupture the crust, and generate earthquakes, volcanic eruptions, channels for rivers and waterfalls, and heat sources for hot springs and geysers. The Golden Circle includes the famous rifting and earthquake fracture sites at Thingvellir, the hot springs of the Geysir area, the waterfall of Gullfoss, and the Kerid volcanic crater. As the book is primarily intended forpeople with no background in geosciences, no geological knowledge is assumed and technical terms are avoided as far as possible (those used are explained in a glossary). With more than 240 illustrations ¿ mostly photographs ¿ explaining geological structures and processes, it is also a useful resource for geoscientists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed post-conference proceedings of the 7th International Conference on Big data Technologies and Applications, BDTA 2016, held in Seoul, South Korea, in November 2016. BDTA 2016 was collocated with the First International Workshop on Internet of Things, Social Network, and Security in Big Data, ISSB 2016 and the First International Workshop on Digital Humanity with Big Data, DiHuBiDa 2016.The 17 revised full papers were carefully reviewed and selected from 25 submissions and handle theoretical foundations and practical applications which premise the new generation of data analytics and engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Buch. Condición: Neu. Neuware -Written by leading international experts, this book discusses the latest advances in the field of dementia in nursing homes. The topics and findings covered are based on their survey and on a scientific literature review. Dementia is spreading worldwide, placing a growing burden on healthcare systems and caregivers, as well as those affected. With increasing and complex care needs, nursing home admission is often necessary. Globally, over half of nursing home residents suffer from dementia.The book provides essential information on the most important issues in dementia in nursing homes today, including meaningful activities, patient-/person-centered care, psychosocial interventions, challenging behavior, inclusion and support of family members, pain, staff training and education, communication, polypharmacy, quality of life, end-of-life care and advanced care planning, depression, delirium, multidisciplinary approaches, physical restraints and care dependency.Each topic is covered by an international expert in dementia. As such, the book will appeal to professional nurses, nursing scientists, nursing students, other healthcare professionals, and to a broad readership, and will provide a valuable resource for those working in nursing homes, as well as researchers in the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Buch. Condición: Neu. Neuware -This timely text/reference presents a comprehensive review of the workflow scheduling algorithms and approaches that are rapidly becoming essential for a range of software applications, due to their ability to efficiently leverage diverse and distributed cloud resources. Particular emphasis is placed on how workflow-based automation in software-defined cloud centers and hybrid IT systems can significantly enhance resource utilization and optimize energy efficiency.Topics and features: describes dynamic workflow and task scheduling techniques that work across multiple (on-premise and off-premise) clouds; presents simulation-based case studies, and details of real-time test bed-based implementations; offers analyses and comparisons of a broad selection of static and dynamic workflow algorithms; examines the considerations for the main parameters in projects limited by budget and time constraints; covers workflow management systems, workflow modeling and simulation techniques,and machine learning approaches for predictive workflow analytics.This must-read work provides invaluable practical insights from three subject matter experts in the cloud paradigm, which will empower IT practitioners and industry professionals in their daily assignments. Researchers and students interested in next-generation software-defined cloud environments will also greatly benefit from the material in the book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Condición: Neu. Neuware -Adopting a longitudinal approach, this book examines the dynamics of union and family formation in France and its effects on various aspects of life, such as employment, intergenerational transfers, etc. Drawing on data from a survey in which the same respondents were interviewed three times at three-year intervals, the book explores how demographic behaviours are influenced across the life course at individual level and assesses some of their consequences.The contributors give a clear understanding of how family behaviours are constructed and redefined. They track changes in respondents¿ lives in order to pinpoint the factors that prevent couples from realizing their fertility intentions, for example, or to identify certain determinants of union formation or dissolution. They also provide a more detailed picture of the changes that shape family behaviours, such as the impact of a birth on the working career or on intergenerational support, and much more.Usinglongitudinal data from the French version of the Generations and Gender Survey (GGS), this book addresses family and childbearing behaviours dynamically, as processes that interact with each other and with the other components of each individual's life course.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This Briefs advances a theoretical approach that recognizes social movements as contingent enterprises. It explores the endurance of social movements over time, by developing analytical tools to study how social movement heterogeneities are simultaneously acknowledged and articulated together, through collective narration and practices. With a unique empirical analysis of one particular narrative ¿ the story of Brazil¿s Landless Movement ¿ this Briefs portrays a narrative revisited and revised by movement participants, a story revived through enactment. This Briefs addresses the increasing academic audience seeking to study, and theorize, the multi-colored phenomena of resistance and social movements.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book targets engineers and researchers familiar with basic computer architecture concepts who are interested in learning about on-chip networks. This work is designed to be a short synthesis of the most critical concepts in on-chip network design. It is a resource for both understanding on-chip network basics and for providing an overview of state of-the-art research in on-chip networks. We believe that an overview that teaches both fundamental concepts and highlights state-of-the-art designs will be of great value to both graduate students and industry engineers. While not an exhaustive text, we hope to illuminate fundamental concepts for the reader as well as identify trends and gaps in on-chip network research. With the rapid advances in this field, we felt it was timely to update and review the state of the art in this second edition. We introduce two new chapters at the end of the book. We have updated the latest research of the past years throughout the book and also expanded our coverage of fundamental concepts to include several research ideas that have now made their way into products and, in our opinion, should be textbook concepts that all on-chip network practitioners should know. For example, these fundamental concepts include message passing, multicast routing, and bubble flow control schemes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The Boolean Differential Calculus (BDC) is a very powerful theory that extends the basic concepts of Boolean Algebras significantly.Its applications are based on Boolean spaces ¿¿¿¿ and ¿¿¿¿¿, Boolean operations, and basic structures such as Boolean Algebras and Boolean Rings, Boolean functions, Boolean equations, Boolean inequalities, incompletely specified Boolean functions, and Boolean lattices of Boolean functions. These basics, sometimes also called switching theory, are widely used in many modern information processing applications.The BDC extends the known concepts and allows the consideration of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. The BDC defines a small number of derivative and differential operations. Many existing theorems are very welcome and allow new insights due to possible transformations of problems. The available operations of the BDC have been efficiently implemented in several software packages.The common use of the basic concepts and the BDC opens a very wide field of applications. The roots of the BDC go back to the practical problem of testing digital circuits. The BDC deals with changes of signals which are very important in applications of the analysis and the synthesis of digital circuits. The comprehensive evaluation and utilization of properties of Boolean functions allow, for instance, to decompose Boolean functions very efficiently; this can be applied not only in circuit design, but also in data mining. Other examples for the use of the BDC are the detection of hazards or cryptography. The knowledge of the BDC gives the scientists and engineers an extended insight into Boolean problems leading to new applications, e.g., the use of Boolean lattices of Boolean functions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Presents a strategic perspective and design methodology that guide the process of developing digital products and services that provide ¿real experience¿ to users. Only when the material experienced runs its course to fulfilment is it then regarded as ¿real experience¿ that is distinctively senseful, evaluated as valuable, and harmoniously related to others.Based on the theoretical background of human experience, the book focuses on these three questions:How can we understand the current dominant designs of digital products and services What are the user experience factors that are critical to provide the real experience What are the important HCI design elements that can effectively support the various UX factors that are critical to real experience Design for Experience is intended for people who are interested in the experiences behind the way we use our products and services, for example designers and students interested in interaction, visual graphics and information design or practitioners and entrepreneurs in pursuit of new products or service-based start-ups.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This work offers a guided walkthrough of one of the most promising research areas in modern life sciences, enabling a deeper understanding of involved concepts and methodologies via an interdisciplinary view, focusing on both well-established approaches and cutting-edge research. Highlighting what pathway analysis can offer to both the experimentalist and the modeler, the text opens with an introduction to a general methodology that outlines common workflows shared by several methods. This is followed by a review of pathway and sub-pathway based approaches for systems pharmacology. The work then presents an overview of pathway analysis methods developed to model the temporal aspects of drug- or disease-induced perturbations and extract relevant dynamic themes. The text concludes by discussing several state-of-the-art methods in pathway analysis, which address the important problem of identifying differentially expressed pathways and sub-pathways.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 96 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2017, held in Bonn, Germany, in July 2017.The 18 revised full papers included in this book were carefully reviewed and selected from 67 submissions. They present topics such as enclaves and isolation; malware analysis; cyber-physical systems; detection and protection; code analysis; and web security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Buch. Condición: Neu. Neuware -This book embarks on a mission to dissect, unravel and demystify the concepts of Web services, including their implementation and composition techniques. It provides a comprehensive perspective on the fundamentals of implementation standards and strategies for Web services (in the first half of the book), while also presenting composition techniques for leveraging existing services to create larger ones (in the second half). Pursuing a unique approach, it begins with a sound overview of concepts, followed by a targeted technical discussion that is in turn linked to practical exercises for hands-on learning. For each chapter, practical exercises are available on Github.Mainly intended as a comprehensive textbook on the implementation and composition of Web services, it also offers a useful reference guide for academics and practitioners. Lecturers will find this book useful for a variety of courses, from undergraduate courses on the foundational technology of Web services through graduate courses on complex Web service composition. Students and researchers entering the field will benefit from the combination of a broad technical overview with practical self-guided exercises. Lastly, professionals will gain a well-informed grasp of how to synthesize the concepts of conventional and ¿newer¿ breeds of Web services, which they can use to revise foundational concepts or for practical implementation tasks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Condición: Neu. Neuware -This book describes the computational challenges posed by the progression toward nanoscale electronic devices and increasingly short design cycles in the microelectronics industry, and proposes methods of model reduction which facilitate circuit and device simulation for specific tasks in the design cycle.The goal is to develop and compare methods for system reduction in the design of high dimensional nanoelectronic ICs, and to test these methods in the practice of semiconductor development. Six chapters describe the challenges for numerical simulation of nanoelectronic circuits and suggest model reduction methods for constituting equations. These include linear and nonlinear differential equations tailored to circuit equations and drift diffusion equations for semiconductor devices. The performance of these methods is illustrated with numerical experiments using real-world data. Readers will benefit from an up-to-date overview of the latest model reduction methods in computational nanoelectronics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, held in Lugano, Switzerland, in July 2017. The 44 revised full papers presented together with 5 abstracts of invited talks were carefully reviewed and selected from 63 submissions and cover topics on analogical reasoning; argumentation; Bayesian networks; belief functions; conditionals; credal sets, credal networks; decision theory, decision making and reasoning under uncertainty; fuzzy sets, fuzzy logic; logics; orthopairs; possibilistic networks; and probabilistic logics, probabilistic reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book is a pocket guide to the science and practice of PET/CT imaging of colorectal malignancies. The role of PET/CT in these patients, the characteristic PET/CT findings, and the advantages and limitations of this hybrid modality are all clearly described. In addition, information is provided on clinical presentation, diagnosis, staging, pathology, management, and radiological imaging. The book is published within the Springer series Clinicians' Guides to Radionuclide Hybrid Imaging, which is aimed at nuclear medicine/radiology residents and physicians, referring clinicians, radiographers/technologists, and nurses who routinely work in nuclear medicine and participate in multidisciplinary meetings. Compiled under the auspices of the British Nuclear Medicine Society, the series is the joint work of many colleagues and professionals worldwide who share a common vision and purpose in promoting and supporting nuclear medicine as an important imaging specialty for the diagnosis and management of oncological and non-oncological conditions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 96 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely ¿RuleML¿ (International Web Rule Symposium) and ¿RR¿ (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2 keynote abstracts were carefully reviewed and selected from 29 submissions.The RR conference series has been a forum for discussion and dissemination of new results on all topics concerning Web Reasoning and Rule Systems, with an emphasis on rule-based approaches and languages. The RuleML conference series has been devoted to disseminating research, applications, languages and standards for rule technologies, with attention to both theoretical and practical developments, to challenging new ideas and industrial applications. Both series of conferences aimed at building bridges between academia and industry in the field of rules and their applications. Therefore, RuleML+RR is expected to become a leading conference for all subjects concerning theoretical advances, novel technologies, and innovative applications about knowledge representation and reasoning with rules.This new joint conference provides a valuable forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. It provides the possibility to present and discuss applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book offers a detailed and stimulating account of the Lagrangian, or variational, approach to general relativity and beyond. The approach more usually adopted when describing general relativity is to introduce the required concepts of differential geometry and derive the field and geodesic equations from purely geometrical properties. Demonstration of the physical meaning then requires the weak field approximation of these equations to recover their Newtonian counterparts. The potential downside of this approach is that it tends to suit the mathematical mind and requires the physicist to study and work in a completely unfamiliar environment. In contrast, the approach to general relativity described in this book will be especially suited to physics students. After an introduction to field theories and the variational approach, individual sections focus on the variational approach in relation to special relativity, general relativity, and alternative theories of gravity. Throughoutthe text, solved exercises and examples are presented. The book will meet the needs of both students specializing in theoretical physics and those seeking a better understanding of particular aspects of the subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference of the Immersive Learning Network, iLRN 2017, held in Coimbra, Portugal in June 2017.The proceedings contain 17 full papers together with 4 short papers, carefully reviewed and selected from 80 submissions. This year¿s special focus is ¿Honoring Tradition, Immersed in the Future'.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes revised selected papers from the 18th International Conference on Enterprise Information Systems, ICEIS 2016, held in Rome, Italy, in April 2016.The 23 papers presented in this volume were carefully reviewed and selected from a total of 257 submissions to ICEIS 2016. The volume also contains one invited talk in full paper length. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on enterprise information systems, including issues with regard to enterprise engineering, heterogeneous systems, security, software engineering, systems integration, business process management, human factors and affective computing, ubiquitous computing, social computing, knowledge management, and artificial intelligence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The two-volume set of LNCS 10385 and 10386, constitutes the proceedings of the 8th International Confrence on Advances in Swarm Intelligence, ICSI 2017, held in Fukuoka, Japan, in July/August 2017.The total of 133 papers presented in these volumes was carefully reviewed and selected from 267 submissions. The paper were organized in topical sections as follows:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 660 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.