springer berlin heidelberg jan 2002 (120 risultati)

Taschenbuch. Condizione: Neu. Neuware -The conformal geometry of surfaces recently developed by the authors leads to a unified understanding of algebraic curve theory and the geometry of surfaces on the basis of a quaternionic-valued function theory. The book offers an elementary introduction to the subject but takes the reader to rather advanced topics. Willmore surfaces in the foursphere, their Bäcklund and Darboux transforms are covered, and a new proof of the classification of Willmore spheres is given.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 104 pp. Englisch.

Buch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Software systems play an increasingly important role in modern societies. Smart cards for personal identi cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci cation and veri cation. Speci cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri cation, one can then prove that an implementation really has the desired, speci ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: ¿ Formal speci cation techniques have to be smoothly integrated into the software and program development process. ¿ The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ¿ has developed new te- niques for the formal speci cation and veri cation of object-oriented so- ware. The speci cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Buch. Condizione: Neu. Neuware -On the occasion ofthe second edition ofthe book, it appeared necessary to up date information that was already seven years old. Astrometry has recorded tremendous advances during these last years, so that, in addition to cor recting identified errors and misprints, there are many major modifications. Among the events that forced me to modify significantly the contents of the book, the most important are the release of the Hipparcos and Tycho cata logues, the introduction of CCD astrometry, the decision of the International Astronomical Union to adopt a new celestial reference frame, the dramatic improvement of accurate time and frequency standards, the decision taken by space agencies to prepare several new space astrometry satellites and the development of optical interferometry. The description and the consequences of these events have been included in this edition. One of them is that a mi crosecond of arc or microarcsecond (uas) has become a widely used unit. On the contrary, the result was also that the importance of some in struments such as astrolabes or transit circles has decreased. However, I left but because their description unchanged, not only for their historical interest, newer techniques often use similar data reduction methods so that one can refer to them. Conversely, some methods or instruments have evolved and new information is included. Finally, many new references were added to the original list.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Buch. Condizione: Neu. Neuware -Fluids, play an important role in environmental systems, appearing as surface water in rivers, lakes, and coastal regions or in the subsurface as well as in the atmosphere. Mechanics of environmental fluids is concerned with fluid motion, associated mass and heat transport in addition to deformation processes in subsurface systems. In this textbook the fundamental modelling approaches based on continuum mechanics for fluids in the environment are described, including porous media and turbulence. Numerical methods for solving the process governing equations and its object-oriented computer implementation are discussed and illustrated with examples. Finally the application of computer models in civil and environmental engineering is demonstrated.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Critically ill and critically injured patients require specialized nutrition support to avoid the complications of progressive malnutrition. There is a paucity of information providing practical solutions to these difficult clinical problems. From Nutrition Support to Pharmacologic Nutrition in the ICU focuses on the theoretical and practical aspects of the management of this high-risk patient population. Each chapter presents a state-of-the-art discussion of nutritional and metabolic issues relevant to this resource-intensive patient population and contains current references, liberal tables and figures, and the personal insights of recognized international leaders in this field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Images or discrete objects, to be analyzed based on digital image data, need to be represented, analyzed, transformed, recovered etc. These problems have stimulated many interesting developments in theoretical foundations of image processing.This coherent anthology presents 27 state-of-the-art surveys and research papers on digital image geometry and topology. It is based on a winter school held at Dagstuhl Castle, Germany in December 2000 and offers topical sections on topology, representation, geometry, multigrid convergence, and shape similarity and simplification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -From the reviews:'This is an introductory book intended for beginning graduate students or, perhaps advanced undergraduates. . The book has many good points: clear organization, historical notes and references at the end of every chapter, and an excellent bibliography. The text is well written, at a level appropriate for the intended audience, and it represents a very good introduction to the basic theory of dynamical systems.'Mathematical Reviews, 1972'The exposition is remarkably clear, definitions are separated explicitly, theorems are often provided together with the motivation for changing one or other hypothesis, as well as the relevance of certain generalisations. This study is an excellent review of the current situation for problems of stability of the solution of differential equations. It is addressed to all interested in non-linear differential problems, as much from the theoretical as from the applications angle.'Bulletin de la Société Mathématique de Belgique, 1975Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Modernsoftwaresystemsincreasinglyusecommercial-o -the-shelf(COTS)so- ware products as building blocks. In some cases, major software systems are assembled with virtually no custom code in the system. The use of COTS software products as components o ers the promise of rapid delivery to end users, shared development costs with other customers, and an opportunity for expanding mission or business capabilities and performance as improvements are made in the commercial marketplace. Few organizations today can a ord the resources and time to replicate market-tested capabilities. Yet, the promise of COTS products is too often not realized in practice. There have been more failures than successes in using COTS software products. The research and software practitioner communities have been working with COTS-based software systems for a number of years. There is now su cient documented experience in the community to collect, analyze, and disseminate success stories, common failings, lessons-learned, and research advances. The mounting experience shows that the e ective use of COTS software products in major software systems demands new skills, knowledge, and abilities, changed roles and responsibilities, and di erent techniques and processes. The International Conference on COTS-Based Software Systems (ICCBSS) focuses on the challenges of building and maintaining systems that incorporate COTSsoftwareproducts.Theconferencesponsors,theNationalResearchCo- cil Canada, the Software Engineering Institute, and the University of Southern California Center for Software Engineering, aim to bring together managers, - velopers, maintainers, and researchers to share their expertise and experience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -From the reviews:'.a fine book . treats algebraic number theory from the valuation-theoretic viewpoint. When it appeared in 1949 it was a pioneer. Now there are plenty of competing accounts. But Hasse has something extra to offer. This is not surprising, for it was he who inaugurated the local-global principle (universally called the Hasse principle). This doctrine asserts that one should first study a problem in algebraic number theory locally, that is, at the completion of a vaulation. Then ask for a miracle: that global validity is equivalent to local validity. Hasse proved that miracles do happen in his five beautiful papers on quadratic forms of 1923-1924. . The exposition is discursive. . It is trite but true: Every number-theorist should have this book on his or her shelf.'(Irving Kaplansky in Bulletin of the American Mathematical Society, 1981)Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 664 pp. Englisch.

