springer springer jun 2008 (425 risultati)

Buch. Condizione: Neu. Neuware -Algorithms are at the heart of every nontrivial computer application, and algorithmics is a modern and active area of computer science. Every computer scientist and every professional programmer should know about the basic algorithmic toolbox: structures that allow efficient organization and retrieval of data, frequently used algorithms, and basic techniques for modeling, understanding and solving algorithmic problems. This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical language. Individual chapters cover arrays and linked lists, hash tables and associative arrays, sorting and selection, priority queues, sorted sequences, graph representation, graph traversal, shortest paths, minimum spanning trees, and optimization. The algorithms are presented in a modern way, with explicitly formulated invariants, and comment on recent trends such as algorithm engineering, memory hierarchies, algorithm libraries and certifying algorithms. The authors use pictures, words and high-level pseudocode to explain the algorithms, and then they present more detail on efficient implementations using real programming languages like C++ and Java.The authors have extensive experience teaching these subjects to undergraduates and graduates, and they offer a clear presentation, with examples, pictures, informal explanations, exercises, and some linkage to the real world. Most chapters have the same basic structure: a motivation for the problem, comments on the most important applications, and then simple solutions presented as informally as possible and as formally as necessary. For the more advanced issues, this approach leads to a more mathematical treatment, including some theorems and proofs. Finally, each chapter concludes with a section on further findings, providing views on the state of research, generalizations and advanced solutions. 300 pp. Englisch.

Buch. Condizione: Neu. Neuware -Algorithms are at the heart of every nontrivial computer application, and algorithmics is a modern and active area of computer science. Every computer scientist and every professional programmer should know about the basic algorithmic toolbox: structures that allow efficient organization and retrieval of data, frequently used algorithms, and basic techniques for modeling, understanding and solving algorithmic problems. This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical language. Individual chapters cover arrays and linked lists, hash tables and associative arrays, sorting and selection, priority queues, sorted sequences, graph representation, graph traversal, shortest paths, minimum spanning trees, and optimization. The algorithms are presented in a modern way, with explicitly formulated invariants, and comment on recent trends such as algorithm engineering, memory hierarchies, algorithm libraries and certifying algorithms. The authors use pictures, words and high-level pseudocode to explain the algorithms, and then they present more detail on efficient implementations using real programming languages like C++ and Java.The authors have extensive experience teaching these subjects to undergraduates and graduates, and they offer a clear presentation, with examples, pictures, informal explanations, exercises, and some linkage to the real world. Most chapters have the same basic structure: a motivation for the problem, comments on the most important applications, and then simple solutions presented as informally as possible and as formally as necessary. For the more advanced issues, this approach leads to a more mathematical treatment, including some theorems and proofs. Finally, each chapter concludes with a section on further findings, providing views on the state of research, generalizations and advanced solutions. 300 pp. Englisch.

Buch. Condizione: Neu. Neuware -Algorithms are at the heart of every nontrivial computer application, and algorithmics is a modern and active area of computer science. Every computer scientist and every professional programmer should know about the basic algorithmic toolbox: structures that allow efficient organization and retrieval of data, frequently used algorithms, and basic techniques for modeling, understanding and solving algorithmic problems.

Buch. Condizione: Neu. Neuware -Algorithms are at the heart of every nontrivial computer application, and algorithmics is a modern and active area of computer science. Every computer scientist and every professional programmer should know about the basic algorithmic toolbox: structures that allow efficient organization and retrieval of data, frequently used algorithms, and basic techniques for modeling, understanding and solving algorithmic problems.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Condizione: Neu. Neuware - Algorithms are at the heart of every nontrivial computer application, and algorithmics is a modern and active area of computer science. Every computer scientist and every professional programmer should know about the basic algorithmic toolbox: structures that allow efficient organization and retrieval of data, frequently used algorithms, and basic techniques for modeling, understanding and solving algorithmic problems. This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical language. Individual chapters cover arrays and linked lists, hash tables and associative arrays, sorting and selection, priority queues, sorted sequences, graph representation, graph traversal, shortest paths, minimum spanning trees, and optimization. The algorithms are presented in a modern way, with explicitly formulated invariants, and comment on recent trends such as algorithm engineering, memory hierarchies, algorithm libraries and certifying algorithms. The authors use pictures, words and high-level pseudocode to explain the algorithms, and then they present more detail on efficient implementations using real programming languages like C++ and Java.The authors have extensive experience teaching these subjects to undergraduates and graduates, and they offer a clear presentation, with examples, pictures, informal explanations, exercises, and some linkage to the real world. Most chapters have the same basic structure: a motivation for the problem, comments on the most important applications, and then simple solutions presented as informally as possible and as formally as necessary. For the more advanced issues, this approach leads to a more mathematical treatment, including some theorems and proofs. Finally, each chapter concludes with a section on further findings, providing views on the state of research, generalizations and advanced solutions.

