springer sep 2006 (182 Ergebnisse)

Buch. Zustand: Neu. Neuware -Parting the Cosmic Veil describes our gradual awareness of a vast, previously concealed Universe. It is a story of expanding horizons and the discovery of invisible worlds, made possible with new technology and novel telescopes that have broadened our range of perception and sharpened our vision.Spacecraft have carried men to the Moon, and traveled throughout the Solar System, obtaining close-up views that have transformed the moons and planets from moving points of light to fascinating, diverse worlds. Modern technology has also enabled the detection of giant planets around other stars, taking us one step closer to the possible detection of life outside the Earth.Astronomers have used telescopes, operating at the visible wavelengths that we see with our eye, to reveal the true extent of the Milky Way and discover billions of remote galaxies that are rushing away from us in an expanding Universe. Each of these galaxies contains billions of stars wheeling around their massive central hub.Radio waves and X-rays, which lie beyond the range of visual perception, are used to detect a violent Universe, from exploding stars to gamma ray bursts and the Big Bang itself, with the associated discoveries of pulsars, black holes and quasars. Radio astronomers have also shown that the dark spaces between the stars contain vast tracts of cold hydrogen atoms and a host of molecules.Dark invisible matter has been discovered residing outside the shining stars and galaxies, outweighing them all. And a mysterious dark energy has also been found, which fills the nooks and crannies of seemingly empty space.The Cosmos is evolving, participating in ongoing processes of creation, destruction, and re-birth. But even though we are pushing the boundaries of knowledge closer to an understanding of the origins and destinies, of either the Universe or Life, the ultimate answers to these grand questions still lie hidden behind the Cosmic Veil.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This workbook in stereochemistry is designed for students, lecturers and scientists in chemistry, pharmacy, biology and medicine who deal with chiral chemical compounds and their properties. It serves as a supplement to textbooks and seminars and thus provides selected examples for students to practice the use of the conventions and terminology for the exact three-dimensional description of chemical compounds. It contains 191 problems with extended solutions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The abstract concepts of metric spaces are often perceived as difficult. This book offers a unique approach to the subject which gives readers the advantage of a new perspective on ideas familiar from the analysis of a real line. Rather than passing quickly from the definition of a metric to the more abstract concepts of convergence and continuity, the author takes the concrete notion of distance as far as possible, illustrating the text with examples and naturally arising questions.The book provides a thorough exposition of all the standard necessary results of the theory and, in addition, includes selected topics not normally found in introductory books, such as: the Tietze Extension Theorem; the Hausdorff metric and its completeness; and the existence of curves of minimum length.With its many examples, careful illustrations, and full solutions to selected exercises, this book provides a gentle introduction that is ideal for self-study and an excellent preparation for applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - For years, the images have blazed through your imagination. They are the magni cent full-color photographs returned by the Hubble Space Telescope and 1 its sister Great Observatories of the grand depths of the cosmos.From the 'pillars of creation,'considered to be Hubble's signature image, to the incomprehensible depths of the Hubble Deep Fields to the intricate details imaged in the surface and cloud tops of Mars or Jupiter, the power of the Hubble Telescope to turn on the public to science is unparalled in the history of modern culture. They also have spurred new telescope sales to unimagined highs.And after years of watching the heavens through the eyes of NASA, you've decided it's time to see it for yourself. You make the trip to the department store and pick up that shiny new '500×'te- scope,set it up and soon you're in business. Unfortunately,the high initial expectations usually give way to disappointment. Instead of seeing the magni cent swirling clouds of gas in the Orion Nebula,you see a pale green-gray cloud with a couple of nondescript stars lurking nearby.The swirling red, yellow and brown storms of Jupiter are nowhere to be seen; only varying shades of gray in the planet's cloud bands,assuming you can see bands at all! And Mars After waiting all night for the red planet to rise up over the morning horizon, you are greeted by nothing more than a featureless reddish-orange dot.

