springer berlin heidelberg jan 2004 (222 results)

Taschenbuch. Condition: Neu. Neuware -The Morse-Sard theorem is a rather subtle result and the interplay between the high-order analytic structure of the mappings involved and their geometry rarely becomes apparent. The main reason is that the classical Morse-Sard theorem is basically qualitative. This volume gives a proof and also an 'explanation' of the quantitative Morse-Sard theorem and related results, beginning with the study of polynomial (or tame) mappings. The quantitative questions, answered by a combination of the methods of real semialgebraic and tame geometry and integral geometry, turn out to be nontrivial and highly productive. The important advantage of this approach is that it allows the separation of the role of high differentiability and that of algebraic geometry in a smooth setting: all the geometrically relevant phenomena appear already for polynomial mappings. The geometric properties obtained are 'stable with respect to approximation', and can be imposed on smooth functions via polynomial approximation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -A recent line of research in environmental and resource economics deals with the analysis of the so-called product-related environmental policy, i.e. the regulation of certain product characteristics which are mainly determined by producers and which influence the impact of consumption goods on the environment. In this line of literature, only little attention has been paid to the role of product durability. The present study aims at filling this gap. It investigates the relationship between (built-in) product durability, production emissions, solid consumption waste and recycling. The main task is to identify inefficiencies in the durability choice of producers and to assess regulatory policies which aim at correcting for such market failure.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -In this book, the authors investigate structural aspects of no arbitrage pricing of contingent claims and applications of the general pricing theory in the context of incomplete markets. A quasi-closed form pricing equation in terms of artificial probabilities is derived for arbitrary payoff structures. Moreover, a comparison between continuous and discrete models is presented, highlighting the major similarities and key differences. As applications, two sources of market incompleteness are considered, namely stochastic volatility and stochastic liquidity. Firstly, the general theory discussed before is applied to the pricing of power options in a stochastic volatility model. Secondly, the issue of liquidity risk is considered by focusing on the aspect of how asset price dynamics are affected by the trading strategy of a large investor.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Buch. Condition: Neu. Neuware -Stakeholder Management - today's buzzword - is difficult to translate into practice even for the experienced manager. Following 'How to achieve excellence in Stakeholder Management', which included case studies from reputable companies, the present volume goes beyond explaining theoretical constructs. Success stories from a wide range of sectors and regions are analyzed in depth in order to illustrate how Stakeholder Management can be tailored to each unique situation. The reader will get concrete answers and ideas about planning and implementing successful stakeholder management in the area of customer retention, employee commitment and internal service quality. These business cases are complemented by articles on the Balanced Scorecard as well as the link between customer satisfaction and business success.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book is devoted to the 6th International Conference on Theory and - plications of Satis ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May5¿8,2003. SAT 2003followedthe WorkshopsonS- is ability held in Siena (1996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the 2003 edition, also a Quanti ed Boolean Formulas (QBFs) solvers comparative evaluation. There were 67 submissions of high quality, authored by researchers from all over the world. All the submissions were thoroughly evaluated, and as a result 42 were selected for oral presentations, and 16 for a poster presentation. The presentations covered the whole spectrum of research in propositional and QBF satis ability testing, including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial app- cations, speci c tools, case studies and empirical results. Further, the program was enriched by three invited talks, given by Riccardo Zecchina (on ¿Survey Propagation: from Analytic Results on Random k-SAT to a Message-Passing - gorithm for Satis ability¿), Toby Walsh (on ¿Challenges in SAT (and QBF)¿) and Wolfgang Kunz (on ¿ATPG Versus SAT: Comparing Two Paradigms for Boolean Reasoning¿). SAT 2003 thus provided a unique forum for the presen- tion and discussion of research related to the theory and applications of pro- sitional and QBF satis ability testing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Buch. Condition: Neu. Neuware -In this third corrected and revised edition students and lecturers in astronomy and planetary science as well as planet observers will find a mine of up-to-date information on the solar system and its interaction with the interplanetary medium, its various objects, comparative planetology, discussion of questions for further research and future space exploration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Israel) called On the Expressive Power of Canonical Abstraction,and ¿atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e ort the conference would not have been possible.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di erent testing phases can also bene t from them to ease the p- duction and application of e ective and e cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di erent countries were selected for presentation at the workshop. 280 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This volume is based on papers presented at the Workshop on Membrane Computing, WMC 2003, which took place in Tarragona, Spain, in the - riod July 17¿July 22, 2003. This was the Fourth Annual Membrane Computing Workshop, and the rst one held outside Romania. The rst three meetings were organized in Curtea de Arge¿ s, Romania ¿ they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, Vol. 2235), in August 2001 (with a selection of papers published as a special issue of F- damenta Informaticae, Vol. 49, Nos. 1¿3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, Vol. 2597). The 2003 workshop was the second workshop of the Molecular Computing Network (MolCoNet) funded by the EU Commission in the Fifth Framework Program Information Society Technologies (project number IST¿2001¿32008). The preproceedings of WMC 2003 were published as Technical Report 28/03 of theResearchGrouponMathematicalLinguisticsfromRoviraiVirgiliUniversity, Tarragona, and they were available during the workshop.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The ongoing compression of computing facilities into small and mobile devices like handhelds, portables or even wearable computers will enhance ubiquitous information processing. The basic paradigm of such pervasive computing is the combination of strongly decentralized and distributed computing with the help of diversi ed devices allowingforspontaneousconnectivityviatheInternet.Computerswillbecomeinvisible to the user, and exchangeof informationbetween devices will effectivelybe beyondthe user¿s control. Assuming a broad usage of more powerful tools and more effective ways to use them the quality of everydaylife will be strongly in uenced by the dependabilityof the new technology. Information stored, processed, and transmitted by the various devices is one of the most critical resources. Threats exploiting vulnerabilities of new kinds of user interfaces, displays, operating systems, networks, and wireless communications will cause new risks of losing con dentiality, integrity, and availability. Can these risks be reducedbycountermeasuresto an acceptablelevelor dowe haveto rede nepolitical and social demands. The objective of this 1st International Conference on Security in Pervasive C- puting was to develop new security concepts for complex application scenarios based on systems like handhelds, phones, smartcards, and smart labels hand in hand with the emerging technology of ubiquitous and pervasive computing. Particular subjects were methodsand technologyconcerningthe identi cationof risks, the de nition of security policies, and the development of security measures that are related to the speci c - pects of ubiquitous and pervasive computing like mobility, communication, and secure hardware/software platforms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Thisbookcontainstherefereedproceedingsofthe1stIFIP-TC6WorkingCon- rence on Wireless-On-Demand Network Systems, WONS 2004. It was sponsored by the IFIP Working Groups 6.3 (Performance of Computer and Commu- cation Networks)and6.8(Mobile and Wireless Communications), and aimed at becoming a premier international forum for discussions between researchers and practitioners interested in the evolution of Wireless Internet Access toward on-demand networking. Ad hoc, routing, localization, resource management, - curity, applications, performance and analytical models were topics covered in depth by technical papers in this book. Theconferencereceived77submissionsfrom22countries,showingthewor- wide interest. With so many papers to choose from, the Technical Program Committee¿s job, providing a conference program with the highest quality, was challenging and time consuming. We nally selected 25 full papers for presen- tion in the conference technical sessions. To give researchers the opportunity to present the novel ideas they are starting to explore, we included in the technical program a poster session devoted to presenting preliminary research results: 7 short papers were selected for presentation in this session. Accepted papers and posters came from 15 di erent countries. The technical program also included a keynote speech ¿Ad Hoc Wireless Networks: Protocols and Applications¿ by Prof. Mario Gerla, and a panel s- sion devoted to the discussion of the conference topics between academics and industry representatives. This event would not have been possible without the enthusiasm and hard work of a number of colleagues. A special thanks to the TPC members, and all the referees, for their invaluable help in reviewing the papers for WONS 2004. 424 pp. Englisch.