Buch. Condizione: Neu. Neuware -In this volume, continuities and discontinuities between Historical School of Economics and Old Institutional Economics are examined with regard to common research objectives and methods. Similarly, those between these two economic movements and New Institutional Economics as well as new economic sociology are discussed. The following questions functioned as a guideline for the contributing economists, sociologists, historians, and philosophers: Can we meaningfully speak of the Historical School of Economics (HSE) as an economic research program What are the commonalities between the HSE and American old economic institutionalism Does the HSE represent a part of the 'lost anteroom' of New Institutional Economics and new economic sociology How and why should the HSE matter to how we do economic and social theory today Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Condizione: Neu. Neuware -My studies on the 'uncertain consumer' began with a research project c- ducted by the Dr. Rainer Wild-Stiftung - Foundation for healthy nutrition - on the negative image of processed food. Ever since then I have been asked whether or not growing consumer uncertainty is linked to information po- cies of the food sector and if so, how. Intensive three-year research showed that industrial methods of food production are predestined to result in wayward fears and worry over its healthiness. This is due to the fact that during the process of industrialisation, we gradually passed responsibility for the quality of food into the producers' hands. This, in turn, has resulted in information gaps that we, as the addressees of diverse, often overwhelming and contrad- tory information supplied by varying sources, feel today. We exchanged the daily search for food for the daily search for information long ago. Con- quently, a practical concept for public relations stands at the end of my - search into the uncertain consumer. It accounts for uncertainty regarding processed food as a point of reference for public relations targeted towards various groups. Public relations oriented towards the future calls for the sharing of expert information with all interested consumers. It is the goal of businesses to actively build up trust among the consumers in order to be prepared for new causes for uncertainty appearing periodically. To this day the issue of consumer uncertainty has not lost its topicality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Condizione: Neu. Neuware -Suspensions of magnetic nanoparticles or ferrofluids can be effectively controlled by magnetic fields, which opens up a fascinating field for basic research into fluid dynamics as well as a host of applications in engineering and medicine. The introductory chapter provides the reader with basic information on the structure, and magnetic and viscous properties of ferrofluids. The bulk of this monograph is based on the author's own research activity and deals with ferrohydrodynamics, especially with the magnetoviscous effects. In particular, the author studies in detail the interparticle interactions so far often neglected but of great importance in concentrated ferrofluids. The basic theory and the most recent experimental findings are presented, making the book interesting reading for physicists or engineers interested in smart materials.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Buch. Condizione: Neu. Neuware -In the first half of the twentieth century, the study of neuroanatomy was essentiallybased on the observations made by scientists on brain cadavers fixed with standard techniques. These studies have produced well-known tools such as the stereotactic atlas, which have proven to be extremely useful and irreplaceable for neurosurgeons, neuroradi ologists, neurologists and neuroanatomists. In particular, the Talairach and Schaltenbrandt atlases are considered the most presti gious and up-to-date work available today. The recent introduction of neuroimaging, especially nuclear magnetic resonance, together with the exciting and tremendous progress made in computer graphics, has allowed us to approach neuroanatomy directly in living patients with more accuracy and a high degree ofdetail. This work, after a short introduction which explains the methodolo gy used, is divided into four types of sections: three types ofsections obtained from the same brain and orientated in the standard axial, sagittal, and coronal spatial planes and one type of section of three dimensional pictures obtained from the computerized processing of the previous pictures. The organization and the life-size tables obtained by magnetic reso nance make this work similar to a classic stereotactic atlas, although the authors do not claim to reach the high level of precision which such atlases usually provide. The abbreviations used are based on Latin nomenclature,in order to be understood and recognized world wide, and are supported by a system of color codes useful for the identification ofbrain structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Buch. Condizione: Neu. Neuware -Gradient-Index (GRIN) optics provides a comprehensive and thorough treatment on fundamentals and applications of light propagation through inhomogeneous media. The book can be used both as a classroom text for students in physics and engineering and as a reference for specialists. A description of the phenomena, components and technology used in GRIN Optics are presented. The relationship to lenses, waveguides, optical connections, spatial solitons and vision is demonstrated. Applications of GRIN components and hybrid structures for optical connections, optical sensing and Talbot effect are analyzed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Buch. Condizione: Neu. Neuware -The Origin of Species Charles Darwin The origin of turbulence in fluids is a long-standing problem and has been the focus of research for decades due to its great importance in a variety of engineering applications. Furthermore, the study of the origin of turbulence is part of the fundamental physical problem of turbulence description and the philosophical problem of determinism and chaos. At the end of the nineteenth century, Reynolds and Rayleigh conjectured that the reason of the transition of laminar flow to the 'sinuous' state is in stability which results in amplification of wavy disturbances and breakdown of the laminar regime. Heisenberg (1924) was the founder of linear hydrody namic stability theory. The first calculations of boundary layer stability were fulfilled in pioneer works of Tollmien (1929) and Schlichting (1932, 1933). Later Taylor (1936) hypothesized that the transition to turbulence is initi ated by free-stream oscillations inducing local separations near wall. Up to the 1940s, skepticism of the stability theory predominated, in particular due to the experimental results of Dryden (1934, 1936). Only the experiments of Schubauer and Skramstad (1948) revealed the determining role of insta bility waves in the transition. Now it is well established that the transition to turbulence in shear flows at small and moderate levels of environmental disturbances occurs through development of instability waves in the initial laminar flow. In Chapter 1 we start with the fundamentals of stability theory, employing results of the early studies and recent advances.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book on multimedia tools for communicating mathematics arose from presentations at an international workshop organized at the Centro de Mate matica e Aplica 328 pp. Englisch.

