springer springer jul 2001 (370 risultati)

Taschenbuch. Condizione: Neu. Neuware - What is Health Psychology Do states of mind influence health How do people cope with illness and poor health How does the relationship between an individual and the society around them affect their health Foundations of Health Psychology provides a critical and up-to-date examination of the field of health psychology, examining the key ideas behind this emerging discipline and its subsequent development. Posing fundamental questions about the relationship between psychology and the wider cultural and social forces which shape theory and practice, the text encourages and develops critical thinking.

Buch. Condizione: Neu. Neuware - Project Mercury will offer a developmental resume of the first American manned spaceflight programme and its associated infrastructure, including accounts of space launch vehicles. The book highlights the differences in Redstone/Atlas technology, drawing similar comparisons between ballistic capsules and alternative types of spacecraft. The book also covers astronaut selection and training, as well as tracking systems, flight control, basic principles of spaceflight and detailed accounts of individual flights.

Buch. Condizione: Neu. Neuware - The SISDEP 93 conference proceedings present outstanding research and development results in the area of numerical process and device simulation. The miniaturization of today s semiconductor devices, the usage of new materials and advanced process steps in the development of new semiconductor technologies suggests the design of new computer programs. This trend towards more complex structures and increasingly sophisticated processes demands advanced simulators, such as fully three-dimensional tools for almost arbitrarily complicated geometries. With the increasing need for better models and improved understanding of physical effects, these proceedings support the simulation community and the process- and device engineers who need reliable numerical simulation tools for characterization, prediction, and development. This book covers the following topics: process simulation and equipment modeling, device modeling and simulation of complex structures, device simulation and parameter extraction for circuit models, integration of process, device and circuit simulation, practical applications of simulation, algorithms and software.

Buch. Condizione: Neu. Neuware - Dynamic Modeling of Musculoskeletal Motion introduces biomechanists to modern methods of modeling and analyzing dynamic biomechanical systems in three dimensions. Using vector kinematics, the reader is taught a systematic method which significantly reduces the complexity of working with multiple, moving limb segments in three dimensions. Operations which usually require the application of differential calculus are replaced by simple algebraic formulae. To derive dynamical equations of motion, a practical introduction to Kane's Method is given. Kane's Method builds upon the foundation of vector kinematics and represents one of the most exciting theoretical developments of the modern era. Together, these techniques enable biomechanists to decipher and model living systems with great realism, efficiency and accuracy. Interwoven with the theoretical presentation are chapters and examples which highlight the subtle differences between inanimate linkages and the biomechanical systems we seek to understand.

Buch. Condizione: Neu. Neuware - When These are the proceedings of Finite Geometries, the Fourth Isle of Thorns Conference, which took place from Sunday 16 to Friday 21 July, 2000. It was organised by the editors of this volume. The Third Conference in 1990 was published as Advances in Finite Geometries and Designs by Oxford University Press and the Second Conference in 1980 was published as Finite Geometries and Designs by Cambridge University Press. The main speakers were A. R. Calderbank, P. J. Cameron, C. E. Praeger, B. Schmidt, H. Van Maldeghem. There were 64 participants and 42 contributions, all listed at the end of the volume. Conference web site maths. susx. ac. uk/Staff/JWPH/ Why This collection of 21 articles describes the latest research and current state of the art in the following inter-linked areas: - combinatorial structures in finite projective and affine spaces, also known as Galois geometries, in which combinatorial objects such as blocking sets, spreads and partial spreads, ovoids, arcs and caps, as well as curves and hypersurfaces, are all of interest; - geometric and algebraic coding theory; - finite groups and incidence geometries, as in polar spaces, gener alized polygons and diagram geometries; - algebraic and geometric design theory, in particular designs which have interesting symmetric properties and difference sets, which play an important role, because of their close connections to both Galois geometry and coding theory.