Taschenbuch. Condizione: Neu. Neuware.

Hardback. Condizione: New. 2nd ed. 1998. Corr. 5th printing 2008.

Buch. Condizione: Neu. Neuware -The theme of this book evolved from the idea of linking three concepts around food: traceability, ethics and informed choice. We believe that the current devel- ment and implementation of traceability in the agri-food sector offers an interesting way not only of handling food safety but also of addressing and communicating ethical issues arising from current food production practices. Practices in the agri-food sector worry food consumers (as we all are, since we need to eat and drink to stay alive). But how can consumers act upon their concerns Paradoxically, although consumers are bombarded with information on food - from the media, the food industry, food authorities, NGOs and interest groups - details about how foods are actually produced is often hard to find. Much of the infor- tion available is superficial, conflicting or partial, and it is hard for consumers seeking to mak e informed food choices to know which information to trust. The consumers we interviewed for this project felt that information about food products was withheld and manipulated. Traceability, which provides a record of the history and journey of a given food, and which is increasingly used in the food sector for legal and commercial reasons, has the potential to communicate a more authentic picture of how food is produced. 318 pp. Englisch.

Hardback. Condizione: New. 2nd ed. 1998. Corr. 5th printing 2008.

Buch. Condizione: Neu. Neuware -As an overview of reliability performance and specification in new product development, Product Reliability is suitable for managers responsible for new product development. The methodology for making decisions relating to reliability performance and specification will be of use to engineers involved in product design and development. This book can be used as a text for graduate courses on design, manufacturing, new product development and operations management and in various engineering disciplines. 304 pp. Englisch.

Buch. Condizione: Neu. Neuware - Mechanical engineering, and engineering discipline born of the needs of the industrial revolution, is once again asked to do its substantial share in the call for industrial renewal. The general call is urgent as we face profound issues of productivity and competitiveness that require engineering solutions, among others. The Mechanical Engineering Series is a series featuring graduate texts and research monographs intended to address the need for information in contemporary areas of mechanical engineering. The series is conceived as a comprehensive one that covers a broad range of c- centrations important to mechanical engineering graduate education and research. We are fortunate to have a distinguished roster of series editors, each an expert in one of the areas of concentration. The names of the series editors are listed on page vi of this volume. The areas of concentration are applied mechanics, biomechanics, computational mechanics, dynamic systems and control, energetics, mechanics of materials, processing, thermal science, and tribology. Preface This book is based on my experience with the control systems of antennas and radiotelescopes. Overwhelmingly, it is based on experience with the NASA Deep Space Network (DSN) antennas. It includes modeling the antennas, developing control algorithms, eld testing, system identi cation, performance evaluation, and 1 troubleshooting. My previous book emphasized the theoretical aspects of antenna control engineering, while this one describes the application part of the antenna control engineering.

Buch. Condizione: Neu. Neuware - LÉNA SOLER This volume is a collection of essays devoted to the analysis of scientific change and stability. It represents the most recent thinking on the topic of incommensurability and scientific theory change. It explores the balance and tension that exists between commensurability and continuity (or stabilities) on the one hand, and incommen- rability and discontinuity (or ruptures) on the other. And it discusses some central epistemological consequences regarding the nature of scientific progress, rationality and realism. With respect to these topics, it investigates a number of new avenues and revisits some familiar issues, with a focus on the history and philosophy of physics, in a way that is informed by developments in cognitive sciences as well as the claims of 'New experimentalists'. The essays in this book are fully revised versions of papers which were ori- nally presented at the international colloquium, 'Repenser l'évaluation comparative des théories scientifiques: stabilités, ruptures, incommensurabilités ' organized by Léna Soler and Paul Hoyningen-Huene at the University of Nancy, France, in June 2004. Each paper is followed by a critical comment, which either represents an opposing viewpoint or suggests some developments. The conference was a striking example of the sort of genuine dialogue that can take place between philosophers of science, historians of science and scientists who come from different traditions and endorse opposing commitments. I hope that this is evident in the book too and that it will constitute one of its attractions.

