springer okt 2003 (555 resultados)

Taschenbuch. Condición: Neu. Neuware -Questo libro ha lo scopo di familiarizzare gli studenti con aspetti anche abbastanza moderni della teoria dei sistemi dinamici facendo quasi del tutto a meno dell'apparato matematico di analisi, algebra e geometria. L'uso della simulazione numerica al calcolatore, sempre più importante nello studio dei sistemi dinamici, costituisce parte integrante di questo processo. Oltre ad abituare fin da subito gli studenti a mettere le mani sul calcolo scientifico, si mira a far sì che la presentazione di questi argomenti possa contribuire a due ulteriori processi formativi di sicuro valore: da una parte, vedere nascere in modo quasi spontaneo concetti matematici profondi e sottili e vederli all'opera nel concreto; dall'altra abituarsi fin da subito a lavorare con la matematica per analizzare quantitativamente le scienze della natura.Il libro è rivolto agli studenti dei corsi di laurea in matematica, fisica, biologia, ingegneria, ma anche economia, informatica e scienze della comunicazione.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Italienisch.

Buch. Condición: Neu. Neuware -Riemannian Geometry is an expanded edition of a highly acclaimed and successful textbook (originally published in Portuguese) for first-year graduate students in mathematics and physics. The author's treatment goes very directly to the basic language of Riemannian geometry and immediately presents some of its most fundamental theorems. It is elementary, assuming only a modest background from readers, making it suitable for a wide variety of students and course structures. Its selection of topics has been deemed 'superb' by teachers who have used the text. A significant feature of the book is its powerful and revealing structure, beginning simply with the definition of a differentiable manifold and ending with one of the most important results in Riemannian geometry, a proof of the Sphere Theorem. The text abounds with basic definitions and theorems, examples, applications, and numerous exercises to test the student's understanding and extend knowledge and insight intothe subject. Instructors and students alike will find the work to be a significant contribution to this highly applicable and stimulating subject. 300 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Mitte des 19. Jahrhunderts treffen sich in Zürich Künstler, Wissenschaftler, Musiker und gescheiterte Revolutionäre, so auch Gottfried Semper, Friedrich Theodor Vischer, Richard Wagner, Gottfried Keller, Jacob Burckhardt u.a. Der Autor beleuchtet anhand von zahlreichen Dokumenten, welche wechselseitigen Einflüsse diese Begegnungen auf die jeweilige Arbeit der Beteiligten hatten. Konzeptionen von 'Gesamtkunstwerk' wurden ausgedacht und formuliert, neue ästhetische Theorien, die bis heute ihre Wirkkraft haben, wurden entwickelt.Birkhäuser Verlag GmbH, Im Westfeld 8, 4055 Basel 216 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -The volume develops the foundations of differential geometry so as to include finite-dimensional spaces with singularities and nilpotent functions, at the same level as is standard in the elementary theory of schemes and analytic spaces. The theory of differentiable spaces is developed to the point of providing a handy tool including arbitrary base changes (hence fibred products, intersections and fibres of morphisms), infinitesimal neighbourhoods, sheaves of relative differentials, quotients by actions of compact Lie groups and a theory of sheaves of Fréchet modules paralleling the useful theory of quasi-coherent sheaves on schemes. These notes fit naturally in the theory of C^infinity-rings and C^infinity-schemes, as well as in the framework of Spallek¿s C^infinity-standard differentiable spaces, and they require a certain familiarity with commutative algebra, sheaf theory, rings of differentiable functions and Fréchet spaces.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This introduction to the recent theory of abstract tubes describes the framework for establishing improved inclusion-exclusion identities and Bonferroni inequalities, which are provably at least as sharp as their classical counterparts while involving fewer terms. All necessary definitions from graph theory, lattice theory and topology are provided. The role of closure and kernel operators is emphasized, and examples are provided throughout to demonstrate the applicability of this new theory. Applications are given to system and network reliability, reliability covering problems and chromatic graph theory. Topics also covered include Zeilberger's abstract lace expansion, matroid polynomials and Möbius functions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume aims to disseminate a number of new ideas that have emerged in the last few years in the field of numerical simulation, all bearing the common denominator of the 'multiscale' or 'multilevel' paradigm. This covers the presence of multiple relevant 'scales' in a physical phenomenon; the detection and representation of 'structures', localized in space or in frequency, in the solution of a mathematical model; the decomposition of a function into 'details' that can be organized and accessed in decreasing order of importance; and the iterative solution of systems of linear algebraic equations using 'multilevel' decompositions of finite dimensional spaces. 184 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -In Euclidean geometry, constructions are made with ruler and compass. Projective geometry is simpler: its constructions require only a ruler. In projective geometry one never measures anything, instead, one relates one set of points to another by a projectivity. The first two chapters of this book introduce the important concepts of the subject and provide the logical foundations. The third and fourth chapters introduce the famous theorems of Desargues and Pappus. Chapters 5 and 6 make use of projectivities on a line and plane, repectively. The next three chapters develop a self-contained account of von Staudt's approach to the theory of conics. The modern approach used in that development is exploited in Chapter 10, which deals with the simplest finite geometry that is rich enough to illustrate all the theorems nontrivially. The concluding chapters show the connections among projective, Euclidean, and analytic geometry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Buch. Condición: Neu. Neuware -Disparate perceptions and conceptual frameworks of environment and the relationship between humans and nature often lead to confusion, constraints on co-operation and collaboration and even conflict when society tries to deal with today¿s urgent and complex environment research and policy challenges. Such disparities in perception and 'world view' are driven by many factors. They include differences in culture, religion, ethical frameworks, scientific methodologies and approaches, disciplines, political, social and philosophical traditions, life styles and consumption patterns as well as alternative economic paradigms. Distribution of poverty or wealth between north and south may thus be seen as consequence of the above mentioned disparities, which is a challenge for it¿s universal reasoned evaluation. This volume discusses a wide range of factors influencing 'Environment across Cultures' with a view to identifying ways and means to better understand, reflect and manage such disparities within future global environmental research and policy agendas for bridging the gap between ecology and economy as well as between societies. The book is based upon the results of a scientific symposium on this topic and covers the following sections: Cross Cultural Perception of Environment; Ethics and Nature; Environment, Sustainability and Society. Corresponding contributions were made by well-known scientific authors representing different cultural spheres in accordance with the inter-cultural approach of this effort.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -1 WorkshopTheme Digital multimedia di ers from previous forms of combined media in that the bits that represent text, images, animations, and audio, video and other signals can be treated as data by computer programs. One facet of this diverse data in termsofunderlyingmodelsandformatsisthatitissynchronizedandintegrated, hence it can be treated as integral data records. Such records can be found in a number of areas of human endeavour. Modern medicine generates huge amounts of such digital data. Another - ample is architectural design and the related architecture, engineering and c- struction (AEC) industry. Virtual communities (in the broad sense of this word, which includes any communities mediated by digital technologies) are another example where generated data constitutes an integral data record. Such data may include data about member pro les, the content generated by the virtual community, and communication data in di erent formats, including e-mail, chat records, SMS messages, videoconferencing records. Not all multimedia data is so diverse. An example of less diverse data, but data that is larger in terms of the collected amount, is that generated by video surveillance systems, where each integral data record roughly consists of a set of time-stamped images ¿ the video frames. In any case, the collection of such in- gral data records constitutes a multimedia data set. The challenge of extracting meaningful patterns from such data sets has led to the research and devel- ment in the area of multimedia data mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Condición: Neu. Neuware -In the framework of the Diderot Mathematical Forum (DMF) of the European Mathematical Society (EMS), December 19-20, 1997, a Videoconference was held linking three teams of specialists in Amsterdam, Madrid and Venice respectively. The general subject of this videoconference, the second one of the DMF series, was Mathematics and Environment and more specifically, Problems related to Water.This volume contains the texts of the Madrid site contributions with important, new and unpublished, examples on the modeling, mathematical and numerical analysis and treatment of the associated control problems of relevant questions arising in Oceanography and Environment. 124 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The rst major revision of the Uni ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly, attention is being paid to the use of specialized languages, often pro les of UML, appropriate for di erent purposes; this is one way to make UML less overwh- ming. Accordingly, the focus of the UML conference is gradually expanding from UML to software modeling in general. Simultaneously, model-driven development is being pursued as a way of - creasing the bene ts from modeling throughout the software development p- cess. Gradually, it is developing from a set of slogans into a reality. Many of the papers in this volume are concerned, directly or indirectly, with how to make modeling, rather than coding, the heart of software development, and how to realize the resulting bene ts of higher-level thinking. Much work remains to be done. 432 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -o cial program. 444 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, held in Heidelberg, Germany in October 2002. The 20 revised full papers and 6 revised short papers presented together with a keynote paper were carefully reviewed and selected from a total of 105 submissions. The papers are organized in topical sections on self-configuration, peer-to-peer management, self-optimization and performance management, utility management, self-protection and access control, manageability and instrumentation, and context-awareness. 292 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 1st International Conference on ¿Applied Cryptography and Network Se- rity¿ (ACNS 2003) was sponsored and organized by ICISA (International C- munications and Information Security Association), in cooperation with MiAn Pte. Ltd. and the Kunming government. It was held in Kunming, China in - tober 2003. The conference proceedings was published as Volume 2846 of the Lecture Notes in Computer Science (LNCS) series of Springer-Verlag. The conference received 191 submissions, from 24 countries and regions; 32 of these papers were accepted, representing 15 countries and regions (acceptance rate of 16.75%). In this volume you will nd the revised versions of the - cepted papers that were presented at the conference. In addition to the main track of presentations of accepted papers, an additional track was held in the conference where presentations of an industrial and technical nature were given. These presentations were also carefully selected from a large set of presentation proposals.This new international conference series is the result of the vision of Dr. Yongfei Han. The conference concentrates on current developments that advance the - eas of applied cryptography and its application to systems and network security. The goal is to represent both academic research works and developments in - dustrial and technical frontiers. We thank Dr. Han for initiating this conference and for serving as its General Chair. 452 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Five years ago, with excitement and uncertainty, we witnessed the birth of PRIMA (Paci c Rim International Workshop on Multi-Agents). The rst PRIMA in 1998 has now grown into PRIMA 2003, the 6th Paci c Rim Inter- tional Workshop on Multi-Agents in Seoul, Korea. During a period of ve years, the notion of agent research has grown so much that we hear the term agent on a daily basis. Various elds such as business, the Web, software engineering, on-line games and such are now using the term agent as a placeholder, just like the term object is used in the object-oriented paradigm. On the other hand, the research area has extended toward real applications, such as the Semantic Web and ubiquitous computing. The themes of PRIMA 2003 re ected the following trends: ¿ agent-based electronic commerce, auctions and markets ¿ agent architectures and their applications ¿ agent communication languages, dialog and interaction protocols ¿ agent ontologies ¿ agent programming languages, frameworks and toolkits ¿ agentcities ¿ agents and grid computing ¿ agents and peer computing ¿agentsandtheSemanticWeb ¿ agents and Web services ¿ arti cial social systems ¿ con ict resolution and negotiation ¿ evaluation of multi-agent systems ¿ languages and techniques for describing (multi-)agent systems ¿ meta modeling and meta reasoning ¿ multi-agent planning and learning ¿ multi-agent systems and their applications ¿ social reasoning, agent modeling, and organization ¿ standards for agents and multi-agent systems ¿ teams and coalitions ¿ ubiquitous agentsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Symposium on Medical Data Analysis, ISMDA 2003, held in Berlin, Germany in October 2003.The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on medical models and learning, integration of intelligent analysis methods into medical databases, medical signal processing and image analysis, and applications of medical diagnostic support systems. 140 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 5th International Symposium on High Performance Computing (ISHPC¿V) was held in Odaiba, Tokyo, Japan, October 20¿22, 2003. The symposium was thoughtfully planned, organized, and supported by the ISHPC Organizing C- mittee and its collaborating organizations. The ISHPC-V program included two keynote speeches, several invited talks, two panel discussions, and technical sessions covering theoretical and applied research topics in high¿performance computing and representing both academia and industry. One of the regular sessions highlighted the research results of the ITBL project (IT¿based research laboratory, itbl.riken.go.jp/). ITBL is a Japanese national project started in 2001 with the objective of re- izing a virtual joint research environment using information technology. ITBL aims to connect 100 supercomputers located in main Japanese scienti c research laboratories via high¿speed networks. A total of 58 technical contributions from 11 countries were submitted to ISHPC-V. Each paper received at least three peer reviews. After a thorough evaluation process, the program committee selected 14 regular (12-page) papers for presentation at the symposium. In addition, several other papers with fav- able reviews were recommended for a poster session presentation. They are also included in the proceedings as short (8-page) papers. Theprogramcommitteegaveadistinguishedpaperawardandabeststudent paper award to two of the regular papers. The distinguished paper award was given for ¿Code and Data Transformations for Improving Shared Cache P- formance on SMT Processors¿ by Dimitrios S. Nikolopoulos. The best student paper award was given for ¿Improving Memory Latency Aware Fetch Policies for SMT Processors¿ by Francisco J. Cazorla. 588 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -1 WorkshopTheme Data mining as a discipline aims to relate the analysis of large amounts of user data to shed light on key business questions. Web usage mining in particular, a relatively young discipline, investigates methodologies and techniques that - dress the unique challenges of discovering insights from Web usage data, aiming toevaluateWebusability,understandtheinterestsandexpectationsofusersand assess the e ectiveness of content delivery. The maturing and expanding Web presents a key driving force in the rapid growth of electronic commerce and a new channel for content providers. Customized o ers and content, made possible by discovered knowledge about the customer, are fundamental for the establi- ment of viable e-commerce solutions and sustained and e ective content delivery in noncommercial domains. Rich Web logs provide companies with data about their online visitors and prospective customers, allowing microsegmentation and personalized interactions. While Web mining as a domain is several years old, the challenges that characterize data analysis in this area continue to be formidable. Though p- processing data routinely takes up a major part of the e ort in data mining, Web usage data presents further challenges based on the di culties of assigning data streams to unique users and tracking them over time. New innovations are required to reliably reconstruct sessions, to ascertain similarity and di erences between sessions, and to be able to segment online users into relevant groups.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 2nd International Workshop on Biomedical Image Registration (WBIR) was held June 23¿24, 2003, at the University of Pennsylvania, Philadelphia. Following the success of the rst workshop in Bled, Slovenia, this meeting aimed to once again bring together leading researchers in the area of biomedical image registration to present and discuss recent developments in the eld. Thetheory,implementationandapplicationofimageregistrationinmedicine have become major themes in nearly every scienti c forum dedicated to image processingandanalysis. Thisintenseinterestre ectsthe eld¿simportantrolein theconductofabroadandcontinuallygrowingrangeofstudies. Indeed,thete- niques have enabled some of the most exciting contemporary developments in the clinical and research application of medical imaging, including fusion of m- timodality data to assist clinical interpretation; change detection in longitudinal studies; brain shift modeling to improve anatomic localization in neurosurgical procedures; cardiac motion quanti cation; construction of probabilistic atlases of organ structure and function; and large-scale phenotyping in animal models. WBIR was conceived to provide the burgeoning community of investigators in biomedical image registration an opportunity to share, discuss and stimulate developments in registration research and application at a meeting exclusively devoted to the topic. The format of this year¿s workshop consisted of invited talks, author presentations and ample opportunities for discussion, the latter including an elegant reception and dinner hosted at the Mutter ¿ Museum. A representation of the best work in the eld, selected by peer review from full manuscripts,waspresentedinsingle-tracksessions. Thepapers,whichaddressed the full diversityof registration topics, are reproduced in this volume, along with enlightening essays by some of the invited speakers. 432 pp. Englisch.