Buch. Condizione: Neu. Neuware - The 'First International Conference on Traditional Chinese Medicine: Science, Regulation and Globalization' was held from August 30 to September 2, 2000 at the University of Maryland at College Park, Maryland. There were approximately 250 participants from the Peoples Republic of China, Taiwan, Hong Kong and the United States. This objective of this conference was to promote international collaboration for the modernization of Traditional Chinese herbal medicines (TCM) and their introduction into the global health care system. It was mainly sponsored by the Ministry of Science and Technology of the People's Republic of China and the NllI National Center for Complementary and Alternative Medicine (NCCAM). It was organized by Dr. William Tai, then director of the Institute of Global Chinese Affairs at the University of Maryland and Dr. Yuan Lin, president of Marco Polo Technologies, Bethesda, MD. This conference was conceived by Dr. Tai two years earlier recognizing that this was an appropriate time and also the unique location of the University of Maryland. Today, there is a growing recognition of the of alternative medicine in modem societies and the rapid loss of importance knowledge about traditional methods for the treatment of the multitude of human illnesses found throughout the world. TCM has been in common use in China for thousands of years; and many of its formulations are well defined.

Buch. Condizione: Neu. Neuware - The growth of telecommunications has been largely based on mobile and data services in the past 10 years and the growth will continue. For instance, it is forecasted that after 2005 the mobile traffic turnover in Europe will exceed that of fixed telephone traffic and the penetration of Internet access through mobile will exceed that of fixed access. It is expected that the new value added services will be Internet-based and the IP traffic will outweigh the amount of traditional ISDN based telephone traffic. The transition from the existing telecommunications services to mobile and Internet based ones will change the service infrastructure as well as the customer and service management structures. In wireless communications there are several new standards being developed and implemented to improve the data transmission rate over radio channels, to combine both voice, packet data and multimedia services in the terminals and to improve the service quality and usability. Narrow band packet radio standards such as General Packet Radio Service (GPRS) and i-Mode are already operative and broadband IMT-2000 standards, also called as Third Generation (3G) Mobile, have been developed in Japan, Europe and US. At the same time Wireless LAN and Bluetooth technologies mature and provide short-range data access to terminal devices. The emerging new technologies create opportunities not only to incumbent teleoperators but also to new network operators, IT companies and new service and content providers.

Buch. Condizione: Neu. Neuware - The broadband wireless communications field is growing at an explosive rate, stimulated by a host of important emerging applications ranging from 3G, 4G and wireless LAN. Wideband CDMA and CDMA2000 will be used for 3G. OFDM+CDMA might be a good choice for 4G, CDMA overlay will possibly be used for new-generation broadband wireless LAN. For system planners and designers, the projections of rapidly escalating demand for such wireless services present major challenges and meeting these challenges will require sustained technical innovation on many fronts. The text of this book has been developed through years of research by the author and his graduate students at the University of Hong Kong. The aim of this book is to provide a R&D perspective on the field of broadband wireless communications by describing the recent research developments in this area and also by identifying key directions in which further research is needed. As a background, I presume that the reader has a thorough understanding of digital communications and spread spectrum/CDMA. The book is arranged into 13 chapters. In chapter 1, some key specifications of 3G WCDMA are described and discussed. These techniques include channel coding, rate matching, modulation and spreading, power control, cell search, transmit diversity, soft-handoff, and so son. In Chapter 2, the coherent RAKE reception of Wideband CDMA signals with complex spreading is considered. A dedicated pilot channel, which is separate from data channels, is used for the purpose of channel estimation.

Buch. Condizione: Neu. Neuware - Solid state NMR is rapidly emerging as a universally applicable method for the characterization of ordered structures that cannot be studied with solution methods or diffraction techniques. This proceedings -; from a recent international workshop - captures an image of the latest developments and future directions for solid state NMR in biological research, particularly on membrane proteins. Detailed information on how hormones or drugs bind to their membrane receptor targets is needed, e.g. for rational drug design. Higher fields are bringing clear improvements, and the power of solid state NMR techniques for studying amorphous and membrane associated peptides, proteins and complexes is shown by examples of applications at ultra-high fields. Progress in protein expression, experimental design and data analysis are also presented by leaders in these research areas.