Taschenbuch. Condizione: Neu. Neuware -'Das blaue Buch' - der Psychosen-Ratgeber von Josef Bäuml komplett neu bearbeitetDas Auftreten einer psychotischen Erkrankung führt immer wieder zu Sprachlosigkeit und Verunsicherung. Warum erkrankt jemand überhaupt an Schizophrenie Welche Konsequenzen hat dies für das Leben von Patienten und Angehörigen Welche Therapiemöglichkeiten gibt es Hier finden Sie die Antworten auf alle Ihre drängenden Fragen. Der Ratgeber legt besonderen Wert auf die Erläuterung der medikamentösen Therapie, ihrer Notwendigkeit und ihre Verknüpfung mit anderen Therapien. Einfach und verständlich geschrieben, ist das Buch ein unentbehrlicher Ratgeber für alle, die sich mit dieser Gruppe von Erkrankungen auseinander setzen müssen. Zudem dient er auch als Leitfaden für Gespräche mit professionellen Helfern.Neu in dieser Auflage:Alle wichtigen aktuellen Therapieentwicklungen der letzten JahreÜbersicht über die neuesten Erkenntnisse bezüglich der Ursachen von PsychosenVerständliche Darstellung sämtlicher MedikamentengruppenDer Klassiker unter den Psychiatrie-Ratgebern! 192 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -'Das blaue Buch' - der Psychosen-Ratgeber von Josef Bäuml komplett neu bearbeitetDas Auftreten einer psychotischen Erkrankung führt immer wieder zu Sprachlosigkeit und Verunsicherung. Warum erkrankt jemand überhaupt an Schizophrenie Welche Konsequenzen hat dies für das Leben von Patienten und Angehörigen Welche Therapiemöglichkeiten gibt es Hier finden Sie die Antworten auf alle Ihre drängenden Fragen. Der Ratgeber legt besonderen Wert auf die Erläuterung der medikamentösen Therapie, ihrer Notwendigkeit und ihre Verknüpfung mit anderen Therapien. Einfach und verständlich geschrieben, ist das Buch ein unentbehrlicher Ratgeber für alle, die sich mit dieser Gruppe von Erkrankungen auseinander setzen müssen. Zudem dient er auch als Leitfaden für Gespräche mit professionellen Helfern.Neu in dieser Auflage:Alle wichtigen aktuellen Therapieentwicklungen der letzten JahreÜbersicht über die neuesten Erkenntnisse bezüglich der Ursachen von PsychosenVerständliche Darstellung sämtlicher MedikamentengruppenDer Klassiker unter den Psychiatrie-Ratgebern! 192 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Der Klassiker unter den Psychiatrie-Ratgebern - das 'Blaue Buch'!

Taschenbuch. Condizione: Neu. Neuware -Der Klassiker unter den Psychiatrie-Ratgebern - das 'Blaue Buch'!Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware - 'Das blaue Buch' - der Psychosen-Ratgeber von Josef Bäuml komplett neu bearbeitetDas Auftreten einer psychotischen Erkrankung führt immer wieder zu Sprachlosigkeit und Verunsicherung. Warum erkrankt jemand überhaupt an Schizophrenie Welche Konsequenzen hat dies für das Leben von Patienten und Angehörigen Welche Therapiemöglichkeiten gibt es Hier finden Sie die Antworten auf alle Ihre drängenden Fragen. Der Ratgeber legt besonderen Wert auf die Erläuterung der medikamentösen Therapie, ihrer Notwendigkeit und ihre Verknüpfung mit anderen Therapien. Einfach und verständlich geschrieben, ist das Buch ein unentbehrlicher Ratgeber für alle, die sich mit dieser Gruppe von Erkrankungen auseinander setzen müssen. Zudem dient er auch als Leitfaden für Gespräche mit professionellen Helfern.Neu in dieser Auflage:Alle wichtigen aktuellen Therapieentwicklungen der letzten JahreÜbersicht über die neuesten Erkenntnisse bezüglich der Ursachen von PsychosenVerständliche Darstellung sämtlicher MedikamentengruppenDer Klassiker unter den Psychiatrie-Ratgebern!