Taschenbuch. Zustand: Neu. Neuware -The four papers collected in this book discuss advanced results in analytic number theory, including recent achievements of sieve theory leading to asymptotic formulae for the number of primes represented by suitable polynomials; counting integer solutions to Diophantine equations, using results from algebraic geometry and the geometry of numbers; the theory of Siegel¿s zeros and of exceptional characters of L-functions; and an up-to-date survey of the axiomatic theory of L-functions introduced by Selberg.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Buch. Zustand: Neu. Neuware -This Second Edition of Sun, Earth and Sky updates the popular text by providing comprehensive accounts of the most recent discoveries made by five modern solar spacecraft during the past decade. Their instruments have used sound waves to peer deep into the Sun¿s inner regions and measure the temperature of its central nuclear reactor, and extended our gaze far from the visible Sun to record energetic outbursts that threaten Earth. Breakthrough observations with the underground Sudbury Neutrino Observatory are also included, which explain the new physics of ghostly neutrinos and solve the problematic mismatch between the predicted and observed amounts of solar neutrinos. This new edition of Sun, Earth and Sky also describes our recent understanding of how the Sun¿s outer atmosphere is heated to a million degrees, and just where the Sun¿s continuous winds come from. As humans we are more intimately linked with our life-sustaining Sun than with any other astronomical object, and the new edition therefore provides modern interpretations of ozone depletion and global warming that are related to both the Sun and to human activities. Written in a light and friendly style, this lavishly illustrated book introduces the Sun and its physics, and describes all aspects of the Sun¿s interaction with us on Earth.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Mounting pressure in the early 1960s from the National Academy of Sciences (NAS) to study ways of expanding the role of astronauts to conduct science on future space missions led to NASA¿s conclusion that flying scientifically trained crewmembers would generate greater returns from each mission. NASA and industry studies continued investigating possibilities that could lead to the eventual creation of the first space stations using surplus Apollo hardware, through the Apollo Applications Programme (AAP). There was also a growing interest within the military to create their own manned space station programme, conducting on-orbit experiments and research with strategic advantages for national security. In October 1964 the Soviets launched Voskhod 1 whose 3-man crew were identified as the first ¿scientific passengers¿ in space. A few days later NASA and the NAS had completed joint studies into the possibility of using scientists in the manned space programme, and invited scientists to apply for astronaut training. In selecting the first group of scientist-astronauts, NASA had one firm requirement; any person accepted into the programme would have to qualify as a military jet pilot. While the second group of scientists were completing their academic, survival and flight training programme, the remaining members of the first scientist-astronaut group were involved in supporting the developing Apollo Applications programme and the Apollo lunar programme.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 592 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2005. The book comprises 7 tutorial lectures presented together with 8 technology presentations and 6 contributions to the participants workshop. The tutorials combine foundations, methods, examples, and tool support. Subjects covered include feature-oriented programming and the AHEAD tool suite; program transformation with reflection and aspect-oriented programming, and more. 488 pp. Englisch.