Buch. Condizione: Neu. Neuware -Even today flying into space is an undertaking at the borderline of what is curreiitly feasible. h veq complex assen~bly of sophist~icated machinery is needed in order to reach orbit and return from there to Eart,ll safely. A11 ast,ronaut knows that only if t,he rocket engines, inertial navigat,ion platforms. hydraulic systems; generators of electrical power, att,itude control systems, life support sj stems, coinput~ers. data transmission equipment, heat shields and many other components work flawlessly can he or she accomplish a mission in good llealt,h. I11 other words there is risk, but the odds are better than even. How else could a man or a woman see the incredible beauty of our planet Earth from a clist,ance Take t,he combination of it,s colours. white and blue. It is so breatht,akingly stunning, that most likely not even a poet could find words to adequately describe it. There is the curved line of the horizon with an incredibly black slij above it. L4t first sight it is evident how elidless and empty the universe actually is. The Eart,h's horizon is fringed with a royal blue seam, our at,mosphere. Its beauty and fragility are thrilling, and seen from orbit it is instantly apparent that there is not much air around us.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Buch. Condizione: Neu. Neuware -Molecular Sieves- Science and Technology will cover, in a comprehensive manner, the science and technology of zeolites and all related microporous and mesoporous materials. Authored by renowned experts, the contributions will be grouped together topically in such a way that each volume of the book series will be dealing with a specific sub-field. Volume 3 deals with the most widely employed techniques for the post-synthesis modificaton of molecular sieves. Among the topics covered in considerable detail are ion exchange, both in the more conventional variant in aqueous suspension and in the solid-state variant, the various methods for dealumination of zeolites, and the techniques for introducing metallic, ionic, oxidic and sulfidic clusters into the cages and channels of microporous materials.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Buch. Condizione: Neu. Neuware -The physics of vortices in classical fluids has been a highly important subject for many years, both in fundamental science and in engineering applications. About 50 years ago, vortices started to become prominent as quantum me chanical objects constructed from a macroscopic wavefunction. Here the key developments are associated with the names R. Feynman, L. Onsager, L. D. Landau, F. London, V.L. Ginzburg and A.A. Abrikosov. Recently, the physics of vortices has undergone a further important step of diversification, namely in unconventional superconductors and superfluids, which are characterized by an anisotropic and/or spatially complex order parameter. It is this latest evolutionary step of vortex physics that is addressed in this book. The indi vidual chapters are concerned with the microscopic structure and dynamics of vortices in diverse systems ranging from superfluids and superconductors to neutron stars. Each of the 20 chapters is written by one or more experts on the parti cular subject. Each chapter provides an introduction and overview, empha sizing theoretical as well as experimental work, and includes references to both recent and pioneering earlier developments. In this way non-expert rea ders will also benefit from these lecture notes. Hence, the book will be useful for all researchers and graduate students interested in the physics of vorti ces in unconventional superconductors and superfluids. It may also serve as supplementary material for a graduate course on low-temperature solid-state physics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Buch. Condizione: Neu. Neuware -In 1972, a very powerful catalytic cycle for carbon-carbon bond formation was 2 first discovered by the coupling reaction of Grignard reagents at the sp -carbon. Over the past 30 years, the protocol has been substantially improved and expanded to other coupling reactions of Li,B,N,O,Al,Si,P,S,Cu,Mn,Zn,In,Sn, and Hg compounds. These reactions provided an indispensable and simple methodology for preparative organic chemists. Due to the simplicity and rel- bility in the carbon-carbon, carbon-heteroatom, and carbon-metalloid bo- formations,as well as high efficiency of the catalytic process,the reactions have been widely employed by organic chemists in various fields. Application of the protocol ranges from various syntheses of complex natural products to the preparation of biologically relevant molecules including drugs, and of sup- molecules, and to functional materials. The reactions on solid surfaces allow robot synthesis and combinatorial synthesis. Now, many organic chemists do not hesitate to use transition metal complexes for the transformation of org- ic molecules. Indeed, innumerable organic syntheses have been realized by the catalyzed reactions of transition metal complexes that are not achievable by t- ditional synthetic methods. Among these, the metal-catalyzed cross-coupling reactions have undoubtedly contributed greatly to the development of such a new area of ¿metal-catalyzed organic syntheses¿. An excellent monograph for the cross-coupling reactions and other met- catalyzed C-C bond-forming reactions recently appeared in Metal-catalyzed Cross-coupling Reactions (Wiley-VCH,1998).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Condizione: Neu. Neuware -Extracellular MRI and X-ray contrast agents are characterized by their phar- cokinetic behaviour.After intravascular injection their plasma-level time curve is characeterized by two phases. The agents are rapidly distributed between plasma and interstitial spaces followed by renal elimination with a terminal half-live of approximatly 1¿2 hours. They are excreted via the kidneys in unchanged form by glomerular filtration. Extracellular water-soluble contrast agents to be applied for X-ray imaging were introduced into clinical practice in 1923. Since that time they have proved to be most valuable tools in diagnostics.They contain iodine as the element of choice with a sufficiently high atomic weight difference to organic tissue. As positive contrast agents their attenuation of radiation is higher compared with the attenuation of the surrounding tissue. By this contrast enhancement X-ray diagnostics could be improved dramatically. In 2,4,6-triiodobenzoic acid derivatives iodine is firmly bound. Nowadays diamides of the 2,4,6-triiodo-5-acylamino-isophthalic acid like iopromide (Ultravist, Fig. 1) are used as non-ionic (neutral) X-ray contrast agents in most cases [1]. 264 pp. Englisch.

