Springer springer jun 2005 (313 résultats)

Taschenbuch. Etat : Neu. Neuware -Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.…

Buch. Etat : Neu. Neuware - Many current texts in the area are just cookbooks and, as a result, students do not know why they perform the methods they are taught, or why the methods work. The strength of this book is that it readdresses these shortcomings; by using examples, often from real life and using real data, the authors show how the fundamentals of probabilistic and statistical theories arise intuitively.A Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to students. In addition there are over 350 exercises, half of which have answers, of which half have full solutions. A website gives access to the data files used in the text, and, for instructors, the remaining solutions. The only pre-requisite is a first course in calculus; the text covers standard statistics and probability material, and develops beyond traditional parametric models to the Poisson process, and on to modern methods such as the bootstrap.…

Taschenbuch. Etat : Neu. Neuware - Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.…

Taschenbuch. Etat : Neu. Neuware - MARSWALK ONE: First Steps on a New Planet addresses the question of why we should embark on a journey to Mars, documenting what the first human crew will do when they place their feet in the red dust of the planet. The book also addresses why we need to carry out these tasks and, more importantly, what a human crew could achieve that an automated mission could not. Understanding the clear benefits of sending a human crew to the surface of Mars, and how these benefits can be seen back on Earth, is the key to sustained long-term public and political support for the programme in terms of cash and commitment.The book accepts that the journey will be made, but does not specify precisely when. Flight time, and how to get to and from the planet are discussed briefly, to understand why the suggested duration spent at Mars is reasonable.The main objective of the work is to look at what science will be done on the surface - supported by orbital operations - and what hardware and technology will be employed to achieve the mission objectives. This analysis is drawn from previous experiences in manned and unmanned space programmes, including Apollo, Skylab, Salyut/Mir, Shuttle and ISS, Viking, Luna/Lunokhod, and recent Mars missions such as Pathfinder and Global Surveyor.In addition, new interviews with key personalities involved in planning Martian exploration, and discussions about current thoughts on what we need to accomplish on Mars when we get there, will provide a lively and thought provoking account that could generate fresh debate.When the decision is finally made to go to Mars, it will be made in the knowledge that most of the world knows why we are going and what benefits mankind will see for the effort. The authors' primary objective is to begin this understanding.…

Taschenbuch. Etat : Neu. Neuware -Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing. 652 pp. Englisch.…

Taschenbuch. Etat : Neu. Neuware - As everyone knows, intuition is warm and fuzzy, qualitative, not measurable. Economics, on the other hand, is quantitative, and if it is not a hard science, at least it is the 'queen of the social sciences.' It is, therefore, intuitively obvious, that intuition and economics are as if oil and water. The problem is, what is intuitively obvious is not always correct. And, there are two major reasons why intuition and economics are not like oil and water. First, economics concerns itself with decision making, and decisions are made in the brain. The human brain is the size of a grapefruit, weighing three pounds with approximately 180 billion neurons, each physically independent but interacting with the other neurons. What we call intuition is, like decision making, a natural information processing function of the brain. Second, despite the current emphasis on quantitative analysis and deductive logic there is a rich history of economists speaking about intuition. First, the human brain, specifically the neocortex, has a left and right hemisphere. The specialized analytical style of the left hemisphere and the specialized intuitive style of the right hemispheres complement each other.…

Buch. Etat : Neu. Neuware - Humans contain more than 20 Rho type GTPases. This volume not only presents a detailed phylogenetic analysis of Rho proteins, but also discusses the possible origins of the human members. Such an analysis of human Rho GTPases has not previously been attempted.The book includes an overview of how Rho GTPases become activated which is complemented by an extensive Chapter by Darerca Owen and Helen Mott who unravel the beautiful molecular details given to us by the many structural studies of Rho GTPases.The key areas currently being investigated in relation to these ubiquitous proteins are described for both in vitro and in vivo systems. These are presented in a format that ensures the reader can approach the topic with minimal background knowledge, while ultimately bringing the subject to the level of an expert. Timely and highly authoritative, this volume illuminates newer findings, particularly as they relate to Rho proteins in vertebrate biology.…

