springer berlin heidelberg springer berlin heidelberg apr 2003 (102 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -As the complexity of financial markets keeps growing, so does the need to understand the decision-making and the coordination of the exsuing actions in the marketplace. In particular, the disclosure of information to market participants and its impact on the market outcome mertis attention. This study analyses the role of private and public information in currency crises. Calls for increased dissemination of economic and policy-related information by central banks notwithstanding, the study shows that transparency is not generally conductive to preventing speculative attacks in fixed exchange-rate regimes. Rather, the role of private and public information in the market-place depencs critically on the prevailing market sentiment. The study also highlights the import of market transparency design in an environment that allows for herding and market leadership of individual speculators.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -To put the ARTS & ECONOMICS next to each other, as in the title to this book, may be shocking to some readers. Must not creative art be free of economic constraints, must it not lead a life of its own And is economics not the realm of mean commercial dealings This book argues that it is not so: the ARTS & ECONOMICS go well together, indeed need each other. Without a sound economic base, art cannot exist, and without creativity the economy cannot flourish. There is a second way in which the Arts and Economics go together, namely in the sense of applying economic thinking to the arts. Over the last decades, this scholarly endeavor has been established under the name of 'The Economics of Art' or 'Cultural Economics'. But this may also sound revolting to some readers as it suggests an imperialistic extension of a lowly benefit-cost calculus to the world of art. This fear is unwarranted. On the contrary, cultural economists stress the social value of art and defend it against a crude business view of art. Rather than dismissing art without direct commercial profit, art economists seek ways and means of supporting it. This book is not a textbook summarizing the achievements attained by the economics of art. Such books already exist, among them the author's own, Muses and Markets, Explorations in the Economics of Art, written jointly with Werner Pommerehne. VI Preface ARTS & ECONOMICS charters little known territories.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Zustand: Neu. Neuware -The success of the first edition of this broad appeal book prompted the prepa ration of an updated and expanded second edition. The field of surface anal ysis is constantly changing as it answers the need to provide more specific and more detailed information about surface composition and structure in advanced materials science applications. The content of the second edition meets that need by including new techniques and expanded applications. Newcastle John O'Connor Clayton Brett Sexton Adelaide Roger Smart January 2003 Preface to the First Edition The idea for this book stemmed from a remark by Philip Jennings of Mur doch University in a discussion session following a regular meeting of the Australian Surface Science group. He observed that a text on surface anal ysis and applications to materials suitable for final year undergraduate and postgraduate science students was not currently available. Furthermore, the members of the Australian Surface Science group had the research experi ence and range of coverage of surface analytical techniques and applications to provide a text for this purpose. A list of techniques and applications to be included was agreed at that meeting. The intended readership of the book has been broadened since the early discussions, particularly to encompass industrial users, but there has been no significant alteration in content.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 616 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The characteristics of software systems are undergoing dramatic changes. We are moving rapidly into the age of ubiquitous information services. Persistent computing systems are being embedded in everyday objects. They interact in an autonomouswaywith eachother to provideus with increasinglycomplexservices and functionalities that we can access at any time from anywhere. As a con- quence, not only do the numbers of components of software systems increase; there is also a strong qualitative impact. Software systems are increasingly made up of autonomous, proactive, networked components. These interact with each other in patterns and via mechanisms that can hardly be modeled in terms of classical models of interaction or service-oriented coordination. To some extent, future software systems will exhibit characteristics making them more res- blant of natural systems and societies than of mechanical systems and software architectures. This situation poses exciting challenges to computer scientists and software engineers. Already, software agents and multi-agent systems are recognized as both useful abstractions and e ective technologies for the modeling and building of complex distributed applications. However, little is done with regard to e - tive and methodic development of complex software systems in terms of mul- agent societies. An urgent need exists for novel approaches to software modeling and software engineering that enable the successful deployment of software s- tems made up ofa massive number ofautonomous components, and that allowus to control and predict their behaviour. 300 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 1st International Workshop on Digital Watermarking (IWDW), the con- rence covering all aspects of digital watermarking, was held at the Hotel Riviera situated along the beautiful Han River in Seoul, Korea from November 21 to 22, 2002. These proceedings contain 21 papers that were accepted for presentation at the conference. These papers were selected from 67 submissions including 3 invited papers. They went through a thorough review process by the Program Committee and were selected on the basis of excellence and novelty. The following is a brief description of the history of this conference and - viewing process: In August 2001 some members of the Special Interest Group on Multimedia Protection (SIGMP) of the Korea Institute of Information Security and Cryptology (KIISC) agreed to create the IWDW. In November 2001 we set up a Program Committee and solicited papers while asking Springer-Verlag to publish the proceedings of the workshop in their Lecture Notes in Computer Science series. In July 2002 we received 64 submissions from 14 countries using Microsoft¿s conference management site (cmt. research. microsoft. com/ iwdw2002/). Each submission was assigned a number automatically by the c- ference management tool and the paper was sent to the Program Committee members for their review. We also encouraged di erent sets of experts to join for fair reviews.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Every year we witness acceleration in the availability, deployment, and use of distributed applications. However building increasingly sophisticated applications for extant and emerging networked systems continues to be challenging for several reasons: ¿ Abstract models of computation used in distributed systems research often do not fully capture the limitations and the unpredictable nature of realistic distributed computing platforms; ¿ Fault-tolerance and ef ciency of computation are dif cult to combine when the c- puting medium is subject to changes, asynchrony, and failures; ¿ Middleware used for constructing distributed software does not provide services most suitable for sophisticated distributed applications; ¿ Middleware services are speci ed informally and without precise guarantees of e- ciency, fault-tolerance, scalability, and compositionality; ¿ Speci cation of distributed deployment of software systems is often left out of the development process; ¿ Finally, there persists an organizational and cultural gap between engineering groups developing systems in a commercial enterprise, and research groups advancing the scienti c state-of-the-art in academic and industrial settings. The objectives of this book are: (1) to serve as a motivation for de ning future research programs in distributed computing, (2) to help identify areas where practitioners and engineers on the one hand and scientists and researchers on the other can improve the state of distributed computing through synergistic efforts, and (3) to motivate graduate students interested in entering the exciting research eld of distributed computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -WhiletheSCM-10experimentprovedverysuccessful,theSCMcommunity feltthatitshouldgoforaformalworkshoponceagain. Infact,thiswouldopen uptheopportunitytodocumentcurrentresearchandfertilizethedevelopment ofthisdiscipline. Asaconsequence,thefollow-upworkshopSCM-11washeld as a co-located event with ICSE at Portland, Oregon in May 2003. The Call forPapersreceivedalivelyresponsewith36submissions,outofwhich15were acceptedforpublication(12longand3shortpapers). Thesepapersappearinthe secondpartofthisvolume,orderedbytopic. Inadditiontopaperpresentations, theworkshopprovidedsu cienttimeforinspiringdiscussions. Thechairsofbothworkshopswouldliketoacknowledgetheinvaluablec- tributionsofallauthorsandspeakers,theprogramcommittees,theorganizers oftheICSEconferences,andSpringer-Verlag. May2003 BernhardWestfechtel Andr¿evanderHoek VI Preface ProgramCommitteeofSCM2003 Geo Clemm,Rational,USA ReidarConradi,NTNUTrondheim,Norway IvicaCrnkovic,MalardalenUniversity,Sweden WolfgangEmmerich,UniversityCollegeLondon,UK Andr¿evanderHoek,UniversityofCalifornia,Irvine,USA AnnitaPersson,EricssonAB,M¿olndal,Sweden BernhardWestfechtel(Chair),RWTHAachen,Germany JimWhitehead,UniversityofCalifornia,SantaCruz,USA AndreasZeller,UniversityofSaarbruc ¿ ken,Germany ProgramCommitteeofSCM2001 Geo Clemm,Rational,USA IvicaCrnkovic,MalardalenUniversity,Sweden WolfgangEmmerich,UniversityCollegeLondon,UK JackyEstublier,LSR-IMAG,France Andr¿evanderHoek(Chair),UniversityofCalifornia,Irvine,USA Je Magee,ImperialCollege,London,UK BernhardWestfechtel,RWTHAachen,Germany JimWhitehead,UniversityofCalifornia,SantaCruz,USA AndreasZeller,UniversityofSaarbruc ¿ ken,Germany SCMWorkshops SCM-1,Grassau,Germany(1988) SCM-2,Princeton,USA(1990) SCM-3,Trondheim,Norway(1991) SCM-4,Baltimore,USA(1993) SCM-5,Seattle,USA(1995) SCM-6,Berlin,Germany(1996) SCM-7,Boston,USA(1997) SCM-8,Brussels,Belgium(1998) SCM-9,Toulouse,France(1999) SCM-10,Toronto,Canada(2001) SCM-11,Portland,Oregon(2003) TableofContents BestPapersofSCM2001 De ningandSup 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomously distributed services. The agent metaphor, in particular software agents and multi-agent systems (MAS), constitutes a promising approach for covering most of the software development life cycle, from conceptual modeling and requirements specification to architectural definition, design, and implementation.This book presents 17 carefully reviewed papers arranged in order to provide a coherent survey of how to exploit agent properties and MAS issues in today's software systems. The book offers the following topical sections: software engineering foundations requirements engineering and software architecture coordination and mobility reusedependabilityempirical studies and applicationsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Error-correcting codes have been incorporated in numerous working communication and memory systems. This book covers the mathematical aspects of the theory of block error-correcting codes together, in mutual reinforcement, with computational discussions, implementations and examples of all relevant concepts, functions and algorithms. This combined approach facilitates the reading and understanding of the subject.The digital companion of the book is a non-printable .pdf document with hyperlinks. The examples included in the book can be run with just a mouse click and modified and savedby users for their own purpose.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -We are pleased to present the proceedings of the 2003 Atlantic Web Intelligence C- ference, AWIC 2003. The conference was located in Madrid, Spain during May 5¿6, 2003, organized locally by the Technical University of Madrid. AWIC 2003 aimed to be the rst of a series of conferences on Web Intelligence, to be celebrated annually, alternatively in Europe and America, starting in Madrid. It was born as an activity of the recently created WIC-Poland Research Centre and the WIC-Spain Research Centre, bothbelongingtotheWebIntelligenceConsortium(WIC) (wi-consortium.org).AWIC 2003 was supported with grants from the S- nish Ministry for Science and Technology and the European Network of Excellence in Knowledge Discovery, KDNet. AWIC 2003 brought together scientists, engineers, computer users, and students to exchange and share their experiences, new ideas, and research results about all aspects (theory,applications,andtools)ofarti cialintelligencetechniquesappliedtoWeb-based systems, and to discuss the practical challenges encountered and the solutions adopted. Almost 70 contributions were submitted. After a preliminary evaluation, 60 of these papers were accepted to the conference and were assigned at least two reviewers from the international program committee. Out of this 60, 33 were conditionally accepted, and 32 of them were nally accepted after the conditions set by the reviewers had been met, which resulted in an acceptance ratio of 45%. 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This special issue is the result of the workshop Deception, Fraud and Trust in Agent Societies, held in Bologna on July 15, 2002 as part of the Autonomous Agents and Multi-Agent Systems 2002 Conference (AAMAS2002), organized by Rino Falcone, Suzanne Barber, Larry Korba, and Munindar Singh. The workshop included a special track on ¿Privacy and Protection with Multi-Agent Systems. ¿ The aim of the workshop was to bring together researchers from different elds (Arti cial Intelligence, Mul- agent Systems, Cognitive Science, Game Theory, and Social and Organizational S- ences) that could contribute to a better understanding of trust, privacy and protection in agent societies. The workshop scope included theoretical results and their applications inhuman¿computerinteractionandelectroniccommerce. Thisissueincludesaselection oftherevisedandextendedversionsoftheworkspresentedattheworksho p,incorpor- ing many points that emerged in our discussions, as well as invited papers from expert peopleinthe eld,whichinourviewgivesacompletecoverageofallrelevantissues. We gratefully acknowledge the nacial support from the Italian National Research Council, Institute for Cognitive Science and Technology and theALFEBIITE European Project, contract number IST-1999-10298. We want to express our gratitude to Cristiano Castelfranchi for his stimulating and valuable comments and suggestions both for the organization of the workshop and for the preparation of this special issue.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains a selection of papers from the Joint ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming, held at the Cork Constraint Computation Centre from the 19th to the 21st of June 2002. The workshop co-located two events: the seventh meeting of the ERCIM Working Group on Constraints, co-ordinated by Krzysztof Apt, and the rst annual workshop of the CologNet Area for Constraint and Logic Programming, co-ordinated by Francesca Rossi. The aim of this workshop was to provide a forum where researchers in c- straint processing could meet in an informal setting and discuss their most recent work. The Cork Constraint Computation Centre was chosen as the venue for the workshop because it is a new research centre, supported by Science Foundation Ireland and led by Eugene Freuder, which is entirely devoted to studying c- straint processing. Thus, the workshop participants had an opportunity to see the centre, meet its members and investigate the potential for future collabo- tion. Amongst the topics addressed by the papers in this volume are: veri cation and debugging of constraint logic programs; modelling and solving CSPs; exp- nation generation; inference and consistency processing; SAT and 0/1 encodings of CSPs; soft constraints and constraint relaxation; real-world applications; and distributed constraint solving.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -TheAAECCsymposiumwasstartedinJune1983byAlainPoli(Toulouse),who, together with Roger Desq, Daniel Lazard, and Paul Camion, organized the rst conference. The meaning of the acronym AAECC changed from ¿Applied - gebra and Error Correcting Codes¿ to ¿Applied Algebra, Algebraic Algorithms, and Error Correcting Codes.¿ One reason for this was the increasing importance of complexity, particularly for decoding algorithms. During the AAECC-12 s- posium the conference committee decided to enforce the theory and practice of the coding side as well as the cryptographic aspects. Algebra was conserved, as in the past, but was slightly more oriented to algebraic geometry codes, nite elds, complexity, polynomials, and graphs. For AAECC-15 the main subjects covered were: ¿ Block codes. ¿ Algebra and codes: rings, elds, AG codes. ¿ Cryptography. ¿ Sequences. ¿ Algorithms, decoding algorithms. ¿ Algebra: constructions in algebra, Galois groups, di erential algebra, po- nomials. The talks of the six invited speakers characterized the aims of AAECC-15: ¿ P. Sole (¿Public Key Cryptosystems Based on Rings¿). ¿ S. Lin (¿Combinatorics Low Density Parity Check Codes¿). ¿ J. Stern (¿Cryptography and the Methodology of Provable Security¿). ¿ D. Costello (¿Graph-Based Convolutional LDPC Codes¿). ¿ I. Shparlinsky (¿Dynamical Systems Generated by Rational Functions¿). ¿ A. Lauder (¿Algorithms for Multivariate Polynomials over Finite Fields¿). 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Adaptive Agents and Multi-Agent Systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, computer science, software engineering, and developmental biology, as well as cognitive and social science.This book surveys the state of the art in this emerging field by drawing together thoroughly selected reviewed papers from two related workshops; as well as papers by leading researchers specifically solicited for this book. The articles are organized into topical sections on learning, cooperation, and communication emergence and evolution in multi-agent systems theoretical foundations of adaptive agentsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering tools, program veri - tion/testing/proving systems, program comprehension systems, and program specializationtoolsarelargelydependentonprogramanalysis. Advancedp- gram analysis can: help to nd program errors; detect and tune performan- critical code regions; ensure assumed constraints on data are not violated; tailor a generic program to suit a speci c application; reverse-engineer so- ware modules, etc. A prominent program analysis technique is symbolic a- lysis, which has attracted substantial attention for many years as it is not dependent on executing a program to examine the semantics of a program, and it can yield very elegant formulations of many analyses. Moreover, the complexity of symbolic analysis can be largely independent of the input data size of a program and of the size of the machine on which the program is being executed. In this book we present novel symbolic control and data ow repres- tation techniques as well as symbolic techniques and algorithms to analyze and optimize programs. Program contexts which de ne a new symbolic - scription of program semantics for control and data ow analysis are at the center of our approach. We have solved a number of problems encountered in program analysis by using program contexts. Our solution methods are e cient, versatile, uni ed, and more general (they cope with regular and irregular codes) than most existing methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001.The 31 revised full papers presented were carefully selected and improved during two months of reviewing from 104 conference papers. The papers cover the areas of databases, data mining and intelligent systems, e-learning, human computer interaction, image processing, networks and systems, software and languages, and theoretical computer science. 516 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -complexityheuristicwhichschedulesreal-timetaskssuchthatnotaskmissesits deadlineandthetotalenergysavingsaremaximized. Theotherpapersinthis group(1)tunethesystem-levelparallelismtothecurrent-levelofpower/energy availabilityandoptimizethesystempowerutilization,and(2)performadaptive texturemappinginreal-time3Dgraphicssystemsbasedonamodelofhuman visualperceptiontoachievesigni cantpowersavingswithoutnoticeableimage qualitydegradation. Thethirdgroupofpapersfocusonpowermodelingandmonitoringincluding statisticalpro lingtodetectsoftwarehotspotsofpower,andusingPetriNetsto modelDRAMpowerpolicies. Thisgroupalsoincludesasimulatorforevaluating theperformanceandpowerofdynamicvoltagescalingalgorithms. Thelast groupconcentratesonOS and compilersfor lowpower. The rst paperproposesapplication-issueddirectivestosetthepowermodesindevices suchasadiskdrive. Thesecondpaperproposespoliciesforcluster-widepower VI Preface management. Thepoliciesemploycombinationsofdynamicvoltagescalingand turningonando toreduceoverallclusterpower. PACS2002wasahighlysuccessfulforumduetothehigh-qualitysubmissions, theenormouse ortsoftheprogramcommitteeandthekeynotespeaker,andthe attendees. WewouldliketothankRonnyRonenforanexcellentkeynotespeech, showingthetechnologicalscalingtrendsandtheirimpactonenergy/powerc- sumption in general-purposemicroprocessors,and pinpointing recentmicro- chitecturalstrategiestoachievemorepower-e cientmicroprocessors. Wewould like to also thank Antonio Gonzalez, Andreas Moshovos,John Kalamatianos, andothermembersoftheHPCA-8organizingcommitteewhohelpedarrange forlocalaccomodationandpublicizetheworkshop. February2002 BabakFalsa andT. N. Vijaykumar PACS2002 Program Committee BabakFalsa ,CarnegieMellonUniversity(co-chair) T. N. Vijaykumar,PurdueUniversity(co-chair) DaveAlbonesi,UniversityofRochester KrsteAsanovic,MassachusettsInstituteofTechnology IrisBahar,BrownUniversity LucaBenini,UniversityofBologna DougCarmean,Intel Yuen Chan,IBM KeithFarkas,CompaqWRL MaryJaneIrwin,PennsylvaniSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24¿28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L¿of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: ¿Constructive Validity Revisited¿ by Dana Scott, ¿From the Rules of Logic to the Logic of Rules¿ by Jean-Yves Girard, and ¿The Varieties of Type Theories¿ by Peter Aczel. The contents of these contributions were not laid down in these proceedings, but the videos of the talks and the slides used by the speakers are available at cs. kun. nl/fnds/MartinLoefDay/LoefTalks. htm The previous workshop of the Types Working Group under EUIST project 29001 was held in 2000 in Durham, UK. The workshops Types 2000 and Types 2002 followed a series of meetings organized in the period 1993 ¿ 1999 whithin previous Types projects (ESPRIT BRA 6435 and ESPRIT Working Group 21900). The proceedings of these earlier Types workshops were also published in the LNCS series, as volumes 806, 996, 1158, 1512, 1657, 1956 and 2277. ESPRIT BRA 6453 was a continuation of ESPRIT Action 3245, Logical Frameworks: - sign, Implementation and Experiments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems. 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001. The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Theoretical Foundations of Computer Vision, held in Dagstuhl Castle, Germany in April 2002.The 27 revised full papers presented went through two rounds of reviewing and improvement and assess the state of the art in geometry, morphology, and computational imaging. The papers are organized in sections on geometry - models and algorithms; property measurement in the grid and on finite samples; features, shape, and morphology; and computer vision and scene analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Software Engineering. The workshop attracted 30 participants from academic and industrial institutions in many countries. Twenty-seven papers were submitted, of which 15 were accepted to create a broad program covering the topics of architectures, specification, components and adaptations, technologies, and services. The focus of the workshop was on short presentations, with substantial dis cussions afterwards. Thus, we decided to include in this proceedings also a short summary of every technical session, which was written by some of the partici pants at the workshop. The workshop invited one keynote speaker, Bobby Jadhav of CalKey, who presented a talk on the design and use of model-driven architecture and middle ware in industry. We would like to thank all the people who helped organize and run the workshop. In particular, we would like to thank the program committee for their careful reviews of the submitted papers, Wolfgang Emmerich for being an excellent General Chair, and the participants for a lively and interesting workshop. 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This is a softcover reprint of the English translation of 1990 of the revised and expanded version of Bourbaki's, Algèbre, Chapters 4 to 7 (1981).This completes Algebra, 1 to 3, by establishing the theories of commutative fields and modules over a principal ideal domain. Chapter 4 deals with polynomials, rational fractions and power series. A section on symmetric tensors and polynomial mappings between modules, and a final one on symmetric functions, have been added. Chapter 5 was entirely rewritten. After the basic theory of extensions (prime fields, algebraic, algebraically closed, radical extension), separable algebraic extensions are investigated, giving way to a section on Galois theory. Galois theory is in turn applied to finite fields and abelian extensions. The chapter then proceeds to the study of general non-algebraic extensions which cannot usually be found in textbooks: p-bases, transcendental extensions, separability criterions, regularextensions. Chapter 6 treats ordered groups and fields and based on it is Chapter 7: modules over a p.i.d. studies of torsion modules, free modules, finite type modules, with applications to abelian groups and endomorphisms of vector spaces. Sections on semi-simple endomorphisms and Jordan decomposition have been added.Chapter IV: Polynomials and Rational FractionsChapter V: Commutative FieldsChapter VI: Ordered Groups and FieldsChapter VII: Modules Over Principal Ideal DomainsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -A number of important results in combinatorics, discrete geometry, and theoretical computer science have been proved using algebraic topology. While the results are quite famous, their proofs are not so widely understood. They are scattered in research papers or outlined in surveys, and they often use topological notions not commonly known among combinatorialists or computer scientists.This book is the first textbook treatment of a significant part of such results. It focuses on so-called equivariant methods, based on the Borsuk-Ulam theorem and its generalizations. The topological tools are intentionally kept on a very elementary level (for example, homology theory and homotopy groups are completely avoided). No prior knowledge of algebraic topology is assumed, only a background in undergraduate mathematics, and the required topological notions and results are gradually explained.At the same time, many substantial combinatorial results are covered, sometimes with some of the most important results, such as Kneser's conjecture, showing them from various points of view.The history of the presented material, references, related results, and more advanced methods are surveyed in separate subsections. The text is accompanied by numerous exercises, of varying difficulty. Many of the exercises actually outline additional results that did not fit in the main text. The book is richly illustrated, and it has a detailed index and an extensive bibliography.This text started with a one-semester graduate course the author taught in fall 1993 in Prague. The transcripts of the lectures by the participants served as a basis of the first version. Some years later, a course partially based on that text was taught by Günter M. Ziegler in Berlin. The book is based on a thoroughly rewritten version prepared during a pre-doctoral course the author taught at the ETH Zurich in fall 2001.Most of the material was covered in the course:Chapter 1 was assigned as an introductory reading text, and the other chapters were presented in approximately 30 hours of teaching (by 45 minutes), with some omissions throughout and with only a sketchy presentation of the last chapter.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The material presented in this book is a result of my work in the field of call center management during the period 1999-2002. The focus is on the perfor mance analysis and optimization of inbound call centers. Since call arrivals and call-handling times are often random in inbound call centers, this thesis concentrates on the performance analysis and optimization using queueing models. This book describes mathematical methods and algorithms to relate the number of agents and telephone trunks of a given call center configuration to technical as well as economic performance measures. This book has been accepted as a PhD thesis in Business Administration at the Technical University of Clausthal, Germany. I am indebted to many people for their support during the process of writing this thesis. First of all, I would like to thank my advisor, Prof. Dr. Stefan Helber, for motivating my research to call center related problems. He gently pushed me in fruitful directions and encouraged me to strike a balance between mathematical results and economic implications. Many other helpful suggestions came from him, and his constructive comments on draft versions of this book are invaluable. I am thankful to him and to Prof. Dr. Rolf Schwinn for refereeing this thesis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Buch. Zustand: Neu. Neuware -Mancur Olson wrote important books in the area of Collective Choice and is considered one of the founding fathers of Public Choice as a field of economics. The chapters in this volume cover three main areas of Olson's life work: Collective Action, Institutional Sclerosis and Market-Augmenting Government. Some chapters directly assess Olson`s contributions, focusing on distinguishing what was original in his works from what was already in the literature, and guaging his impact on the fields of public economics and economic history. Other chapters present new tests and frequently extend his work. Each of the chapters is a new piece of scholarship inspired by and intended to honor Mancur Olson, and extend his influence to another generation of Collective Choice scholars and researchers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book, Advances in Economic Design, celebrates the birth of SED, the Society for Economic Design. It grew out of SED 2000, the first International Conference of the Society for Economic Design, which took place in istanbul during 23-27 lune, 2000. While it is not a proceedings or even a selected proceedings volume, it nevertheless contains many chapters which derive from papers presented at SED 2000, although they have typically been substantially reworked, extended and deepened. Of course, all the papers published in this book were anonymously refe reed. As a collection of selected essays, the book displays the state of the art across a broad spectrum of theoretical questions and topics and areas of application which economic designers are investigating. This characteristic of the book is reflected in its organization into seven parts: (A) Social Choice and Electoral Systems, (B) Buyers and SeIlers, (C) Bargaining, (D) Coalitional Stability and Efficiency, (E) Regulating and Organizing Markets, (F) Designing Rights, (G) Information. Most of the chapters of this book were edited for their English. Ms. ludith Tucker edited Chapters A2, A3, BI, B3, Cl, C4, DI, D2, D3, E2, E3, F2, F3 and F4, while Dr. Noah Hardy linguistically edited Chapters B2, B4 and C3. We thank Ms. Tucker and Dr. Hardy for their diligent support in this regard.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Buch. Zustand: Neu. Neuware -Due to their environmental and efficiency characteristics fuel cells are promising technological solutions for many energy related applications (stationary power generation, vehicle propulsion, portable equipment). This book describes the economic dynamics of fuel cells by analyzing their diffusion perspectives as well as the strategic and organisational arrangements designed to promote their development. The costs, risks and economic stakes of fuel cell technologies require both a sustained involvement from public entities and the setting up of innovation networks with a large variety of heterogeneous actors. This context corresponds to a new space for technological competition located at the intersection between firms, networks and national/regional systems of innovation. The book presents a comprehensive analysis of this cooperation/competition phenomenon through different theoretical and empirical investigations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The European Conference on Information Retrieval Research, now in its 25th ¿Silver Jubilee¿ edition, was initiallyestablished bythe Information Retrieval Specialist Group of the British Computer Society(BCS-IRSG) under the name ¿Annual Colloquium on Information Retrieval Research,¿ and was always held in the United Kingdom until 1997. Since 1998 the location of the colloquium has alternated between the United Kingdom and the rest of Europe, in order to re ect the growing European orientation of the event. For the same reason, in 2001 the event was renamed ¿European Annual Colloquium on Information Retrieval Research.¿ Since 2002, the proceedings of the Colloquium have been published bySpringer-Verlag in their Lecture Notes in Computer Science series. In 2003 BCS-IRSG decided to rename the event ¿European Conference on Information Retrieval Research,¿ in order to re ect what the event had slowly turned into, i.e., a full-blown conference with a European program committee, strong peer reviewing, and a (mostly) European audience. However, ECIR still retains the strong student focus that has characterized the Colloquia since their inception: student fees are kept particularlylow, a s- dent travel grant program is available in order to encourage students to attend the conference (and encourage student authors to present their papers pers- ally), and a Best Student Paper Award is assigned (conversely, ECIR has no best paper award).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 644 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 7th Paci c Asia Conference on Knowledge Discovery and Data Mining (PAKDD) was held from April 30 to May 2, 2003 in the Convention and Ex- bition Center (COEX), Seoul, Korea. The PAKDD conference is a major forum for academic researchers and industry practitioners in the Paci c Asia region to share original research results and development experiences from di erent KDD-related areas such as data mining, data warehousing, machine learning, databases, statistics, knowledge acquisition and discovery, data visualization, and knowledge-based systems. The conference was organized by the Advanced Information Technology Research Center (AITrc) at KAIST and the Statistical Research Center for Complex Systems (SRCCS) at Seoul National University. It was sponsored by the Korean Datamining Society (KDMS), the Korea Inf- mation Science Society (KISS), the United States Air Force O ce of Scienti c Research, the Asian O ce of Aerospace Research & Development, and KAIST. It was held with cooperation from ACM¿s Special Group on Knowledge Dis- very and Data Mining (SIGKDD). 636 pp. Englisch.