birkhäuser birkhäuser okt 2012 (Plus de 1 000 résultats)

Taschenbuch. Etat : Neu. Neuware -This book is for a general scientific and engineering audience as a guide to current ideas, methods, and models for stochastic modeling of microstructures. It is a reference for professionals in material modeling, mechanical engineering, materials science, chemical, civil, environmental engineering and applied mathematics. 284 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -A number of important topics in complex analysis and geometry arecovered in this excellent introductory text. Written by experts inthe subject, each chapter unfolds from the basics to the more complex.The exposition is rapid-paced and efficient, without compromisingproofs and examples that enable the reader to grasp the essentials.The most basic type of domain examined is the bounded symmetricdomain, originally described and classified by Cartan and HarishChandra. Two of the five parts of the text deal with these domains:one introduces the subject through the theory of semisimple Liealgebras (Koranyi), and the other through Jordan algebras and triplesystems (Roos). Larger classes of domains and spaces are furnished bythe pseudo-Hermitian symmetric spaces and related R-spaces. Theseclasses are covered via a study of their geometry and a presentationand classification of their Lie algebraic theory (Kaneyuki).In the fourth part of the book, the heat kernels of the symmetricspaces belonging to the classical Lie groups are determined (Lu).Explicit computations are made for each case, giving precise resultsand complementing the more abstract and general methods presented.Also explored are recent developments in the field, in particular, thestudy of complex semigroups which generalize complex tube domains andfunction spaces on them (Faraut).This volume will be useful as a graduate text for students of Liegroup theory with connections to complex analysis, or as a self-studyresource for newcomers to the field. Readers will reach the frontiersof the subject in a considerably shorter time than with existingtexts.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 560 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -It is a great pleasure to write the foreword to this important volume for several reasons. First: As far as we know, already primitive societies had to cope with environmental toxins of many kinds and set up regulations to limit their effects on food and drug use. Modem science, synthesizing tens of millions of new compounds has incredibly magnified this challenge. Today, xenobiotic metabolism has become a crucial task for humans and many other species alike. Second: When reading this book, one is impressed by the extraordinary speed at which neurotoxicology has advanced. Obviously, processing (and endogenous formation) oftox ins has become an extremely relevant topic. When I had the chance, almost three decades ago, to work in chemical pharmacology with Bernard B. Brodie at NIH, the drug metabo lizing system of the liver had just been recognized and characterized. We had just started to work on the biogenic amines, newly discovered cyclic nucleotides in rat brain, human cere brospinal fluid, and on the effects of toxic drugs like amphetamines. Today, biochemical neuropharmacology is a mature field of neuroscience.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 296 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -From the very beginning in the late 1950s of the basic ideas of optimal control, attitudes toward the topic in the scientific and engineering community have ranged from an excessive enthusiasm for its reputed capability ofsolving almost any kind of problem to an (equally) unjustified rejection of it as a set of abstract mathematical concepts with no real utility. The truth, apparently, lies somewhere between these two extremes. Intense research activity in the field of optimization, in particular with reference to robust control issues, has caused it to be regarded as a source of numerous useful, powerful, and flexible tools for the control system designer. The new stream of research is deeply rooted in the well-established framework of linear quadratic gaussian control theory, knowledge ofwhich is an essential requirement for a fruitful understanding of optimization. In addition, there appears to be a widely shared opinion that some results of variational techniques are particularly suited for an approach to nonlinear solutions for complex control problems. For these reasons, even though the first significant achievements in the field were published some forty years ago, a new presentation ofthe basic elements ofclassical optimal control theory from a tutorial point of view seems meaningful and contemporary. This text draws heavily on the content ofthe Italian language textbook 'Con trollo ottimo' published by Pitagora and used in a number of courses at the Politec nico of Milan.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 308 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Discrete stochastics is the theory of discrete probability spaces. This undergraduate textbook gives a concise introduction into discrete stochastics in general, and into a variety of typical special topics in this field, such as information theory, fluctuation theory, and semigroups of stochastic matrices. The emphasis lies on probability theory rather than on statistical methodology. Motivations, interpretations, and numerous examples and exercises relate the mathematical theory to stochastic experience.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 296 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Multivariable analysis is an important subject for mathematicians, both pure and applied. Apart from mathematicians, we expect that physicists, mechanical engi neers, electrical engineers, systems engineers, mathematical biologists, mathemati cal economists, and statisticians engaged in multivariate analysis will find this book extremely useful. The material presented in this work is fundamental for studies in differential geometry and for analysis in N dimensions and on manifolds. It is also of interest to anyone working in the areas of general relativity, dynamical systems, fluid mechanics, electromagnetic phenomena, plasma dynamics, control theory, and optimization, to name only several. An earlier work entitled An Introduction to Analysis: from Number to Integral by Jan and Piotr Mikusinski was devoted to analyzing functions of a single variable. As indicated by the title, this present book concentrates on multivariable analysis and is completely self-contained. Our motivation and approach to this useful subject are discussed below. A careful study of analysis is difficult enough for the average student; that of multi variable analysis is an even greater challenge. Somehow the intuitions that served so well in dimension I grow weak, even useless, as one moves into the alien territory of dimension N. Worse yet, the very useful machinery of differential forms on manifolds presents particular difficulties; as one reviewer noted, it seems as though the more precisely one presents this machinery, the harder it is to understand.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 308 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Onishchik, A. A. Kirillov, and E. B. Vinberg, who obtained their first results on Lie groups in Dynkin's seminar. At a later stage, the work of the seminar was greatly enriched by the active participation of 1. 1. Pyatetskii Shapiro. As already noted, Dynkin started to work in probability as far back as his undergraduate studies. In fact, his first published paper deals with a problem arising in Markov chain theory. The most significant among his earliest probabilistic results concern sufficient statistics. In [15] and [17], Dynkin described all families of one-dimensional probability distributions admitting non-trivial sufficient statistics. These papers have considerably influenced the subsequent research in this field. But Dynkin's most famous results in probability concern the theory of Markov processes. Following Kolmogorov, Feller, Doob and Ito, Dynkin opened a new chapter in the theory of Markov processes. He created the fundamental concept of a Markov process as a family of measures corresponding to var ious initial times and states and he defined time homogeneous processes in terms of the shift operators ()t. In a joint paper with his student A.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 452 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -On becoming familiar with difference equations and their close re lation to differential equations, I was in hopes that the theory of difference equations could be brought completely abreast with that for ordinary differential equations. [HUGH L. TURRITTIN, My Mathematical Expectations, Springer Lecture Notes 312 (page 10), 1973] A major task of mathematics today is to harmonize the continuous and the discrete, to include them in one comprehensive mathematics, and to eliminate obscurity from both. [E. T. BELL, Men of Mathematics, Simon and Schuster, New York (page 13/14), 1937] The theory of time scales, which has recently received a lot of attention, was introduced by Stefan Hilger in his PhD thesis [159] in 1988 (supervised by Bernd Aulbach) in order to unify continuous and discrete analysis. This book is an intro duction to the study of dynamic equations on time scales. Many results concerning differential equations carryover quite easily to corresponding results for difference equations, while other results seem to be completely different in nature from their continuous counterparts. The study of dynamic equations on time scales reveals such discrepancies, and helps avoid proving results twice, once for differential equa tions and once for difference equations. The general idea is to prove a result for a dynamic equation where the domain of the unknown function is a so-called time scale, which is an arbitrary nonempty closed subset of the reals.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 372 pp. Englisch.

Buch. Etat : Neu. Neuware -Thisvolume comprises a carefully selectedcollection ofarticlesemerging from and pertinent to the 2010 CFL-80 conference in Rio de Janeiro,celebrating the80th anniversary of the Courant-Friedrichs-Lewy (CFL) condition. A major result in the field of numerical analysis, the CFL condition has influenced the research of many important mathematicians over the past eight decades, and this work is meant to take stock of its most important and current applications.The Courant¿Friedrichs¿Lewy (CFL) Condition: 80 Years After its Discovery will be of interest to practicing mathematicians, engineers, physicists, and graduate students who work with numerical methods.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 252 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special ist. Yet there is a need for many mathematical scientists-not just those engaged in mathematical research-to become conversant with the key ideas of logic. The Handbook of Mathematical Logic, edited by Jon Bar wise, is in point of fact a handbook written by logicians for other mathe maticians. It was, at the time of its writing, encyclopedic, authoritative, and up-to-the-moment. But it was, and remains, a comprehensive and authoritative book for the cognoscenti. The encyclopedic Handbook of Logic in Computer Science by Abramsky, Gabbay, and Maibaum is a wonderful resource for the professional. But it is overwhelming for the casual user. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic. Thus the present work has a different target audience. The intent of this handbook is to present the elements of modern logic, including many current topics, to the reader having only basic mathe matical literacy.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 268 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book contains the text of the plenary lectures and the mini-courses of the European Control Conference (ECC'93) held in Groningen, the Netherlands, June 2S-July 1, 1993. However, the book is not your usu al conference proceedings. Instead, the authors took this occasion to take a broad overview of the field of control and discuss its development both from a theoretical as well as from an engineering perpective. The first essay is by the key-note speaker ofthe conference, A.G.J. Mac Farlane. It consists of a non-technical discussion of information processing and knowledge acquisition as the key features of control engineering tech nology. The next six articles are accounts of the plenary addresses. The contribution by R.W. Brockett concerns a mathematical framework for modelling motion control, a central question in robotics and vision. In the paper by M. Morari the engineering and the economic relevance of chemical process control are considered, in particular statistical quality control and the control of systems with constraints. The article by A.C.P.M. Backx is written from an industrial perspec tive. The author is director of an engineering consulting firm involved in the design of industrial control equipment. Specifically, the possibility of obtaining high performance and reliable controllers by modelling, identifi cation, and optimizing industrial processes is discussed.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 452 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Traditions of the 150-year-old St. Petersburg School of Probability and Statis tics had been developed by many prominent scientists including P. L. Cheby chev, A. M. Lyapunov, A. A. Markov, S. N. Bernstein, and Yu. V. Linnik. In 1948, the Chair of Probability and Statistics was established at the Department of Mathematics and Mechanics of the St. Petersburg State University with Yu. V. Linik being its founder and also the first Chair. Nowadays, alumni of this Chair are spread around Russia, Lithuania, France, Germany, Sweden, China, the United States, and Canada. The fiftieth anniversary of this Chair was celebrated by an International Conference, which was held in St. Petersburg from June 24-28, 1998. More than 125 probabilists and statisticians from 18 countries (Azerbaijan, Canada, Finland, France, Germany, Hungary, Israel, Italy, Lithuania, The Netherlands, Norway, Poland, Russia, Taiwan, Turkey, Ukraine, Uzbekistan, and the United States) participated in this International Conference in order to discuss the current state and perspectives of Probability and Mathematical Statistics. The conference was organized jointly by St. Petersburg State University, St. Petersburg branch of Mathematical Institute, and the Euler Institute, and was partially sponsored by the Russian Foundation of Basic Researches. The main theme of the Conference was chosen in the tradition of the St.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 576 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The study of spatial patterns in extended systems, and their evolution with time, poses challenging questions for physicists and mathematicians alike. Waves on water, pulses in optical fibers, periodic structures in alloys, folds in rock formations, and cloud patterns in the sky: patterns are omnipresent in the world around us. Their variety and complexity make them a rich area of study. In the study of these phenomena an important role is played by well-chosen model equations, which are often simpler than the full equations describing the physical or biological system, but still capture its essential features. Through a thorough analysis of these model equations one hopes to glean a better under standing of the underlying mechanisms that are responsible for the formation and evolution of complex patterns. Classical model equations have typically been second-order partial differential equations. As an example we mention the widely studied Fisher-Kolmogorov or Allen-Cahn equation, originally proposed in 1937 as a model for the interaction of dispersal and fitness in biological populations. As another example we mention the Burgers equation, proposed in 1939 to study the interaction of diffusion and nonlinear convection in an attempt to understand the phenomenon of turbulence. Both of these are nonlinear second-order diffusion equations.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 364 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Interactive Operations Research with Maple: Methods and Models has two ob jectives: to provide an accelerated introduction to the computer algebra system Maple and, more importantly, to demonstrate Maple's usefulness in modeling and solving a wide range of operations research (OR) problems. This book is written in a format that makes it suitable for a one-semester course in operations research, management science, or quantitative methods. A nwnber of students in the departments of operations research, management science, oper ations management, industrial and systems engineering, applied mathematics and advanced MBA students who are specializing in quantitative methods or opera tions management will find this text useful. Experienced researchers and practi tioners of operations research who wish to acquire a quick overview of how Maple can be useful in solving OR problems will find this an excellent reference. Maple's mathematical knowledge base now includes calculus, linear algebra, ordinary and partial differential equations, nwnber theory, logic, graph theory, combinatorics, statistics and transform methods. Although Maple's main strength lies in its ability to perform symbolic manipulations, it also has a substantial knowledge of a large nwnber of nwnerical methods and can plot many different types of attractive-looking two-dimensional and three-dimensional graphs. After almost two decades of continuous improvement of its mathematical capabilities, Maple can now boast a user base of more than 300,000 academics, researchers and students in different areas of mathematics, science and engineering.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 488 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -These notes are based on lectures given at the University of Virginia over the past twenty years. They may be viewed as a course in function theory for nonspecialists. Chapters 1-6 give the function-theoretic background to Hardy Classes and Operator Theory, Oxford Mathematical Monographs, Oxford University Press, New York, 1985. These chapters were written first, and they were origi nally intended to be a part of that book. Half-plane function theory continues to be useful for applications and is a focal point in our account (Chapters 5 and 6). The theory of Hardy and Nevanlinna classes is derived from proper ties of harmonic majorants of subharmonic functions (Chapters 3 and 4). A selfcontained treatment of harmonic and subharmonic functions is included (Chapters 1 and 2). Chapters 7-9 present concepts from the theory of univalent functions and Loewner families leading to proofs of the Bieberbach, Robertson, and Milin conjectures. Their purpose is to make the work of de Branges accessible to students of operator theory. These chapters are by the second author. There is a high degree of independence in the chapters, allowing the material to be used in a variety of ways. For example, Chapters 5-6 can be studied alone by readers familiar with function theory on the unit disk. Chapters 7-9 have been used as the basis for a one-semester topics course.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 264 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -InhaltsangabeNitric Oxide in the Regulation of Blood Flow: A Historical Overview.- 1. Nitric Oxide in the Regulation of Blood Flow: A Historical Overview.- I: Selected Mechanisms Of Action.- 2. Regulation of Intracellular Ca2+ by Cyclic GMP-Dependent Protein Kinase in Vascular Smooth Muscle Cells.- 3. Oxidants and Vascular Nitric Oxide Signaling.- 4. Role of Na+-K+-ATPase in Nitric Oxide-Induced Relaxation.- 5. Purinergic Receptors, Nitric Oxide, and Regional Blood Flow.- 6. Nitric Oxide Derived from Perivascular Nerves and Endothelium.- 7. Nitric Oxide and Hypertension.- II: Vascular Bed.- A. Cerebral.- 8. Nitric Oxide in Control of the Cerebral Circulation.- B. Pulmonary.- 9. Intravenous Anesthetics in the Pulmonary Circulation.- 10. Inhaled Nitric Oxide Therapy for Acute Respiratory Failure.- 11. Clinical Applications of Inhaled Nitric Oxide.- 12. Nitric Oxide and the Perinatal Pulmonary Circulation.- C. Skeletal.- 13. Nitric Oxide and the Pulmonary Circulation in the Adult.- 14. Role of Nitric Oxide in the Skeletal Muscle Vascular Bed.- D. GI/GU.- 15. Nitric Oxide and the Hepatic Circulation.- 16. Nitric Oxide and the Gastrointestinal Circulation.- 17. Uterine Effects of Nitric Oxide.- 18. NO Effect on Penile Blood Flow and Lower Genitourinary Tract Function.- 19. Role of Nitric Oxide in the Regulation of Renal Blood Flow.- E. Renal.- 20. Role of Nitric Oxide in the Regulation of Renal Function in Conscious Animals.- 21. Modulation of Renal Micro vascular Responsiveness by Nitric Oxide.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 376 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -In nonlinear problems, essentially new phenomena occur which have no place in the corresponding linear problems. Therefore, in the study of nonlinear problems the major purpose is not so much to introduce methods that improve the accuracy of linear methods, but to focus attention on those features of the nonlinearities that result in distinctively new phenomena. Among the latter are - \* existence of solutions ofperiodic problems for all frequencies rather than only a setofcharacteristic values, \* dependenceofamplitude on frequency, \* removal ofresonance infinities, \* appearance ofjump phenomena, \* onsetofchaotic motions. On the other hand, mathematical problems associated with nonlinearities are so complex that a comprehensive theory of nonlinear phenomena is out of the question.' Consequently, one practical approach is to settle for something less than complete generality. Thus, one gives up the study of global behavior of solutions of a nonlinear problem and seeks nonlinear solutions in the neighborhood of (or as perturbations about) a known linear solution. This is the basic idea behind a perturbative solutionofa nonlinear problem.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 372 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Cet ouvrage, qui est la these de doctorat d'Etat que j'ai soutenue devant l'Universite de Provence aAix-en-Provence le 30 juin 1988, mais alaquelle j'ai toutefois apporte posterieurement certaines rectifications, a pour objet la comparaison structurale du Tractatus de Wittgenstein avec I'Ethique de Spinoza. Monsieur le Professeur Gilles-Gaston Granger, qui m'a confie le soin de cette etude comparative et en a suivi I'elaboration, et auquel je renou velle ici l'expression de ma respectueuse gratitude, a perl;u la pensee de Wittgenstein comme une transposition moderne de la doctrine de Spinoza et illui a paru interessant de comparer les oeuvres representatives de ces deux auteurs que sont le Tractatus et l'Ethique. Les travaux de Martial Gueroult m'ont guide dans mes recherches en vue d'approfondir le systeme de I'Ethique et j'ai egalement mis aprofit les critiques qui ont ete formulees ala soutenance de ma these par Madame le Professeur Elisabeth Schwartz, presidente du jury. Je remercie l'Universite de Bäle, la Freiwillige Akademische Gesell schaft aBäle et la fondation Berta Hess-Cohn aBäle qui ont bien voulu financer I'edition de cet ouvrage. Et je suis reconnaissant aux Editions Birkhäuser a Bäle et particulierement a Monsieur Albert Gomm de I'at tention qu'ils ont apportee ason impression tout en respectant, dans la mesure du possible, la presentation materielle de ma these de doctorat.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 424 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -In this book we display the fundamental structure underlying classical electro dynamics, i. e. , the phenomenological theory of electric and magnetic effects. The book can be used as a textbook for an advanced course in theoretical electrodynamics for physics and mathematics students and, perhaps, for some highly motivated electrical engineering students. We expect from our readers that they know elementary electrodynamics in the conventional (1 + 3)-dimensional form including Maxwell's equations. More over, they should be familiar with linear algebra and elementary analysis, in cluding vector analysis. Some knowledge of differential geometry would help. Our approach rests on the metric-free integral formulation of the conservation laws of electrodynamics in the tradition of F. Kottler (1922), E. Cartan (1923), and D. van Dantzig (1934), and we stress, in particular, the axiomatic point of view. In this manner we are led to an understanding of why the Maxwell equa tions have their specific form. We hope that our book can be seen in the classical tradition of the book by E. J. Post (1962) on the Formal Structure of Electro magnetics and of the chapter 'Charge and Magnetic Flux' of the encyclopedia article on classical field theories by C. Truesdell and R. A. Toupin (1960), in cluding R. A. Toupin's Bressanone lectures (1965); for the exact references see the end of the introduction on page 11. .Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 432 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book is written to be a convenient reference for the working scientist, student, or engineer who needs to know and use basic concepts in complex analysis. It is not a book of mathematical theory. It is instead a book of mathematical practice. All the basic ideas of complex analysis, as well as many typical applica tions, are treated. Since we are not developing theory and proofs, we have not been obliged to conform to a strict logical ordering of topics. Instead, topics have been organized for ease of reference, so that cognate topics appear in one place. Required background for reading the text is minimal: a good ground ing in (real variable) calculus will suffice. However, the reader who gets maximum utility from the book will be that reader who has had a course in complex analysis at some time in his life. This book is a handy com pendium of all basic facts about complex variable theory. But it is not a textbook, and a person would be hard put to endeavor to learn the subject by reading this book. 320 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The discoveries of the past decade have opened new perspectives for the old field of Hamiltonian systems and led to the creation of a new field: symplectic topology. Surprising rigidity phenomena demonstrate that the nature of symplectic map pings is very different from that of volume preserving mappings which raised new questions, many of them still unanswered. On the other hand, due to the analysis of an old variational principle in classical mechanics, global periodic phenomena in Hamiltonian systems have been established. As it turns out, these seemingly differ ent phenomena are mysteriously related. One of the links is a class of symplectic invariants, called symplectic capacities. These invariants are the main theme of this book which grew out of lectures given by the authors at Rutgers University, the RUB Bochum and at the ETH Zurich (1991) and also at the Borel Seminar in Bern 1992. Since the lectures did not require any previous knowledge, only a few and rather elementary topics were selected and proved in detail. Moreover, our se lection has been prompted by a single principle: the action principle of mechanics. The action functional for loops in the phase space, given by 1 Fh) = J pdq -J H(t, 'Y(t)) dt , 'Y 0 differs from the old Hamiltonian principle in the configuration space defined by a Lagrangian. The critical points of F are those loops 'Y which solve the Hamiltonian equations associated with the Hamiltonian H and hence are the periodic orbits.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 364 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Overview The subject of partial differential equations has an unchanging core of material but is constantly expanding and evolving. The core consists of solution methods, mainly separation of variables, for boundary value problems with constant coeffi cients in geometrically simple domains. Too often an introductory course focuses exclusively on these core problems and techniques and leaves the student with the impression that there is no more to the subject. Questions of existence, uniqueness, and well-posedness are ignored. In particular there is a lack of connection between the analytical side of the subject and the numerical side. Furthermore nonlinear problems are omitted because they are too hard to deal with analytically. Now, however, the availability of convenient, powerful computational software has made it possible to enlarge the scope of the introductory course. My goal in this text is to give the student a broader picture of the subject. In addition to the basic core subjects, I have included material on nonlinear problems and brief discussions of numerical methods. I feel that it is important for the student to see nonlinear problems and numerical methods at the beginning of the course, and not at the end when we run usually run out of time. Furthermore, numerical methods should be introduced for each equation as it is studied, not lumped together in a final chapter.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 560 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The original edition of this book has been out of print for some years. The appear ance of the present second edition owes much to the initiative of Yves Nievergelt at Eastern Washington University, and the support of Ann Kostant, Mathematics Editor at Birkhauser. Since the book was first published, several people have remarked on the absence of exercises and expressed the opinion that the book would have been more useful had exercises been included. In 1997, Yves Nievergelt informed me that, for a decade, he had regularly taught a course at Eastern Washington based on the book, and that he had systematically compiled exercises for his course. He kindly put his work at my disposal. Thus, the present edition appears in two parts. The first is essentially just a reprint of the original edition. I have corrected the misprints of which I have become aware (including those pointed out to me by others), and have made a small number of other minor changes.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 400 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication. By translating a problem specification into a proposition in constructive logic, one can go one step further: the effectiveness and unifonnity of a con structive proof allows us to extract a program from a proof of this proposition. Thus by the 'proposition-as-types' paradigm one obtains types whose elements are considered as proofs. Each of these proofs contains a program correct w.r.t. the given problem specification. This opens the way for a coherent approach to the derivation of provably correct programs. These features have led to a 'typeful' programming style where the classi cal typing concepts such as records or (static) arrays are enhanced by polymor phic and dependent types in such a way that the types themselves get a complex mathematical structure. Systems such as Coquand and Huet's Calculus of Con structions are calculi for computing within extended type systems and provide a basis for a deduction oriented mathematical foundation of programming. On the other hand, the computational power and the expressive (impred icativity !) of these systems makes it difficult to define appropriate semantics.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 316 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -llany systems encountered in practice involve a coupling between contin uous dynamics and discrete events. Systems in which these two kinds of dynamics coexist and interact are usually called hybrid. For example, the following phenomena give rise to hybrid behavior: a valve or a power switch opening and closing; a thermostat turning the heat on and off; biological cells growing and dividing; a server switching between buffers in a queueing network; aircraft entering, crossing, and leaving an air traffic control region; dynamics of a car changing abruptly due to wheels locking and unlocking on ice. Hybrid systems constitute a relatively new and very active area of current research. They present interesting theoretical challenges and are important in many real-world problems. Due to its inherently interdisci plinary nature, the field has attracted the attention of people with diverse backgrounds, primarily computer scientists, applied mathematicians, and engineers. Researchers with a background and interest in continuous-time systems and control theory are concerned primarily with properties of the contin uous dynamics, such as Lyapunov stability. A detailed investigation of the discrete behavior, on the other hand, is usually not a goal in itself. In fact, rather than dealing with specifics of the discrete dynamics, it is often use ful to describe and analyze a more general category of systems which is known to contain a particular model of interest.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 252 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -\* Introduces the fundamental theory of vertex operator algebras and its basic techniques and examples.\* Begins with a detailed presentation of the theoretical foundations and proceeds to a range of applications.\* Includes a number of new, original results and brings fresh perspective to important works of many other researchers in algebra, lie theory, representation theory, string theory, quantum field theory, and other areas of math and physics.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 340 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -'Extremely readable recollections of the author. A rare testimony of a period of the history of 20th century mathematics. Includes very interesting recollections on the author's participation in the formation of the Bourbaki Group, tells of his meetings and conversations with leading mathematicians, reflects his views on mathematics. The book describes an extraordinary career of an exceptional man and mathematicians. Strongly recommended to specialists as well as to the general public.'EMS Newsletter (1992)'This excellent book is the English edition of the author's autobiography. . This very enjoyable reading is recommended to all mathematicians.'Acta Scientiarum Mathematicarum (1992) 200 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Biomolecular studies are the trial of Man to understand how Nature manages information at the molecular level. The understanding of molecular informa tion handling in nature is essential for the molecular optimization in chem istry, molecular biology, molecular pharmacology and therefore - as an ex ample - for the development of specifically acting drugs. The famous recent method of technical information management is digital electronics. Over the past few years, evidence has arisen that computerized and molecular information managements have many similar and overlapping aspects. For example, both technology and nature use digitized information and both use small structures for the efficient handling of information. Furthermore, they optimize their processes in order to gain a maximum of information with a minimum of invested energy. During the last two decades, novel experimental techniques in biomolec ular sciences have paved the way for artificial biomolecular optimization. In the same time interval, the progress of micro system technology has been extended from the field of digital electronics and sensing to micro liquid hand ling, and the field of chip-supported substance handling began. It appears that the 'marriage' of physical micro technology and molecular processing will be consummated soon. The contact of both fields has been realized in for ex ample DNA chips. Such connections will also become relevant in additional fields in the near future. Biomolecular investigations are the first to profit from these fast growing scientific and technical connections between micro systems and molecular sciences.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 608 pp. Englisch.

Buch. Etat : Neu. Neuware -The first book of its kind, New Foundations in Mathematics: The Geometric Concept of Number uses geometric algebra to present an innovative approach to elementary and advanced mathematics. Geometric algebra offers a simple and robust means of expressing a wide range of ideas in mathematics, physics, and engineering. In particular, geometric algebra extends the real number system to include the concept of direction, which underpins much of modern mathematics and physics. Much of the material presented has been developed from undergraduate courses taught by the author over the years in linear algebra, theory of numbers, advanced calculus and vector calculus, numerical analysis, modern abstract algebra, and differential geometry. The principal aim of this book is to present these ideas in a freshly coherent and accessible manner.New Foundations in Mathematics will be of interest to undergraduate and graduate students of mathematics and physics who are looking for a unified treatment of many important geometric ideas arising in these subjects at all levels. The material can also serve as a supplemental textbook in some or all of the areas mentioned above and as a reference book for professionals who apply mathematics to engineering and computational areas of mathematics and physics.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 384 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The purpose of this annual series, Applied and Computational Control, Signals, and Circuits, is to keep abreast of the fast-paced developments in computational mathematics and scientific computing and their increasing use by researchers and engineers in control, signals, and circuits. The series is dedicated to fostering effective communication between mathematicians, computer scientists, computational scientists, software engineers, theorists, and practicing engineers. This interdisciplinary scope is meant to blend areas of mathematics (such as linear algebra, operator theory, and certain branches of analysis) and computational mathematics (numerical linear algebra, numerical differential equations, large scale and parallel matrix computations, numerical optimization) with control and systems theory, signal and image processing, and circuit analysis and design. The disciplines mentioned above have long enjoyed a natural synergy. There are distinguished journals in the fields of control and systems the ory, as well as signal processing and circuit theory, which publish high quality papers on mathematical and engineering aspects of these areas; however, articles on their computational and applications aspects appear only sporadically. At the same time, there has been tremendous recent growth and development of computational mathematics, scientific comput ing, and mathematical software, and the resulting sophisticated techniques are being gradually adapted by engineers, software designers, and other scientists to the needs of those applied disciplines.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 564 pp. Englisch.