Buch. Zustand: Neu. Neuware -The main subject of this book is an up-to-date and in-depth survey of the theory of normal frames and coordinates in di erential geometry. The existing results, as well as new ones obtained lately by the author, on the theme are presented. The text is so organized that it can serve equally well as a reference manual, introduction to and review of the current research on the topic. Correspondingly, the possible audience ranges from graduate and post-graduate students to sci- tists working in di erential geometry and theoretical/mathematical physics. This is re ected in the bibliography which consists mainly of standard (text)books and journal articles. The present monograph is the rst attempt for collecting the known facts concerting normal frames and coordinates into a single publication. For that r- son, the considerations and most of the proofs are given in details. Conventionally local coordinates or frames, which can be holonomic or not, are called normal if in them the coe cients of a linear connection vanish on some subset, usually a submanifold, of a di erentiable manifold. Until recently the ex- tence of normal frames was known (proved) only for symmetric linear connections on submanifolds of a manifold. Now the problems concerning normal frames for derivationsof thetensor algebraovera di erentiablemanifoldarewellinvestigate; in particular they completely cover the exploration of normal frames for arbitrary linear connections on a manifold. These rigorous results are important in conn- tion with some physical applications.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 464 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -We cordially welcome you to the proceedings of the 2006 International Symposium on Ubiquitous Computing Systems (UCS) held in Seoul, Korea. UCS has been a symposium for dissemination of state-of-the-art research and engineering practices in ubiquitous computing with particular emphasis on systems and software. 2006 UCS was the third of this series of international symposia, and its importance is increasing as information technology industries are recognizing ubiquitous systems to be one of their top priorities. This year the symposium was organized by u-Korea Forum, Su- kyunkwan University, The Electronic Times, and UCN, Korea. It was also sponsored by the Korea Ministry of Information and Communication, KISS, KIPS, KICS, NCA from Korea and IPSJ SIGUBI, IEICE URON, and UNF from Japan. This year we attracted 359 high-quality paper submissions from all over the world. Among them, 41 papers representing 11 countries were selected to be included in the technical program. This very low acceptance rate of about 11% clearly demonstrates the high quality of the conference, and this tradition will continue in the upcoming years. Three distinguished speakers were also invited for keynote speeches, who enlightened the audience on ubiquitous computing theory and application. 572 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. Today¿s luxury cars contain up to 80 electronic control units (ECUs) and 5 di erent, inter-connectednetworkplatforms, overwhich some700 software-enabled functions are distributed. On the other hand, the complexity induced by this largenumber of functions, their interactions, and their supporting infrastructure has started to becomethe limiting factor for automotive software development. Adequate management of this complexity is particularly important; the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers (e.g., to call for help in cases of emergency), between cars and devices brought into the car by drivers and passengers (such as cell phones, PDAs, and laptops), and even among cars. This dramatically shifts the focus from the development of individual software solutionsresidingondedicatedECUstotheirdistributionandinterac tionwithin and beyond car boundaries. 176 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Welcome to SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and Reliability, held in Gdansk,Poland. Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Reliability and Security (EWICS TC7), SAFECOMP has continuously contributed to the progress in high integrity applications of information technologies. The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for knowledge and technology transfer for researchers, industry (suppliers, operators, users), regulators and certi ers of such systems. SAFECOMP provides ample opportunity to exchange insights and experiences on emerging methods, approaches and practical so- tions to safety, security and reliability problems across the borders of di erent application domains and technologies. The SAFECOMP 2006 program re ected in this book included 32 papers selected from 101 submissions of full texts. The submissions came from authors representing 26 di erent countries from Europe, Asia, and North and South America. The 32 accepted papers were prepared by experts representing 14 d- ferent countries. The above data con rm the broad and increasing interest in SAFECOMP and the topics addressed. The program was supplemented by three keynote presentations by outsta- ing invited experts (not included in this book). The keynotes focused on - terdisciplinary aspects of dependability of computer systems, practical aspects of application of safety standards and new challenges of information security research and development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Medical imaging and medical image analysis are developing rapidly. While m- ical imaging has already become a standard of modern medical care, medical image analysis is still mostly performed visually and qualitatively. The ev- increasing volume of acquired data makes it impossible to utilize them in full. Equally important, the visual approaches to medical image analysis are known to su er from a lack of reproducibility. A signi cant researche ort is devoted to developing algorithms for processing the wealth of data available and extracting the relevant information in a computerized and quantitative fashion. Medical imaging and image analysis are interdisciplinary areas combining electrical, computer, and biomedical engineering; computer science; mathem- ics; physics; statistics; biology; medicine; and other elds. Medical imaging and computer vision, interestingly enough, have developed and continue developing somewhat independently. Nevertheless, bringing them together promises to b- e t both of these elds. This was the second time that a satellite workshop,solely devoted to medical image analysis issues, was held in conjunction with the European Conference on Computer Vision (ECCV), and we are optimistic that this will become a tradition at ECCV. We received 38 full-length paper submissions to the second Computer Vision Approaches to Medical Image Analysis (CVAMIA) Workshop, out of which 10 were accepted for oral and 11 for poster presentation after a rigorous peer-review process. In addition, the workshop included three invited talks. The rst was given by Maryellen Giger from the University of Chicago, USA ¿ titled ¿Multi-Modality Breast CADx¿.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -It is probably a coincidence that the three main terms discussed in this book, namely transformations, projections,and perspective, are ambiguous. Here is what the dict- nary has to say about these terms. Transformation (a) The act or an instance of transforming. (b) The state of being transformed. A marked change, as in appearance or character, usually for the better. Mathematical transformation. (a) Replacing a variable in an expression by its value. (b) Mapping a mathematical space onto another or onto itself. In geometry. Moving, rotating, re ecting, or otherwise systematically deforming a geometric gure (discussed in this book). In linguistics. (a) A rule to convert a syntactic form into another. (b) A sentence or sentential form derived by such a rule; a transform. In genetics. (a) The change undergone by a cell upon infection by a cancer-causing virus. (b) The alteration of a bacterial cell caused by the transfer of DNA from another bacterial cell, especially a pathogen. Projection The act of projecting or the condition of being projected. (a) An object or part thereof that extends outward. (b) Spiky projections on top of a fence. (c) A projection of land along the coast. A prediction or an estimate of a future situation, based on current data or trends. (a) The process of projecting a recorded image onto a viewing surface. (b) An image so projected.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Sequences and Their Applications, SETA 2006. The book presents 32 revised full papers together with 4 invited lectures. The papers are organized in topical sections on linear complexity of sequences, correlation of sequences, stream ciphers and transforms, topics in complexities of sequences, multi-sequence synthesis, sequences and combinatorics, FCSR sequences, aperiodic correlation and applications, and boolean functions, and more. 452 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The International Workshop on Hybrid Metaheuristics reached its third edition with HM 2006. The active and successful participation in the past editions was a clear indication that the research community on metaheuristics and related areas felt the need for a forum to discuss speci c aspects of hybridization of metaheuristics. The selection of papers for HM 2006 consolidated some of the mainstream issues that have emerged from the past editions. Firstly, there are prominent examples of e ective hybrid techniques whose design and implementation were motivated by challenging real-world applications. We believe this is particularly important for two reasons: on the one hand, researchers are conscious that the primary goal of developing algorithms is to solve relevant real-life problems; on the other hand, the path towarde cient solving methods for practical problems is a source of new outstanding ideas and theories. A second important issue is that the research community on metaheur- tics has become increasingly interested in and open to techniques and methods known from arti cial intelligence (AI) and operations research (OR). So far, the most representative examples of such integration have been the use of AI/OR techniques as subordinates of metaheuristic methods. As a historical and - ymological note, this is in perfect accordance with the original meaning of a metaheuristic as a ¿general strategy controlling a subordinate heuristic. ¿ The awareness of the need for a sound experimental methodology is a third keypoint.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Buch. Zustand: Neu. Neuware -As health care costs soar there is increasing interest in examining what society and, particularly, patients receive in return for these expenditures. Optimizing Health brings together the best thinking from both sides of the Atlantic to explore these issues. It employs disciplinary perspectives from economics, ethics, philosophy, psychology, clinical practice, and epidemiology to explore various ways that value for patients have and can be determined. It concludes with a discussion of changes required in practice, research, and health care systems to maximize the outcomes received from the provision of medical care services from the patient¿s perspective.The first section of the book provides theoretical perspectives from economics and systems thinking that help us to focus on how one might determine the value of medical care for patients. The next section considers the ethical and philosophical dilemmas that face developed countries in distributing medical care. How is justice served and evidence-based medicine employed to increase the value of medical care for patients The section on psychology deals with measuring outcomes from the patient¿s perspective and involving patients in medical decision making. Measuring quality of life and gaining valid quality of life information when patients cannot respond for themselves are important topics covered by these chapters. Other chapters consider ways that patients can become more involved in medical decision making with the expectation that this will increase the value of medical care for patients.A major section of the book about clinical practice discusses problems that can reduce the value to patients of medical care. These include overdiagnosis, aggressive treatments that do not result in better patient outcomes, findings that earlier diagnosis does not always result in better outcomes, and the extent of medical error in treatment.The final sections deal withcost-effectiveness analyses and applications of clinical epidemiology. The chapters include a number of original investigations and applications of new methodologies. All-in-all, the volume is must reading for practitioners, policy makers, and researchers who want to find in one place the state-of-the-art thinking and future directions of valuing medical care from the patient¿s perspective.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 4th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2006. The 17 revised full papers presented were carefully reviewed and selected from 34 initial submissions. The papers address a broad variety of aspects and components of the field of comparative genomics, ranging from new quantitative discoveries about genome structure and process to theorems on the complexity of computational problems inspired by genome comparison.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Zustand: Neu. Neuware -The public information available on the Web today is larger than information distributed on any other media. The raw nature of Web content, the unpredictable remote changes that can affect it, the wide variety of formats concerned, and the growth in data-driven websites make the preservation of this material a challenging task, requiring specific monitoring, collecting and preserving strategies, procedures and tools.Julien Masanès, Director of the European Archive, has assembled contributions from computer scientists and librarians that altogether encompass the complete range of tools, tasks and processes needed to successfully preserve the cultural heritage of the Web. His book serves as a standard introduction for everyone involved in keeping alive the immense amount of online information, and it covers issues related to building, using and preserving Web archives both from the computer scientist and librarian viewpoints.Practitioners will find in this book a state-of-the-art overview of methods, tools and standards they need for their activities. Researchers as well as advanced students in computer science will use it as an introduction to this new field with a hopefully stimulating review of open issues where future work is needed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In recent years applied cryptography has developed considerably to satisfy the - creasing security requirements of various information technology disciplines, such as telecommunications, networking, database systems, mobile applications and others. Cryptosystems are inherently computationally complex and in order to satisfy the high throughput requirements of many applications, they are often implemented by means of either VLSI devices (cryptographic accelerators) or highly optimized software routines (cryptographic libraries) and are used via suitable (network) protocols. The sophistication of the underlying cryptographic algorithms, the high complexity of the implementations, and the easy access and low cost of cryptographic devices resulted in increased concerns regarding the reliability and security of crypto-devices. The effectiveness of side channel attacks on cryptographic devices, like timing and power-based attacks, has been known for some time. Several recent investigations have demonstrated the need to develop methodologies and techniques for designing robust cryptographic systems (both hardware and software) to protect them against both accidental faults and maliciously injected faults with the purpose of extracting the secret key. This trend has been particularly motivated by the fact that the equipment needed to carry out a successful side channel attack based on fault injection is easily accessible at a relatively low cost (for example, laser beam technology), and that the skills needed to use it are quite common. The identification of side channel attacks based on fault injections and the development of appropriate counter-measures have therefore become an active field of scientific and industrial research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Buch. Zustand: Neu. Neuware -If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is. ¿John von Neumann While this is a course in analysis, our approach departs from the beaten path in some ways. Firstly, we emphasize a variety of connections to themes from neighboring fields, such as wavelets, fractals and signals; topics typically not included in a gradu ate analysis course. This in turn entails excursions into domains with a probabilistic flavor. Yet the diverse parts of the book follow a common underlying thread, and to gether they constitute a good blend; each part in the mix naturally complements the other. In fact, there are now good reasons for taking a wider view of analysis, for ex ample the fact that several applied trends have come to interact in new and exciting ways with traditional mathematical analysis¿as it was taught in graduate classes for generations. One consequence of these impulses from 'outside' is that conventional boundaries between core disciplines in mathematics have become more blurred. Fortunately this branching out does not mean that students will need to start out with any different or additional prerequisites. In fact, the ideas involved in this book are intuitive, natural, many of them visual, and geometric. The required background is quite minimal and it does not go beyond what is typically required in most graduate programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Here are the proceedings of the 4th International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006. The book presents 14 revised full papers together with 1 invited talk and 6 system demonstrations, addressing major aspects of semantic Web research, namely forms of reasoning with a strong interest in rule-based languages and methods. Coverage includes theoretical work on reasoning methods, concrete reasoning methods and query languages, and practical applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently started workshops: MTCS, RT-TOOLS, and TPTS. The rst three FORMATS conferences were held in Marseille (2003), Grenoble (2004), and Uppsala (2005). Timing aspects of systems have been treated independently in separate s- enti c disciplines, and there is a growing awareness of the di cult problems common to all of them, suggesting the interdisciplinary study of timed systems. The unifying theme underlying all these domains is that they concern systems whose behavior depends upon combinations of logical and temporal constraints, e.g., constraints on the distance between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: ¿ Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di erentmodelsusedbydi erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). ¿ Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc). 388 pp. Englisch.

