springer berlin birkhäuser (431 results)

Deutsche Erstausgabe. Gr.8°. 1 Blatt, 454 Seiten, 1 Blatt, mit zahlreichen z.T. blattgrossen Abbildungen im Text auf Kunstdruckpapier (davon ein Frontispiz: Ein mit dem "Very Large Array" in Soccoro (New Mexico) aufgenommenes Radiobild der elliptischen Riesengalaxie Messier 87). Illustrierter Original-Pappband (Umschlagmotiv: Eine von der Seite gesehene Spiralgalaxie, der Sombreronebel (M 104/ NGC 4594). Gutes, sauberes Exemplar. Beiliegend: 4 Zeitungsausschnitte zu diesem Buch, Ephemera.

Broschiert. Condition: Gut. 28x21cm; XVI, 470 S. Broschiert. 617 Ill. u. graph. Darst. Zustand: Gut bis Sehr Gut min. gebräunt (Innen); Einband (Außen) hat geringe Gebrauchsspuren; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.

Hardcover. Hardcover 4°, xxiii, 499 pages, with figures, some small marks of use, really good condition. in englischer Sprache (in english).

Condition: New. This volume, originally published in China and translated into four other languages, presents a fascinating and unique account of the history of mathematics, divided into eight chronologically organized chapters. Tracing the development of mathematics acros.

Condition: New. This book sketches a path for newcomers into the theory of harmonic analysis on the real line. It presents a collection of both basic, well-known and some less known results that may serve as a background for future research around this topic.This book .

Kartoniert / Broschiert. Condition: New.

Condition: New.

Condition: New.

Condition: New.

Taschenbuch. Condition: Sehr gut. Gebraucht - Sehr gut SG - leichte Beschädigungen, Verschmutzungen, ungelesenes Mängelexemplar, gestempelt, Versand Büchersendung - La construction en maçonnerie constitue généralement le premier des exercices de construction pendant les études. Les principes de base de mesure, de construction et d assemblage des composants sont développés sur des constructions en maçonnerie simple.

Condition: New.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book the classical Greek construction problems are explored in a didactical, enquiry based fashion using Interactive Geometry Software (IGS). The book traces the history of these problems, stating them in modern terminology. By focusing on constructions and the use of IGS the reader is confronted with the same problems that ancient mathematicians once faced. The reader can step into the footsteps of Euclid, Viète and Cusanus amongst others and then by experimenting and discovering geometric relationships far exceed their accomplishments. Exploring these problems with the neusis-method lets him discover a class of interesting curves.By experimenting he will gain a deeper understanding of how mathematics is created. More than 100 exercises guide him through methods which were developed to try and solve the problems. The exercises are at the level of undergraduate students and only require knowledge of elementary Euclidean geometry and pre-calculus algebra. It is especially well-suited for those students who are thinking of becoming a mathematics teacher and for mathematics teachers.

Condition: New. This second edition textbook offers a practical introduction to probability for undergraduates at all levels with different backgrounds and views towards applications. Calculus is a prerequisite for understanding the basic concepts, however the book is w.

Condition: New. This research monograph develops the theory of relative nonhomogeneous Koszul duality. The thematic example, meaning the classical duality between the ring of differential operators and the de Rham DG algebra of differential forms, involves some of the most.

Condition: New.

Taschenbuch. Condition: Neu. Neuware - This text is based on a lecture course given by the authors in the framework of Oberwolfach Seminars at the Mathematisches Forschungsinstitut Oberwolfach in May, 2013. It is intended to serve as a thorough introduction to the rapidly developing field of positional games. This area constitutes an important branch of combinatorics, whose aim it is to systematically develop an extensive mathematical basis for a variety of two player perfect information games. These ranges from such popular games as Tic-Tac-Toe and Hex to purely abstract games played on graphs and hypergraphs. The subject of positional games is strongly related to several other branches of combinatorics such as Ramsey theory, extremal graph and set theory, and the probabilistic method. These notes cover a variety of topics in positional games, including both classical results and recent important developments. They are presented in an accessible way and are accompanied by exercises of varying difficulty, helping the readerto better understand the theory.The text will benefit both researchers and graduate students in combinatorics and adjacent fields.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers an account of a number of aspects of operator theory, mainlydeveloped since the 1980s, whose problems have their roots in quantum theory. The research presentedis in non-commutative operator approximation theory or, to use Halmos'terminology, in operator approximants.Focusing on the concept of approximants, this self-contained book is suitable for graduate courses.

Condition: New. Mathematics research opportunities for undergraduate students have grown significantly in recent years, but accessible research topics for first- and second-year students with minimal experience beyond high school mathematics are still hard to find. To addr.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This two-part volume gathers extended conference abstracts corresponding to selected talks from the 'Biostatnet workshop on Biomedical (Big) Data' and from the 'DoReMi LD-RadStats: Workshop for statisticians interested in contributing to EU low dose radiation research', which were held at the Centre de Recerca Matemàtica (CRM) in Barcelona from November 26th to 27th, 2015, and at the Institut de Salut Global ISGlobal (former CREAL) from October 26th to 28th, 2015, respectively. Most of the contributions are brief articles, presenting preliminary new results not yet published in regular research journals.The first part is devoted to the challenges of analyzing so called 'Biomedical Big Data', tremendous amounts of biomedical and health data that are generated every day due to the use of recent technological advances such as massive genomic sequencing, electronic health records or high-resolution medical imaging, among others. The analysis of this information poses significantchallenges for researchers in the fields of biostatistics, bioinformatics, and signal processing. Furthermore, other relevant challenges in biostatistical research, not necessarily involving big data, are also discussed. In turn, the second part is dedicated to low dose radiation research, where there is a need to fully understand and characterize potential sources of uncertainty before they can be reduced. Further, the book demonstrates why formal uncertainty analysis has the potential to provide a common platform for multidisciplinary research in this field. This book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research.

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers an account of a number of aspects of operator theory, mainlydeveloped since the 1980s, whose problems have their roots in quantum theory. The research presentedis in non-commutative operator approximation theory or, to use Halmos'terminology, in operator approximants.Focusing on the concept of approximants, this self-contained book is suitable for graduate courses.

Kartoniert / Broschiert. Condition: New.

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge representation and artificial intelligence. Alternating-time temporal logics are considered as one of the most popular and influential logical formalisms for strategic reasoning in multi-agent systems and have been introduced by Rajeev Alur, Thomas Henzinger and Orna Kupferman about 25 years ago.This textbook provides a concise presentation of alternating-time temporal logics dedicated to strategic reasoning in multi-agent systems. Dedicated mainly to the model-checking problem, the work examines developments about basic semantical properties of such logics, decision procedures and computational complexity. It provides results for solving optimally the model-checking problem on concurrent game structures by taking advantage of or adapting proof methods from temporal logics, games in theoretical computer science and automata theory.Topics and features:Provides a unique teaching resource (typically for M1, M2 or PhD students), suitable for many courses such as Logic in Computer Science, Multi-Agent Systems, Formal Methods and Basics to VerificationFills a gap in the literature by presenting the standard results voluntarily exposed in a pedestrian style, as well as a few more recent results developed in full depth to prepare readers for examining more elaborate logical formalismsIncludes detailed chapter examples, exercises (with solutions at the end), and a wealth of bibliographical references, thereby supporting self-studyOffers a first unified presentation of alternating-time temporal logics in relation to games, automata and complexityThe textbook/guide s target audience includes master students, PhD students and researchers that wish to have a thorough presentation of such logics and their relationships with automata theory, temporal logics, model-checking, energy games and complexity theory.Stéphane Demri is a CNRS directeur de recherche at the Laboratoire Méthodes Formelles (LMF) and adjunct professor at the Computer Science Department, ENS Paris-Saclay, Gif-sur-Yvette, France.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is intended as a text for a first course in stochastic processes at the upper undergraduate or graduate levels, assuming only that the reader has had a serious calculus course-advanced calculus would even be better-as well as a first course in probability (without measure theory). In guiding the student from the simplest classical models to some of the spatial models, currently the object of considerable research, the text is aimed at a broad audience of students in biology, engineering, mathematics, and physics. The first two chapters deal with discrete Markov chains-recurrence and tran sience, random walks, birth and death chains, ruin problem and branching pro cesses-and their stationary distributions. These classical topics are treated with a modem twist: in particular, the coupling technique is introduced in the first chap ter and is used throughout. The third chapter deals with continuous time Markov chains-Poisson process, queues, birth and death chains, stationary distributions. The second half of the book treats spatial processes. This is the main difference between this work and the many others on stochastic processes. Spatial stochas tic processes are (rightly) known as being difficult to analyze. The few existing books on the subject are technically challenging and intended for a mathemat ically sophisticated reader. We picked several interesting models-percolation, cellular automata, branching random walks, contact process on a tree-and con centrated on those properties that can be analyzed using elementary methods.

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume compiles eight recent surveys that present state-of-the-art results in the field of active matter at different scales, modeled by agent-based, kinetic, and hydrodynamic descriptions. Following the previously published volume, these chapters were written by leading experts in the field and accurately reflect the diversity of subject matter in theory and applications. Several mathematical tools are employed throughout the volume, including analysis of nonlinear PDEs, network theory, mean field approximations, control theory, and flocking analysis. The book also covers a wide range of applications, including:Biological network formationSocial systemsControl theory of sparse systemsDynamics of swarming and flocking systemsStochastic particles and mean field approximationsMathematicians and other members of the scientific community interested in active matter and its many applications will find this volume to be a timely, authoritative, and valuable resource.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the first volume of a collection of essays focusing on progress in tsunami science since the great tsunami of 26 December. A magnitude Mw 9.1 earthquake (third strongest ever instrumentally recorded) generated a global tsunami that killed about 230,000 people along the coasts of 14 countries in the Indian Ocean and propagated as far as the North Pacific and North Atlantic.Since then, various countries from around the globe contributed major funding to tsunami research and mitigation, enabling the installation of hundreds of new high-precision instruments, the development of new technology and the establishment of more modern communication systems. As a result, incredible progress has been achieved in tsunami research and operation during the ten years after the 2004 Indian Ocean tsunami.The papers presented in this first of two special volumes of Pure and Applied Geophysics reflect the state of tsunami science during this time. Eight papers are related to casestudies highlighting regional hazards around the globe, while five papers record progress in tsunami warning systems. Benchmark studies that describe the accuracy of numerical models for tsunami impact, as well as a variety of inundation and generation studies, are presented by 7 additional papers.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book gives a thorough and entirely self-contained, in-depth introduction to a specificapproach to group theory, in a large sense of that word. Thefocus lieon the relationships which a group may have with other groups,via 'universal properties', a view on that group 'from the outside'.This method of categorical algebra, is actually not limited to the study of groupsalone, but applies equally well to other similar categories of algebraic objects.By introducingprotomodular categories and Mal'tsev categories, which form a larger class, thestructural properties of the category Gp of groups, showhow they emerge from four very basic observations about the algebraic litteral calculus andhow, studied for themselves at the conceptual categorical level, they lead to the main striking features of the category Gp of groups.Hardly any previous knowledge of category theory is assumed, and just a littleexperience with standard algebraic structures such as groups and monoids. Examples and exercises help understanding the basicdefinitions and results throughout the text.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book discusses the complex theory of differential equations or more precisely, the theory of differential equations on complex-analytic manifolds. Although the theory of differential equations on real manifolds is well known - it is described in thousands of papers and its usefulness requires no comments or explanations - to date specialists on differential equations have not focused on the complex theory of partial differential equations. However, as well as being remarkably beautiful, this theory can be used to solve a number of problems in real theory, for instance, the Poincaré balayage problem and the mother body problem in geophysics. The monograph does not require readers to be familiar with advanced notions in complex analysis, differential equations, or topology. With its numerous examples and exercises, it appeals to advanced undergraduate and graduate students, and also to researchers wanting to familiarize themselves with the subject.

Condition: New.

Condition: New.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises.After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory.The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field.Decidability of Logical Theories and their Combinationis ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination.