springer jun 2007 (518 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Seit ihren Anfängen war die städtebauliche Planung auf Wachstum angelegt. Dieses Wachstum wird es nicht mehr geben. Wie die Bundesrepublik insgesamt werden auch die Städte zunehmend an Bevölkerung verlieren. Leerstände, Baulücken, größere Brachen werden tief in das bestehende Stadtgefüge eingreifen. Die Städte müssen in der Tat 'umgebaut' werden, aber wie Im vorliegenden Band untersuchen namhafte Fachleute aus unterschiedlichen Disziplinen die Rahmenbedingungen, die in Zukunft die Stadtentwicklung prägen werden. Ansätze für neue Strukturkonzepte und Planungsstrategien werden vorgestellt. Dabei kommt denzunehmenden Freiräumen besondere Bedeutung zu, nicht als 'Ersatz' für Gebautes, sondern als eigenständiges Strukturelement, das den Städten eine neue Qualität verleiht.Eine Pflichtlektüre für alle, diefür dieZukunft der Städte auf realistischer Basis nach neuen stadträumlichen Konzepten suchen.Birkhäuser Verlag GmbH, Im Westfeld 8, 4055 Basel 272 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Philip Baker charts the history of manned space stations from the very beginning in a logical, chronological order. He tells the story of the two major space powers starting out on their very separate programs, but slowly coming together through ASTP, Shuttle-Mir, and the ISS, and includes programs that rarely get mentioned - the US Manned Orbiting Laboratory, and the Soviet Almaz station, both military backed projects.The Mir space station was one of the greatest human achievements in modern history, and a thorough telling of its story is essential to this book. During its life it grew and evolved into a truly international outpost, with visitors from all over the world taking advantage of the only permanent space station in orbit at that time.This book will be the only one of its kind to tell the whole story of the manned space stations from both nations, from the very beginning, to the current ISS story, and to the possibilities beyond.Each chapter of this book will contain interviews with many of the primary participants, including the astronauts, cosmonauts, designers, mission controllers, doctors and managers most directly involved in the flights. The author paints a vivid picture of two competing nations slowly coming together to form an alliance that is shaky and uncertain to begin with, but grows from fierce competition into solid collaboration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Buch. Zustand: Neu. Neuware -XI ACKNOWLEDGMENTS xiii INTRODUCTION XV CHAPTER 1: THE HISTORICAL AND PHILOSOPHICAL PERSPECTIVES 1 The Magical Vision of the Nonhuman 1 Ancient Philosophy 2 Medieval Philosophy 6 The Renaissance 8 The Birth of Modern Science 10 First Attempts at Contact 16 Cosmism 17 From Enthusiasm to Disenchantment 18 CHAPTER 2: THE RELIGIOUS PERSPECTIVE 23 Is Extraterrestrial Life a Threat to Religion 23 A Finite Universe and an Infinite God 25 Hinduism, Buddhism, and Other Oriental Religions 26 Judaism 27 Islam 28 Christianity 29 The Problem of Original Sin 30 The Problem of Redemption 34 Biocosmic Theology 36 Vll Contents CHAPTER 3: THE ASTROBIOLOGICAL PERSPECTIVE 41 A New Science: Astrobiology 41 Times of the Universe 43 The Anthropic Principle 47 Chemical Evolution 50 The Formation of the Solar System 51 The Formation of Extrasolar Planets 57 The Birth of Life on Earth 64 Panspermia 73 Evolution and Creationism 76 Toward a Great Complexity 81 Catastrophes and Mass Extinctions 86 Conditions Needed for the Development of Life 96 Life on Mars 107 Life in the Solar System 117 The Search for Life Outside the Solar System 123 CHAPTER 4: THE SEARCH FOR EXTRATERRESTRIAL INTELLIGENCE 129 Intelligence and Consciousness 129 Consciousness 133 The Development of Intelligence on Earth 137 From Intelligence to Technology 147 Evolution Beyond Humans 154 The Expansion of Intelligent Life 156 The Search for Intelligent Signals 164 The Pdo Scale 176 The Problem of the Answer 177 The San Marino Scale 180 Which Message 182 Extraterrestrials, How 187Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Buch. Zustand: Neu. Neuware -Human civilization has evolved to the point at which we can consider tapping space resources and expanding beyond Earth¿s atmosphere. The Introduction surveys possible motivations for large-scale human emigration to space. Since our early ancestors began to move out of Africa, humans have constantly expanded their range. Today, the pattern of human settlement extends from pole to pole. Humans regularly visit the upper troposphere and ocean floor and technology has enabled a few to even reside above the atmosphere in space stations.For the next few millennia at least (barring breakthroughs), the human frontier will include the solar system and the nearest stars. Will it better to settle the Moon, Mars, or a nearby asteroid and what environments can we expect to find in the vicinity of nearby stars are questions that need to be answered if mankind is to migrate into space.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Zustand: Neu. Neuware -Astronomers' Universe Series is a new series, aimed at the same people as the Practical Astronomy Series - in general, active amateur astronomers. However, it is also appropriate to a wider audience of astronomically-informed readers. The aim of this book is to provide an up-to-date account of active galaxies that is appropriate to the background knowledge of amateur astronomers, but might also be picked-up and read for interest by any reader with a scientific bent. Active galaxies (including Quasars, QSOs, Radio galaxies, BL Lacs, Blazars, LINERS, ULIRGS, Seyfert galaxies, Starburst galaxies, N galaxies, etc.) are a major field of current astronomical research. Up to a fifth of all research astronomers are working on active galaxies. Huge amounts of time on major telescopes are devoted to their study. In almost all cases the galaxies are thought to be powered by 100 million solar mass black holes at their centres. Some of the objects are bright enough to be seen in small telescopes, and an amateur astronomer with a 20 cm telescope and a CCD detector could obtain images of many more. Lists of such objects, and their visual and imaged appearance in commercially available telescopes are an important component of this book. This detailed but accessible work will be the only coherent and complete source of information for non-technical readers on an area of astronomy that fascinates many people and whose spectacular images from the Hubble space telescope, Gemini, VLT and other major telescopes frequently make the pages of the quality newspapers and occasionally appear on TV. It also has the potential to be chosen as a set text or background reading for university courses on the subject, although the writing style is such that it will appeal to all readers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Zustand: Neu. Neuware -Im Zusammenhang mit IT-Governance, Sarbanes-Oxley Act und Basel II ist Information Lifecycle Management, kurz ILM, ein Thema, das jeder CIO beherrschen muss. Die Autoren fassen Information als ein Produkt auf, das einem Lebenszyklus unterliegt. Jede Phase dieses Produktlebenszyklus erfordert andere IT-Methoden, um Information kostenbewusst zu speichern sowie zu be- und verarbeiten. Die Autoren gehen auf die gesetzlichen Bestimmungen ein, arbeiten die Klassifizierungskonzepte heraus und erläutern die Sicherheitskonzepte und ihre Anforderungen an Betriebsführung und Unternehmen sowie das Disaster Recovery als Bestandteil einer Security-Strategie. Qualitätsmanagement und Risikomanagement werden ausführlich dargestellt. Eine Betrachtung der globalen Aspekte rundet das Buch ab.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Deutsch.

Buch. Zustand: Neu. Neuware -China ist die Wirtschaftsmacht des 21. Jahrhunderts. Die Wachstumsraten sind imposant und anhaltend, die wirtschaftlichen und sozialen Veränderungen enorm. Immer mehr westliche Firmen gehen in das Reich der Mitte, aber ebenso viele scheitern auch, weil sie Bürokratie, Investitionsmittel oder auch die menschliche Seite eines Chinaaufenthaltes nicht ausreichend bedacht und vorbereitet haben. Das China-Handbuch hilft Managern, sich für kurze Reisen oder auch mehrjährige Chinaaufenthalte auf die Begegnung, Verhandlung oder das Arbeiten mit Chinesen vorzubereiten. Es ist ein unentbehrlicher Begleiter für alle, die beruflich in China oder mit Chinesen zu tun haben, aber auch für diejenigen, die sich für die chinesische Kultur und Mentalität interessieren.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Food monitoring is a tool to recognize and avoid potential risks to consumers. While the states enforce food law primarily through suspicion and risk-based investigations, food monitoring is a system of repeated representative measurements and evaluations of undesirable substances and contaminants in foods. The food monitoring programme is a joint investigative programme by the German Federal Government and the federal states which is complementary to official food control as carried out by the states. This report provides the results of the analysis in 2005 of more than 5000 samples of 50 foods or food groups of domestic and foreign origin.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 60 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -If you have ever gazed through the eyepiece of a telescope at the magnificent rings and banded globe of Saturn, or found yourself breathless at the sight of long shadows jutting across crater floors on the terminator of the Moon, then you will understand the power of those direct visual experiences. You are present at a unique event, a connection between a part of the cosmos, your eye and brain. Sketching preserves this tie with direct observation because it allows the observer to spend time at the eyepiece surveying the object intimately while drawing. This personal experiential relationship to celestial objects differentiates astronomical sketching from photographic or CCD imaging. Sketching is an excellent way to record personal encounters with the celestial wonders, because as you are drawing, you are training your eye to perceive ever greater detail, taking the fullest advantage of your telescope's light grasp and resolution. Moreover, astronomical sketches can be artwork in themselves, for display and decoration in the home or observatory.Despite the fact that there are a wide variety of drawing media and techniques, there exists no comprehensive treatment of the subject of astronomical sketching. This book will present the amateur with fine examples of astronomical sketches and step-by-step tutorials in each medium, including pencil, pen and ink, chalks and pastels, painting and computer graphics programs. This unique book can teach almost anyone to create beautiful sketches of celestial objects by following simple, illustrated, step-by-step instructions.Readers can select a chapter related to their preferred class of object, and rapidly learn techniques in several media. Each chapter contains useful information regarding equipment, types of telescope and eyepiece combinations, techniques for preserving and archiving sketches, and suggestions for accurate record keeping.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In this volume readers will find for the first time a detailed account of the theory of symplectic reduction by stages, along with numerous illustrations of the theory. Special emphasis is given to group extensions, including a detailed discussion of the Euclidean group, the oscillator group, the Bott-Virasoro group and other groups of matrices. Ample background theory on symplectic reduction and cotangent bundle reduction in particular is provided. Novel features of the book are the inclusion of a systematic treatment of the cotangent bundle case, including the identification of cocycles with magnetic terms, as well as the general theory of singular reduction by stages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2007, held in Ithaca, NY, USA, in June 2007.Among the topics addressed in the 36 revised full papers are approximation algorithms, algorithmic game theory, computational biology, integer programming, polyhedral combinatorics, scheduling theory and scheduling algorithms, as well as semidefinite programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; relationships to cryptography, concurrency, complexity theory and logic; bioinspired computing, and quantum computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Readers will find here a fascinating text that is the thoroughly refereed post-proceedings of the 9th Workshop on the Foundations of Genetic Algorithms, FOGA 2007, held in Mexico City in January 2007. The 11 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and improvement from 22 submissions. The papers address all current topics in the field of theoretical evolutionary computation and also depict the continuing growth in interactions with other fields such as mathematics, physics, and biologySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Zustand: Neu. Neuware -C++ has grown rapidly in response to the practical need for a programming language that is able to efficiently handle composite and diverse data types. Today, C++ dominates the commercial market and is favored among application developers.Introduction to C++ Programming and Graphics offers a venue for rapidly learning the language by concisely revealing its grammar, syntax and main features, and by explaining the key ideas behind object oriented programming (OOP) with emphasis on scientific computing. The book reviews elemental concepts of computers and computing, describes the primary features of C++, illustrates the use of pointers and user-defined functions, analyzes the construction of classes, and discusses graphics programming based on VOGLE and OpenGL.This essential reference provides a brief introduction to C++ for scientists, engineers, professionals and students already familiar with the general principles of computer programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book treats various concepts of generalized derivatives and subdifferentials in normed spaces, their geometric counterparts and their application to optimization problems. It starts with the subdifferential of convex analysis, passes to corresponding concepts for locally Lipschitz continuous functions and then presents subdifferentials for general lower semicontinuous functions. All basic tools are presented where they are needed: this concerns separation theorems, variational and extremal principles as well as relevant parts of multifunction theory. Each chapter ends with bibliographic notes and exercises.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22-27 July 2007, jointly with the Symposium on Human Interface (Japan) 2007, the 7th International Conference on Engineering Psychology and Cognitive Ergonomics, the 4th International Conference on Universal Access in Human-Computer Interaction, the 2nd International Conf- ence on Virtual Reality, the 2nd International Conference on Usability and Inter- tionalization, the 2nd International Conference on Online Communities and Social Computing, the 3rd International Conference on Augmented Cognition, and the 1st International Conference on Digital Human Modeling. A total of 3403 individuals from academia, research institutes, industry and g- ernmental agencies from 76 countries submitted contributions, and 1681 papers, judged to be of high scientific quality, were included in the program. These papers address the latest research and development efforts and highlightthe human aspects of design and use of computing systems. The papers accepted for presentation th- oughly cover the entire field of Human-Computer Interaction, addressing major - vances in knowledge and effective use of computers in a variety of application areas. This volume, edited by Dylan D. Schmorrow and Leah M. Reeves, contains papers in the thematic area of Augmented Cognition, addressing the following major topics: ¿ Augmented Cognition Methods and Techniques ¿ Applications of Augmented CognitionSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Buch. Zustand: Neu. Neuware -Before AIDS, the role of behavioral interventions in preventing transmission of sexually transmitted diseases was acknowledged in text books and journals but rarely promoted effectively in public health practice. Informed by a comprehensive knowledge of behavioral theory, intervention methods, and affected populations, the authors of this important book examine the central role of behavioral interventions in combating STDs. The book addresses the complexities and social contexts of human behaviors which spread STDs, the cultural barriers to STD education (ranging from conservative mores to ¿stay out of my bedroom¿ libertarianism), and the sociopolitical nuances surrounding treatment. Over forty contributors offer a practical appraisal of what is being done now and what can be improved, such as: an overview of current behavioral and biomedical interventions for STD prevention and control, a discussion of what works for individuals, groups, and communities, up to date thinking about such traditional prevention approaches as partner notification and health care seeking, STD prevention strategies with high-risk populations, including drug users, gay men, teenagers, incarcerated persons, and persons with repeat infections, the state of prevention technology: condoms, vaccines, the Internet, ethical, economic, and policy issues in STD prevention, applying intervention models to real-world situations, guidelines for program evaluation and improvement.As STDs and AIDS remain top priorities for public health and private sector practitioners, researchers, and educators, ¿Behavioral Interventions for Prevention and Control of Sexually Transmitted Diseases¿ gives a long-neglected field the attention it deserves. This authoritative resource is sure to influence public health practice and policy in an ever-evolving social climate.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 608 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, held in Nara, Japan in June 2007. It presents the latest approaches and technical solutions in the area of smart homes, health telematics, and emerging enabling technologies. 268 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The European Society for Arti cial Intelligence in Medicine (AIME) was - tablished in 1986 following a very successful workshop held in Pavia, Italy, the year before. The principal aims of AIME are to foster fundamental and applied research in the application of arti cial intelligence (AI) techniques to medical care and medical research, and to provide a forum at biennial conferences for discussing any progress made. For this reason the main activity of the Society wastheorganizationofaseriesofbiennialconferences,heldinMarsei lles,France (1987), London, UK (1989), Maastricht, The Netherlands (1991), Munich, G- many (1993), Pavia, Italy (1995), Grenoble, France (1997), Aalborg, Denmark (1999), Cascais, Portugal (2001), Protaras, Cyprus (2003), and Aberdeen, UK (2005). This volume contains the proceedings of AIME 2007,the 11th Conference on Arti cial Intelligence in Medicine, held in Amsterdam, The Netherlands, July 7-11, 2007. The AIME 2007 goals were to present and consolidate the int- national state of the art of AI in biomedical research from the perspectives of methodology and application. The conference included invited lectures, a panel discussion, full and short papers, tutorials, workshops, and a doctoral cons- tium. In the conference announcement, authors were solicited to submit original contributions on the development of theory, systems, and applications of AI in medicine, including the exploitationof AI approachesto molecularmedicine and biomedical informatics. Authors of papers addressing theory were requested to describe the developmentorthe extensionof AI methods and to discuss the n- elty to the state of the art.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Annual International Computing and Combinatorics Conference is an annual forum for exploring research, development, and novel applications of computing and combinatorics. It brings together researchers, professionals and industrial practitioners to interact and exchange knowledge, ideas and progress. Thetopics covermost aspects oftheoreticalcomputer scienceand combinatorics related to computing. The 13th Annual International Computing and Com- natorics Conference (COCOON 2007) was held in Ban , Alberta during July 16¿19, 2007. This was the rst time that COCOON was held in Canada. We received 165 submissions, among which 11 were withdrawn for various reasons. The remaining 154 submissions under full consideration came from 33 countries and regions: Australia, Brazil, Canada, China, the Czech Republic, Denmark, Finland, France, Germany, Greece, Hong Kong, India, Iran, Ireland, Israel, Italy, Japan, the Netherlands, Norway, Pakistan, Poland, Romania, R- sia, Slovakia, South Korea, Spain, Sweden, Switzerland, Taiwan, Turkey, the UK, the USA, and the US minor outlying islands. Afterasixweekperiodofcarefulreviewinganddiscussions,theprogramc- mittee accepted 51 submissions for oral presentation at the conference. Based on the a liations, 1. 08 of the accepted papers were from Australia, 7. 67 from Canada, 3. 08 from China, 1 from the Czech Republic, 2 from Denmark, 1 from France, 5. 42 from Germany, 0. 08 from Greece, 2. 18 from Hong Kong, 0. 33 from India, 0. 17 from Ireland, 1. 83 from Israel, 1. 5fromItaly,2. 9 from Japan, 0. 17 from the Netherlands, 2. 67 from Norway, 0.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary eld of research in the intersection of mathematics, computer science, library s- ence, and scienti c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities and separate foci, there is a signi cant overlap in the interests in building mechanized mathem- ical assistants. For this reason it was decided to collocate the two events in 2007 for the rst time, at RISC in Hagenberg, Austria. The number and quality of the submissions show that this was a good decision. While the proceedings are shared, the submission process was separate. The responsibility for acc- tance/rejection rests completely with the two separate Program Committees. By this collocation we made a contribution against the fragmentation of communities which work on di erent aspects of di erent independent branches, traditional branches (e.g., computer algebra and theorem proving), as well as newly emerging ones (on user interfaces, knowledge management, theory exp- ration, etc.). This will also facilitate the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, c- puter scientists, and engineers in their every-day business. 424 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods. Papers also examine solutions to problems in biology using symbolic methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Buch. Zustand: Neu. Neuware -The transport of a given species (atoms, molecules, neutrons, photons, etc. ), either through its own kind or through some other host medium, is a problem of considerable interest. Practical applications may be found in many technologically and environmentally relevant areas such as the transport of neutrons in a nuclear power reactor or in a nuclear weapon, the transport of ions and electrons in plasma, the transport of photons which constitutes radiative heat transfer in various industrial, environmental and space applications, the transport of atoms or molecules of one species either through itself or as one component of a multi-component gas mixture, and the interactions of such gas mixtures with various solid and liquid surfaces such as one might find associated with capillary tubes, aerosol particles, interstellar dust grains, etc. . These application areas are obviously quite broad and it is readily apparent that there are, indeed, few scientific activities that do not require some level of understanding of transport processes. One of the most important and influential texts in the area of transport theory has been The Mathematical Theory of Non-Uniform Gases by Sidney Chapman and T. G. Cowling that was first printed in 1939. This book, along with several other more recent texts (Hirschfelder, J. O. , Curtiss, C. F. and Bird, R. B. , Molecular Theory of Gases and Liquids, John Wiley and Sons, NY, 1954; Kogan, M. N.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Buch. Zustand: Neu. Neuware -Addressed to both graduate students and researchers this monograph provides in-depth analyses of vortex dominated flows via matched and multiscale asymptotics, and it demonstrates how insight gained through these analyses can be exploited in the construction of robust, efficient, and accurate numerical techniques. The dynamics of slender vortex filaments is discussed in detail, including fundamental derivations, compressible core structure, weakly non-linear limit regimes, and associated numerical methods. Similarly, the volume covers asymptotic analysis and computational techniques for weakly compressible flows involving vortex generated sound and thermoacoustics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Here is the first part of a work that provides a full account of Jorgensen's theory of punctured torus Kleinian groups and its generalization. It offers an elementary and self-contained description of Jorgensen's theory with a complete proof. Through various informative illustrations, readers are naturally led to an intuitive, synthetic grasp of the theory, which clarifies how a very simple fuchsian group evolves into complicated Kleinian groups.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -You hold in your hands the proceedings of ESAS 2007, the Fourth European Workshop on Security and Privacy in Ad hoc and Sensor Networks. The wo- nd rd shop took place in Cambridge, UK, on the 2 and 3 of July 2007. The workshop was European in name and location but it was de nitely transatlantic in scope. We had a program chair from Europe and one from the USA, and membership of our program committee was almost evenly split - tween those two regions. When looking at participation, the workshop was even more global than that: the submitted papers came from 25 countries in 6 con- nents. We received 87 submissions. After quick-rejecting 5 papers deemed to be out of scope, the remaining 82 papers were each reviewed by at least three PC members. The two program chairs, who did not submit any works, had sole authoritytodecidewhichpaperstoacceptandreject,basedonlyonthedirective that quality had to be the primary criterion, in order to form a proceedings volume of high international relevance. The number of papers to be accepted was not set in advance: it was selected a posteriori so as to include only solid, innovative and insightful papers. The resulting acceptance rate of about 20%, very strict for a workshop, is a testimonial of how selective we chose to be in accepting only high quality papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The book constitutes the refereed proceedings of the Third International Conference on Distributed Computing in Sensor Systems, DCOSS 2007, held in Sante Fe, NM, USA in June 2007.The 27 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers class in three tracks covering the areas of algorithms, applications, and systems, thus bridging the gap between theory and practice and between the broader field of distributed computing and the specific issues arising in sensor networks and related systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Providing all the latest on a topic of extreme commercial relevance, this book contains the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, held in Medford, MA, USA in July 2007. The 19 revised full papers presented were carefully reviewed and selected from 89 submissions. The papers feature new trends in global software services and distributed systems architectures to push the limits of established and tested component-based methods, tools and platforms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations. 300 pp. Englisch.