Buch. Condizione: Neu. Neuware - A mere few years ago it would have seemed odd to propose a Handbook on the treatment of management problems within a sphere of uncertainty. Even today, on the threshold of the third millennium, this statement may provoke a certain wariness. In fact, to resort to exact or random data, that is probable date, is quite normal and con venient, as we then know where we are going best, where we are proposing to go if all occurs as it is conceived and hoped for. To treat uncertain information, to accept a new principle and from there determined criteria, without being sure of oneself and confiding only in the will to better understand objects and phenomena, constitutes and compromise with a new form of understanding the behaviour of current beings that goes even further than simple rationality. Economic Science and particularly the use of its elements of configuration in the world of management, has imbued several generations with an analytical spirit that has given rise to the elaboration of theories widely accepted by the international scientific community. In this work we are proposing something a little more modest: to use, in the best possible way, data and information that are available for drawing up and applying techniques and instruments that are useful for current reality within the world of businesses and institutions, in an attempt to mislead ourselves as little as possible.

Buch. Condizione: Neu. Neuware - Faced with ever-increasing market demands, manufacturing industry is forced to seek innovation and technological breakthrough. This state-of-the-art text aims to integrate broad aspects of precision and production engineering to cope with rapid changes in market needs and technological developments as we enter the 21st century. It addresses basic theory, extensive research in advanced topics, industrial applications, and relevant surveys in related fields. Major subjects covered by this book include: Advanced manufacturing systems; Ultra-precision machining and micro machining; Nanotechnology for fabrication and measurement; Chemo-mechanical processes; Rapid prototyping technology; New materials and advanced processes; Computer-aided production engineering; Manufacturing process control; Planning. This volume contains the proceedings of the 10th International Conference on Precision Engineering (ICPE), which was held in July 2001, in Yokohama, Japan. ICPE is a well-established conference in the field of production and precision engineering, covering a wide range of topics for future-oriented manufacturing systems and processes; it is organized by the Japan Society for Precision Engineering (JSPE). This book can be used as a reference for graduate and undergraduate courses in precision and production engineering, and also for researchers and industrial engineers to capture current trends in this field.

Buch. Condizione: Neu. Neuware 655 pp. Deutsch.

Buch. Condizione: Neu. Neuware 655 pp. Deutsch.

Buch. Condizione: Neu. Neuware.

Taschenbuch. Condizione: Neu. Neuware - Eine Läsion des peripheren oder zentralen Nervensystems kann zu neuropathischen Schmerzen führen. Dabei kommt es entweder zu anhaltenden Schmerzen oder einschießenden Schmerzattacken. Auch sind spezielle Schmerzreaktionsmuster wie Allodynie oder Hyperpathie bzw. eine zentrale Sensibilisierung möglich. Klinische Krankheitsbilder, die mit neuropathischen Schmerzen einhergehen, sind u.a. Polyneuropathien, Zoster-Neuralgien, sowie zentrale Schmerzsyndrome.Das Buch beginnt mit der Darstellung des Erscheinungsbildes neuropathischer Schmerzen, das zweite Hauptkapitel umfasst die allgemeinen Therapiemöglichkeiten (besonders medikamentöse Therapie). Schließlich werden die klinischen Krankheitsbilder und die passende Therapieempfehlung angeführt.Das Buch stellt auf wissenschaftlicher Basis, aber sehr praxisorientiert das Gesamtbild neuropathischer Schmerzen dar, beginnend bei der Schmerzsymptomatik, über das klinische Krankheitsbild bis zu den relevanten 'evidence based' Therapiemaßnahmen. Der Käufer kann einerseits schwierige Sachverhalte nachlesen (umfangreiches Literaturverzeichnis) und andererseits das Buch als therapeutisches Nachschlagwerk verwenden.