Buch. Condizione: Neu. Neuware - Die zuverlässige Versorgung einer hoch technisierten Gesellschaft mit elektrischer Energie ist von enormer Bedeutung. Der Bedarf an unterbrechungsfreiem Strom wächst beständig; gleichzeitig sind Forderungen nach Wirtschaftlichkeit, Effizienz, Kostengerechtigkeit und nicht zuletzt Umweltschutz zu erfüllen.Hinzu kommt, dass grundlegend veränderte rechtliche Rahmenbedingungen in Deutschland und Europa Netzbetreiber vor große Herausforderungen stellen: Die Netze müssen langfristig ausgebaut werden, um einen EU-weiten Strombinnenmarkt gewährleisten zu können. Kurz- bis mittelfristig ist durch Koordination mit anderen Netzbetreibern sicherzustellen, dass trotz neuer Transportfunktionen der Netze gravierende Stromausfälle ausbleiben.Die vorliegende Studie präsentiert das Resultat einer interdisziplinären Forschungsarbeit, die Ursachen von Instabilitäten, wesentlich beeinflusst durch den Trend zu einer weitergehenden Integration der europäischen Stromnetze, untersucht und die Verlässlichkeit der Energieversorgungsnetze reflektiert. Die Studie richtet sich mit konkreten Empfehlungen zu Investitions-, Sicherheits-, Effizienz- und Qualitätsaspekten der elektrischen Netze an Wissenschaft, Wirtschaft, Politik und die interessierte Öffentlichkeit. Ziel ist es, für anstehende politische Entscheidungen sowie administrative und unternehmerische Maßnahmen eine wertvolle Entscheidungsgrundlage zu bieten. So wird durch die fachübergreifende Analyse der netzwirtschaftlichen Pflichten und ihrer Regulierung eine Lücke in der wissenschaftlichen Betrachtung geschlossen und Impulse für die weitere Gestaltung der Elektrizitätsnetzwirtschaft gegeben.