Buch. Condición: Neu. Neuware -For the first time, a guide to the sociology of health and healthcare that addresses the needs of both sociologists and health professionals. Written by a career health professional with a medical sociology background, Thomas applies sociological concepts to current healthcare issues, incorporates the latest findings from health services research, and provides clear examples of the uses of sociology in understanding the U.S. healthcare system. Each chapter contains illustrative boxed material, exhibits highlighting key information, suggested readings, and useful websites for more information.With over 30 years of experience, the author provides valuable insights into the social aspects of health behavior and reveals an in-depth understanding of the social dimensions of the health delivery system. The book is a textbook for students of sociology and health, as well as a reference book for instructors and practitioners in the healthcare and sociology fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 390 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The European Society for Arti cial Intelligence in Medicine (AIME) was - tablished in 1986 with two main goals: 1) to foster fundamental and applied research in the application of Arti cial Intelligence (AI) techniques to medical care and medical research, and 2) to provide a forum for reporting signi cant results achieved at biennial conferences. Additionally, AIME assists medical - dustrials to identify new AI techniques with high potential for integration into new products. A major activity of this society has been a series of international conferences,fromMarseille(FR)in1987toCascais(PT)in2001,heldbiennially over the last 16 years. The AIME conference provides a unique opportunity to present and improve the international state of the art of AI in medicine from both a research and an applicationsperspective.Forthispurpose,theAIMEconferenceincludesinvited lectures, contributed papers, system demonstrations, tutorials and workshops. The present volume contains the proceedings of the AIME 2003 conference, the ninthconferenceonArti cialIntelligenceinMedicineinEurope,heldinCyprus, October 18¿22, 2003. In the AIME 2003 conference announcement, we encouraged authors to s- mit original contributions to the development of theory, techniques, and - plications of AI in medicine, including the evaluation of health care programs. Theoretical papers should include a prospective part about possible applications to medical problems solving. Technical papers should describe the novelty of the proposed approach, its assumptions and pros and cons compared to other alt- native techniques. Application papers should present su cient information to allow the evaluation of the practical bene ts of the proposed system or meth- ology. 408 pp. Englisch.

