springer jun 2007 (519 risultati)

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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.

Taschenbuch. Condizione: 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.

Buch. Condizione: Neu. Neuware -In my last book, Geometry for Computer Graphics, I employed a mixture of algebra and vector analysis to prove many of the equations used in computer graphics. At the time, I did not make any distinction between the two methodologies, but slowly it dawned upon me that I had had to discover, for the first time, how to use vector analysis and associated strategies for solving geometric problems. I suppose that mathematicians are taught this as part of their formal mathematical training, but then, I am not a mathematician! After some deliberation, I decided to write a book that would introduce the beginner to the world of vectors and their application to the geometric problems encountered in computer graphics. I accepted the fact that there would be some duplication of formulas between this and my last book; however, this time I would concentrate on explaining how problems are solved. The book contains eleven chapters: The first chapter distinguishes between scalar and vector quantities, which is reasonably straightforward. The second chapter introduces vector repres- tation, starting with Cartesian coordinates and concluding with the role of direction cosines in changes in axial systems. The third chapter explores how the line equation has a natural vector interpretation and how vector analysis is used to resolve a variety of line-related, geometric problems. Chapter 4 repeats Chapter 3 in the context of the plane.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Buch. Condizione: Neu. Neuware -Formal specification languages, object-oriented methods, CASE tools, component-based software production, agent-oriented, aspect-oriented . During the last two decades many techniques have been proposed from both research and industry in order to generate a correct software product from a higher-level system specification. Nevertheless, the many failures in achieving this goal have resulted in scepticism when facing any new proposal that offers a 'press the button, get all the code' strategy. And now the hype around OMG¿s MDA has given a new push to these strategies.Oscar Pastor and Juan Carlos Molina combine a sound theoretical approach based on more than 10 years¿ research with industrial strength and practical software development experience. They present a software process based on model transformation technology, thus making the statement 'the model is the code' ¿ instead of the common 'the code is the model' ¿ finally come true. They clearly explain which conceptual primitives should be present in a system specification, how to use UML to properly represent this subset of basic conceptual constructs, how to identify just those diagrams and modeling constructs that are actually required to create a meaningful conceptual schema, and, finally, how to accomplish the transformation process between the problem space and the solution space.Their approach is fully supported by commercially available tools, and the subsequent software production process is dramatically more efficient than today¿s conventional software development processes, saving many man-days of work. For software developers and architects, project managers, and people responsible for quality assurance, this book introduces all the relevant information required to understand and put MDA into industrial practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2007, held in Como, Italy in June 2007. It covers managing agile processes, extending agile methodologies, teaching and introducing agile methodologies, methods and tools, empirical studies, and methodology issue.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: 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.

Buch. Condizione: 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. Condizione: 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.

Buch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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.

Buch. Condizione: 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.

Taschenbuch. Condizione: 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. Condizione: 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.

