berlin springer berlin heidelberg springer jun 2008 (226 risultati)

Taschenbuch. Condizione: Neu. Neuware -Queueing networks constitute a large family of stochastic models, involving jobs that enter a network, compete for service, and eventually leave the network upon completion of service. Since the early 1990s, substantial attention has been devoted to the question of when such networks are stable.This volume presents a summary of such work. Emphasis is placed on the use of fluid models in showing stability, and on examples of queueing networks that are unstable even when the arrival rate is less than the service rate.The material of this volume is based on a series of nine lectures given at the Saint-Flour Probability Summer School 2006.Lectures were also given by Alice Guionnet and Steffen Lauritzen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks at the symposium '25 Years of Model Checking', 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006) held in Seattle, WA, USA, in August 2006.Model checking is currently attracting considerable attention beyond the core technical community, and the ACM Turing Award 2007 was given in recognition of the paradigm-shifting work on this topic initiated a quarter century ago. Here we honor that achievement with the inclusion of facsimile reprints of the visionary papers on model checking by Edmund Clarke and Allen Emerson, and by Jean-Pierre Queille and Joseph Sifakis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The problem of solving nonlinear equations and systems of equations ranks among the most signi cant in the theory and practice, not only of applied mathematicsbutalsoofmanybranchesofengineeringsciences,physics,c- puter science, astronomy, nance, and so on. A glance at the bibliography and the list of great mathematicians who have worked on this topic points to a high level of contemporary interest. Although the rapid development of digital computers led to the e ective implementation of many numerical methods, in practical realization, it is necessary to solve various problems such as computational e ciency based on the total central processor unit time, the construction of iterative methods which possess a fast convergence in the presence of multiplicity (or clusters) of a desired solution, the control of rounding errors, information about error bounds of obtained approximate solution, stating computationally veri able initial conditions that ensure a safe convergence, etc. It is the solution of these challenging problems that was the principal motivation for the present study. In this book, we are mainly concerned with the statement and study of initial conditions that provide the guaranteed convergence of an iterative method for solving equations of the form f(z) = 0. The traditional approach to this problem is mainly based on asymptotic convergence analysis using some strong hypotheses on di erentiability and derivative bounds in a rather wide domain.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Condizione: Neu. Neuware -Das Buch ist eine unterhaltsame und formelfreie Darstellung der modernen Physik vom 19. Jahrhundert bis zur Gegenwart. Das Leben Albert Einsteins und seine wissenschaftlichen Leistungen ziehen sich als roter Faden durch den Text. Der Autor erläutert zentrale Begriffe und Ergebnisse der modernen Physik in populärwissenschaftlicher Form aus der historischen Perspektive. Der Leser erfährt auf amüsante Weise, wie sich die moderne Physik entwickelt hat.Wir begegnen Poincaré, Lorentz und Hilbert, Boltzmann und Bohr, Minkowski, Planck, de Broglie, Hubble und Weyl, Gamow, Hahn und Meitner, Kapiza und Landau, Fermi und vielen anderen berühmten Wissenschaftlern. Was hatte Eddington gegen Chandrasekhar und was hatte Einstein gegen Schwarze Löcher Warum sollten Raumtouristen, Traumtouristen und Weltraumtraumtouristen nicht am Loch Ness, sondern auf der sicheren Seite eines Schwarzen Loches Urlaub machen Warum wetterte Pauli gegen Einstein Stimmt die Sache mit der Atombombenformel Vermatschte Materie, Urknall und kosmische Hintergrundstrahlung, Gravitationswellen und Doppelpulsare, die kosmologische Konstante und die Expansion des Universums sind weitere Themen, die den Leser in Atem halten und kein geistiges Vakuum aufkommen lassen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die Juristenausbildung verändert sich. Nicht mehr nur juristisches Fachwissen und Klausurtechnik sind examensrelevant, sondern zu den bekannten Anforderungen kommt in vielen Ländern der Nachweis so genannter 'Schlüsselqualifikationen' in der mündlichen Pflichtfachprüfung hinzu. Auf diese neuen Examensanforderungen bereitet das vorliegende Werk in optimaler Weise vor. Das Buch lehrt und vermittelt sowohl den nötigen theoretischen Hintergrund von Schlüsselqualifikationen und die erforderlichen Kenntnisse auf den Feldern der Rhetorik, der Vortragskunst, der Gesprächsführung und der Selbstorganisation als auch die examensrelevanten praktischen Fertigkeiten zur Präsentation eines Vortrags. Anhand examenstypischer 'Schlüsselqualifikationsaufgaben' erlernen die Studierenden die wesentlichen 'Schlüsselqualifikationstechniken'. Auf diese Weise werden sie bestmöglich in die Lage versetzt, im mündlichen Examen ihre Befähigung auf dem Gebiet der Schlüsselqualifikationen mit Erfolg nachzuweisen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Ein Buch mit echtem Wow!-Effekt. Provozierend, atemberaubend querdenkend über wichtige Themen, die uns zum Teil nicht einmal in den Sinn kommen. Spannend geschrieben, teils sanft, mal bitterböse, immer witzig-brillant: Vorsicht, langsam lesen und genießen - nichts verpassen! Es hält eine merkwürdige Balance zwischen Ironie, Scharfrichterernst, Slapstickeinlage, Satire und philosophischer Ruhe. Wir schwanken: 'Das stimmt genau.' - 'Ist das wirklich ernst gemeint ' - 'Das darf man so nicht sagen!' Wussten Sie schon, dass Menschen am besten und erfolgreichsten arbeiten, wenn sie Sinn und Herausforderung in ihrer Tätigkeit sehen, wenn sie in ihr Erfüllung und Freude finden Jeder von uns weiß das, aber unsere Erziehungs- und Managementsysteme sind erst zufrieden, wenn Lernen und Lehren, Arbeit und Fortkommen Mühsal sind. Der Autor wagt die provozierende Prognose: Die kontrollierenden Computer der Zukunft werden erzwingen, dass Arbeit Spaß macht.Die vierte Auflage wurde um ein Nachwort des Autors ergänzt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -With great pleasure we would like to present the rst volume of a new journal, Transactions on Edutainment. This journal, part of the Springer series L- tureNotesinComputerScience, is devoted to research and development in the eld of edutainment. Edutainment, also known as educational entertainment or entertainment-education,denotes allforms ofentertainmentdesignedto educate as well as to provide fun. This approachis motivated by the increasing demands on individuals for life-long learning and the need to integrate e ective learning opportunities throughout life. As such, edutainment has attracted increasing interest in the last few years. The rst 12 articles of this rst issue represent a selection of outstanding contributions from Edutainment 2008, the Third International Conference on E-Learning and Games held in Nanjing, China, in June 2008. These papers are complemented by individual contributions from international experts in this eld. The rst six articles provide an introduction into the eld of edutainment by presenting di erent application examples. In their article ¿Designing an Ed- ucational Game: Case Study of Euope 2045,¿ Sisler and Brom discuss their experiences in the design of an on-line multi-player strategy game on political, economic, and social issues in contemporary Europe. The following examples point out the crucial role of interaction design and technolgies in the devel- ment of a successful edutainment application.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Buch. Condizione: Neu. Neuware -A. The Outer Limits of the Continental Shelf The 1982 United Nations Convention on the Law of the Sea (herein- ter the ¿Convention¿) marks the beginning of a new era in the law of 1 the sea. The negotiations for this treaty at the Third United Nations Conference for the Law of the Sea (hereinafter ¿UNCLOS III¿), lasted for nine years, from 1973 to 1982. The Convention regulates the principal aspects of international oceans affairs. It establishes and fixes the limits of maritime zones, provides for the rights and duties of states in these zones, establishes the law app- cable in the international seabed area on the basis of the principle of common heritage of mankind, imposes obligations on states to protect the marine environment, and provides for the means of dispute sett- ment. One of the most contentious and divisive issues at UNCLOS III were the outer limits of the continental shelf. Previously, in the 1958 Con- 2 vention on the Continental Shelf (hereinafter the ¿1958 Convention¿), no limits were established for the continental shelf. States were allowed to claim areas of continental shelves based on their capacity to exploit the mineral resources of the shelf. The legal framework in the 1958 Convention would obviously conflict with the principle of the common heritage of mankind. Delegates realized that limits have to be est- lished, but up to where and on the basis of which principles, was a c- tentious question.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008. The 21 papers presented in this book were carefully reviewed and selected from 58 submissions. TOOLS played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of object technology and component-based development to encompass all modern, practical approaches to software development. At the same time, TOOLS kept its traditional spirit of technical excellence, its acclaimed focus on practicality, its well-proven combination of theory and applications, and its reliance on the best experts from academia and industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -On behalf of the PROFES Organizing Committee, we are proud to present to you the proceedings of the 9th International Conference on Product-Focused Software Process Improvement (PROFES 2008) held in Frascati - Monteporzio Catone, Rome, Italy. Since 1999, PROFES has established itself as one of the recognized international process improvement conferences. The main theme of PROFES is professional so- ware process improvement (SPI) motivated by product and service quality needs. Focussing on a product to be developed, PROFES 2008 addressed both quality en- neering and management topics including processes, methods, techniques, tools, - ganizations, and enabling SPI. Both solutions found in practice and the relevant research results from academia were presented. Domains such as the automotive and mobile applications industry are growing r- idly, resulting in a strong need for professional development and improvement. Nowadays, the majority of embedded software is developed in collaboration, and distribution of embedded software development continues to increase. Thus, PROFES 2008 addressed different development modes, roles in the value chain, stakeholders¿ viewpoints, collaborative development, as well as economic and quality aspects. - ile development was included again as one of the themes. Since the beginning of the series of PROFES conferences, the purpose has been to bring to light the most recent findings and novel results in the area of process - provement, and to stimulate discussion among researchers, experienced professionals, and technology providers from around the world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The lectures concentrate on highlights in Combinatorial (ChaptersII and III) and Number Theoretical (ChapterIV) Extremal Theory, in particular on the solution of famous problems which were open for many decades. However, the organization of the lectures in six chapters does neither follow the historic developments nor the connections between ideas in several cases. With the speci ed auxiliary results in ChapterI on Probability Theory, Graph Theory, etc., all chapters can be read and taught independently of one another. In addition to the 16 lectures organized in 6 chapters of the main part of the book, there is supplementary material for most of them in the Appendix. In parti- lar, there are applications and further exercises, research problems, conjectures, and even research programs. The following books and reports [B97], [ACDKPSWZ00], [A01], and [ABCABDM06], mostly of the authors, are frequently cited in this book, especially in the Appendix, and we therefore mark them by short labels as [B], [N], [E], and [G]. We emphasize that there are also ¿Exercises¿ in [B], a ¿Problem Section¿ with contributions by several authors on pages 1063¿1105 of [G], which are often of a combinatorial nature, and ¿Problems and Conjectures¿ on pages 172¿173 of [E].Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Symposium on Biomedical Simulation, ISBMS 2008, held in London, UK, in July 2008. The 19 revised full papers and 7 poster papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in four different sections corresponding to key areas and techniques of this constantly expanding field: finite element modeling, mass spring and statistical shape modeling, motion and fluid modeling and implementation issues. An additional section covers the posters presented at the meeting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, held in Kloster Irsee, Germany, in June 2008. The 37 revised full papers presented together with 1 invited keynote lecture were carefully selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on multimodal and spoken dialogue systems, classification of dialogue acts and sound, recognition of eye gaze, head poses, mimics and speech as well as combinations of modalities, vocal emotion recognition, human-like and social dialogue systems, and evaluation methods for multimodal dialogue systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Buch. Condizione: Neu. Neuware -Semantic Web services promise to automate tasks such as discovery, mediation, selection, composition, and invocation of services, enabling fully flexible automated e-business. Their usage, however, still requires a significant amount of human intervention due to the lack of support for a machine-processable description.In this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description of the various aspects related to Semantic Web services, such as the static background knowledge in the form of ontologies, the functional description of the service, and the behavioral description of the service. They introduce the Web Service Modeling Language (WSML), which provides means for describing the functionality and behavior of Web services, as well as the underlying business knowledge, in the form of ontologies, with a conceptual grounding in the Web Service Modeling Ontology.Academic and industrial researchers as well as professionals will find a comprehensive overview of the concepts and challenges in the area of Semantic Web services, the Web Services Modeling Language and its relation to the Web Services Modeling Ontology, and an in-depth treatment of both enabling technologies and theoretical foundations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Informatics Education ¿ Supporting Computational Thinking contains papers presented at the Third International Conference on Informatics in Secondary Schools ¿ Evolution and Perspective, ISSEP 2008, held in July 2008 in Torun, Poland. As with the proceedings of the two previous ISSEP conferences (2005 in Klag- furt, Austria, and 2006 in Vilnius, Lithuania), the papers presented in this volume address issues of informatics education transcending national boundaries and, the- fore, transcending differences in the various national legislation and organization of the educational system. Observing these issues, one might notice a trend. The p- ceedings of the First ISSEP were termed From Computer Literacy to Informatics F- damentals [1]. There, broad room was given to general education in ICT. The ECDL, the European Computer Driving License, propagated since the late 1990s, had pe- trated school at this time already on a broad scale and teachers, parents, as well as pupils were rather happy with this situation. Teachers had material that had a clear scope, was relatively easy to teach, and especially easy to examine. Parents had the assurance that their children learn ¿modern and relevant stuff,¿ and for kids the c- puter was sufficiently modern so that anything that had to do with computers was c- sidered to be attractive. Moreover, the difficulties of programming marking the early days of informatics education in school seemed no longer relevant. Some colleagues had a more distant vision though. 380 pp. Englisch.