Buch. Etat : Neu. Neuware - The application of fractals in the engineering sciences is evolving swiftly and the editors have turned to Springer for the third time to bring you the latest research emerging from the rapid growth in techniques available for the employment of the ideas of fractals and complexity to a variety of disciplines in and associated with the engineering field. The strong potential of this research can be seen in real industrial situations with recent progress being made in areas such as chemical engineering, internet traffic, physics and finance. Image processing continues to be a major field of application for fractal analysis and is well-represented here.It is important to note that the applications models are presented with a firm basis in theoretical argument, the qualitative observation of fractal phenomena no longer being sufficient.Consisting of papers written by a world-wide pool of experts, the multidisciplinary approach of this third volume will be of particular interest to industrial researchers and practitioners as well as to academics from many backgrounds.Fractals in Engineering: New Trends in Theory and Applications continues the publication of engineering-related research in fractal techniques begun in Fractals in Engineering and Fractals: Theory and Applications in Engineering (Springer London 1997 and 1999).…

Buch. Etat : Neu. Neuware - AD HOC NETWORKS: Technologies and Protocols is a concise in-depth treatment of various constituent components of ad hoc network protocols. It reviews issues related to medium access control, scalable routing, group communications, use of directional/smart antennas, network security, and power management among other topics. The authors examine various technologies that may aid ad hoc networking including the presence of an ability to tune transmission power levels or the deployment of sophisticated smart antennae. Contributors to this volume include experts that have been active in ad hoc network research and have published in the premier conferences and journals in this subject area.AD HOC NETWORKS: Protocols and Technologies will be immensely useful as a reference work to engineers and researchers as well as to advanced level students in the areas of wireless networks, and computer networks. …

Buch. Etat : Neu. Neuware - Several years ago, when the discovery of catalytic RNA was recognized in a public manner,many people asked if new elds of therapy would soon be available. Although some tentative positive answers were given,nobody would say with certainty that RNA of various kinds was a truly promising means of altering gene expression. In fact,over the past decade,both our knowledge of RNAs with different functions and the utility of RNA in the inhibition or enhancement of gene expression have occurred with great drama. We proceeded in terms of possible therapeutic tools from RNase P and group I introns through hammerhead RNA enzymes, antisense technology, and more recently, to RNAi and its derivatives. A useful practical method of RNA delivery in animals will complete the picture. The diversity of RNA and the varied role of it inside cells and in therapy should be a tremendous challenge for young molecular biologists. This volume will make their task easier. Sidney Altman Sterling Professor of Molecular,Cellular & Devel- mental Biology,Nobel Laureate Department of Molecular,Cellular and Developm- tal Biology Yale University V NGTPR 4/23/05 1:00 PM Page VI VI Foreword Delivery of nucleic acids to cells in an animal remains a challenging problem. It is the major obstacle to success of therapeutic approaches using genes and oli- nucleotides,including siRNAs. Solutions found so far by chemists are satisfactory only for transfection of cells in culture.…

Buch. Etat : Neu. Neuware - Around the world there is an increasing interest in issues of small business and entrepreneurship. In a time with a lot of myths and opinions of the role of entrepreneurs and small business it is vital for a book like this to encapsulate the knowledge that can be gained from the most significant research contributions in the field. Such knowledge is often build upon empirical oriented methods providing policy relevant results for small business owners and entrepreneurs.The aim of Pioneers in Entrepreneurship and Small Business Research is first to provide a historical-doctrinal review of the development of entrepreneurship and small business research and, second, to present some of the key pioneers that have shaped the research field during the past three decades. The book focuses on the first recipients of the FSF-NUTEK International Award for Small Business Research including David Birch, Arnold Cooper, David Storey, Ian MacMillan, Howard Aldrich, Zoltan Acs, David Audretsch, and Giacomo Becattini.…