Taschenbuch. Condizione: Neu. Neuware -Understanding the mechanisms involved in life (e. g. , discovering the biological functionofasetofproteins,inferringtheevolutionofasetofspecies)isbecoming increasinglydependent onprogressmade inmathematics,computer science,and molecular engineering. For the past 30 years, new high-throughput technologies have been developed generating large amounts of data, distributed across many data sources on the Web, with a high degree of semantic heterogeneity and di erentlevelsofquality. However,onesuchdatasetisnot,byitself,su cientfor scienti c discovery. Instead, it must be combined with other data and processed by bioinformatics tools for patterns, similarities, and unusual occurrences to be observed. Both data integration and data mining are thus of paramount importance in life science. DILS 2007 was the fourth in a workshop series that aims at fostering d- cussion, exchange, and innovation in research and development in the areas of data integration and data management for the life sciences. Each previous DILS workshop attracted around 100 researchers from all over the world. This year, the number of submitted papers again increased. The Program Committee - lected 19 papers out of 52 full submissions. The DILS 2007 papers cover a wide spectrum of theoretical and practical issues including scienti c work ows, - notation in data integration, mapping and matching techniques, and modeling of life science data. Among the papers, we distinguished 13 papers presenting research on new models, methods, or algorithms and 6 papers presenting imp- mentation of systems or experience with systems in practice. In addition to the presented papers, DILS 2007 featured two keynote talks by Kenneth H. Buetow, National Cancer Institute, and Junhyong Kim, University of Pennsylvania.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Condizione: Neu. Neuware -Since The Theory of the Moiré Phenomenon was published it became the main reference book in its field. It provided for the first time a complete, unified and coherent theoretical approach for the explanation of the moiré phenomenon, starting from the basics of the theory, but also going in depth into more advanced research results. However, it is clear that a single book cannnot cover the full breadth of such a vast subject, and indeed, this original volume admittently concentrated on only some aspects of the moiré theory, while other interesting topics had to be left out. Perhaps the most important area that remained beyond the scope of the original book consists of the moiré effects that occur between correlated random or aperiodic structures. These moiré effects are known as Glass patterns, after Leon Glass who described them in the late 1960s. However, this branch of the moiré theory remained for many years less widely known and less understood than its periodic or repetitive counterpart: Less widely known because moiré effects between aperiodic or random structures are less frequently encountered in everyday¿s life, and less understood because these effects did not easily lend themselves to the same mathematical methods that so nicely explained the classical moiré effects between periodic or repetitive structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Buch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci cation Testing and Veri cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The rst PSTV conference took place in 1981, and the rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26¿29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book provides course material in theoretical physics intended for undergraduate and graduate students specializing in condensed matter. The book derives from teaching activity, offering readable and mathematical treatments explained in sufficient detail to be followed easily. The main emphasis is always on the physical meaning and applicability of the results. Many examples are provided for illustration; these also serve as worked problems.Discussion extends to atomic physics, relativistic quantum mechanics, elementary QED, electron spectroscopy, nonlinear optics, and various aspects of the many-body problem. Methods such as group representation theory, Green¿s functions, the Keldysh formalism and recursion techniques were also imparted.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Buch. Condizione: Neu. Neuware -Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level programming languages. Nowhere else in software engineering have we seen such breathtaking improvements in cost, quality, time to market, and developer productivity, often registering in the order-of-magnitude range. While the underlying concepts are straightforward enough ¿ building a family of related products or systems by planned and careful reuse of a base of generalized software development assets ¿ the devil can be in the details, as successful product line practice can involve organizational change, business process change, and technology change.The authors ideally combine academic research results with industrial real-world experiences, thus presenting a broad view on product line engineering so that both managers and technical specialists will benefit from reading it. After presenting a common framework for the description of the industrial case studies, they capture the wealth of knowledge that eight companies have gathered during the introduction of the software product line engineering approach in their daily practice. After reading this book, you will understand all the relevant aspects, regarding business, architecture, process, and organizational issues, of applying software product line engineering. If you consider using a product line approach in your organization, or if you want to improve your current practices you will find a rich set of useful information at your fingertips ¿ from practitioners to practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the First International Workshop on the Arithmetic of Finite Fields, WAIFI 2007, held in Madrid, Spain in June 2007. It covers structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of mappings over finite fields, curve algebra, cryptography, codes, and discrete structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -BNCOD has, for the past 27 years, provided a forum for researchers world-wide to gather to discuss the topical issues in databaseresearch.As the researchch- lenges have evolved, so BNCOD has changed its topics of interest accordingly, now covering data management more widely. In doing so, it has evolved from a local conference mostly attended by British researchers to a truly international conference that happens to be held in Britain. This year, for instance, sign- cantly less than half of the presentations are from UK or Irish authors, other contributions coming from continental Europe, Asia and the USA. Currently, one of the most pressing challenges is to nd ways of evolving database technology to cope with its new role in underpinning the massively distributed and heterogeneous applications built on top of the Internet. This has a ected both the ways in which data has been accessed and the ways in which it is represented, with XML data management becoming an important issue and, as such, heavily represented at this conference. It has also brought back issues of performance that might have been considered largely solved by the improvements in hardware, since data now has to be managed on devices of low power and small memory as well as on standard client and powerful server machines. We therefore invited papers on all aspects of data management, particularly relatedtohowdataisusedintheubiquitousenvironmentofthemodernInternet bycomplexdistributedandscienti capplications.Ofthe56submissionsfrom14 countriesweselected15fullpapers,3shortpapersand7postersforpresentation, all of which appear in this volume along with 2 invited papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.