Buch. Condizione: Neu. Neuware -Enterprise Modeling has been defined as the art of externalizing enterprise knowledge, i.e., representing the core knowledge of the enterprise. Although useful in product design and systems development, for modeling and model-based approaches to have a more profound effect, a shift in modeling approaches and methodologies is necessary. Modeling should become as natural as drawing, sketching and scribbling, and should provide powerful services for capturing work-centric, work-supporting and generative knowledge, for preserving context and ensuring reuse. A solution is the application of Active Knowledge Modeling (AKM).The AKM technology is about discovering, externalizing, expressing, representing, sharing, exploring, configuring, activating, growing and managing enterprise knowledge. An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families of platforms, model-configured workplaces and services.This book was written by the inventors of AKM arising out of their cooperation with both scientists and industrial practitioners over a long period of time, and the authors give examples, directions, methods and services to enable new ways of working, exploiting the AKM approach to enable effective c-business, enterprise design and development, and lifecycle management. Industry managers and design engineers will become aware of the manifold possibilities of, and added values in, IT-supported distributed design processes, and researchers for collaborative design environments will find lots of stimulation and many examples for future developments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -A book about wikis! That¿s what people need. Because with wiki technology, lots of people can freely work - gether ¿ they can even generate very large works in the intellectual realm. See for yourself: Today, we still marvel at our massive church buildings, each c- structed over a period of centuries, requiring an immense amount of labor and often bearing the cultural stamp of all of the epochs during which it was created. Someone just has to begin by placing stone upon stone and motivating the people nearby to help out a bit. In places where such enthusiastic fellow men and women lend a hand and donate materials, great things can emerge. And where they are absent Either scant ruins remain, or the iron will of a pharaoh is required, an army of drivers, the sweat of a people and a mountain of gold. Great things can also be created in that way ¿ take the Py- mids: a clear concept, no blending of styles, pure will. Those are two very different paths. The one entails passionate people devotedly building something together for the common good; the other: A single will manages a variety of resources to achieve a set goal. Wikis are tools with which lots of people with a minimum of - ganization, planning, money and time can create something together and communicate with each other from several scattered computers or over the Internet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th European Public Key Infrastructure Workshop: Theory and Practice, EuroPKI 2008, held in Trondheim, Norway, in June 2008. The 15 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 37 submissions. Ranging from theoretical and foundational topics to applications and regulatory issues in various contexts, the papers focus on all research and practice aspects of PKI and show ways how to construct effective, practical, secure and low cost means for assuring authenticity and validity of public keys used in large-scale networked services.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Third International Workshop on OpenMP, IWOMP 2007, was held at Beijing,China.This year¿sworkshopcontinuedits traditionofbeingthe premier opportunity to learn more about OpenMP, to obtain practical experience and to interact with OpenMP users and developers. The workshop also served as a forum for presenting insights gained by practical experience, as well as research ideas and results related to OpenMP. A total of 28 submissions were received in response to a call for papers. Each submissionwasevaluatedbythreereviewersandadditionalreviewswerereceived for some papers. Based on the feedback received, 22 papers were accepted for inclusion in the proceedings. Of the 22 papers, 14 were accepted as full papers. We also accepted eight short papers, for each of which there was an opportunity to givea shortpresentationat the workshop,followed byposter demonstrations. Each paper was judged according to its originality, innovation, readability, and relevance to the expected audience. Due to the limited scope and time of the workshop and the high number of submissions received, only 50% of the total submissions were able to be included in the nal program. In addition to the contributed papers, the IWOMP 2007 program featured several keynote and banquet speakers: Trevor Mudge, Randy Brown, and Shah, Sanjiv. These speakers were selected due to their signi cant contributions and reputation in the eld. A tutorial session and labs were also associated with IWOMP 2007.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th European Conference on Interactive Television, EuroITV 2008, held in Salzburg, Austria, in July 2008. The 42 revised full papers were carefully reviewed and selected from 156 submissions. The contributions cover significant aspects of the interactive television domain including submissions on user studies, technical challenges related to new developments as well as new kind of formats. The papers are organized in topical sections on interactive TV, interactive authoring, personalisation and recommender systems, mobile TV, social TV, new TV environments, iTV architectures and systems, user interfaces and interaction design, user studies, and accessibility. 348 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Models have become essential for dealing with the numerous aspects involved in developing and maintaining complex IT systems. Models allow capturing of the relevant aspects of a system from a given perspective, and at a precise level of abstraction. In addition to models, the transformations between them are other key elements in model-driven engineering. Model transformations allow the de nition and implementation of the operations on models, and also provide achainthatenablestheautomateddevelopmentofasystemfromitscorrespo- ing models. Furthermore, model transformations may be realized using models, and are, therefore, an integral part of any model-driven approach. There are already several proposals for model transformation speci cation, implementation and execution, which are beginning to be used by modeling practitioners. However, model transformations need specialized support in s- eral aspects in order to realize their full potential. The problem goes beyond having speci c languages to represent model transformations; we also need to understandtheirfoundations,suchasthekeyconceptsandoperatorssupporting those languages, their semantics, and their structuring mechanisms and pr- erties (e. g. , modularity, composability and parametrization). In addition, model transformations can be stored in repositories as reusable assets, where they can be managed, discovered and reused. There is also a need to chain and combine model transformations in order to produce new and more powerful transfor- tions, and to be able to implement new operations on models. Finally, model transformations need methodology support, i. e. , they need to be integrated into software development methodologies supported by appropriate tools and en- ronments. These issues and concerns de nethe focus of these proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers presented at NLDB 2008, the 13th Inter- tional Conference on Natural Language and Information Systems, held June 25¿27,2008.It also containssome of the best researchproposalsas submitted to theNLDB2008doctoralsymposiumheldonJune24,2008.Theprogrammealso includes three invited talks covering the main perspectives of the application of naturallanguageto informationsystems:the wayhumansprocess,communicate and understand natural language, what are the implications and challenges - wardssemanticsearchforthenewWebgeneration,hownaturallanguageapplies to the well-established database way of querying as a means to unlock data and information for end users. We received 68 papers as regular papers for the main conference and 14 short papers for the doctoral symposium. Each paper for the main conference was assigned four reviewers based on the preferences expressed by the Program Committee members. We ensured that every paper had at least two reviewers that expressedinterest in reviewing it or indicated that they could reviewit. We ensured that each paper got at least three reviews. As a result, only 10% of the papers were reviewed by three reviewers. The Conference Chair and the two Program Committee Co-chairs acted as Meta-Reviewers.Eachofthemtookroughly1/3ofthepapers(obviouslyrespe- ing con icts of interest), for which s/he was responsible. This included studying the reviews, launching discussions and asking for clari cations whenever nec- sary, as well as studying the papers whenever a need for an informed additional opinion arose or when the reviewers¿ notes did not allow for a decision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The papers contained in this volume were presented at the 19th Annual S- posium on Combinatorial Pattern Matching (CPM 2008) held at the University of Pisa, Italy, June 18¿20, 2008. All the papers presented at the conference are originalresearchcontributions on computational pattern matching and analysis. They were selected from 78 submissions. Each submission was reviewed by at least three reviewers. The committee decided to accept 25 papers. The programme also includes three invited talks by Daniel M. Gus eld from the University of California, Davis, USA, J. Ian Munro from the University of Waterloo, Canada, and Prabhakar Raghavan from Yahoo! Research, USA. The objective of the annual CPM meetings is to provide an international forum for research in combinatorial pattern matching and related applications. It addresses issues of searching and matching strings and more complicated p- terns such as trees, regular expressions, graphs, point sets, and arrays. The goal is to derive non-trivialcombinatorialproperties of suchstructures and to exploit these properties in order to either achieve superior performance for the cor- sponding computational problems or pinpoint conditions under which searches cannotbeperformede ciently. Themeeting also dealswith problems incom- tational biology, data compression, data mining, coding, information retrieval, natural language processing and pattern recognition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Condizione: Neu. Neuware -Computational chemistry and molecular modeling is a fast emerging area which is used for the modeling and simulation of small chemical and biological systems in order to understand and predict their behavior at the molecular level. It has a wide range of applications in various disciplines of engineering sciences, such as mate- als science, chemical engineering, biomedical engineering, etc. Knowledge of c- putational chemistry is essential to understand the behavior of nanosystems; it is probably the easiest route or gateway to the fast-growing discipline of nanosciences and nanotechnology, which covers many areas of research dealing with objects that are measured in nanometers and which is expected to revolutionize the industrial sector in the coming decades. Considering the importance of this discipline, computational chemistry is being taught presently as a course at the postgraduate and research level in many univer- ties. This book is the result of the need for a comprehensive textbook on the subject, which was felt by the authors while teaching the course. It covers all the aspects of computational chemistry required for a course, with suf cient illustrations, nume- cal examples, applications, and exercises. For a computational chemist, scientist, or researcher, this book will be highly useful in understanding and mastering the art of chemical computation. Familiarization with common and commercial software in molecular modeling is also incorporated. Moreover, the application of the concepts in related elds such as biomedical engineering, computational drug designing, etc. has been added.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 13th Australasian Conference on Information Security and Privacy (ACISP 2008) was held at Wollongong, Australia, during July 7¿9, 2008. The conference was sponsored by the Centre for Computer and Information Security of the University of Wollongong and the ResearchNetwork for a Secure Australia. The submission and review process was run using the iChair software, written by Thomas Baigneres and Matthieu Finiasz from EPFL, LASEC, Switzerland. We would like to thank them for letting us use their iChair software. The conferencereceived111submissions, out ofwhich the ProgramComm- tee selected 33 papers for presentation at the conference after a rigorous review process.Thesepapersareincludedintheproceedings.Theacceptedpaperscover a range of topics in information security, including authentication, key m- agement, public key cryptography, privacy, anonymity, secure communication, ciphers, network security, elliptic curves, hash functions, and database security. Theconferenceproceedingscontainrevisedversionsoftheselectedpapers.Since some of them were not checked again for correctness before publication, the - thors bear full responsibility for the contents of their papers. We would like to thank the authors of all papers for submitting their papers to the conference. In addition to the contributed papers, the program comprised three invited talks. The invited speakers were Xavier Boyen (Voltage, USA), Josef Pieprzyk (Macquarie University, Australia) and Nigel Phair (Australian High Tech Crime Centre). We would like to express our thanks to them.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Since 1981, the British National Conferences on Databases (BNCOD) have p- vided a forum for database researchers to report the latest progress and explore new ideas. Over the last 28 years, BNCOD has evolved from a predominantly national conference into one that is truly international, attracting research c- tributions from all over the world. This volume contains the proceedings of BNCOD 2008. We received 45 s- missions from 22 countries. Each paper was reviewed by three referees, and 14 full papers and 7 posters were accepted. All the research papers and posters are included in this volume, and they are organized into ve sections: data mining and privacy, data integration, stream and event data processing, query proce- ing and optimization, and posters. The keynote was delivered by Monica Marinucci, EMEA Programme Dir- tor for Oracle in R&D. She has been involved in various advanced developments concerning Oracle, and participated in EC-funded projects as an expert, es- cially the CHALLENGERS special support action to propose the future of grid computing. In her keynote presentation,she addressedthe audience on the topic of the power of data, emphasizing that the ability to store, handle, manipulate, distribute and replicate data and information can provide a tremendous asset to organizations. She also explored some of the latest directions and developments in the database eld, and described how Oracle contributes to them partnering up with other leading organizations in di erent sectors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI 2008, held in Siena, Italy, in July 2008. The 16 revised full papers presented were carefully reviewed and selected from 34 submissions. The papers are organized in topical sections on structures in finite fields, efficient finite field arithmetic, efficient implementation and architectures, classification and construction of mappings over finite fields, and codes and cryptography.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Colloquium on Structure, Information, Communication, and Complexity (SIROCCO) is an annual research meeting focused on the relationship between information and e ciency in decentralized (distributed, parallel, and network) computing.Thisyear,SIROCCOcelebratedits15thanniversary.Overtheye ars, the colloquium has become a widely recognized forum bringing together - searchers interested in the fundamental principles underlying the interplay - tween local structural knowledge and global communication and computation complexity. SIROCCO covers topics such as distributed algorithms, compact data structures, information dissemination, informative labeling schemes, c- binatorial optimization, and others, with potential applications to large-scale distributed systems including global computing platforms, peer-to-peer systems andapplications,socialnetworks,wirelessnetworks,andnetworkpro tocols(such as routing, broadcasting, localization). SIROCCO 2008 was held in Villars-sur- Ollon, in the Swiss Alps, June 17¿20, 2008. There were 52 contributions submitted to SIROCCO 2008. All papers - derwent a thorough refereeing process, where each submission was reviewed by at least 3, and on average 3.4, Program Committee members. After in-depth discussions, the Program Committee selected 22 high-quality contributions for presentation at the colloquium and publication in this volume. We thank the authors of all the submitted papers, the Program Committee members, and the external reviewers. Without their dedication, we could not have prepared a program of such quality. ThereweretwoinvitedspeakersatSIROCCO2008:NicolaSantoro(Carleton University) and Boaz Patt-Shamir (Tel-Aviv University). We express our gratitude to the SIROCCO Steering Committee, and in p-ticulartoPierreFraigniaudforhisenthusiasmandhisinvaluablehelpthroughout the preparation of this event.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice. It did so after having been hosted twice in Switzerland, Spain and the UK (Montreux for its inauguration in 1996 and Geneva in 2007; Santander in 1999 and Palma de Mallorca in 2004; London in 1997 and York in 2005), and having visited Sweden (Uppsala, 1998), Germany (Potsdam, 2000), Belgium (Leuven, 2001), Austria (Vienna, 2002), France (Toulouse, 2003) and Portugal (Porto, 2006). It was certainly high time that the conference came to Italy! The conference series, which is run and sponsored by Ada-Europe, chooses its yearly venue following two driving criteria: to celebrate the activity of one of its national member societies in a particular country, and/or to facilitate the formation, or the growth, of a national community around all aspects of reliable software technologies. The success of this year¿s conference, beside the richness of its technical and social program, will thus be measured by its lasting effects. We can only hope that the latter will be as good and vast as the former! Owing to the absence of a national society associated with Ada-Europe in Italy, the organization of the conference was technically sustained by selected members of the Board of Ada-Europe, its governing body, with some invaluable local support.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Welcome to the proceedings of APCHI 2008, the 8th Asia-Pacific Conference on Computer¿Human Interaction held in Seoul, Korea. Following the success of the preceding APCHI conferences, in Singapore (1996, 2000), Australia (1997), Japan (1998), China (2002), New Zealand (2004) and Taiwan (2006), the 8th APCHI brought together the researchers, developers, practitioners, and educators in the field of human¿computer interaction. APCHI has been a major forum for scholars and practitioners in the Asia-Pacific region on the latest challenges and developments in HCI. Theoretical breakthroughs and practical systems and interfaces were presented at this 2008 conference, thanks to the support of KADO, the HCI ITRC of Sungkyu- wan University, and KIST. APCHI 2008 featured a comprehensive program including keynote speeches, regular paper presentations, poster, demos, and special panel sessions. To address the challenge of socially blending ubiquitous computing technologies and a wider sp- trum of people with a variety of skills, knowledge, and capabilities, APCHI 2008 set ¿Universal and Ubiquitous¿ as the conference theme. APCHI 2008 attracted a total of 151 paper submissions. Among such a large number of submissions, 45 full papers were accepted as submitted or with minor revisions. All papers were reviewed by at least two reviewers. For the remaining submissions, 41 were recommended to change according to the reviews and were submitted as extended abstracts and posters. One special session with six invited papers was organized to support the conference theme of ¿Universal and Ubiquitous.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.