springer berlin heidelberg springer berlin heidelberg mär 2009 (94 résultats)

Taschenbuch. Etat : Neu. Neuware -Microfinance has experienced dynamic development. Today, microfinance providers reach close to 100 million clients worldwide and are growing fast. New partnerships expand the impact of microfinance even further. Three types of partnerships are examined in this book, each consisting of a thematic pillar. Pillar I focuses on equity investments in microfinance, especially the possibilities for engaging private investors through structured microfinance investment funds. Rating agencies are involved in providing more transparency in this emerging fund industry. Pillar II focuses on collaboration among microfinance providers, governments, private investors and technology companies which help microfinance institutions to integrate new technologies into their business models, reducing cost and increasing outreach to clients. Pillar III covers micropensions, microinsurance and the role of securitisation for the future of microfinance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Buch. Etat : Neu. Neuware -As other industries, the global travel and tourism industry has been facing immense challenges and highly visible upheaval since the beginning of the new millennium. The International Tourism Exchange ITB Berlin, the world¿s leading travel trade show, aims at pinpointing the most important challenges, identifying the trends and offering a platform to solve pressing problems. The ITB Convention Market Trends & Innovations has developed into a centre of excellence and a driving force for the global travel and tourism industry, generating a much needed information platform. This compilation unites the highlights of the convention in articles prepared by renowned professionals and scientists from the industry. Readers may benefit from this comprehensive vision of the developments that are shaping the structure of the global tourism industry today and in the future. This book is indispensable for tourism and travel professionals as well as for academics and students anal- ing current global tourism and travel trends.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Success of an organization is increasingly dependent on its capability to create an environment in order to improve productivity of knowledge work. This book focuses on the concepts, models and technologies that are used to design and implement such an environment. It develops the vision of a modular, yet highly integrated enterprise knowledge infrastructure and presents an idealized architecture replete with current technologies and systems. The most important streams of technological development that are covered in the book are communication, collaboration, document and content management, e-learning, enterprise portals, business process management, information life cycle management, information retrieval and visualization, knowledge management, mobile computing, application and network infrastructure, Semantic Web and social software. It includes learning goals, exercises and case examples that help the reader to easily understand and practice the concepts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the Third International Symposium on Quantum Interaction, QI 2009, held in Saarbrücken, Germany, in March 2009. The 21 revised full papers presented together with the 3 position papers were carefully reviewed and selected from numerous submissions. The papers show the cross-disciplinary nature of quantum interaction covering topics such as computation, cognition, decision theory, information retrieval, information systems, social interaction, computational linguistics and finance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the First International on Bioinformatics and Computational Biology, BICoB 2007, held in New Orleans, LA, USA, in April 2007. The 30 revised full papers presented together with 10 invited lectures were carefully reviewed and selected from 72 initial submissions. The papers address current research in the area of bioinformatics and computational biology fostering the advancement of computing techniques and their application to life sciences in topics such as genome analysis sequence analysis, phylogenetics, structural bioinformatics, analysis of high-throughput biological data, genetics and population analysis, as well as systems biology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming. 428 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Thisvolumecontainsthe15paperspresentedinthetechnicalstrandoftheTrust 2009 conference, held in Oxford, UK in April 2009. Trust 2009 was the second international conference devoted to the technical and socio-economic aspects of trusted computing. The conference had two main strands, one devoted to technical aspects of trusted computing (addressed by these proceedings), and the other devoted to socio-economic aspects. Trust 2009 built on the successful Trust 2008 conference, held in Villach, Austria in March 2008. The proceedings of Trust 2008, containing 14 papers, were published in volume 4968 of the Lecture Notes in Computer Science series. ThetechnicalstrandofTrust2009contained15originalpapersonthedes ign and application of trusted computing. For these proceedings the papers have been divided into four main categories, namely: ¿ Implementation of trusted computing ¿ Attestation ¿ PKI for trusted computing ¿ Applications of trusted computing The 15 papers included here were selected from a total of 33 submissions. The refereeing process was rigorous, involving at least three (and mostly more) independent reports being prepared for each submission. We are very grateful to our hard-working and distinguished Program Committee for doing such an excellent job in a timely fashion. We believe that the result is a high-quality set of papers, some of which have been signi cantly improved as a result of the refereeing process. We would also like to thank all the authors who submitted their papers to the technical strand of the Trust 2009 conference, all external referees, and all the attendees of the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The growing complexity of modern software systems increases the di culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: ¿ Veri cation and re nement of fault-tolerant systems ¿ Integrated approaches to developing fault-tolerant systems ¿ Formal foundations for error detection, error recovery, exception and fault handling ¿ Abstractions, styles and patterns for rigorousdevelopment of fault tolerance ¿ Fault-tolerant software architectures ¿ Development and application of tools supporting rigorous design of depe- able systems ¿ Integrated platforms for developing dependable systems ¿ Rigorous approaches to speci cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with theIntegrated Formal Methods 2007 Conference at Oxford University.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The Lecture Notes collect seven mini-courses presented at the 5th Prague Summer School on Mathematical Statistical Physics that took placeduringtwoweeksofSeptember2006.Aswithprecedingschools,it was aimed at PhD students and young postdocs. The central theme of the volume is what could be called ¿mathematics of phase transitions¿ in diverse contexts. Even though all courses were meant to introduce the reader to recent progress of a particular topic of modern statis- cal physics, attention has been paid to providing a solid grounding by carefully developing various basic tools. One of the techniques that led, more than two decades ago, to a seriesofimportantoutcomesinthetheoryofphasetransitionsoflattice models was re ection positivity. Recently it resurfaced and was used to obtain interesting new results in various settings. The lectures of Marek Biskup include a thorough introduction to re ection positivity as well as a review of its recent applications. In addition, it contains a crash course on lattice spin models that is useful as a background for other lectures of the collection. Also the following two contributions concern equilibrium statistical physics.ThelecturesofDmitriIo earedevotedtoastochasticgeom- ricreformulationofclassicalaswellasquantumIsingmodels.Auni ed approachtotheFortuin-Kasteleynandrandomcurrentrepresentations in terms of path integrals is presented. Statistical mechanics of directed polymers interacting with o- dimensionalspatiale ectsisatopicwithvariousapplicationsinphysics and biophysics. The lectures of Fabio Toninelli are devoted to a th- ough discussion of the localization/delocalization transition in these models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) IIThese Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) Other papers invited for publication in ToPNoC Papers submitted directly to ToPNoC by their authorsThe second volume of ToPNoC focuses on Concurrency in Process-Aware Information Systems. Although the topic of business process management using information technology has been addressed by consultants and software developers in depth, more fundamental approaches towards such Process-Aware Information Systems (PAISs) have been rather uncommon. It wasn't until the 1990s that researchers started to work on the foundations of PAISs. Clearly, concurrency theory is an essential ingredient in these foundations as business processes are highly concurrent involving all types of routing logic and resource allocation mechanisms. The 16 papers in this special issue of ToPNoC cover topics ranging from the formal (mostly Petri-net based) foundations of PAISs to more applied topics such as flexibility and process mining. Thus, this volume gives a good overview of the state of the art in PAIS research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Buch. Etat : Neu. Neuware -This lecture notes in physics volume mainly focuses on the semi classical and qu- tum aspects of percolation and breakdown in disordered, composite or granular s- tems. The main reason for this undertaking has been the fact that, of late, there have been a lot of (theoretical) work on quantum percolation, but there is not even a (single) published review on the topic (and, of course, no book). Also, there are many theoretical and experimental studies on the nonlinear current-voltage characteristics both away from, as well as one approaches, an electrical breakdown in composite materials. Some of the results are quite intriguing and may broadly be explained utilising a semi classical (if not, fully quantum mechanical) tunnelling between - cron or nano-sized metallic islands dispersed separated by thin insulating layers, or in other words, between the dangling ends of small percolation clusters. There have also been several (theoretical) studies of Zener breakdown in Mott or Anderson in- lators. Again, there is no review available, connecting them in any coherent fashion. A compendium volume connecting these experimental and theoretical studies should be unique and very timely, and hence this volume. The book is organised as follows. For completeness, we have started with a short and concise introduction on classical percolation. In the rst chapter, D. Stauffer reviews the scaling theory of classical percolation emphasizing (biased) diffusion, without any quantum effects. The next chapter by A. K.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis. 504 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The First Future Internet Symposium was held during September 28¿30, 2008 in Vienna, Austria. FIS 2008 provided a forum for leading researchersand pr- titioners to meet and discuss the wide-ranging scienti c and technical issues related to the design of a new Internet. The sentiment shared in Vienna was that we are at the beginning of something very exciting and challenging and that FIS 2008 has played a role in forming a community to address this. With overa billionusers,today¿s Internet is arguablythe most successful- man artifact ever created. The Internet¿s physical infrastructure, software, and content now play an integralpart in the lives of everyoneon the planet, whether they interact with it directly or not. Now nearing its fth decade, the Int- net has shown remarkable resilience and exibility in the face of ever-increasing numbers of users, data volume, and changing usage patterns, but faces gr- ing challenges in meetings the needs of our knowledge society. Globally, many major initiatives are underway to address the need for more scienti c research, physical infrastructure investment, better education, and better utilization of the Internet. Japan, the USA and Europe are investing heavily in this area. The EU is shaping around the idea of the Future Internet its research programmes for the Seventh Framework. EU commissioners, national government ministers, industry leadersand researchersmet in Bled, Slovenia during March 31¿April2, 2008, to begin developing a vision of a future Internet that will meet Europe¿s needs a decade from now, and beyond. Abroadprogrammeofscienti cresearchisessentialtosupportingtheaimsof the Future Internetinitiative.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Buch. Etat : Neu. Neuware -Storage Management in Data Centers helps administrators tackle the complexity of data center mass storage. It shows how to exploit the potential of Veritas Storage Foundation by conveying information about the design concepts of the software as well as its architectural background. Rather than merely showing how to use Storage Foundation, it explains why to use it in a particular way, along with what goes on inside. Chapters are split into three sections: An introductory part for the novice user, a full-featured part for the experienced, and a technical deep dive for the seasoned expert. An extensive troubleshooting section shows how to fix problems with volumes, plexes, disks and disk groups. A snapshot chapter gives detailed instructions on how to use the most advanced point-in-time copies. A tuning chapter will help you speed up and benchmark your volumes. And a special chapter on split data centers discusses latency issues as well as remote mirroring mechanisms and cross-site volume maintenance. All topics are covered with the technical know how gathered from an aggregate thirty years of experience in consulting and training in data centers all over the world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The notion of an operad was introduced 40 years ago in algebraic topology in order to model the structure of iterated loop spaces [6, 47, 60]. Since then, operads have been used fruitfully in many elds of mathematics and physics. Indeed, the notion of an operad supplies both a conceptual and e ective device to handle a variety of algebraic structures in various situations. Many usualcategoriesofalgebras(likethecategoryofcommutativeandassociative algebras, the category of associative algebras, the category of Lie algebras, thecategoryofPoissonalgebras,.)areassociatedtooperads. The main successful applications of operads in algebra occur in defor- tion theory: the theory of operads uni es the construction of deformation complexes, gives generalizations of powerful methods of rational homotopy, and brings to light deep connections between the cohomology of algebras, the structure of combinatorial polyhedra, the geometry of moduli spaces of surfaces, and conformal eld theory. The new proofs of the existence of deformation-quantizations by Kontsevich and Tamarkin bring together all these developments and lead Kontsevich to the fascinating conjecture that the motivic Galois group operates on the space of deformation-quantizations (see [35]). The purpose of this monograph is to study not operads themselves, but modules over operads as a device to model functors between categories of algebras as e ectively as operads model categories of algebras. Modules overoperads occur naturally when one needs to representuniv- sal complexes associated to algebras over operads (see [14, 54]). Modules overoperads havenot been studied as extensively as operads yet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Georgia, in October 2007.The 22 revised full papers included in the book were carefully reviewed and selected from numerous presentations given at the symposium. The focus of the papers is on the following topics: conceptual modeling of spatial relations, pragmatics and game theory, atypical valency phenomena, lexical typology, formal semantics and experimental evidence, exceptional quantifier scope, Georgian focussing particles, polarity and pragmatics, dynamics of belief, learning theory, inquisitive semantics, modal logic, coalgebras, computational linguistics of Georgian, type-logical grammar and cross-serial dependencies, non-monotonic logic, Japanese quantifiers, intuitionistic logic, semantics of negated nominals, word sense disambiguation, semantics of question-embedding predicates, and reciprocals and computational complexity.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -In this monograph, we de ne and investigate an algebro-geometric analogue of Donaldson invariants by using moduli spaces of semistable sheaves with arbitrary ranks on a polarized projective surface. We may expect the existence of interesting ¿universal relations among invariants¿, which would be a natural generalization of the ¿wall-crossing formulä and the ¿Witten conjecture¿ for classical Donaldson invariants. Our goal is to obtain a weaker version of such relations, in other brief words, to describe a relation as the sum of integrals over the products of m- uli spaces of objects with lower ranks. Fortunately, according to a recent excellent work of L. Gottsche, ¿ H. Nakajima and K. Yoshioka, [53], a wall-crossing formula for Donaldson invariants of projective surfaces can be deduced from such a weaker result in the rank two case. We hope that our work in this monograph would, at least tentatively, provides a part of foundation for the further study on such universal relations. In the rest of this preface, we would like to explain our motivation and some of important ingredients of this study. See Introduction for our actual problems and results. Donaldson Invariants Let us brie y recall Donaldson invariants. We refer to [22] for more details and precise. We also refer to [37], [39], [51] and [53]. LetX be a compact simply con- nected oriented real 4-dimensional C -manifold with a Riemannian metric g. Let P be a principalSO(3)-bundle on X.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The 5th International Conference on Information Security Practice and Expe- ence (ISPEC 2009) was held in Xi¿an, China, April 13¿15, 2009. The ISPEC conference series is an established forum that brings together - searchers and practitioners to provide a con uence of new information security technologies, including their applications and their integration with IT systems in various vertical sectors. In previous years, ISPEC has taken place in Sin- pore (2005), Hangzhou, China (2006), Hong Kong, China (2007), and Sydney, Australia (2008). For all sessions, as this one, the conference proceedings were published by Springer in the Lecture Notes in Computer Science series. In total, 147 papers from 26 countries were submitted to ISPEC 2009, and 34 were nally selected for inclusion in the proceedings (acceptance rate 23%). The accepted papers cover multiple topics of information security and applied cryptography. Each submission was anonymously reviewed by at least three - viewers. We are grateful to the Program Committee, which was composed of more than 40 well-known security experts from 15 countries; we heartily thank them as well as all external reviewers for their time and valued contributions to the tough and time-consuming reviewing process. Inadditiontothe regularpaperpresentations,the programalsofeaturedfour invited talks by Yupu Hu, from Xidian University, China; Youki Kadobayashi, from Nara Institute of Science and Technology, Japan; Mark Ryan, from the University of Birmingham, UK; and Gene Tsudik, from the University of C- ifornia at Irvine, USA. We are grateful to them for accepting our invitation to speak at the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Applied Reconfigurable Computing, ARC 2009, held in Karlsruhe, Germany, in March 2009. The 21 full papers and 21 short papers presented together with the abstracts of 3 keynote lectures were carefully reviewed and selected from about 100 submissions. The papers are organized in topical sections on FPGA security and bitstream analysis, fault tolerant systems, architectures, place and route techniques, cryptography, and resource allocation and scheduling, as well as on applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems. 476 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Penalising a process is to modify its distribution with a limiting procedure, thus defining a new process whose properties differ somewhat from those of the original one. We are presenting a number of examples of such penalisations in the Brownian and Bessel processes framework. The Martingale theory plays a crucial role. A general principle for penalisation emerges from these examples. In particular, it is shown in the Brownian framework that a positive sigma-finite measure takes a large class of penalisations into account.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume grew out of a series of preprints which were written and circulated - tween 1993 and 1994. Around the same time, related work was done independently by Harder [40] and Laumon [62]. In writing this text based on a revised version of these preprints that were widely distributed in summer 1995, I nally did not p- sue the original plan to completely reorganize the original preprints. After the long delay, one of the reasons was that an overview of the results is now available in [115]. Instead I tried to improve the presentation modestly, in particular by adding cross-references wherever I felt this was necessary. In addition, Chaps. 11 and 12 and Sects. 5. 1, 5. 4, and 5. 5 were added; these were written in 1998. I willgivea moredetailedoverviewofthecontentofthedifferentchaptersbelow. Before that I should mention that the two main results are the proof of Ramanujan¿s conjecture for Siegel modular forms of genus 2 for forms which are not cuspidal representations associated with parabolic subgroups(CAP representations), and the study of the endoscopic lift for the group GSp(4). Both topics are formulated and proved in the rst ve chapters assuming the stabilization of the trace formula. All the remaining technical results, which are necessary to obtain the stabilized trace formula, are presented in the remaining chapters. Chapter 1 gathers results on the cohomology of Siegel modular threefolds that are used in later chapters, notably in Chap. 3. At the beginning of Chap.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Information Security and Cryptology, ICISC 2008, held in Seoul, Korea, during December 3-5, 2008. The 26 revised full papers presented have gone through two rounds of reviewing and improvement and were carefully selected from 131 submissions. The papers are organized in topical sections on public key encryption, key management and secret sharing, privacy and digital rights, digital signature and voting, side channel attack, hash and mac, primitives and foundations, as well as block and stream ciphers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in October 2007 and in Providence, RI, USA, in May 2008 respectively. The 11 revised full papers of the first and the 12 revised papers of the second symposium presented with an introduction and a keynote talk were carefully reviewed and selected from the lectures given at both events. The papers address several topics such as the structure of the Paninian grammatical system, computational linguistics, lexicography, lexical databases, formal description of sanskrit grammar, phonology and morphology, machine translation, philology, and OCR.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The International Conference on the Computer Processing of Oriental L- guages(ICCPOL)seriesishostedbytheChineseandOrientalLanguagesSociety (COLCS),aninternationalsocietyfoundedin1975.RecentICCPOLeventshave been held in Hong Kong (1997), Tokushima, Japan (1999), Seoul, Korea (2001), Shenyang, China (2003) and Singapore (2006). This volume presents the proceedings of the 22nd International Conference ontheComputerProcessingofOrientalLanguages(ICCPOL2009)heldinHong Kong, March 26-27, 2009. We received 63 submissions and all the papers went through a blind review process by members of the Program Committee. After careful discussion, 25 of them were selected for oral presentation and 15 for poster presentation. The accepted papers covered a variety of topics in natural language processing and its applications, including word segmentation, phrase and term extraction, chunking and parsing, semantic labelling, opinion mining, ontology construction, machine translation, information extraction, document summarization and so on. On behalf of the Program Committee, we would like to thank all authors of submitted papers for their support. We wish to extend our appreciation to the Program Committee members and additional external reviewers for their tremendous e ort and excellent reviews. We gratefully acknowledge the Or- nizing Committee and Publication Committee members for their generous c- tribution to the success of the conference. We also thank the Asian Federation of Natural Language Processing (AFNLP), the Department of Computing, The Hong Kong Polytechnic University, Hong Kong, the Department of Systems - gineering and Engineering Management, The Chinese University of Hong Kong, Hong Kong, and the Centre for Language Technology, Macquarie University, Australia for theirvaluable support. 420 pp. Englisch.