Buch. Etat : Neu. Neuware - The idea of preparing a new critical edition of Elisha Bartlett's Essay on the Philosophy of Medical Science was suggested to me several years ago by Dr. H. Tristram Engelhardt, Jr. Since that time it has been a pleasure to get to know the life and work of Elisha Bartlett. I am pleased to be completing this book in the bicentennial year of Bartlett's birth. Bartlett was born in 1804 in Smithfield, Rhode Island, less than twenty-five miles from Worcester, Massachusetts, my present home-a short journey even in Bartlett's day. I have been able to walk at some of the sites to which Bartlett continually returned during his life. Visiting Bartlett's grave in the Slatersville cemetery has been an inspiration for the preparation of this book. Proximity to several institutions with rich holdings in Bartlett's works and in nineteenth-century American history of medicine greatly facilitated my research. First, though, I want to acknowledge the College of the Holy Cross for supporting my sabbatical leave for the academic year 2003-2004. The American Antiquarian Society, in Worcester, Massachusetts, was generous in giving me access to its remarkable resources. I was able to find many of Bartlett's published works and other nineteenth-century medical literature there, and the entire library staff provided quick and able research assistance.…

Buch. Etat : Neu. Neuware - Substantialfundamental workhas been undertaken inthe different aspects of impact biomechanics over the past three decades. Much of this has been motivated and undertaken bythe automotive industry intheirefforts to improve transport safety. More recently, however, it has become app- ent that themultidisciplinary synergies which are realisedby interactions between engineers, scientists and clinical practitioners will ultimately lead to a greater understanding of the complex interacting phenomena withinthe human bodyafter it has sustained an impact. In turn, this greater depth of knowledge will provide more fundamentalinsights into the analysis, d- gnosis, treatment and prevention ofimpact injuries across a broader sp- trum of accident environments. Thescienti c focus of this IUTAM symposium istoaddress those t- ics that are centrally important to the biomechanics ofimpact. These can be groupedinto those that are concerned with the different causes of - cidents (e. g. , transport, occupational and sports injuries), themechanics - volvedinaccident analysis (e. g. , accident investigation, computational m- elling techniques), the different types of resulting traumatic injuries (incl- ing musculoskeletal, organ, spinal and head injuries), methods of asse- ing the extent of injury (e. g. , injury assessment, injury criteria, constitutive laws for human tissue), and providing protection during an impact (e. g. , injury prevention, energy absorption materials, and safety devices).…

Buch. Etat : Neu. Neuware - The majority of studies on the quality of life have been conducted in Western contexts and are based on Western participants. Comparatively speaking, there are only a few studies that have been conducted in different Chinese contexts. Also, there are fewer QOL studies based on children and adolescents, or studies that examine the relationship between QOL and economic disadvantage. In addition, more research is needed to address the methodological issues related to the assessment of quality of life.This volume is a constructive response to the challenges described above. It is the first book to cover research in Chinese, Western and global contexts in a single volume. It is a ground-breaking volume in which Chinese studies on the quality of life are collected. The book includes papers addressing family QOL, quality of life in adolescents experiencing economic disadvantage, and methodological issues in the assessment of QOL. It is written by researchers working in a variety of disciplines.…

Buch. Etat : Neu. Neuware - Samuel A. Tisherman, MD', Fritz Sterz, MD~ '~niversit~ of Pittsburgh, Pittsburgh, PA, USA 2~edical University of Vienna, Vienna, Austria The use of hypothermia for a variety of therapeutic purposes has a long and erratic history. Hippocrates recommended the use of topical cooling to stop bleeding. Fay used cooling of the extremities for patients with tumors in the 1930s. It wasn't until the 1950s, when the effects of hypothermia on systemic oxygen metabolism became better defined, that systemic hypothermia became a commonly used modality, particularly for cardiac surgery. Hypothermia was used for protection (treatment before the insult) and preservation (treatment during the insult) of the heart and entire organism during planned operative ischemia. Shortly thereafter, attempts were made to use hypothermia for resuscitation (treatment after the insult) from cardiac arrest and for management of head trauma. At that time, it was felt that moderate hypothermia (28-32OC) was needed. This was difficult to achieve and manage. Multiple complications were noted. Consequently, therapeutic, resuscitative hypothermia lay dormant for many years while mild (32-35°C) to moderate hypothermia became common for many cardiothoracic and neurosurgical procedures. In the early 1990s, it was found that mild hypothermia, even after cardiac arrest, had benefit for the brain. Similar results were found with head trauma. This lead to a burst of enthusiasm for research into resuscitative hypothermia for a variety of insults, most of which have tissue ischemia as a major component.…

