springer jan 2004 (188 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -The technical challenges of a human expedition to Mars are the principal theme to be explored by Martin Turner in Expedition Mars. The author begins by describing how the very latest rocket propulsion and spacecraft technology, and planned developments in nuclear and electric propulsion technologies, are the key factors which will enable a human expedition to Mars to take place. Of particular importance are the challenges of transporting cargo to Mars and in providing necessary life support for the crew, including the supply of consumables, such as food, water, air and fuel, for the return journey. In this regard the author considers how the International Space Station fits into the strategy for a human journey to the Red Planet, in its preparation of astronauts for long-duration spaceflight and the possible hazards posed by space radiation and prolonged weightlessness.The author discusses the relative merits of fast and slow journeys to Mars, i.e. is quicker also safer and cheaper Also of importance is the role of unmanned robotic explorers in preparing the ground for human activities on Mars and in defining what the surface of Mars is like. The means by which future explorers will live and work on Mars are also explored, including issues such as habitation, modules, Mars buggies, spacesuits, scientific experiments and communications with Earth. He concludes by looking at the possible political obstacles to such a journey, but points out that sooner or later humans will have to make a choice; stay here on Earth or explore the Solar System beyond. One route takes us nowhere, the other leads to the stars.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In summary, Bayesian methods are already seen by many as an essential tool to aid in formal chronology building in archaeology. At present, most researchers use packages like OxGal and BGal to make use of such tools and typically see them as radiocarbon calibration tools (indeed both are described as such on their own WWW welcome pages). On reflection, however, I think that it is clear that these packages offer more than just calibration, they are modest Bayesian chronological data interpretation environments. Given this observation, and the fact that the current tools are built on a sound foundation offlexible and scalable theory,I think that we are in a good position to move towards fully integrated tools for Bayesian chronology building. All of the current and planned research projects outlined above will contribute to the extension of the framework in one way or another. Since such work is motivated by a desire to provide practical solutions to real, current and pressing issues associated with chronology building, I feel sure that we can look forward to many more years of fast moving, productive and practical research in Bayesian chronology building. References Ammerman, A. J. and Cavalli-Sforza, 1. L. (1971). Measurement of the rate of spread of early farming in Europe. Man , 6, 674-688. Ammerman, A. J. and Cavalli-Sforza, 1. L. (1984). The Neolithic transition and the genetics of populations in Europe. Princeton University Press, Princeton. Anderson, A. , Allingham, B. and Smith, I. (1996a).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Zustand: 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. Zustand: 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.

Buch. Zustand: Neu. Neuware -Drastic changes of the societies in the new century require new paradigm in every area of social science. Organizations study is not exception. This book illustrates the cutting edge of organizations study beyond the traditional approaches in management science and general management theory. With an interdisciplinary approach emphasizing systemic properties of organizations such as interaction, hierarchy, network and emergence, it covers dynamic aspects of organizational learning and evolution as well as the decision making function and information processing process.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Buch. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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.

Taschenbuch. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: Neu. Neuware -This series is directed to healthcare professionals who are leading the trans formation of health care by using information and knowledge. Launched in 1988 as Computers in Health Care, the series offers a broad range of titles: some addressed to specific professions such as nursing, medicine, and health administration; others to special areas of practice such as trauma and radiol ogy. Still other books in the series focus on interdisciplinary issues, such as the computer-based patient record, electronic health records, and networked healthcare systems. Renamed Health Informatics in 1998 to reflect the rapid evolution in the discipline now known as health informatics, the series will continue to add titles that contribute to the evolution of the field. In the series, eminent ex perts, serving as editors or authors, offer their accounts of innovations in health informatics. Increasingly, these accounts go beyond hardware and soft ware to address the role of information in influencing the transformation of healthcare deli very systems around the world. The series also increasingly focuses on 'peopleware' and the organizational, behavioral, and societal changes that accompany the diffusion of information technology in health services environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: 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. Zustand: 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.

Buch. Zustand: Neu. Neuware -Evolution is the most profound of human ideas integrating all natural phenomena: cosmic, biological, and cultural into a continuous universal change. This volume deals with evolutionary observations, experiments, and theories contributing to a deeper understanding of the evolutionary process, th honoring the 75 birthday of Eviatar (Eibi) Nevo. I first met Eibi in 1966 when he was a Fellow in the Museum of Comparative Zoology at Harvard University and working mostly on cricket frog vocalization and speciation in the United States. His unique discovery of pipid fossil frogs in the Israeli Early Cretaceous, central Negev, is possibly the largest world collection of ancient fossil frogs. Our acquaintance developed into mutual friendship and admiration. Since then our long-lasting friendship has included a visit to Israel, enabling me to follow Eibi's major scientific achievements, in particular, his founding of the Institute of Evolution in the University of Haifa and now the pending establishment of the International Graduate School of Evolution. The research program of Eibi Nevo, in collaboration with numerous colleagues and students in Israel and across the world, encompasses diverse perspectives of evolutionary biology and biodiversity of genes, populations, species, and ecosystems integrating modem and classical evolutionary approaches, molecular and organismal. They deal with model organisms in all forms from bacteria through plants, fungi, animals, and humans conducted over local, regional, and global scales. 500 pp. Englisch.

Taschenbuch. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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.