Taschenbuch. Condizione: Neu. Neuware -Eine Läsion des peripheren oder zentralen Nervensystems kann zu neuropathischen Schmerzen führen. Dabei kommt es entweder zu anhaltenden Schmerzen oder einschießenden Schmerzattacken. Auch sind spezielle Schmerzreaktionsmuster wie Allodynie oder Hyperpathie bzw. eine zentrale Sensibilisierung möglich. Klinische Krankheitsbilder, die mit neuropathischen Schmerzen einhergehen, sind u.a. Polyneuropathien, Zoster-Neuralgien, sowie zentrale Schmerzsyndrome.Das Buch beginnt mit der Darstellung des Erscheinungsbildes neuropathischer Schmerzen, das zweite Hauptkapitel umfasst die allgemeinen Therapiemöglichkeiten (besonders medikamentöse Therapie). Schließlich werden die klinischen Krankheitsbilder und die passende Therapieempfehlung angeführt.Das Buch stellt auf wissenschaftlicher Basis, aber sehr praxisorientiert das Gesamtbild neuropathischer Schmerzen dar, beginnend bei der Schmerzsymptomatik, über das klinische Krankheitsbild bis zu den relevanten 'evidence based' Therapiemaßnahmen. Der Käufer kann einerseits schwierige Sachverhalte nachlesen (umfangreiches Literaturverzeichnis) und andererseits das Buch als therapeutisches Nachschlagwerk verwenden. 140 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -' . many eminent scholars, endowed with great geometric talent, make a point of never disclosing the simple and direct ideas that guided them, subordinating their elegant results to abstract general theories which often have no application outside the particular case in question. Geometry was becoming a study of algebraic, differential or partial differential equations, thus losing all the charm that comes from its being an art.' H. Lebesgue, Ler;ons sur les Constructions Geometriques, Gauthier Villars, Paris, 1949. This book is based on lecture courses given to final-year students at the Uni versity of Nottingham and to M.Sc. students at the University of the West Indies in an attempt to reverse the process of expurgation of the geometry component from the mathematics curricula of universities. This erosion is in sharp contrast to the situation in research mathematics, where the ideas and methods of geometry enjoy ever-increasing influence and importance. In the other direction, more modern ideas have made a forceful and beneficial impact on the geometry of the ancients in many areas. Thus trigonometry has vastly clarified our concept of angle, calculus has revolutionised the study of plane curves, and group theory has become the language of symmetry. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -four The of this volume deal with new notions of whose papers algebras feature is common to have two So are called generating operations. they dial- bras. The first motivation to introduce such structures a algebraic was problem in It turned out later that some of them dendriform algebraic K-theory. (the related are to in the of ren- dialgebras) closely Hopf algebras occuring theory malization of A. Connes and D. Kreimer. are also related to the They closely notion of Gerstenhaber homotopy algebra. Let us first describe the motivation from The algebraic K-theory. al- braic of a are not like the but K-groups ring periodic topological K-groups, of of some them shows the existence of a computation periodicity phenomenon. For instance the 0 are of 4 for 2. The groups K,(Z) Q periodic period n are constructed on the linear GL. If algebraic K-groups general we - group it its additive that is the Lie then the place by counterpart, algebra gl, analogue of is : it is denoted HC. It algebraic K-theory computable cyclic homology, turns that for out this the is well understood. theory periodicity phenomenon It takes the form of a exact : long sequence - - - -+ -.+ -4 HCn_1 HH, -+ HC, --+ HCn-2 HCn+1 where HHstands for Hochschild In other homology. words, cyclic homology is not but the obstruction to is it is periodic (in general) periodicity known, Hochschild homology. 148 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Building on classical queueing theory mainly dealing with single node queueing systems, networks of queues, or stochastic networks has been a field of intensive research over the last three decades. Whereas the first breakthrough in queueing network theory was initiated by problems and work in operations research, the second breakthrough, as well as subsequent major work in the area, was closely related to computer science, particularly to performance analysis of complex systems in computer and communication science.The text reports on recent research and development in the area. It is centered around explicit expressions for the steady behavior of discrete time queueing networks and gives a moderately positive answer to the question of whether there can be a product form calculus in discrete time. Originating from a course given by the author at Hamburg University, this book is ideally suited as a text for courses on discrete time stochastic networks. 152 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Sun is the closest star to Earth, and the only one we can observe in any sort of detail. As such it is a fascinating field of study, and one that is well-suited to amateur astronomers - the Sun is close enough to need little magnification. It also has the practical advantage, unlike every other astronomical object, of being visible in the daytime!During solar eclipses, there are momentary chances to observe and photograph some spectacular and scientifcally interesting sights.Studying the Sun nonetheless needs specialist knowledge. Safety is paramount, as without the right precautions the heat and light of the Sun would instantly blind the observer. But given the right techniques, the Sun is a rewarding subject for amateur astronomers: in this book, Professor Chris Kitchin provides all the information needed for safe solar observing. 244 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The technique of randomization has been employed to solve numerous prob lems of computing both sequentially and in parallel. Examples of randomized algorithms that are asymptotically better than their deterministic counterparts in solving various fundamental problems abound. Randomized algorithms have the advantages of simplicity and better performance both in theory and often is a collection of articles written by renowned experts in practice. This book in the area of randomized parallel computing. A brief introduction to randomized algorithms In the analysis of algorithms, at least three different measures of performance can be used: the best case, the worst case, and the average case. Often, the average case run time of an algorithm is much smaller than the worst case. 2 For instance, the worst case run time of Hoare's quicksort is O(n ), whereas its average case run time is only O(nlogn). The average case analysis is conducted with an assumption on the input space. The assumption made to arrive at the O(n logn) average run time for quicksort is that each input permutation is equally likely. Clearly, any average case analysis is only as good as how valid the assumption made on the input space is. Randomized algorithms achieve superior performances without making any assumptions on the inputs by making coin flips within the algorithm. Any analysis done of randomized algorithms will be valid for all possible inputs. 1052 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are pleased to bring you this collection of papers for the Ninth International Conference on Conceptual Structures (ICCS), representing continued excellence in conceptual structures research. We have adopted the title Broadening the Base,' acknowledging the importance of contributions from scholars in many research areas. The rst ICCS meetings focused primarily on Sowa's conceptual graphs; in recent years, however, the ICCS conference series has intentionally widened its scope to stimulate research across domain boundaries. We hope that this stimulation is further enhanced by ICCS 2001 continuing the long tradition of lively conferences about Conceptual Structures. We wish to express our appreciation to all the authors of submitted papers, to the general chair, to the members of the editorial board and the program committee, and to the additional reviewers for making ICCS 2001 a valuable contribution to the knowledge processing research eld. We would also like to acknowledge the leadership of Guy Mineau and Bernhard Ganter in providing a solid framework for an open and e ective reviewing process. Very special thanks go to the local organizers for making the conference possible and, furthermore, an enjoyable and inspiring event. We are grateful to the University of Alabama in Huntsville, and the University of Karlsruhe for their generous support. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Haptic human-computer interaction is interaction between a human computer user and the computer user interface based on the powerful human sense of touch. Haptic hardware has been discussed and exploited for some time, particularly in the context of computer games. However, so far, little attention has been paid to the general principles of haptic HCI and the systematic use of haptic devices for improving efficiency, effectiveness, and satisfaction in HCI.This book is the first one to focus on haptic human-computer interaction. It is based on a workshop held in Glasgow, UK, in August / September 2000. The 22 revised full papers presented were carefully reviewed and selected from 35 submissions. Besides a brief historic survey, the book offers topical sections on haptic interfaces for blind people, collaborative haptics, psychological issues and measurement, and applications of haptics. 240 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a synthetic historiography of present-day international relations theory, a critical analysis of the continuing diversity and complexity of enduring themes through a sustained focus on the analysis of the empirical evidence accumulated by social scientists. Special attention is given to key historical changes in theoretical approaches over the past half-century with full recognition of the contestation over state-based theory, and the changing fortunes of contemporary approaches. The book suggests that viable theories must transcend current intellectual fashion, and attempts to bring together theory and practice while demonstrating the difficulty of assessing competing theories. It addresses multiple strands of thought and assumes that their development cannot be understood in isolation from each other. 317 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the most extensive contribution to our understanding of the graffiti subculture to date. Using insights from ethnographic research conducted in London and New York, the author explores the varying ways young men use graffiti to construct masculinity, claim power and establish independence from the institutions which define and often limit them as young people. Forging a link between subcultural practice and identity construction, this book will be essential reading for anyone interested in new understandings of youth and their subcultures. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the presentations given at the Workshop on OpenMP App- cations and Tools, WOMPAT 2001. The workshop was held on July 30 and 31, 2001 at Purdue University, West Lafayette, Indiana, USA. It brought together designers, users, and researchers of the OpenMP application programming int- face. OpenMP has emerged as the standard for shared memory parallel progr- ming. For the rst time, it is possible to write parallel programs that are portable across the majority of shared memory parallel computers. WOMPAT 2001 s- ved as a forum for all those interested in OpenMP and allowed them to meet, share ideas and experiences, and discuss the latest developments of OpenMP and its applications. WOMPAT 2001 was co-sponsored by the OpenMP Architecture Review Board (ARB). It followed a series of workshops on OpenMP, including WOMPAT 2000, EWOMP 2000, and WOMPEI 2000. For WOMPAT 2001, we solicited papers formally and published them in the form of this book. The authors submitted extended abstracts, which were reviewed by the program committee. All submitted papers were accepted. The authors were asked to prepare a nal paper in which they addressed the reviewers comments. The proceedings, in the form of this book, were created in time to be available at the workshop. In this way, we hope to have brought out a timely report of ongoing OpenMP-related research and development e orts as well as ideas for future improvements. 200 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The phenomenal increases in computer system performance in recent years have been accompanied by a commensurate increase in power and energy dissipation. The latter has directly resulted in demand for expensive packaging and cooling technology, an increase in product cost, and a decrease in product reliability in all segments of the computing market. Moreover, the higher power/energy dissipation has signi cantly reduced battery life in portable systems. While - stem designers have traditionally relied on circuit-level techniques to reduce - wer/energy, there is a growing need to address power/energy dissipation at all levels of the computer system. We are pleased to welcome you to the proceedings of the Power-Aware C- puter Systems (PACS 2000) workshop. PACS 2000 was the rst workshop in its series and its aim was to bring together experts from academia and industry to address power-/energy-awareness at all levels of computer systems. In these p- ceedings, we bring you several excellent research contributions spanning a wide spectrum of areas in power-aware systems, from application all the way to c- pilers and microarchitecture, and to power/performance estimating models and tools. We have grouped the contributions into the following speci c categories: (1) power-aware microarchitectural/circuit techniques, (2) application/compiler power optimizations, (3) exploiting opportunity for power optimization in - struction scheduling and cache memories, and (4) power/performance models and tools. 168 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Experimental robotics is at the core of validating robotics research for both its system science and theoretical foundations. Robotics experiments serve as a unifying theme for robotics system science and theoretical foundations. This book collects papers on the state of the art in experimental robotics. The papers were presented at the 2000 International Symposium on Experimental Robotics. 592 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The present volume of Springer s Lecture Notes in Arti cial Intelligence' - cuses on the challenge of balancing between the two extremes of pure reactivity and in-depth social deliberation in the context of multi-agent systems. Finding a balance between these two extremes will lead to an overall behavior of the individual agents and of the multi-agent system that meets the demands of the environment but also the demand for high-quality problem solving results. This book collects selected and revised papers from Balancing Reactivity and Social Deliberation in Multi-Agent Systems'{aworkshop held at the 14th European Conference on Arti cial Intelligence (ECAI 2000) { and additional papers from renowned researchers in the eld. All the papers contained in this book have undergone at least one complete phase of reviewing and correction with ty- cally three reviews, the large majority of them have been through two phases. In the rst phase, papers were reviewed by members of the advisory committee, in the second phase, papers were peer-reviewed among the authors with additional comments from members of the advisory committee. Although several contributions to this book stem from members of the - boCup community and as such also deal with related topics, this is not a book on RoboCup. 252 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsforv- i cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area. This volume contains the papers presentedat the EighthInternationalStatic Analysis Symposium (SAS 2001), which was held July 16{18, 2001 at the S- bonne in Paris, France. Previous SAS symposia were held in Santa Barbara,CA, USA (LNCS 1824), Venice, Italy (LNCS 1694), Pisa, Italy (LNCS 1503), Paris, France (LNCS 1302), Aachen, Germany (LNCS 1145), Glasgow, UK(LNCS983),Namur,Belgium(LNCS864),followingtheinternationalwo- shop WSA in Padova, Italy (LNCS 724), Bordeaux, France (Bigre Vol. 81-82) and JTASPEFL/WSA, Bordeaux, France (Bigre Vol. 74). The program committee meeting was held at the Ecole Normale Sup erieure in Paris on March 31, 2001, and 21 papers were selected from 62 submissions. In addition to the contributed papers, this volume includes invited papers by RustanLeinoandMartinRinard.Thisvolumealsocontainstheabstractsofan invitedtalkbyFredSchneider and of the presentations by Bruno Blanchet, Andrew Gordon, Andrew Myers,andDavid Wagner at an invited session on security. May 2001 Patrick Cousot VI Preface ProgramCommittee Patrick Cousot (Chair) Ecole Normale Sup erieure, Paris, France Maurice Bruynooghe Katholieke Universiteit Leuven, Belgium 456 pp. Englisch.