Buch. Zustand: Neu. Neuware -Coherence is a burgeoning topic of research. Diverse methodologies have been applied to shed light on the topic and its relevance to fundamental questions throughout philosophy. The collection brings together the full scope of this research in a single volume. The first group of essays attack the core topic of the book: coherence. Authors in this section take up the challenging and controversial task of measuring the coherence of an information set, while others criticize this endeavor. The second group of papers in the collection relate this foundational research to a wide array of epistemological and metaphysical challenges. For example, some papers consider the relationship between truth and coherence. Is coherence truth conducive, and if yes, under which conditions A related issue taken up in this volume is the connection between coherence and testimony. Are we justified in believing coherent reports by independent, though only partially reliable witnesses more than a single report If yes, under which conditions does this claim hold true By the end of the book, the reader should have a comprehensive understanding of the topic of coherence, the controversy surrounding it, and its implications across the discipline of philosophy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Buch. Zustand: Neu. Neuware -Interpretations of the past are under constant critical scrutiny in archaeology. In recent decades, theoretical views have profoundly changed the conceptions of both 'the past' and archaeologists' relationship to this object of study. However, our basic excavation and analytical methods have undergone little critical re-evaluation. Often archaeological discussions begin as if 'data' were already established, independent of the research designs and analytical choices that produce them. Interpretation often ends at the lectern, but it has many beginnings within the traditional archaeological process.Exploring how data is generated and interpreted by historical archaeologists, it is at the intersection of 'dirt and discussion'. The cases presented in this volume revisit old methods and previous scholarly approaches with new perspectives, along with incorporating the newest technologies available to understanding the past. Rethinking the classics and engaging with new modes of data creation also generate fresh theoretical approaches.Using their own work as examples, the contributors explore the connections between methodology and interpretation. Between Dirt and Discussion advocates recentering the materials that make archaeology archaeology, in the hopes of reinvigorating dialogues about the historic past, and archaeological contributions to its understanding.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - This book constitutes the refereed proceedings of the 4th International Conference on Sequences and Their Applications, SETA 2006. The book presents 32 revised full papers together with 4 invited lectures. The papers are organized in topical sections on linear complexity of sequences, correlation of sequences, stream ciphers and transforms, topics in complexities of sequences, multi-sequence synthesis, sequences and combinatorics, FCSR sequences, aperiodic correlation and applications, and boolean functions, and more.