Buch. Etat : Neu. Neuware - Information Processing and Security Systems is a collection of forty papers that were originally presented at an international multi-conference on Advanced Computer Systems (ACS) and Computer Information Systems and Industrial Management Applications (CISIM) held in Elk, Poland. This volume describes the latest developments in advanced computer systems and their applications within artificial intelligence, biometrics and information technology security. The volume also includes contributions on computational methods, algorithms and applications, computational science, education and industrial management applications. …

Buch. Etat : Neu. Neuware - Modern industry imposes ever increasing requirements upon tools and tool materials as to the provision for performance under the conditions of high cutting speeds and dynamic loads as well as under intensive thermal and chemical interactions with workpiece materials. The industry demands a higher productivity in combination with the accuracy of geometry and dimensions of workpieces and quality of working surfaces of the machined pieces. These requirements are best met by the tool superhard materials (diamond and diamond-like cubic boron nitride). Ceramics based on silicon carbide, aluminum and boron oxides as well as on titanium, silicon and aluminum nitrides offer promise as tool materials. Tungsten-containing cemented carbides are still considered as suitable tool materials. Hi- hardness and high strength composites based on the above materials fit all the requirements imposed by machining jobs when manufacturing elements of machinery, in particular those operating under the extreme conditions of high temperatures and loads. These elements are produced of difficult-- machine high-alloy steels, nickel refractory alloys, high-tech ceramics, materials with metallic and non-metallic coatings having improved wear resistance, as well as of special polymeric and glass-ceramic materials. Materials science at high pressure deals with the use of high-pressure techniques for the development and production of unique materials whose preparation at ambient pressure is impossible (e. g. , diamond, cubic boron nitride, etc. ) or of materials with properties exceeding those of materials produced at ambient pressure (e. g. , high-temperature superconductors).…

Kombiprodukt. Etat : Neu. Neuware - Starbursts are important features of early galaxy evolution. Many of the distant, high-redshift galaxies we are able to detect are in a starbursting phase, often apparently provoked by a violent gravitational interaction with another galaxy. In fact, if we did not know that major starbursts existed, these conference proceedings testify that we would indeed have difficulties explaining the key properties of the Universe! These conference proceedings cover starbursts from the small-scale star-forming regions in nearby galaxies to galaxy-wide events at high redshifts; one of the major themes of the conference proved to be 'scalability', i.e., can we scale up the small-scale events to describe the physics on larger scales. The key outcome of this meeting and these proceedings is a resounding 'yes' to this fundamental, yet profound question. The enhanced synergy facilitated by the collaboration among observers using cutting-edge ground and space-based facilities, theorists and modellers has made these proceedings a true reflection of the state ofthe art in this very rapidly evolving field.…

Buch. Etat : Neu. Neuware - The morphology that results during the growth of a material on the substrate of a different material is central to the fabrication of all quantum heterostructures. This morphology is determined by several factors, including the manner in which strain is accommodated if the materials have different lattice constants. One of the most topical manifestations of lattice mis t is the formation of coherent thr- dimensional(3D)islandsduringtheStranski Krastanovgrowthofahighly-strained system. The prototypical cases are InAs on GaAs(001) and Ge on Si(001), though other materials combinations also exhibit this phenomenon. When the 3D islands are embedded within epitaxiallayers of a material that has a wider band gap,the carriers within the islands are con ned by the potential barriers that surround each island, forming an array of quantum dots (QDs). Such structures have been produced for both basic physics studies and device fab- cation, including QD lasers and light-emitting diodes (LEDs) operating at the c- mercially important wavelengths of 1.3 µ m and 1.55 µ m. On a more speculative level, QD ensembles have been suggested as a possible pathway for the solid-state implementation of a quantum computer. Although some of the principles of qu- tum computing have been veri ed by other means, the practical utilization of this new computingparadigmmay warrant some sort of solid state architecture. QDs are seen as possible components of such a computer, as evidenced by a number of papersappearingintheliteratureproposingQD-basedarchitecturesandworkshops that are being organized to explore these possibilities.…

