springer berlin heidelberg jul 2009 (233 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -his monograph on the concept of capitalism is the intellectual core of a larger work, entitled Capitalism, Its Origins and Evolution as Ta System of Governance, due for publication November 2009. The purpose of this monograph is to put forth an original concept of ca- talism as a system of governance, including a theory of how it functions at any point in time and how it evolves through time. In the larger book, I present a theory of its origins and evolution and support this theory with a set of country case studies that span both time and geography. It was, in fact, my experience in studying these case studies that led me to the c- cept presented here as well as to the theory of capitalism¿s origins and e- lution. In the larger book, I build on the present work, identifying and expla- ing capitalism as a system of governance for political entities such as - tion states. I then supplement these ideas with a description and expla- tion of three generic economic strategies. Taken together, my studies of economic strategies and specific capitalist systems of governance are - tended to enhance and enrich existing literature on ¿varieties of capit- ism¿.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 84 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Lehrbuch bringt in einem stufenweisen Aufbau, ausgehend von der Mittelwerteigenschaft harmonischer Funktionen, über die Perronsche Methode zur Lösung des Dirichletproblems für die Laplacegleichung und den Kelloggschen Satz über das Randverhalten von Lösungen der Poissongleichung, eine Darstellung der klassischen Theorie linearer elliptischer Differentialgleichungen 2. Ordnung.Der Zusammenhang mit schwachen Lösungen solcher Gleichungen wird hergestellt. Hervorzuheben sind zahlreiche neue und vereinfachte Beweise, so für die Symmetrie und die Abschätzung der Greenschen Funktion und ihrer Ableitungen. Der sparsame und effiziente Einsatz von Hilfsmitteln ermöglicht den Studierenden das Eindringen in dieses Gebiet bereits ab dem 2. Studienjahr. Die Beschreibung von Beweisvarianten erleichtert es dem Dozenten, für Vorlesung oder Seminar eine Auswahl zu treffen. Eine Besonderheit dieses Buches bilden die vielen historischen Bezüge und Literaturhinweise, die auch dem Fachmann manches Neue bieten.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die Fallsammlung verdeutlicht die Rechtsanwendung im Bereich des Sanktionenrechts anhand von Klausurfällen, die überwiegend in Anlehnung an die höchstrichterliche Rechtsprechung entwickelt worden sind. Im Mittelpunkt stehen die Fragen der Strafzumessung bei der Geld- und der Freiheitsstrafe, aber auch die Nebenentscheidungen, wie sie insbesondere im Zusammenhang mit der Strafaussetzung zur Bewährung anstehen, werden behandelt. Die in den theoretischen Vorlesungen oft ungeklärte Frage, wie denn die ¿richtige' Sanktion im Einzelfall tatsächlich zu finden ist, wird in den Musterlösungen anschaulich und nachvollziehbar gemacht. Allen Musterlösungen vorangestellt ist ein Abschnitt, in dem auf die Kernprobleme des jeweiligen Falls, die Weichenstellungen und größere Zusammenhänge hingewiesen wird. Die sanktionsrechtlichen Aufgaben werden in prozessuale Fragestellungen eingekleidet, so dass nebenher auch die Kenntnisse im Bereich des Strafprozessrechts vertieft werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Buch bietet eine Einführung in die wichtigsten Methoden der beschreibenden Statistik und ausgewählte Kapitel der Wirtschaftsstatistik, insbesondere in die Indexzahlen und die Messung von Konzentration und Disparität. Die Darstellung zielt auf klare Begriffe, nachvollziehbare Verfahren und Motivation aus den Wirtschaftswissenschaften. Sie enthält zahlreiche durchgerechnete Beispiele, zum Teil mit aktuellen realen Wirtschaftsdaten. Anleitungen zur Datenanalyse am Computer mit Excel® ergänzen den Text. Das Lehrbuch richtet sich an Studierende insbesondere der Wirtschafts- und Sozialwissenschaften im Bachelorstudium. Es ist auch zum Selbststudium geeignet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Lehrbuch für die Praxis und das praxisorientierte Studium liegt nun in der 3. Auflage vor. Es behandelt die Gleichstrommaschine, den Transformator, die Asynchron- und die Synchronmaschine. Das Betriebsverhalten steht im Vordergrund. Durch die anschauliche Art der Darstellung weckt der Autor das Verständnis für die physikalischen Vorgänge und vermeidet mathematische Formalismen.Zahlreiche Beispiele und Aufgaben dienen zum Einüben des Lehrstoffes und vermitteln ein Gefühl für sinnvolle Größenordnungen. Nach dem Durcharbeiten des Buches ist der Leser in der Lage, das Betriebsverhalten der behandelten Maschinen experimentell und rechnerisch zu untersuchen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Deutsch.

Buch. Zustand: Neu. Neuware -In less than a decade, Europe has witnessed a series of large-scale natural disasters and two major terrorist attacks. Growing concern about the trans-national effects of these incidents has caused the EU Member States to seek more multilateral cooperation. As a result, a system of common arrangements for handling large-scale emergencies or disasters has emerged, which, due to its quick and ad-hoc development, may seem almost impenetrable to newcomers to the field. This book seeks to provide a much-needed overview of disaster and crisis management systems in the EU. It provides a basic understanding of how EU policy has evolved, the EU¿s mandate, and above all, a concise and hands-on description of the most central crisis management arrangements. Written by some of Europe¿s main experts and consultants in the field, this book represents a unique and comprehensive source of information for everyone involved or interested in the European Union crisis management system.'This book will quickly become an indispensable resource for two groups: Practitioners will enjoy its accessible and comprehensive style. Academics curious about this emerging field will turn to it for an introductory overview. As someone who closely studies this field, I find the book engaging, detailed, and accurate, and I read every line with great interest. The authors are to be commended for the quality of research that went into this work.'Mark Rhinard, Senior Research Fellow at the Swedish Institute of International Affairs (UI)Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 7th Workshop on e-Business (WeB 2008) was held on December 13, 2008, in Paris. As a pre-ICIS workshop, it provided an open forum for e-business - searchersandpractitionerstoshareresearch ndings,explorenovelideas,discuss success stories and lessons learned, and map out major challenges with regard to the design of e-business systems. The workshop theme was ¿Designing e-Business Systems: Markets, Services and Networks.¿ With WeB 2008 having been located in Europe, we wanted to highlight the increasing importance of the design science approach for infor- tionsystemsresearch,which hasa longtraditionin theEuropeanIS community. We received a large number of submissions that addressed key issues speci c to the workshop theme as well as e-business in general. Based on a rigorous review process, a total of 31 full papers and 30 research-in-progresspapers were accepted for presentation at the workshop, covering a broad range of technical, empirical, managerial,and economic aspects of e-business. Of the 31 full papers, 17 selected papers are contained in this volume of Lecture Notes in Business Information Processing. We hope that you will nd them an interesting read and that you will bene t from the authors¿ ne contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Conceptual Structures, ICCS 2009, which took place in Moscow, Russia, on July 26-31, 2009.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the Program Committee, it is our pleasure to present the p- ceedings of the 6th GI International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). Since 2004, DIMVA annually brings together leading researchers and practitioners from academia, government and industry to present and discuss novel security research. DIMVA is organized by the Special Interest Group Security¿Intrusion Detection and Response (SIDAR)¿of the German Inf- matics Society (GI). The DIMVA 2009 Program Committee received 44 submissions from ind- trial and academic organizations from 17 di erent countries. Each submission was carefully reviewed by at least three Program Committee members or ext- nal experts. The submissions were evaluated on the basis of scienti c novelty, importance to the eld and technical quality. The nal selection took place at the Program Committee meeting held on March 23, 2009, in Brussels, Belgium. Ten full papers and three extended abstracts were selected for presentation and publication in the conference proceedings. TheconferencetookplaceduringJuly9¿10,2009,atVillaGallia,LakeComo, Italy, with the program grouped into ve sessions. Two keynote speeches were presented by Richard A. Kemmerer (University of California, Santa Barbara) and HenryStern (Ironport/ Cisco).The conferenceprogramwascomplemented by the Capture-the-Flag contest CIPHER (Challenges in Informatics: Progr- ming, Hosting and ExploRing) organized by Lexi Pimenidis (iDev GmbH) and a rump session organized by Sven Dietrich (Stevens Institute of Technology). A successful conference is the result of the joint e ort of many people. In particular, we would like to thank all the authors who submitted contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), the sixth of a series of workshops that is aimed at discussing and providing an overview of current state-of-the-art technology for programming multi-agent systems. The aim of the ProMAS workshop series is to promote research on progr- ming technologies and tools that can e ectively contribute to the development and deployment of multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, - quirements, and principles that are important for establishing multi-agent p- gramming platforms that are useful in practice and have a theoretically sound basis. Topics addressed include but are not limited to the theory and app- cations of agent programming languages, the veri cation and analysis of agent systems,aswellastheimplementationofsocialstructureinagent-basedsystems (e. g. ,roleswithin organizations,coordinationandcommunicationin multi-agent systems). In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. We were very pleased to be able to again present a range of high-quality papers at ProMAS 2008. After ve successful editions of the ProMAS workshop series, which took place during AAMAS 2003 (Melbourne, Australia), AAMAS 2004 (New York, USA), AAMAS 2005 (Utrecht, The Netherlands), AAMAS 2006 (Hakodate, Japan), and AAMAS 2007 (Honolulu, Hawai¿i), the sixth edition took place on May 13 in Estoril, Portugal, in conjunction with AAMAS 2008, the main international conference on autonomous agents and MAS.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The European Society for Arti cial Intelligence in Medicine (AIME) was - tablished in 1986 following a very successful workshop held in Pavia, Italy, the year before. The principal aims of AIME are to foster fundamental and applied research in the application of arti cial intelligence (AI) techniques to medical care and medical research, and to provide a forum at biennial conferences for discussing any progress made. For this reason the main activity of the society wastheorganizationofaseriesofbiennialconferences,heldinMarsei lles,France (1987), London, UK (1989), Maastricht, The Netherlands (1991), Munich, G- many (1993), Pavia, Italy (1995), Grenoble, France (1997), Aalborg, Denmark (1999),Cascais,Portugal(2001),Protaras,Cyprus(2003),Aberdeen,UK(2005), and Amsterdam, The Netherlands (2007). This volume contains the proceedings of AIME 2009, the 12th Conference on Articial Intelligence in Medicine, held in Verona, Italy, July 18-22, 2009. The AIME 2009 goalswereto present and consolidate the internationalstate of the art of AI in biomedical research from the perspectives of theory, meth- ology, and application. The conference included two invited lectures, full and short papers, tutorials, workshops,and a doctoral consortium. In the conference announcement, authors were solicited to submit originalcontributions regarding the developmentoftheory,techniques, andapplications ofAI in biomedicine, - cluding the exploitation of AI approaches to molecular medicine and biomedical informaticsandto healthcareorganizationalaspects. Authorsofpapersaddre- ing theory were requested to describe the properties of novel AI methodologies potentially useful for solving biomedical problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing The disciplined study of domain-speci c languages (DSLs) is an emerging area in computer science, and is one which has the potential to revolutionize the eld, and bring us closer to answering this question. DSLs are formalisms that have four general characteristics. ¿ They relate to a well-de ned domain of discourse, be it controlling tra c lights or space ships. ¿ They have well-de ned notation, such as the ones that exist for prescribing music, dance routines, or strategy in a football game. ¿ The informal or intuitive meaning of the notation is clear. This can easily be overlooked, especially since intuitive meaning can be expressed by many di erent notations that may be received very di erently by users. ¿ The formal meaning is clear and mechanizable, as is, hopefully, the case for the instructions we give to our bank or to a merchant online. 424 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 29th Annual International Cryptology Conference, CRYPTO 2009, held in Santa Barbara, CA, USA in August 2009. The 38 revised full papers presented were carefully reviewed and selected from 213 submissions. Addressing all current foundational, theoretical and research aspects of cryptology, cryptography, and cryptanalysis as well as advanced applications, the papers are organized in topical sections on key leakage, hash-function cryptanalysis, privacy and anonymity, interactive proofs and zero-knowledge, block-cipher cryptanalysis, modes of operation, elliptic curves, cryptographic hardness, merkle puzzles, cryptography in the physical world, attacks on signature schemes, secret sharing and secure computation, cryptography and game-theory, cryptography and lattices, identity-based encryption and cryptographers¿ toolbox.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence. Volume XIII constitutes a special issue on semantic data warehouses. The papers in this volume address several topics within this relatively new domain, providing different insights into the multiple benefits that can be gained by envisioning data warehouses from a semantic perspective. These papers broach many new ideas to be addressed in future work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but were not restricted to, the following: ¿ Design, speci cation, code generation and testing based on formal methods ¿ Veri cation and validation of complex, distributed, real-time systems and embedded systems ¿ Veri cation and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e. g. , scalability and usability issues) ¿ Tools for the development of formal design descriptions ¿ Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identi cation of new research - rections ¿ Impact of the adoption of formal methods on the development process and associated costs ¿ Application of formal methods in standardization and industrial forums The workshop included six sessions of regular contributions in the areas of model checking, testing, software veri cation, real-time performance, and ind- trial case studies. There were also three invited presentations, given by Steven Miller,Rance Cleaveland,and Werner Damm, coveringthe applicationof formal methods in the avionics and automotive industries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume serves as the conference proceedings for the Third International ConferenceonGeoSensorNetworks(GSN 2009)that washeld in Oxford,UK, in July 2009. The conference addressed issues related to the deployment of geos- sor networks and the collection and management of real-time geospatial data. This volume includes papers covering a variety of topics, ranging from sensing, routing and in-network processing, to data modelling, analysis, and appli- tions. It re ects the cross-disciplinary nature of geosensor networks by bringing together ideas from di erent elds, such as geographic information systems, d- tributed systems, wireless networks, distributed databases, and data mining. The papersincludedinthis volumepushthe frontiersofGSN researchins- eral new directions. First, they shift the traditional paradigm of xed resour- constrained sensor networks to more versatile scenarios involving mobile sensors with varying levels of computation, sensing, and communication capabilities. Second, emerging applications, such as urban sensing, are raising interesting new GSN challenges, such as participatory sensing, as well as the need to st- dardizeprotocolsandinterfaces,andintegratemultiple sensornetworks.Finally, technological advances in geosensor networks have enabled the collection of vast amounts of real-time high-resolution spatio-temporal data; the sheer volume of these data raises the need for e cient data modelling, analysis, and pattern extraction techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume brings together the peer-reviewed contributions of the participants at the COST 2102 International Conference on ¿Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions¿ held in Prague, Czech Republic, October 15¿18, 2008. The conference was sponsored by COST (European Cooperation in the Field of Scientific and Technical Research, cost. esf. org/domains_actions/ict) in the - main of Information and Communication Technologies (ICT) for disseminating the research advances developed within COST Action 2102: ¿Cross-Modal Analysis of Verbal and Nonverbal Communication¿ cost2102. cs. stir. ac. uk. COST 2102 research networking has contributed to modifying the conventional theoretical approach to the cross-modal analysis of verbal and nonverbal communi- tion changing the concept of face to face communication with that of body to body communication as well as developing the idea of embodied information. Information is no longer the result of a difference in perception and is no longer measured in terms of quantity of stimuli, since the research developed in COST 2102 has proved that human information processing is a nonlinear process that cannot be seen as the sum of the numerous pieces of information available. Considering simply the pieces of inf- mation available, results in a model of the receiver as a mere decoder, and produces a huge simplification of the communication process. 456 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Pairing-Based Cryptography, Pairing 2009, held in Palo Alto, CA, USA, in August 2009. The 16 full papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on signature security, curves, pairing computation, non-interactive zero-knowledge systems and applications, group signatures, and protocols. 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 17th International Symposium Fundamentals of Computation Theory, FCT 2009, held in Wroclaw, Poland in August 2009. The 29 revised full papers were carefully reviewed and selected from 67 submissions. The papers address all current topics in computation theory such as automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, algebra and categories in computer science, circuits and networks, learning theory, specification and verification, parallel and distributed systems, concurrency theory, cryptography and cryptograhic protocols, approximation and randomized algorithms, computational geometry, quantum computation and information, bio-inspired computation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Networks play a central role in today¿s society, since many sectors employing information technology, such as communication, mobility, and transport - even social interactions and political activities - are based on and rely on networks. In these times of globalization and the current global financial crisis with its complex and nearly incomprehensible entanglements of various structures and its huge effect on seemingly unrelated institutions and organizations, the need to understand large networks, their complex structures, and the processes governing them is becoming more and more important.This state-of-the-art survey reports on the progress made in selected areas of this important and growing field, thus helping to analyze existing large and complex networks and to design new and more efficient algorithms for solving various problems on these networks since many of them have become so large and complex that classical algorithms are not sufficient anymore. This volume emerged from a research program funded by the German Research Foundation (DFG) consisting of projects focusing on the design of new discrete algorithms for large and complex networks. The 18 papers included in the volume present the results of projects realized within the program and survey related work. They have been grouped into four parts: network algorithms, traffic networks, communication networks, and network analysis and simulation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Buch. Zustand: Neu. Neuware -A 'Learning Network' is a community of people who help each other to better understand and handle certain events and concepts in work or life. As a result ¿ and sometimes also as an aim ¿ participating in learning networks stimulates personal development, a better understanding of concepts and events, career development, and employability. 'Learning Network Services' are Web services that are designed to facilitate the creation of distributed Learning Networks and to support the participants with various functions for knowledge exchange, social interaction, assessment and competence development in an effective way. The book presents state-of-the-art insights into the field of Learning Networks and Web-based services which can facilitate all kinds of processes within these networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -ThisvolumeofLNCScontainstheproceedingsofthe6thEuropeanPerformance EngineeringWorkshop,held at ImperialCollegeLondon during July 9¿10,2009. Thiswasthe rstintheEPEWseriestobeheldintheUK,followingonfromthe highly successful workshops that were held in Toledo (2004), Versailles (2005), Budapest (2006), Berlin (2007) and Palma de Mallorca (2008). As with previousEPEW workshops,the event was supported by submissions from all over the world, including Asia, the Middle East, North America, as well as Europe. There were 33 submissions in total of which 13 were selected for full papers and four as short papers. I would like to commend the diligent e orts of the Programme Committee, who returned a complete set of reviews ¿ four per paper ¿ which is most unusual. This enabled and enhanced the week-long programme discussion which selected the papers presented here. The papers themselves maintained the tradition of diversity and quality that the European Performance Engineering Workshop has supported throughout. Papers representing the di erent elds of performance engineering and ana- sis, were broadly classi ed by applications, techniques and formalisms. In the applications domain, we had a signi cant contribution, I believe for the rst time, in the modelling of auctions and markets. There were also contributions on hardware modelling of RAID systems, as well as ve papers on performance aspects of cellular and xed-line networks. New techniques presented included a novel approach to mean value analysis, an application of stochastic ordering to queueingnetworksandaninterestingextensionofpassage-timeanalysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems. 372 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The conference was hosted by the School of Computer Science at McGill University, Montreal, Canada, during August 2¿7, 2009. CADE is the major forum for the presentation of research in all aspects of automated deduction. Within this general topic the conference is devoted to foundations, applications, implementations and practical experiences. CADE was founded in 1974 when it was held in Argonne, USA. Since then CADE has been organized rst on a bi-annual basis mostly and since 1996 on an annual basis, in 2001, 2004, 2004, 2006 and 2008 as a constituent of IJCAR. This year the Program Committee selected 32 technical contributions out of 77 initial submissions. Of the selected papers 27 were regular papers and 5 were system papers. Each paper was refereed by at least three reviewers on its sign- icance, technical quality, originality, quality of presentation and relevance to the conference. The refereeing process and the Program Committee meeting were conducted electronically via the Internet using the EasyChair conference m- agement system. The program included three invited lectures by distinguished experts in the area: Instantiation-Based Automated Reasoning: From Theory to Practice by Konstantin Korovin(The Universityof Manchester,UK),Integrated Reasoning and Proof Choice Point Selection in the Jahob System: Mechanisms for Program Survival by Martin Rinard (Massachusetts Institute of Technology, USA),and Building Theorem Provers byMarkStickel(SRIInternational,USA). 520 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -CiE 2009: Mathematical Theory and Computational Practice Heidelberg, Germany, July 19¿24, 2009 After several years of research activity, the informal cooperation ¿C- putability in Europe¿ decided to take a more formal status at their meeting in Athens in June 2008: the Association for Computability in Europe was founded to promote the development, particularly in Europe, of computability-related science, ranging over mathematics, computer science, and applications in va- ous natural and engineering sciences such as physics and biology, including the promotion of the study of philosophy and history of computing as it relates to questionsofcomputability. As mentioned,this associationbuilds ontheinformal network of European scientists working on computability theory that had been supporting the conference series CiE-CS overthe years,and nowbecame its new home. The aims of the conference series remain unchanged: to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines. Computations may be made by experimenting with any sort of physical system obeying the laws of a physical theory such as Newtonian mechanics, quantum theory or relativity. Computations may be very general, depending on the foundations of set theory; or very speci c, using the combinatorics of nite structures. CiE also works on subjects intimately related to computation, especially theories of data and information, and methods for formal reasoning about computations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Arti cial immune systems (AIS) is a diverse and maturing area of research that bridges the disciplines of immunology and engineering. The scope of AIS ranges fromimmune-inspiredalgorithmsandengineeringsolutionsinsoftwareandha- ware, to the understanding of immunology through modeling and simulation of immune system concepts. AIS algorithms have been applied to a wide variety of applications, including computer security, fault tolerance, data mining and optimization. In addition, theoretical aspects of arti cial and real immune s- tems have been the subject of mathematical and computational models and simulations. The 8th InternationalConference on AIS (ICARIS 2009)built on the success of previous years, providing a forum for a diverse group of AIS researchers to present and discuss their latest results and advances. After two years outside Europe, ICARIS 2009 returned to England, the venue for the rst ICARIS back in 2002. This year¿s conference was located in the historic city of York, and was held in St. William¿s College, the conference venue of York Minster, northern Europe¿s largest Gothic cathedral.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Constraint programming (CP) is a powerful programming paradigm for the declarativedescription and the e ective solving of largecombinatorialproblems. Basedonastrongtheoreticalfoundation,itisincreasinglyattractingcommercial interest. Since the 1990s, CP has been deployed by many industry leaders, in particular to model heterogeneous optimization and satisfaction problems. - amples of application domains where such problems naturally arise, and where constraint programming has made a valuable contribution, are scheduling, p- duction planning, communication networks, routing, planning of satellite m- sions, robotics, and bioinformatics. This volumecontainsthe papers selectedfor the post-proceedingsof the13th International Workshop on Constraint Solving and Constraint Logic Progr- ming(CSCLP2008)heldduringJune18¿20,2008inRome,Italy.Thisworkshop was organized as the 13th meeting of the working group on Constraints of the EuropeanResearchConsortiumforInformaticsandMathematics(ERCIM),c- tinuing a series of workshops organized since the creation of the working group in 1997. A selection of papers of these annual workshops plus some additional contributions have been published since 2002 in a series of volumes which ill- trate the evolutioninthe eld, under the title ¿RecentAdvances in Constraints¿ in the Lecture Notes in Arti cial Intelligence series.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the 13th International Conference on Financial Cryptography and Data Security, held at the Accra Beach Hotel and Resort, Barbados, February 23¿26, 2009. Financial Cryptography and Data Security (FC) is a well-established int- national forum for research, advanced development, education, exploration and debate regarding information assurance in the context of nance and commerce. The conference covers all aspects of securing transactions and systems. The goal of FC is to bring security and cryptography researchers and pr- titioners together with economists, bankers, and policy makers. This year, we assembled a vibrant program featuring 21 peer-reviewed research paper pres- tations, two panels (on the economics of information security and on authen- cation), and a keynote address by David Dagon. Despite a proliferation of security and cryptography venues, FC continues to receive a large number of high-quality submissions. This year, we received 91 submissions(75full-lengthpapers,15shortpapersand1panel).Eachsubmission was reviewed by at least three reviewers. Following a rigorous selection, ranking and discussion process, the Program Committee accepted 20 full-length papers, 1 short paper and 1 panel. The overall acceptance rate was 24%. 392 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, held in Kuala Lumpur, Malaysia, in September 2005. The 29 revised full papers and 2 keynote papers presented were carefully reviewed and selected from numerous submissions. The papers address many current topics in multi-agent research and development, ranging from theoretical and methodological issues to various applications in different fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.