Buch. Etat : Neu. Neuware -Do virtual museums really provide added value to end-users, or do they just contribute to the abundance of images Does the World Wide Web save endangered cultural heritage, or does it foster a society with less variety How can information technology help to preserve the diversity of cultures in our fast-changing world These are the questions that are raised and answered in this book, the result of a long path across the digital heritage landscape.Alfredo M. Ronchi, Secretary of the EC MEDICI Cooperation Framework, gives a broad overview of eCulture and digital heritage. His presentation is divided into three main sections: the first one devoted to the main issues and general guidelines, the second to technological fundamentals and the main solutions, and the third to applications and services, including a wide range of case studies.Starting from the basics the reader will be introduced to virtual museums issues and achievements, cataloguing, digitizing, publishing, and sustainable exploitation of cultural content, all exemplified by real-world case studies and applications. Taking into account more than 15 years of experience and results in digital cultural content research, the author provides a comprehensive view on issues and achievements in digital collections and cultural content for 'memory institutions', developers of digital content and digital libraries, cultural content managers, publishers, librarians, and museum curators.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Geschäftsprozess-Management (BPM) erfährt insbesondere im Zuge der populärer werdenden Service-orientierten Architektur (SOA) eine stetige Aufwertung. Auch für die Abbildung der betriebswirtschaftlichen Vorgänge im Zuge von Reorganisationen und Compliance-Maßnahmen ist eine Formalbeschreibung der Geschäftsprozesse eine wichtige Voraussetzung.Dieses Buch macht in einer kompakten Darstellung mit den grundlegenden Prinzipien der Prozessmodellierung vertraut und zeigt, auf welche Weise sie sich in modernen IT-Systemen umsetzen lassen. Dabei wird von den Modellierungskonzepten eine Brücke zu den technischen Darstellungsformen, Standards (z.B. UML, BPMN, WS-BPEL, XPDL) und deren Implementierung geschlagen.Neben den Grundlagen zeigen praktische Beispiele, auf welche Weise Unternehmen die Mittel der prozessgesteuerten Ablaufsteuerung und modellgetriebenen Softwareentwicklung in ihren Projekten einsetzen können, und welche Tools hierfür zur Verfügung stehen. Ein Buch für Architekten, Entwickler und Projektleiter.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Deutsch.