Taschenbuch. Zustand: Neu. Neuware -This book documents the rich structure of the holomorphic Q function spaces which are geometric in the sense that they transform naturally under conformal mappings, with particular emphasis on recent development based on interaction between geometric function and measure theory and other branches of mathematical analysis, including potential theory, harmonic analysis, functional analysis, and operator theory. Largely self-contained, the book functions as an instructional and reference work for advanced courses and research in conformal analysis, geometry, and function spaces. Self-contained, the book functions as an instructional and reference work for advanced courses and research in conformal analysis, geometry, and function spaces.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book is an introduction to constructive mathematics with an emphasis on techniques and results obtained in the last twenty years. The text covers fundamental theory of the real line and metric spaces, focusing on locatedness in normed spaces and with associated results about operators and their adjoints on a Hilbert space. The first appendix gathers together some basic notions about sets and orders, the second gives the axioms for intuitionistic logic. No background in intuitionistic logic or constructive analysis is needed in order to read the book, but some familiarity with the classical theories of metric, normed and Hilbert spaces is necessary.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The book is an introductory textbook mainly for students of computer science and mathematics. Our guiding phrase is 'what every theoretical computer scientist should know about linear programming'. A major focus is on applications of linear programming, both in practice and in theory. The book is concise, but at the same time, the main results are covered with complete proofs and in sufficient detail, ready for presentation in class. The book does not require more prerequisites than basic linear algebra, which is summarized in an appendix. One of its main goals is to help the reader to see linear programming 'behind the scenes'.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 226 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - This text offers a contemporary insight into non-medical prescribing initiatives in everyday situations, covering the latest phase in this ever-evolving field of professional practice. With contributors from a variety of health professions, this practical text examines prescribing as it stands now, how it may develop in the future.