Taschenbuch. Condizione: Neu. Neuware - Der ökonomischen Bewirtschaftung von Ersatzteilen kommt aufgrund des zunehmenden Einsatzes von Anlagen und der Steigerung des dort investierten Kapitals eine wachsende Bedeutung zu. Automatisierung, Mechanisierung und die leistungswirtschaftliche Verflechtung der Anlagen führen bei Betriebsausfällen zu erheblichen Erfolgseinbußen, denen durch eine zweckgerechte Ersatz- bzw. Reserveteillagerung vorgebeugt werden kann. Dieses Buch behandelt das Ersatzteilmanagement aus Verwendersicht. Dabei werden unter Berücksichtigung unterschiedlicher Ziele der Instandhaltung und Materialwirtschaft anhand zahlreicher Beispiele aus Theorie und Praxis Grundlagen und Handlungsanleitungen zu Planung, Beschaffung, Disposition und Organisation des Ersatzteilwesens gegeben. Für den an Detailfragen interessierten Studenten des Wirtschaftsingenieurwesens und den im Bereich des Ersatzteilmanagements tätigen Praktiker ist das Buch gleichermaßen wertvoll. Die zweite Auflage trägt den Weiterentwicklungen im Ersatzteilwesen sowie der Informationstechnologie Rechnung. Die Abschnitte Instandhaltungsstrategien, Beschaffungsprogrammplanung, Ersatzteilbewirtschaftung, Bestandssegmentierung und IT-Unterstützung wurden dem derzeitigen Stand der Wirtschafts- und Betriebswissenschaften angepasst.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Over the last two decades, globalization has had a profound impact on how we view the world and its sustainability. One group of professionals that lies at the heart of sustainability is the engineers. Engineers are trained problem solvers, required to implement technical solutions and are at the forefront of the development of new technologies. Although engineers play a critical role in sustainability, traditional engineering programs typically only focus on the technocentric and ecocentric dimensions of sustainability, providing little training on the sociocentric dimension. With more and more interest in sustainability, it is becoming increasingly important to also provide engineers with an awareness of sociocentric issues and the necessary skills to address them.The aim of this book is to provide engineering educators with a real-life case study that can be brought into existing courses to help bridge the gap between engineering and the global world. The case study focuses on how our engineering study of different natural plant fibers for soil erosion control led us to small villages in Kerala, India, where marginalized women workers often stand waste deep in water several hours a day, clean and beat coconuts by hand, and separate and spin coconut (coir) fibers into yarn by hand, for very low wages. The case study provides insight into the three dimensions of sustainability (technocentric, ecocentric, and sociocentric) and how they come together in a typical engineering problem.Table of Contents: Reinforcing the Classroom / Natural Plant Fibers for Engineering Applications: Technocentric and Ecocentric Dimensions of Sustainability / The Coir Fiber Industry in Kerala, India: Sociocentric Dimension of Sustainability / Case Study / Conclusion / Bibliography 68 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The profession of engineering in the United States has historically served the status quo, feeding an ever-expanding materialistic and militaristic culture, remaining relatively unresponsive to public concerns, and without significant pressure for change from within. This book calls upon engineers to cultivate a passion for social justice and peace and to develop the skill and knowledge set needed to take practical action for change within the profession. Because many engineers do not receive education and training that support the kinds of critical thinking, reflective decision-making, and effective action necessary to achieve social change, engineers concerned with social justice can feel powerless and isolated as they remain complicit. Utilizing techniques from radical pedagogies of liberation and other movements for social justice, this book presents a roadmap for engineers to become empowered and engage one another in a process of learning and action for social justice and peace.Table of contents: What Do we Mean by Social Justice / Mindsets in Engineering / Engineering and Social Injustice / Toward a More Socially Just Engineering / Turning Knowledge into Action: Strategies for Change / Parting Lessons for the Continuing Struggle 164 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this book we explore a sea change occurring in leadership for academic women in the sciences and engineering. Our approach is a two-pronged one: On the one hand, we outline the nature of the changes and their sources, both in various literatures and from program research results. On the other hand, we specify and provide detail about the persistent problems and obstacles that remain as barriers to women's full participation in academic science and engineering, their career advancement and success, and, most important, their role as leaders in making change. At the heart of this book is our goal to give some shape to the research, practice, and programs developed by women academic leaders making institutional change in the sciences and engineering.Table of Contents: Women in a New Era of Academic Leadership / Background: Academic Leadership for Women in Science and Engineering / Gender and Leadership: Theories and Applications / Women in Engineering Leadership Institute: Critical Issues for Women Academic Engineers as Leaders / From Success Stories to Success Strategies: Leadership for Promoting Diversity in Academic Science and Engineering / Conclusion 116 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Game theory is the mathematical study of interaction among independent, self-interested agents. The audience for game theory has grown dramatically in recent years, and now spans disciplines as diverse as political science, biology, psychology, economics, linguistics, sociology, and computer science, among others. What has been missing is a relatively short introduction to the field covering the common basis that anyone with a professional interest in game theory is likely to require. Such a text would minimize notation, ruthlessly focus on essentials, and yet not sacrifice rigor. This Synthesis Lecture aims to fill this gap by providing a concise and accessible introduction to the field. It covers the main classes of games, their representations, and the main concepts used to analyze them. 108 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents first-year calculus roughly in the order in which it was first discovered. The first two chapters show how the ancient calculations of practical problems led to infinite series, differential and integral calculus and to differential equations. The establishment of mathematical rigour for these subjects in the 19th century for one and several variables is treated in chapters III and IV. Many quotations are included to give the flavor of the history. The text is complemented by a large number of examples, calculations and mathematical pictures and will provide stimulating and enjoyable reading for students, teachers, as well as researchers. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is concerned with the study of continuum mechanics applied to biological systems, i.e., continuum biomechanics. This vast and exciting subject allows description of when a bone may fracture due to excessive loading, how blood behaves as both a solid and fluid, down to how cells respond to mechanical forces that lead to changes in their behavior, a process known as mechanotransduction. We have written for senior undergraduate students and first year graduate students in mechanical or biomedical engineering, but individuals working at biotechnology companies that deal in biomaterials or biomechanics should also find the information presented relevant and easily accessible. Table of Contents: Tensor Calculus / Kinematics of a Continuum / Stress / Elasticity / Fluids / Blood and Circulation / Viscoelasticity / Poroelasticity and Thermoelasticity / Biphasic Theory 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Queueing networks constitute a large family of stochastic models, involving jobs that enter a network, compete for service, and eventually leave the network upon completion of service. Since the early 1990s, substantial attention has been devoted to the question of when such networks are stable. This volume presents a summary of such work. Emphasis is placed on the use of fluid models in showing stability, and on examples of queueing networks that are unstable even when the arrival rate is less than the service rate.The material of this volume is based on a series of nine lectures given at the Saint-Flour Probability Summer School 2006. Lectures were also given by Alice Guionnet and Steffen Lauritzen. 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The problem of solving nonlinear equations and systems of equations ranks among the most signi cant in the theory and practice, not only of applied mathematicsbutalsoofmanybranchesofengineeringsciences,physics,c- puter science, astronomy, nance, and so on. A glance at the bibliography and the list of great mathematicians who have worked on this topic points to a high level of contemporary interest. Although the rapid development of digital computers led to the e ective implementation of many numerical methods, in practical realization, it is necessary to solve various problems such as computational e ciency based on the total central processor unit time, the construction of iterative methods which possess a fast convergence in the presence of multiplicity (or clusters) of a desired solution, the control of rounding errors, information about error bounds of obtained approximate solution, stating computationally veri able initial conditions that ensure a safe convergence, etc. It is the solution of these challenging problems that was the principal motivation for the present study. In this book, we are mainly concerned with the statement and study of initial conditions that provide the guaranteed convergence of an iterative method for solving equations of the form f(z) = 0. The traditional approach to this problem is mainly based on asymptotic convergence analysis using some strong hypotheses on di erentiability and derivative bounds in a rather wide domain. 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the last few years, power dissipation has become an important design constraint, on par with performance, in the design of new computer systems. Whereas in the past, the primary job of the computer architect was to translate improvements in operating frequency and transistor count into performance, now power efficiency must be taken into account at every step of the design process. While for some time, architects have been successful in delivering 40% to 50% annual improvement in processor performance, costs that were previously brushed aside eventually caught up. The most critical of these costs is the inexorable increase in power dissipation and power density in processors. Power dissipation issues have catalyzed new topic areas in computer architecture, resulting in a substantial body of work on more power-efficient architectures. Power dissipation coupled with diminishing performance gains, was also the main cause for the switch from single-core to multi-core architectures and a slowdown in frequency increase. This book aims to document some of the most important architectural techniques that were invented, proposed, and applied to reduce both dynamic power and static power dissipation in processors and memory hierarchies. A significant number of techniques have been proposed for a wide range of situations and this book synthesizes those techniques by focusing on their common characteristics. Table of Contents: Introduction / Modeling, Simulation, and Measurement / Using Voltage and Frequency Adjustments to Manage Dynamic Power / Optimizing Capacitance and Switching Activity to Reduce Dynamic Power / Managing Static (Leakage) Power / Conclusions 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks at the symposium '25 Years of Model Checking', 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006) held in Seattle, WA, USA, in August 2006.Model checking is currently attracting considerable attention beyond the core technical community, and the ACM Turing Award 2007 was given in recognition of the paradigm-shifting work on this topic initiated a quarter century ago. Here we honor that achievement with the inclusion of facsimile reprints of the visionary papers on model checking by Edmund Clarke and Allen Emerson, and by Jean-Pierre Queille and Joseph Sifakis. 248 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Based on primary source research, this is the most comprehensive history of the Victoria Cross available, tracing the evolution of the award from its inception in 1856 to the most recent bestowals. The study also examines the evolution of the concept of heroism and how the definition of heroism changed along with the nature of warfare. 281 pp. Englisch.