Buch. Condition: Neu. Neuware -The contributions to this volume are based on selected lectures from the first international workshop on decoherence, information, complexity and entropy (DICE). The aim of this volume is to reflect the growing importance ot common concepts behind seemingly different fields such as quantum mechanics, general relativity and statistical physics in a form accessible to nonspecialist researchers. Many presentations include original results which are published here for the first time.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002.The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness.This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in September 2001 and September 2002. The lectures are devoted to: Formal Approaches to Approximating Noninterference Properties The Key Establishment Problem Name-Passing Calculi and Cryptoprimitives Classification of Security Properties; Network Security Cryptographic Algorithms for Multimedia Traffic Security for MobilitySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -During recent years, huge efforts have been made to establish digital libraries, in a variety of media, offered from a variety of sources, and intended for a variety of professional and private user communities. As digital data collections proliferate, problems of resource selection and data fusion become major issues. Traditional search engines, even the best ones, are unable to provide access to the hidden web of information that is only available via digital library search interfaces.Originating from the SIGIR 2003 Workshop on Distributed Information Retrieval, held in Toronto, Canada in August 2003, this book presents extended and revised workshop papers as well as several invited papers on the topic to round off coverage of the core issues. The papers are devoted to recent research on the design and implementation of methods and tools for resource discovery, resource description, resource selection, data fusion, and user interaction.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -TheInternationalConferenceonWired/WirelessInternetCommunications(WWIC)was held for the second time, following a successful start in 2002, in LasVegas. The goal of theconferencewastopresenthigh-qualityresultsinthe eld,andtoprovideaframework for research collaboration through focused discussions that designated future research efforts and directions. The number and the quality of submissions indicate that we are well on the way to establishing WWIC as a major event in the eld of wired/wireless internet communications. We received around 60 competitive submissions from Europe, North America, the Middle East and the Far East. Each submission was reviewed by at least two experts, although the majority received three or more reviews. Based on this rigorous reviewing procedure, the International Program Committee selected 26 submissions for presen- tion and publication in the proceedings. Therefore, we should all expect the quality of a selective conference in this volume. We hope you will enjoy it. The papers selected for presentation at WWIC 2004 were stimulating and of utmost interest. They were organized into eight sessions: 1. Protocol engineering and energy ef ciency in wireless networks 2. Mobility management and mobile devices 3. Transport layer and congestion control 4. Architecture, implementation and experimentation 5. Network and protocol modeling 6. Wireless network scheduling and analysis 7. Multimedia distribution and group communication 8. Service discovery. We would like to thank the authors for choosingWWIC 2004 to submit their results. We would also like to thank all the members of the Technical Program Committee, as well as the additional reviewers, for their effort to provide detailed and constructive reviews. 324 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index.A separate, complementary LNCS volume contains the CASL Reference Manual.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -InthisbookwepresentacollectionofpapersaroundthetopicofAgentCom- nication. The communication between agents has been one of the major topics of research in multi-agent systems. The current work can therefore build on a number of previous workshops, the proceedings of which have been published in earlier volumes in this series. The basis of this collection is the accepted s- missions of the workshop on Agent Communication Languages which was held in conjunction with the AAMAS conference in July 2003 in Melbourne. The workshop received 15 submissions of which 12 were selected for publication in this volume. Although the number of submissions was less than expected for an important area like Agent Communication there is no reason to worry that this area does not get enough attention from the agent community. First of all, the 12 selected papers are all of high quality. The high acceptance rate is only due to this high quality and not to the necessity to select a certain number of papers. Besides the high-quality workshop papers, we noticed that many papers on Agent Communication found their way to the main conference. We decided therefore to invite a number of authors to revise and extend their papers from this conference and to combine them with the workshop papers. We believe that the current collection comprises a very good and quite complete overview of the state of the art in this area of research and gives a good indication of the topics that are of major interest at the moment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The papers in this volume represent the technical program of the 9th Biennial WorkshoponDataBasesandProgrammingLanguages(DBPL2003),whichwas held on September 6¿8, 2003, in Potsdam, Germany. The workshop meets every two years, and is a well-established forum for ideas that lie at the intersection of database and programming language research. DBPL 2003 continued the t- dition of excellence initiated by its predecessors in Rosco , Finistre (1987), S- ishan, Oregon (1989), Nafplion, Argolida (1991), Manhattan, New York (1993), Gubbio, Umbria (1995), Estes Park, Colorado (1997), Kinloch Rannoch, Sc- land (1999), and Frascati, Rome (2001). Theprogramcommitteeselected14papersoutof22submissions,andinvited twocontributions.The16talkswerepresentedoverthreedays,insevense ssions. In theinvitedtalk Jennifer Widom presented the paper CQL: a Language forContinuousQueriesoverStreamsandRelations,coauthoredbyArvindArasu andShivnathBabu.Whilealotofresearchhasbeendonerecentlyonqueryp- cessingoverdatastreams,CQLisvirtuallythe rstproposalofaquerylanguage on streams that is a strict extension of SQL. The language is structured around a simple yet powerful idea: it has two distinct data types, relations and streams, with well-de ned operators for mapping between them. Window speci cation expressions, such as sliding windows, map streams to relations, while operators such as ¿insert stream,¿ ¿delete stream,¿ and ¿relation stream¿ map relations to streams by returning, at each moment in time, the newly inserted tuples, the deleted tuples, or a snapshot of the entire relation. The numerous examples in this paper make a convincing case for the power and usefulness of CQL.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Condition: Neu. Neuware -Peer-to-peer(P2P)computingiscurrentlyattractingenormousmediaattention, spurred by the popularity of le sharing systems such as Napster, Gnutella and Morpheus. In P2P systems a very large number of autonomous computing nodes (the peers) pool together their resources and rely on each other for data and services. The wealth of business opportunities promised by P2P networks has gene- ted much industrial interest recently, and has resulted in the creation of various industrial projects, startup companies, and special interest groups. Researchers from distributed computing, networks, agents and databases have also become excited about the P2P vision, and papers tackling open problems in this area have started appearing in high-quality conferences and workshops. Much of the recent research on P2P systems seems to be carried out by - search groups with a primary interest in distributed computation and networks. This workshop concentrated on the impact that current database research can have on P2P computing and vice versa. Although researchers in distributed data structures and databases have been working on related issues for a long time, the developed techniques are simply not adequate for the new paradigm. 264 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -In this book, we present a collection of papers around the topic of Agent- Mediated Knowledge Management. Most of the papers are extended and - provedversions of work presented at the symposium on Agent-Mediated Kno- edge Management held during the AAAI Spring Symposia Series in March 2003 at Stanford University. The aim of the Agent-Mediated Knowledge Management symposium was to bring together researchers and practitioners of the elds of KM and agent te- nologiestodiscussthebene ts,possibilitiesandadded-valueofcross-fertilization. Knowledge Management (KM) has been a predominant trend in bu- ness in recent years. Not only is Knowledge Management an important eld of applicationfor AIandrelatedtechniques,suchasCBRtechnologyforintelligent lessons-learned systems, it also provides new challenges to the AI community, like, for example, context-aware knowledge delivery. Scaling up research pro- typestoreal-worldsolutionsusuallyrequiresanapplication-drivenintegrationof several basic technologies, e.g., ontologies for knowledge sharing and reuse, c- laboration support like CSCW systems, and personalized information services. Typical characteristics to be dealt with in such an integration are: ¿ manifold, logically and physically dispersed actors and knowledge sources, ¿ di erent degrees of formalization of knowledge, ¿ di erent kinds of (Web-based) services and (legacy) systems, ¿ con icts between local (individual) and global (group or organizational) goals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -WithgreatpleasurewewelcomedtheattendeestoEWSN2004,the1stEuropean Workshop on Wireless Sensor Networks, held in the exciting and lively city of Berlin. Wireless sensor networks are a key technology for new ways of interaction betweencomputersandthephysicalenvironmentwhichsurroundsus.Compared to traditional networking technologies, wireless sensor networks are faced with a rather unique mix of challenges: scalability, energy e ciency, self-con guration, constrainedcomputationandmemoryresourcesinindividualnodes,data-cent- city, and interaction with the physical environment, to name but a few. The goal of this workshop is to create a forum for presenting new results in the ourishing eld of wireless sensor networks. By bringing together academia and industry we hope to stimulate new opportunities for collaborations. In compiling the scienti c program we have been quite selective. Thanks to the e orts of 90 reviewers who delivered 252 reviews for the 76 papers originally submitted from all over the world, a strong selection of the 24 best contributions was made possible. The Technical Program Committee created an outstanding program covering the broad scope of this highly interdisciplinary eld: from distributed signal processing through networking and middleware issues to - plication experience. Running such a workshop requires dedication and much work from many people. We want to thank in particular Petra Hutt, Irene Ostertag and Heike Klemz for their valuable and esteemed help in the local organization of this workshop. We hope that you enjoy this volume, and if you were lucky enough to - tend we hope that you enjoyed the discussions with colleagues working in this fascinating area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowadays, software is to be based on open architectures that continuously change and evolve to accommodate new components and meet new requirements. Software must also operate on di- rent platforms, without recompilation, and with minimal assumptions about its operating environment and its users. Furthermore, software must be robust and autonomous, capable of serving a naive user with a minimum of overhead and interference. Agent concepts hold great promise for responding to the new realities of so- ware systems. They o er higher-level abstractions and mechanisms that address issues such as knowledge representation and reasoning, communication, coor- nation, cooperation among heterogeneous and autonomous parties, perception, commitments, goals, beliefs, and intentions, all of which need conceptual mo- ling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities, e.g., in inference-based query answering, transaction control, adaptive work ows, brokering and integration of disparate information sources, and automated communication processes. On the other hand, their rich representational capabilities allow more faithful and exible treatments of c- plex organizational processes, leading to more e ective requirements analysis and architectural/detailed design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Once again we bring you the proceedings of the International Workshop on Security Protocols. It seems hard to believe that we have reached the tenth event in this annual series. This year our theme was ¿Discerning the Protocol Participants.¿ Security protocols are usually described in terms of the active participants ¿ Alice c- putes foo and sends it to Bob. However most security protocols also include o -line participants, which are not synchronously involved in the exchange of messages: a bank may participate on behalf of a customer, and an arbiter may subsequently be asked to interpret the meaning of a run. These silent partners to the protocol have their own security policies, and assumptionsaboutidentity,authorizationandcapabilityneedtobere-examined when the agenda of a hidden participant may change. We hope that the position papers published here, which have been rewritten and rethought in the light of the discussions at the workshop, will be of interest, not just for the speci c contributions they make but also for the deeper issues which they expose. In order to identify these issues more clearly, we include transcripts for some of the discussions which took place in Cambridge during the workshop. What would you have liked to add Do let us know. 256 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Thevolumecomprises nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference ¿Perspectives of System Informatics,¿ Akademgorodok (Novosibirsk, Russia), July 9¿12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for growth in the major areas of research activities in system informatics. The conference was held to honor the 70th anniversary of Ershov¿s closest colleague, the late Prof. Igor Pottosin (1933¿2001), and his outstanding cont- bution towards advancing informatics. The rst four Andrei Ershov conferences were held in May 1991, June 1996, July 1999, and July 2001, and they proved to be signi cant international events. Andrei Ershov was one of the early Russian pioneers in the eld of theo- tical and systems programming, a founder of the Siberian School of Computer Science. His closest colleague, Igor Pottosin, worked for the Siberian Branch of the Russian Academy of Sciences from 1958, step by step lling positions from junior researcher to director of the A.P. Ershov Institute of Informatics - stems. In later years he headed the Laboratory of Systems Programming in this institute and the Department of Programming at Novosibirsk State University. 600 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -In this volume we present the accepted contributions for the 7th European C- ference on Genetic Programming (EuroGP 2004). The conference took place on 5¿7 April 2004 in Portugal at the University of Coimbra, in the Department of Mathematics in Prä ca Dom Dinis, located on the hill above the old town. EuroGP is a well-established conference and the sole one exclusively de- ted to Genetic Programming. Previous proceedings have all been published by Springer-Verlag in the LNCS series. EuroGP began as an international wor- hop in Paris, France in 1998 (14¿15 April, LNCS 1391). Subsequently the wor- hop was held in G¿ oteborg, Sweden in 1999 (26¿27 May, LNCS 1598) and then EuroGP became an annual conference: in 2000 in Edinburgh, UK (15¿16 April, LNCS 1802), in 2001 at Lake Como, Italy (18¿19 April, LNCS 2038), in 2002 in Kinsale, Ireland (3¿5 April, LNCS 2278), and in 2003 in Colchester, UK (14¿16 April, LNCS 2610). From the outset, there have always been specialized wor- hops, co-located with EuroGP, focusing on applications of evolutionary al- rithms (LNCS 1468, 1596, 1803, 2037, 2279, and 2611). This year the EvoCOP workshop on combinatorial optimization transformed itself into a conference in its own right, and the two conferences, together with the EvoWorkshops, EvoBIO, EvoIASP, EvoMUSART, EvoSTOC, EvoHOT, and EvoCOMNET, now form one of the largest events dedicated to Evolutionary Computation in Europe.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The 30th Anniversary Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, took place during January 24¿30, 2004, ¿ in the Hotel VZ M e rin, located about 60 km south of Prague on the right shore of Slapsk¿ap rehrada (¿Slapy Dam¿) in the Czech Republic. Having transformed itself over the years from a local event to a fully internat- nal conference, the contemporary SOFSEM tries to keep the best of its winter school aspects (the high number of invited talks) together with multidiscip- narity trends in computer science ¿ this year illustrated by the selection of the following 4 tracks: ¿ Computer Science Theory (Track Chair: Peter Van Emde Boas) ¿ Database Technologies (Track Chair: Jaroslav Pokorny) ¿ ¿ Cognitive Technologies (Track Chair: Peter Sin c¿ ak) ¿ Web Technologies (Track Chair: Julius ¿ Stuller) Its aim was, as always, to promote cooperation among professionals from a- demia and industry working in various areas of computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The Pauline letters continue to provoke scholarly discussion. This volume includes papers that raise a variety of questions regarding the canon of the Pauline writings. Some of the essays are more narrowly focused in their intent, sometimes concentrating upon a single dimension related to the Pauline canon, and sometimes upon even a single letter. Others of the essays are more broadly conceived and deal with how one assesses or accounts for the process that resulted in the letters as a collection, rather than analyzing individual letters. There are also mediating positions that attempt to overcome the disjunction between authenticity and inauthenticity by exploring the complex notion of interpolation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Solving complex problems in real-world contexts, such as financial investment planning or mining large data collections, involves many different sub-tasks, each of which requires different techniques. To deal with such problems, a great diversity of intelligent techniques are available, including traditional techniques like expert systems approaches and soft computing techniques like fuzzy logic, neural networks, or genetic algorithms. These techniques are complementary approaches to intelligent information processing rather than competing ones, and thus better results in problem solving are achieved when these techniques are combined in hybrid intelligent systems. Multi-Agent Systems are ideally suited to model the manifold interactions among the many different components of hybrid intelligent systems.This book introduces agent-based hybrid intelligent systems and presents a framework and methodology allowing for the development of such systems for real-world applications. The authors focus on applications in financial investment planning and data mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Condition: Neu. Neuware -After a decade of sharp economic decline, Russia switched to an impressive period of economic growth. Yet the economic record is still mixed, and many key problems remain unresolved, both in the economic sphere and the political system. The focus is on economic dynamics in Russia, reasons for its hesitant opening up process as well as the special role of the natural resources sector which is expected to continue to grow. This analysis highlights the existing deficiencies of the Russian economic system and raises doubts about the sustainability of growth. Twin focus is on required reforms and endogenous forces that impair liberalizing trade and investment in an orderly way. Russian discussions on WTO and other international topics are reflected.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.