Buch. Condizione: Neu. Neuware -In einer Fallstudie behandelt der Autor den Ablauf und die Strukturen der Massnahmen gegen Österreich, die die Europäische Union und die europäische Öffentlichkeit von Januar bis September 2000 beschäftigten. Im Mittelpunkt der Aufmerksamkeit stehen die einschlägigen Rechtsfragen aus staats-, europa- und völkerrechtlicher Perspektive sowie die Folgen der Massnahmen. Zu letzteren gehört insbesondere die Reform der Art. 7 und 46 EU-Vertrag durch den Vertrag von Nizza. Als Konsequenz daraus leitet der Autor den Vorschlag ab, den Sanktionsmechanismus zur Sicherung der Homogenität in der Europäischen Union in einem erweiterten Sinn als das Teilelement einer 'streitbaren Demokratie' auf europäischer Ebene zu verstehen. Dieses Verständnis umfasst auch die Schaffung von Regelungen zum Verbot 'intoleranter' politischer Parteien. Das Werk enthält neben einem mit Fundstellen belegten Sachbericht eine Chronologie der Ereignisse und in einem Anhang alle massgeblichen Dokumente des Falles im Volltext. 236 pp. Deutsch.

Buch. Condizione: Neu. Neuware -Führungskräfte stehen durch die Leistungsdichte ihres Einsatzes einem Informationsfluss gegenüber, der sie überwältigt. Auf der anderen Seite erleiden sie bei vielen Themen einen wahrnehmbaren Informationsmangel, man fokussiert sich einfach zu leicht auf das geschäftlich Erforderliche und findet aus Zeitmangel häufig nicht den Zugang zu Themen, die sowohl persönlich als auch beruflich wichtig sind. Das Führungskräfte-Handbuch schafft Abhilfe. Es ist ein kompetenter Begleiter, der mit seinen gut lesbaren Beiträgen von ausgewiesenen Fachleuten der Praxis thematische Anstöße und aktuelle Antworten auf Fragen zu Berufs- und Persönlichkeitsentwicklung, Karriere, Management, Gesundheit, juristische Themen, aber auch zur individuellen Interessenvertretung gibt. Ein umfangreicher Serviceteil eröffnet weitere Informationsquellen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 720 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeHerausgeberverzeichnis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The conformal geometry of surfaces recently developed by the authors leads to a unified understanding of algebraic curve theory and the geometry of surfaces on the basis of a quaternionic-valued function theory. The book offers an elementary introduction to the subject but takes the reader to rather advanced topics. Willmore surfaces in the foursphere, their Bäcklund and Darboux transforms are covered, and a new proof of the classification of Willmore spheres is given. 104 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23 25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux within the Institut d Informatique et Mathematiques Appliquees de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner. 552 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thealgebraicapproachtosystemspeci cationanddevelopment,borninthe early1970sasaformalmethodforabstractdatatypes,encompassestoday,atthe beginningofthethirdmillennium,theformaldesignofintegratedhardwareand softwaresystems,newspeci cationframeworksandprogrammingparadigms, andawiderangeofapplicationareas. TheworkshopsonAlgebraicDevelopment Techniques,initiatedin1982astheworkshoponAbstractDataTypes,area prominentforumtopresentanddiscusscurrentresearchinthatarea. The15thInternationalWorkshoponAlgebraicDevelopmentTechniques (WADT2001)tookplaceinGenova,asasatelliteofETAPS2001,onApril 1 3,2001,andwasorganizedbyMauraCerioliandGiannaReggio. From1991to1995WADTworkshopswereheldjointlywiththeGeneral WorkshopoftheESPRITBasicResearchWorkingGroupCOMPASS. Following thistradition,theWADT2001washeldjointlywiththeGeneralWorkshopof theESPRITWorkingGroupCoFI. TheCommonFrameworkInitiative,started in1995andfundedsince1998asCoFIWG,iscenteredaroundthede nitionof theCommonAlgebraicSpeci cationLanguage(CASL). TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays. Theparallelsessionsweredevotedto:logicsand proofs,concurrentprocesses,institutionsandcategories,applicationsandcase studies,higher-orderandparameterizedspeci cations,staticanalysis,software architectures,graphandtransformationrules. Themaintopicsoftheworkshopwere: algebraicspeci cation otherapproachestoformalspeci cation speci cationlanguagesandmethods termrewritingandproofsystems speci cationdevelopmentsystems(concepts,tools,etc. ) Theprogramcommitteeinvitedsubmissionsoffullpapersforpossibleinclusion inthisvolume,onthebasisoftheabstractsandthepresentationsatWADT 2001. Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectio nof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontribution tothescienti cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci cation(seebrics. dk/ pdm/IFIP-WG1. 3). November2001 MauraCerioliandGiannaReggio Organization ProgramCommittee MichelBidoit (Cachan,France) MauraCerioli (Genova,Italy) Hans-J orgKreowski (Bremen,Germany) PeterMosses,chair (Aarhus,Denmark) FernandoOrejas (Barcelona,Spain) FrancescoParisi-Presicce (Roma,Italy) GiannaReggio (Genova,Italy) DonaldSannella (Edinburgh,Scotland) AndrzejTarlecki (Warsaw,Poland) ExternalReferees EgidioAstesiano ManuelKoch MarekBednarczyk MikolajKonarski BenjaminBlanc AlexanderKurz AlexandreBoisseau SabineKuske TomaszBorzyszkowski SlawomirLasota PaoloBottoni ChristophLuth PaoloCenciarelli DirkPattinson HartmutEhrig Wies lawPawlo wski StevenEker Jean-ClaudeReynaud JeanGoubault-Larrecq MarkusRoggenbach PiotrHo man SponsoringInstitutions CoFI(CommonFrameworkInitiative),ESPRITWorkingGroup29432. DISI,Universit`adegliStudidiGenova. IFIPWG1. 3onFoundationsofSystemSpeci cation. TableofContents InteractiveRule-BasedSpeci cationwithanApplication toVisualLanguageDe nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 R. Bardohl,M. Große-Rhode,andM. Simeoni AlgebraicAbstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 M. BidoitandA. Boisseau CombiningLogics:ParchmentsRevisited. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 C. Caleiro,P. Mateus,J. Ramos,A. Sernadas CanonicalInstitutionsofBehaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 J. F. CostaandH. Louren co TheLub eckTransformationSystem:ATransformationSystem forEquationalHigherOrderAlgebraicSpeci cations . . . . . . . . . . . . . . . . . . . 85 W. DoschandS. Magnussen OntheCompatibilityofModelandModel-ClassTransformations . . . . . . . 109 M. GajewskyandF. Parisi-Presicce VerifyingaSimplePipeli.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the papers presented at CG2000 the Second International ConferenceonComputersandGames heldattheCURREACCenterinHa- matsu, Japan, on October 26 28, 2000. The CG conferences provide an international forum for researchers working on any aspect of computers and games to meet and exchange information on the latest research. CG2000 was attended by 80 people from over a dozen di erent countries, thus building on the success of the inaugural Computers and Games conference, held in 1998. The third conference in the series is scheduled to take place alongside the AAAI conference in Edmonton, Alberta, Canada in 2002. The interests of the conference attendees and organizers cover all issues related togame-playing;forinstance,theimplementationandperformanceofprograms, new theoretical developments in game-related research, general scienti c cont- butions produced by the study of games, social aspects of computer games, cognitive research on how humans play games, and issues related to networked games. This book contains all the new developments presented at CG2000. The CG2000 technical program consisted of 23 presentations of accepted papers and apanelsession.InadditiontherewereinvitedtalksbyMichaelLittmanofAT&T Labs, Kei-ichi Tainaka of Shizuoka University, and Nob Yoshigahara, noted - ventor, collector, and popularizer of puzzles. The conference was preceded by an informal workshop on October 26, 2000. 464 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Um das Konzept des Supply Chain Management erfolgreich umsetzen zu können, müssen leistungsfähige Informationsverarbeitungssysteme eingesetzt werden. Viele Industrieunternehmen haben die Logistik-Module von SAP R/3 eingeführt. Die SAP AG mißt dem Supply Chain Management im Rahmen seiner SCOPE-Initiative hohen Stellenwert für die künftige Gestaltung von Systemarchitekturen bei. Das Buch beschreibt die methodischen Ansätze und künftige Entwicklungen daher vor dem Hintergrund dieser Systemlandschaft. Der Leser erhält eine aktuelle und anwendungsorientierte Darstellung des Supply Chain Management und seiner Umsetzung mit SAP R/3. Zugleich werden künftige Entwicklungstendenzen der SAP-Systeme und ihre strategische Bedeutung für die Unternehmensführung aufgezeigt. 260 pp. Englisch.