Buch. Condición: Neu. Neuware -This volume reviews the current status with respect to both theory and observation of the extragalactic distance scale. A sufficient accuracy is required both for a precise determination of the cosmological parameters and also in order to achieve a better understanding of physical processes in extragalactic systems. The 'standard candles', used to set up the extragalactic distance scale, reviewed in this book include cepheid variables, RR Lyrae variables, novae, Type Ia and Type II supernovae as well as globular clusters and planetary nebulae.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Buch. Condición: Neu. Neuware -Personal computers have made life convenient in many ways, but what about their impacts on the environment due to production, use and disposal Manufacturing computers requires prodigious quantities of fossil fuels, toxic chemicals and water. Rapid improvements in performance mean we often buy a new machine every 1-3 years, which adds up to mountains of waste computers. How should societies respond to manage these environmental impacts This volume addresses the environmental impacts and management of computers through a set of analyses on issues ranging from environmental assessment, technologies for recycling, consumer behaviour, strategies of computer manufacturing firms, and government policies. One conclusion is that extending the lifespan of computers (e.g. through reselling) is an environmentally and economically effective strategy that deserves more attention from governments, firms and the general public.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -No symposium of this size can be organized without the help of many dedicated persons. EUSAI was organized by Philips Research in close cooperation with the ITEA Ambience project. Many people were involved in this joint effort and we are greatly indebted to them for their valuable contribution to the organization of EUSAI. Special thanks in this respect go to Ad de Beer for taking care of the local arrangements and to Maurice Groten for guaranteeing the financial budget. EUSAI has succeeded in bringing together a wealth of information on the research progress in ambient intelligence, and we are confident that these proceedings will contribute to the realization of the truly great concept that ambient intelligence provides. Eindhoven, Emile Aarts August 2003 Rene Collier Evert van Loenen Boris de Ruyter Le nouveau poème électronique On the occasion of the 1958 World¿s Fair in Brussels, Le Corbusier designed for the Philips company a pavilion (see photograph below) that was later referred to as the neglected building by Le Corbusier, since it was dismantled after the fair. In his visually compelling book, Treib [1996] brought this object back to life, and positioned it as an ephemeral structure that exhibited a landmark multimedia production. The nearly two million visitors to the pavilion were exposed to a media show rather than to the typical display of consumer products. 452 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the papers presented at the 9th workshopon Job Sched- ing Strategies for Parallel Processing, which was held in conjunction with HPDC12 and GGF8 in Seattle, Washington, on June 24, 2003. The papers went through a complete review process, with the full version being read and eva- ated by ve to seven members of the program committee. We would like to take this opportunity to thank the program committee, Su-Hui Chiang, Walfredo Cirne, Allen Downey, Wolfgang Gentzsch, Allan Gottlieb, Moe Jette, Richard Lagerstrom, Virginia Lo, Cathy McCann, Reagan Moore, Bill Nitzberg, Mark Squillante, and John Towns, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and nal revisions for this volume. Finally, we would like to thank the MIT Laboratory for Computer Science and the School of Computer Science and Engineering at the Hebrew University for the use of their facilities in the preparation of these proceedings. This year we had papers on three main topics. The rst was continued work on conventional parallel systems, including infrastructure and scheduling al- rithms. Notable extensions include the considerationof I/O and QoSissues. The secondmajortheme wasscheduling inthe contextofgridcomputing, whichc- tinues to be an area of much activity and rapid progress.The third area was the methodological aspects of evaluating the performance of parallel job scheduling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompo ne- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci cation and veri cation techniques supporting the concepts of reusability and modi ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5¿8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Now available in paperback. This book covers some recent developments in statistical inference. The author's main aim is to develop a theory of generalized p-values and generalized confidence intervals and to show how these concepts may be used to make exact statistical inferences in a variety of practical applications. In particular, they provide methods applicable in problems involving nuisance parameters such as those encountered in comparing two exponential distributions or in ANOVA without the assumption of equal error variances. The generalized procedures are shown to be more powerful in detecting significant experimental results and in avoiding misleading conclusions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Planning is a crucial skill for any autonomous agent, be it a physically embedded agent, such as a robot, or a purely simulated software agent. For this reason, planning, as a central research area of artificial intelligence from its beginnings, has gained even more attention and importance recently. After giving a general introduction to AI planning, the book describes and carefully evaluates the algorithmic techniques used in fast-forward planning systems (FF), demonstrating their excellent performance in many wellknown benchmark domains. In advance, an original and detailed investigation identifies the main patterns of structure which cause the performance of FF, categorizing planning domains in a taxonomy of different classes with respect to their aptitude for being solved by heuristic approaches, such as FF. As shown, the majority of the planning benchmark domains lie in classes which are easy to solve.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Buch. Condición: Neu. Neuware -Natural Computing is concerned with computation that is taking place in Nature. The investigation of computations in living cells is one of the central and fastest growing areas of research in this field. Gene assembly in ciliates (unicellular organisms) is a splendid example of such computations, and it is fascinating from both the biological and the computational viewpoints. As a matter of fact, both biology and the science of computation have benefited from the interdisciplinary research on the computational nature of gene assembly ¿ this work has helped to clarify important biological aspects of gene assembly, yielded novel insights into the nature of computation, and broadened our understanding of what computation is about.This monograph gives an accessible account of both the biology and the formal analysis of the gene assembly process. It can be used as a textbook for either graduate courses or seminars.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the rst volume of the rst journal in the new LNCS Jo- nalSubline,theJournalonDataSemantics. Publishingajournalinabookseries might come as a surprise to customers, readers, and librarians, thus we would like to provide some background information and our motivation for introducing this new LNCS subline. As a consequence of the very tight interaction between the Lecture Notes in ComputerScienceseriesandtheinternationalcomputerscienceresearchand- velopment community, we receive quite a few proposals for new archive journals. From the successful launch of workshops or conferences and publication of their proceedings in the LNCS series, it might seem like a natural step to approach the publisher about launching a journal once this speci c eld has gained a c- tain level of maturity and stability. Each year we receive about a dozen such proposals and even more informal inquiries. Like other publishers, it has been our experience that launching a new jo- nal and making it a long-term success is a hard job nowadays, due to a generally di cult market situation, and library budget restrictions in particular. Because many of the proceedings in LNCS, and especially many of the LNCS postp- ceedings, apply the same strict reviewing and selection criteria as established journals, we started discussing with proposers of new journals the alternative of devoting a few volumes in LNCS to their eld, instead of going through the painful Sisyphean adventure of establishing a new journal on its own.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.