Buch. Etat : Neu. Neuware -Psychopathie ist eine Persönlichkeitsstörung, die durch eine ausgeprägte Kombination von Verhaltensweisen und daraus gefolgerten Charaktereigenschaften definiert wird. Die meisten dieser Eigenschaften werden von der Gesellschaft als negativ angesehen; daher ist es keine Bagatelle, jemanden als Psychopathen zu diagnostizieren. Wie bei jeder psychiatrischen Störung basiert die Diagnose auf zusammengetragenen Indizien dafür, dass eine Person zumindest die Minimalkriterien der Persönlichkeitsstörung erfüllt. Bei Fällen aus meinen eigenen Akten sind die jeweiligen Personen sorgfältig auf der Basis umfangreicher Informationen aus Interviews und den Akten diagnostiziert worden. Allerdings habe ich diese Personen durch die Veränderung von Einzelheiten und das Entfernen von Identifikationsmerkmalen unkenntlich gemacht, ohne jedoch die zu treffende Aussage zu verfälschen. Wenn auch das Thema dieses Buches Psychopathie ist, so sind doch nicht alle hier beschriebenen Personen Psychopathen. Viele der verwendeten Beispiele stammen aus öffentlich zugänglichen Berichten, den Nachrichtenmedien und persönlichen Gesprächen, und ich kann nicht sicher sein, dass die jeweils in Frage stehenden Personen Psychopathen sind, selbst wenn sie von anderen so bezeichnet worden sind. In jedem Falle stehen aber die belegten Aussagen über einen Verhaltensaspekt der jeweiligen Person mit dem Konzept der Psychopathie in Einklang, oder sie illustrieren einen für die Persönlichkeitsstörung zentralen Charakterzug oder ein typisches Verhalten. Solche Personen könnten Psychopathen sein oder auch nicht. Aber die Berichte über ihr Verhalten sind ein nützliches Vehikel, um die verschiedenen Eigenschaften und Verhaltensweisen zu erörtern, die Psychopathie definieren. 232 pp. Deutsch.…

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Psychopathie ist eine Persönlichkeitsstörung, die durch eine ausgeprägte Kombination von Verhaltensweisen und daraus gefolgerten Charaktereigenschaften definiert wird. Die meisten dieser Eigenschaften werden von der Gesellschaft als negativ angesehen; daher ist es keine Bagatelle, jemanden als Psychopathen zu diagnostizieren. Wie bei jeder psychiatrischen Störung basiert die Diagnose auf zusammengetragenen Indizien dafür, dass eine Person zumindest die Minimalkriterien der Persönlichkeitsstörung erfüllt. Bei Fällen aus meinen eigenen Akten sind die jeweiligen Personen sorgfältig auf der Basis umfangreicher Informationen aus Interviews und den Akten diagnostiziert worden. Allerdings habe ich diese Personen durch die Veränderung von Einzelheiten und das Entfernen von Identifikationsmerkmalen unkenntlich gemacht, ohne jedoch die zu treffende Aussage zu verfälschen. Wenn auch das Thema dieses Buches Psychopathie ist, so sind doch nicht alle hier beschriebenen Personen Psychopathen. Viele der verwendeten Beispiele stammen aus öffentlich zugänglichen Berichten, den Nachrichtenmedien und persönlichen Gesprächen, und ich kann nicht sicher sein, dass die jeweils in Frage stehenden Personen Psychopathen sind, selbst wenn sie von anderen so bezeichnet worden sind. In jedem Falle stehen aber die belegten Aussagen über einen Verhaltensaspekt der jeweiligen Person mit dem Konzept der Psychopathie in Einklang, oder sie illustrieren einen für die Persönlichkeitsstörung zentralen Charakterzug oder ein typisches Verhalten. Solche Personen könnten Psychopathen sein oder auch nicht. Aber die Berichte über ihr Verhalten sind ein nützliches Vehikel, um die verschiedenen Eigenschaften und Verhaltensweisen zu erörtern, die Psychopathie definieren.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Provide the reader with everything he needs to know about what to observe, and using some of today's state-of-the-art technique and commercial equipment, how to get superb views of faint and distant astronomical objects.Only guide to live observation of deep space, utilizing modern image enhancement techniques (image intensifiers and CCD video monitors) Detailed information supplied on the image intensifiers and CCD video monitors Explains how to select and prepare sites for live viewing. 192 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Automatic person authentication, the identification and verification of an individual as such, has increasingly been acknowledged as a significant aspect of various security applications. Various recognition and identification systems have been based on biometrics utilizing biometric features such as fingerprint, face, retina scans, iris patterns, hand geometry, DNA traces, gait, and others.This book originates from an international summer school on biometrics, held in Alghero, Italy, in June 2003. The seven revised tutorial lectures by leading researchers introduce the reader to biometrics-based person authentication, fingerprint recognition, gait recognition, various aspects of face recognition and face detection, topologies for biometric recognition, and hand detection. Also included are the four best selected student papers, all dealing with face recognition. 176 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hosts the Depa- ment of Computer Science of the local university, whose Real-Time Group has been tremendously in uential in shaping the Ada language and in the progress on real-time computing worldwide. This year's conference was therefore put together under exc- lent auspices, in a very important year for the Ada community in view of the forthc- ing completion of the revision process that is upgrading the language standard to face the challenges of the new millennium. The conference took place on June 20-24, 2005. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. The conference was organized by selected staff of the University of York teamed up with collaborators from various places in Europe, in what turned out to be a very effective instance of distributed collaborative processing. The conference also enjoyed the generous support of 11 industrial sponsors. 296 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Extreme Programming has come a long way since its rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstream, and at the end of last year we saw the second edition of Kent Beck's book on Extreme Programming, containing a major refactoring of XP. This year, the 6th International Conference on Extreme Programming and Agile Processes in Software Engineering took place June 18-23 in She eld. As in the yearsbefore, XP 2005provideda unique forum for industry and academic professionals to discuss their needs and ideas on Extreme Programming and - ile methodologies. These proceedings re ect the activities during the conference which ranged from presentation of research papers, invited talks, posters and demonstrations, panels and activity sessions, to tutorials and workshops. - cluded are also papers from the Ph.D. and Master's Symposium which provided a forum for young researchers to present their results and to get feedback. Asvariedastheactivities werethe topicsofthe conferencewhichcoveredthe presentationofnewandimprovedpractices,empiricalstudies,experiencereports and case studies, and last but not least the social aspects of agile methods. The papers and the activities went through a rigorous reviewing process. Each paper was reviewed by at least three Program Committee members and wasdiscussedcarefullyamongtheProgramCommittee.Of62paperssubmitted, only 22 were accepted as full papers. 352 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Provides a wide range of mathematical models currently used in the life sciencesEach model is thoroughly explained and illustrated by exampleIncludes three appendices to allow for independent reading 180 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing. 652 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing. 652 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The purpose of this book is to call for a wholesale rethinking of the way that markets treat both the labour and natural resources on which we all depend. It reveals how economic analysis justifies self-defeating policies that encourage wanton use of the environment and callous abuse of the least advantaged labourers. From Adam Smith to the present day, economic theory has short-changed the workers most crucial to the functioning of human life and offered skewed views of scarcity and extraction. Perelman will show how this approach has produced a discipline in which its followers' models and representations of the world around them are so removed from reality that continuing to abide by them would jeopardize both human capabilities and nature itself. 217 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The contributors to this volume reference a shared, longitudinal corpus of spontaneous conversation elicited in natural settings from speakers with moderate to late moderate Alzheimer's Disease, utilizing other collections as appropriate, to analyze conversation, discourse and written text by and about Alzheimer's speech. Cross-disciplinary contributions from the USA, Canada, New Zealand and Germany, representing linguistics, gerontology, geriatric nursing, computer science, and communications disorders report on empirically-based investigations of social and pragmatic language competencies and strategies retained by AD patients which could ground communication enhancements or interventions. 254 pp. Englisch.…