berlin springer springer aug 2016 (Oltre 3.100 risultati)

Taschenbuch. Condizione: Neu. Neuware -This is a book of mathematical stories ¿ funny and puzzling mathematical stories. They tell of villains who try to steal secrets, heroes who encode their messages, and mathematicians who spend years on end searching for the best way to pile oranges.There are also stories about highway confusions occurring when the rules of Cartesian geometry are ignored, small-change errors due to ignorance of ancient paradoxes, and mistakes in calendars arising from poor numerical approximations.This book is about the power and beauty of mathematics. It shows mathematics in action, explained in a way that everybody can understand. It is a book for enticing youngsters and inspiring teachers.Nuno Crato is a leading science writer and mathematician, whose entertaining essays have won a number of international awards.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an in-depth discussion of the background behind Petri's best-known contribution to computer science, the Petri net. In this way the book can be read as a first introduction to nets, but it also covers the theoretical, physical and philosophical foundations behind nets, thus facilitating a comprehensive understanding of the wider range of Petri's works. The book is intended for readers with a previous knowledge in computer science, as well as for ¿interested non-professionals¿, who want to get to know a remarkable personality of contemporary science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Neuromedia is an innovative examination of shared territories in neurobiological anatomy, physiology and media art. It reveals how scientists investigate perception and behaviour at the molecular, cellular and systems level. It demonstrates how interpretative forms of media art can help to demystify these complexities for diverse audiences. Under the reflective headings of inspiration, construction, challenges and reactions, it offers deep insights into the processes of art and science production. Assisted by essays from a museum director and an art historian, Neuromedia provides the background for readers about an exhibition of the same name at KULTURAMA in Zurich (2012), and suggests an alternative approach to scientific communication.Authors: Robert Atkins, Oliver Biehlmaier, Mitchel Paul Levesque, Stephan Neuhauss, Rolf Pfeifer, Claudia Rütsche, Jill Scott and Esther StoeckliSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Since human beings have been writing it seems there has been plagiarism. It is not something that sprouted with the advent of the Internet. Teachers have been struggling for years in countries all over the globe to find good methods for dealing with the problem of plagiarizing students. How do we spot plagiarism How do we teach them not to plagiarize And how do we deal with those who have been found out to be plagiarists The purpose of this book is to collect material on the various aspects of plagiarism in education with special attention given to the German problem of dissertation plagiarism. Since there is a wide-spread interest in the German plagiarism situation and in strategies for dealing with it, the book is written in English in order to be accessible to a larger audience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -A companion publication to the international exhibition 'Transcending Tradition: Jewish Mathematicians in German-Speaking Academic Culture', the catalogue explores the working lives and activities of Jewish mathematicians in German-speaking countries during the period between the legal and political emancipation of the Jews in the 19th century and their persecution in Nazi Germany. It highlights the important role Jewish mathematicians played in all areas of mathematical culture during the Wilhelmine Empire and the Weimar Republic, and recalls their emigration, flight or death after 1933.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book offers an introduction to cryptology, the science that makes secure communications possible, and addresses its two complementary aspects: cryptography¿--the art of making secure building blocks¿--and cryptanalysis¿--the art of breaking them. The text describes some of the most important systems in detail, including AES, RSA, group-based and lattice-based cryptography, signatures, hash functions, random generation, and more, providing detailed underpinnings for most of them. With regard to cryptanalysis, it presents a number of basic tools such as the differential and linear methods and lattice attacks.This text, based on lecture notes from the author¿s many courses on the art of cryptography, consists of two interlinked parts. The first, modern part explains some of the basic systems used today and some attacks on them. However, a text on cryptology would not be complete without describing its rich and fascinating history. As such, the colorfully illustrated historical part interspersed throughout the text highlights selected inventions and episodes, providing a glimpse into the past of cryptology.The first sections of this book can be used as a textbook for an introductory course to computer science or mathematics students. Other sections are suitable for advanced undergraduate or graduate courses. Many exercises are included. The emphasis is on providing reasonably complete explanation of the background for some selected systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 888 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Hidden Hunger is an increasing problem even in developed countries, whose potential negative consequences on long-term health are often overlooked and underestimated. Chronic malnutrition is at the core of the global hunger challenge facing science, politics, and economics. In plain language and with moving examples, Hans K. Biesalski describes how hidden hunger affects human health long before malnutrition becomes obvious. Worldwide, over one third of deaths among children under 5 years of age is associated with malnutrition. As poverty is the main reason for hidden hunger, addressing this dire challenge requires long-term policies. Land grabbing and climate change seriously counteract a lot of efforts to overcome hidden hunger. This book is a highly impressive call to action. Investment in agriculture and in particular in small-scale farmers to improve subsistence farming are among the approaches suggested to reach a sustainable solution.The author is head of the department of biochemistry and nutrition and managing director of the Food Security Center at the University of Hohenheim, Germany. He is a member of numerous advisory and expert groups for the World Health Organization (WHO), the Food and Agriculture Organization (FAO) and the Global Forum on Food Security and Nutrition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Institute of Nuclear Medicine, founded in 1961, celebrates with this Festschrift, its Golden Jubilee. It has been a remarkable 50 years of progress of the radionuclide tracer methodology. From initial, physiology based experimentation, a full independent medical discipline evolved, and with it, a comprehensive clinical service. Diagnosis and Treatment with radiotracers have established the basis for Nuclear Medicine. Technological advances have permeated the field like none other, its multidisciplinary character and its translational research are embedded in the history of the Institute and its success. Recent and latest advances in the field promise a future as bright as has been witnessed and documented in the last 50 years.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Condizione: Neu. Neuware -Do we have the right recipes for the world of the future Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the past two decades much has been published on whiplash injury, yet both the confusion regarding the condition and the medicolegal discussion surrounding it have increased. In this scenario, a guide to recent and current international research in the field is more necessary than ever. Especially functional imaging methods ¿ such as single-photon emission tomography, positron emission tomography, functional MRI, and hybrid techniques ¿ have demonstrated a variety of significant brain alterations. This book accordingly offers a critical approach to the challenging interpretation of the new research data obtained using functional neuroimaging in whiplash injury. It covers all aspects, including the imaging tools themselves and the different methods of image analysis. Whiplash Injury: New Methods of Functional Neuroimaging will hopefully help patients, their relatives and friends, physicians, and others to understand this condition as a disease.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 64 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and a proof that it works. Before this proof there was an open problem: can one create an efficient algorithm to solve the computational problem And, finally, behind these questions are the people who are excited about these fundamental issues in our computational world.In this book the authors draw on their outstanding research and teaching experience to showcase some key people and ideas in the domain of theoretical computer science, particularly in computational complexity and algorithms, and related mathematical topics. They show evidence of the considerable scholarship that supports this young field, and they balance an impressive breadth of topics with the depth necessary to reveal the power and the relevance of the work described.Beyond this, the authors discuss the sustained effort of their community, revealing much about the culture of their field. A career in theoretical computer science at the top level is a vocation: the work is hard, and in addition to the obvious requirements such as intellect and training, the vignettes in this book demonstrate the importance of human factors such as personality, instinct, creativity, ambition, tenacity, and luck.The authors' style is characterized by personal observations, enthusiasm, and humor, and this book will be a source of inspiration and guidance for graduate students and researchers engaged with or planning careers in theoretical computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -To examine, analyze, and manipulate a problem to the point of designing an algorithm for solving it is an exercise of fundamental value in many fields. With so many everyday activities governed by algorithmic principles, the power, precision, reliability and speed of execution demanded by users have transformed the design and construction of algorithms from a creative, artisanal activity into a full-fledged science in its own right. This book is aimed at all those who exploit the results of this new science, as designers and as consumers.The first chapter is an overview of the related history, demonstrating the long development of ideas such as recursion and more recent formalizations such as computability. The second chapter shows how the design of algorithms requires appropriate techniques and sophisticated organization of data. In the subsequent chapters the contributing authors present examples from diverse areas ¿ such as routing and networking problems, Web search, information security, auctions and games, complexity and randomness, and the life sciences ¿ that show how algorithmic thinking offers practical solutions and also deepens domain knowledge.The contributing authors are top-class researchers with considerable academic and industrial experience; they are also excellent educators and communicators and they draw on this experience with enthusiasm and humor. This book is an excellent introduction to an intriguing domain and it will be enjoyed by undergraduate and postgraduate students in computer science, engineering, and mathematics, and more broadly by all those engaged with algorithmic thinking.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the past, services had a strong local and national focus. Professional services were very likely to be independently and autonomously organized from country to country in order to cater to local needs and local legal requirements. This has since changed radically, and highly integrated business and delivery models around the globe have become the status quo in clients¿ businesses and strategies. Serving clients on a global level requires professional services firms to adopt a structural change from local to distributed global sales and delivery.This book brings together many years of experience, current perspectives and future ideas of international business practitioners, academics, and market researchers. Along those lines it is structured into four parts. Part I ¿Winning Strategies and Innovative Ideas¿ lays the book¿s foundation: it discusses core strategies behind the globalization movement and introduces the major paradigms and ideas. Part II ¿Successful Processes for Realization¿ provides solutions for how to establish successful processes for delivering global professional services. Part III ¿Inspired Talent Management¿ goes to the core of the professional services industry: attracting, developing, and keeping the right talent in the right locations. Finally, Part IV offers ¿Experiences and Case Studies¿ on all aspects related to successfully building a globalized professional services firm.In short, this handbook provides professional services firms and their clients alike with a sound foundation for responding strategically to fundamental global changes and turning them into business advantages. It offers acomprehensive perspective of why and how to successfully globalize a professional services firm.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In diesem Ratgeber macht Rainer Sachse Ihnen - auf Basis der klärungsorientierten Psychotherapie - Mut, bei Konflikt und Streit privat wie beruflich zu gegenseitigem Verstehen und tragfähigen Kompromissen beizutragen. Konflikte spielen im Leben jedes Menschen eine zentrale Rolle: Sie treten auf zwischen Arbeitskollegen, zwischen Mitarbeiter und Chef, zwischen Freunden, in Familien, in Partnerschaften. Geschrieben für alle, die in Alltag und Beruf Konflikte erleben und sie konstruktiv lösen wollen. Auch für Streitschlichter, Mediatoren, Moderatoren. Aus dem InhaltWas ist ein Konflikt Wie geht man konstruktiv mit Konflikten um Wie löst man Konflikte Wie findet man tragfähige Kompromisse Was können zwei Interaktionspartner tun, um zu einer guten Konfliktbewältigung zu gelangen Und wann hilft ein Moderator Der Autor Prof. Dr. Rainer Sachse ist Psychologischer Psychotherapeut, Begründer der 'Klärungsorientierten Psychotherapie'und Leiter des Instituts für Psychologische Psychotherapie (IPP) in Bochum. Er macht komplexe psychologische Sachverhalte allgemein verständlich und stellt sie humorvoll und einfühlsam dar. 187 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -In diesem Ratgeber macht Rainer Sachse Ihnen - auf Basis der klärungsorientierten Psychotherapie - Mut, bei Konflikt und Streit privat wie beruflich zu gegenseitigem Verstehen und tragfähigen Kompromissen beizutragen. Konflikte spielen im Leben jedes Menschen eine zentrale Rolle: Sie treten auf zwischen Arbeitskollegen, zwischen Mitarbeiter und Chef, zwischen Freunden, in Familien, in Partnerschaften. Geschrieben für alle, die in Alltag und Beruf Konflikte erleben und sie konstruktiv lösen wollen. Auch für Streitschlichter, Mediatoren, Moderatoren. Aus dem InhaltWas ist ein Konflikt Wie geht man konstruktiv mit Konflikten um Wie löst man Konflikte Wie findet man tragfähige Kompromisse Was können zwei Interaktionspartner tun, um zu einer guten Konfliktbewältigung zu gelangen Und wann hilft ein Moderator Der Autor Prof. Dr. Rainer Sachse ist Psychologischer Psychotherapeut, Begründer der 'Klärungsorientierten Psychotherapie'und Leiter des Instituts für Psychologische Psychotherapie (IPP) in Bochum. Er macht komplexe psychologische Sachverhalte allgemein verständlich und stellt sie humorvoll und einfühlsam dar. 187 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Designed to provide tools for independent study, this book contains student-tested mathematical exercises joined with MATLAB programming exercises.Most chapters open with a review followed by theoretical and programming exercises, with detailed solutions provided for all problems including programs. Many of the MATLAB exercises are presented as Russian dolls: each question improves and completes the previous program and results are provided to validate the intermediate programs.The book offers useful MATLAB commands, advice on tables, vectors, matrices and basic commands for plotting. It contains material on eigenvalues and eigenvectors and important norms of vectors and matrices including perturbation theory; iterative methods for solving nonlinear and linear equations; polynomial and piecewise polynomial interpolation; Bézier curves; approximations offunctions and integrals and more. The last two chapters considers ordinary differential equations including two point boundary value problems, and deal with finite difference methods for some partial differential equations.The format is designed to assist students working alone, with concise Review paragraphs,Math Hintfootnotes on the mathematical aspects of a problem andMATLAB Hintfootnotes with tips on programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book provides a historical overview of Chinese economic reform over the past 30 years. From the genesis of the reform to the gradual improvement of the market system, and then to the re-start of the critical stage of the reform, this book includes not only research on the reform process, but also detailed descriptions of the key areas of reform since the Third Plenary Session of the 18th CPC Central Committee. On this basis, the author develops six logics for Chinese economic reform. Firstly, reform is cyclical, moving between rapid advances and deadlock; this calls upon us to re-examine the common view of reform. Secondly, reform is systematic; it cannot succeed without supporting reforms in other fields. Thirdly, the relationship between reform, development and stability should be properly handled. This ¿trinity¿ is quite different from the perspective of western mainstream theory, which puts too much emphasis on efficiency. Fourthly, the success of Chinese reform was not achieved by chance. The reform practice is based on the theoretical logic, and also goes beyond the debate between progressive and radical modes. Fifthly, the Top-level Design should be combined with ¿crossing the river by moving from stone to stone,¿ i.e., the theoretical basis of reform should be combined with reform practice. Sixthly and lastly, the ongoing reform in China must be understood in the contexts of global competition and reform competition.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume presents in-depth insights into the polity, politics and policies of the Brazilian political system. It reassesses the processes of change since the country's return to democracy in the 1980s, in the light of autocratic societal structures and suboptimal institutional design, on the one hand, and the political and economic achievements observed, on the other. In their contributions, top Brazilian and international scholars critically examine the development of the political system with a focus on the Lula and Rousseff administrations, and place their actions and failures in the socio-political and economic context so as to uncover the underlying institutional structures, constellations and diverging interests of actors on various decision-making levels and in different political fields. It is the central aim of this book to present a differentiated portrait of the current political landscape and remaining contradictions in Latin America's largest country.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The book describes the K-Method which has been developed by the authors. The purpose of the K-Method is to negotiate and administrate a complex portfolio of customised materials, all belonging to the same purchasing group (e.g. labels). The underlying idea is to agree prices for specification features, instead of giving each material an individual price based on its unique specification. By doing so, a price formula will be agreed between the buyer and supplier which even defines prices of future materials with any kind of specification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The book addresses different areas of corpus-based translation studies, including corpus-based study of translation features, translator¿s style, norms of translation, translation practice, translator training and interpreting. It beginsby tracing the development of corpus-based translation studies and introducing the compilation of different types of corpora for translation research. The use of corpora in different research areas is then discussed in detail, and the implications and limitations of corpus-based translation studies are addressed. Featuring the use of figures, tables, illustrations and case studies, as well as discussion of methodological issues, the book offers a practical guide to corpus-based translation. It will be of interest to postgraduate students and professionals who are interested in translation studies, interpreting studies or computer-aided translation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book addresses two-person zero-sum finite games in which the payoffs in any situation are expressed with fuzzy numbers. The purpose of this book is to develop a suite of effective and efficient linear programming models and methods for solving matrix games with payoffs in fuzzy numbers. Divided into six chapters, it discusses the concepts of solutions of matrix games with payoffs of intervals, along with their linear programming models and methods. Furthermore, it is directly relevant to the research field of matrix games under uncertain economic management. The book offers a valuable resource for readers involved in theoretical research and practical applications from a range of different fields including game theory, operational research, management science, fuzzy mathematical programming, fuzzy mathematics, industrial engineering, business and social economics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -How should firms¿ control systems be designed and used to formulate and implement strategies that will contribute to competitive advantage and sustained high performance This book offers some thought-provoking suggestions.It contains empirical studies of such diverse manufacturing enterprises as Atlas Copco, Electrolux, Saab, Scania, SCA Packing and Volvo, as well as an insurance company and two chamber orchestras. All firms and organizations presented offer interesting and exciting insights, each in a specific way and each with a fascinating history.The book presents research on the relationship between strategy, control and competitive advantage over extended periods and at several strategic levels, while also taking into account the existence of multiple control systems in a single firm or other organization. Readers are offered an in-depth look into how changes in the environment lead to adjustments in strategies and control systems. It is shown, in addition, how difficult and challenging it can be to implement these changes, and why such efforts are not always successful. But perhaps most importantly, the book conveys an in-depth understanding of how strategies and control systems affect competitive advantage and performance.In both its coverage and focus, the book is unique. Not only does it provide valuable contributions to the research field of strategy and management control; it also represents a substantial commitment in terms of resources and involvement over an extended period.The book is highly recommended to researchers, practitioners, graduate students and all others interested in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Digital government consists in the purposeful use of information and communication technologies (ICT), in particular the internet, to transform the relationship between government and society in a positive manner. This book focuses on the current status, prospects and foundations of digital government. Integrating examples and cases from administrative practice, it covers all important aspects of digital government management. Learning outcomes includeUnderstanding the implications of the internet for government and societyGaining deeper insights into the concept and opportunities of digital democracyUnderstanding the challenges of moving public services onlineSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book primarily discusses what could make the economy remain stable and increase the level of coordination, both on the demand and supply side, a fascinating question for economists. In this context, it systematically analyzes the theory of consumption and production growth. Most of the existing economic growth theories fail to analyze consumption growth. That oversight is remedied here, greatly enhancing the usefulness of economic growth theory. Factors influencing consumption and production at the micro scale provide the foundations of the analyzing frame. An economic system with endogenous technological progress can most likely only be rapidly coordinated under market conditions similar to those in a monopoly competition market. Over the course of the work, readers will discover that there is another way of viewing the economic world which is different from regular textbooks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Economic globalization is a complex phenomenon where the links between social security expenditures and globalization are not well understood so far. This study summarizes new key findings and highlights new theoretical insights in the field of social security systems, labor standards, taxation and economic globalization. Moreover, new thoughts on the links between social security systems and migration as well as between free trade areas and social market economy development are presented. The book analyzes the role of a changing age dependency using a Branson model and it derives implications for the stock market price index, the exchange rate and the interest rate. Economic globalization needs to be politically managed and through the Transatlantic Banking Crisis and the Euro Crisis the need to more carefully draw the rules of the game for financial globalization has been highlighted. Unstable financial markets have a large potential to undermine social market economies and socialsecurity systems. The rising income inequalities within countries raise more policy challenges for Europe than for the US.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Indirect questioning is a crucial topic in surveys of human populations. When the issue is about a stigmatizing characteristic (for example about illegal drug use), standard survey methodologies are destined to fail because, as expected, people are not willing to reveal incriminating information or information violating their privacy. Indirect questioning techniques have been devised so that the privacy of participants in a sample survey is protected and at the same time good estimates of certain parameters (e.g. the percentage of people in a certain community who use illegal drugs) can be delivered. The topic is modern and still under development.Indirect Questioning in Sample Surveys represents a collection of the most important and recent techniques of indirect questioning, including various versions of randomized response, the item count technique, the nominative technique, the three-card method, non-randomized response models and negative surveys, while also exploring the key aspect of protecting privacy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book concerns the Beijing Hutong and changing perceptions of space, of social relations and of self, as processes of urban redevelopment remove Hutong dwellers from their traditional homes to new high-rise apartments. It addresses questions of how space is humanly built and transformed, classified and differentiated, and most importantly how space is perceived and experienced. This study elaborates and expands Lefebvre¿s ¿trialectic¿ of space on a theoretical level. The ethnography presented is a conversation with Tim Ingold¿s argument about ¿empty space¿. This research employs the ethnographic technique of participant-observation to secure a finely textured, detailed and micro-social account of local experience. Then, these micro-social insights are contextualized within macro-social structures of Chinese modernism by speaking to geographical concerns, orientalism and history.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined ¿ ideally there exist complete precise descriptions of the source and target languages, while additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. The implementation of application systems directly in machine language is both difficult and error-prone, leading to programs that become obsolete as quickly as the computers for which they were developed. With the development of higher-level machine-independent programming languages came the need to offer compilers that were able to translate programs into machine language. Given this basic challenge, the different subtasks of compilation have been the subject of intensive research since the 1950s.This book is not intended to be a cookbook for compilers, instead the authors' presentation reflects the special characteristics of compiler design, especially the existence of precise specifications of the subtasks. They invest effort to understand these precisely and to provide adequate concepts for their systematic treatment. This is the first book in a multivolume set, and here the authors describe what a compiler does, i.e., what correspondence it establishes between a source and a target program. To achieve this the authors specify a suitable virtual machine (abstract machine) and exactly describe the compilation of programs of each source language into the language of the associated virtual machine for an imperative, functional, logic and object-oriented programming language.This book is intended for students of computer science. Knowledge of at least one imperative programming language is assumed, while for the chapters on thetranslation of functional and logic programming languages it would be helpful to know a modern functional language and Prolog. The book is supported throughout with examples, exercises and program fragments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book introduces the unusual shock-related mineralogical features of the shocked Suizhou L6 (S5) meteorite. The olivine and pyroxene in Suizhou display a mosaic shock feature, while most of plagioclase grains have transformed to glassy maskelynite. A few of the shock-induced melt veins in the meteorite are the simplest, straightest and thinnest ones among all shock-vein-bearing meteorites, and contain the most abundant high-pressure mineral species. Among the 11 identified species, tuite, xieite, and the post-spinel CF-phase of chromite are new minerals. The meteorite experienced a peak shock pressure up to 24 GPa and temperatures of up to 1000° C. Locally developed shock veins were formed at the same pressure, but at an elevated temperature of about 2000° C that was produced by localized shear-friction stress. The rapid cooling of the extremely thin shock veins is the main reason why 11 shock-induced high-pressure mineral phases could be preserved in them so well. This book offersa helpful guide for meteoritics researchers and mineralogists and invaluable resource for specialists working in high-pressure and high-temperature mineralophysics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book collects new results, concepts and further developments of NMF. The open problems discussed include, e.g. in bioinformatics: NMF and its extensions applied to gene expression, sequence analysis, the functional characterization of genes, clustering and text mining etc. The research results previously scattered in different scientific journals and conference proceedings are methodically collected and presented in a unified form. While readers can read the book chapters sequentially, each chapter is also self-contained. This book can be a good reference work for researchers and engineers interested in NMF, and can also be used as a handbook for students and professionals seeking to gain a better understanding of the latest applications of NMF.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.