springer berlin heidelberg springer berlin heidelberg jun 2009 (248 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Das Check Book bietet dem Geschäftsführer einer GmbH kleiner oder mittlerer Unternehmensgröße die an seinen praktischen Aufgaben orientierte nützliche Hilfe für schnelles und sicheres Arbeiten. Kern des Handbuchs sind Checklisten für alle wesentlichen GmbH-Verwaltungstätigkeiten von A wie Abberufung bis Z wie Zweigniederlassung. Dazu erhält der Geschäftsführer Muster, Verträge, Formulare und Brieftexte für die effektive Bearbeitung der verschiedensten Vorgänge in der GmbH. Kurze Aufsätze und Hinweise auf wichtige Quellen erläutern und vertiefen die zentralen Themen und Problemstellungen rund um die GmbH.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die Theorie Riemannscher Flächen wird als ein Mikrokosmos der Reinen Mathematik dargestellt, in dem Methoden der Topologie und Geometrie, der komplexen und reellen Analysis sowie der Algebra zusammenwirken, um die reichhaltige Struktur dieser Flächen aufzuklären. Viele Beispiele und Bilder, die in der historischen Entwicklung eine Rolle spielten, ergänzen die Darstellung. Das Buch beruht auf Vorlesungen und Seminaren im Anschluß an eine Einführung in die komplexe Funktionentheorie. Wegen seiner Methodenvielfalt enthält es gleichzeitig Einführungen in die Topologie (Fundamentalgruppe, Überlagerungen, Flächen), in die algebraische Geometrie (Kurven und ihre Singularitäten) und in die Potentialtheorie (harmonische Funktionen).Die 2. Auflage wurde um eine genauere Betrachtung des Kleinschen 14-Ecks, ein Kapitel über die de Rhamsche Cohomologie und einen Paragraphen über die Lösung nicht-linearer Gleichungen der Mathematischen Physik mittels Riemannscher Thetafunktionen ergänzt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Das Rechtshandbuch Facility Management ist das erste Werk, in dem die rechtlichen Grundlagen des Facility Managements umfassend dargestellt werden. Das Buch behandelt die vertraglichen und prozessualen Fragen des Facility Managements. In eigenen Kapiteln werden die Themen Betriebsübergang, öffentliche Vergabe von Facility Management Leistungen und Betreiberpflichten dargestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Gegenstand der Versicherungsmathematik sind Modelle und Methoden zur Quantifizierung von Risiken in der Versicherungswirtschaft. Die Versicherungsmathematik ist damit ein Teilgebiet der Stochastik mit einer anwendungsspezifischen Ausprägung. Den Schwerpunkt dieses Buches bildet die Mathematik der Schadenversicherung. Aufbauend auf dem individuellen und dem kollektiven Modell für den Gesamtschaden eines Bestandes behandelt es grundlegende Aspekte der Tarifierung und der Schadenreservierung sowie die wichtigsten Formen der Rückversicherung und Methoden zum Vergleich von Risiken. Dabei erweist sich neben dem kollektiven Modell auch das multiplikative Modell als ein Grundstein der Modellierung. Darüber hinaus werden die elementaren Grundlagen der Finanzmathematik und der Lebensversicherung dargestellt und die erforderlichen Hilfsmittel der Stochastik entwickelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die Umstellung von der analogen zur digitalen terrestrischen Verbreitung von Hörfunk und Fernsehen eröffnet die Möglichkeit, die Nutzung einiger Frequenzen neu zu diskutieren, weil die digitale Rundfunkübertragung mit weniger Spektrum auskommt. Diese ¿Digitale Dividende' kann in Form zusätzlicher Angebote neuer Dienste oder Rundfunkangebote realisiert werden. Die gesamtgesellschaftliche Abwägung ihrer Nutzung muss im Spannungsfeld zwischen der Verschiedenartigkeit der Telekommunikations- und Medienmärkte im nationalen und internationalen Nachbarraum erfolgen. Fragen sind: Wie entsteht größtmöglicher Nutzen aus der Digitalisierung für die Bürger Welche Anwendungen werden neu entstehen, welche bestehenden Dienste sind von den Veränderungen betroffen Welche Erwartungen und Handlungsbedarfe richten sich an die Politik Die Fragen wurden in der Fachkonferenz von hochrangigen Experten aus Wirtschaft, Wissenschaft, Rundfunk und Politik aus unterschiedlichen Perspektiven diskutiert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry, FinanceCom2008, held in Paris, France, on December 13, 2008. The workshop spans multiple disciplines, including technical, economic, sociological and behavioral sciences. The guiding theme of this workshop was concerned with innovations in the financial services industry, driven by either new business models or changed regulations. The nine presented papers and the keynote speech were carefully reviewed and selected from numerous submissions. The topics covered are financial markets and customers, service-oriented architectures, and regulation and compliance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Buch. Zustand: Neu. Neuware -Interactive data supports organizations to communicate effectively with their stakeholders and partners on the Internet and the World Wide Web. XBRL (eXtensible Business Reporting Language) is a key enabling technology for interactive data. XBRL links organizations and knowledge consumers in a variety of information value chains. XBRL is now in use in many countries and important settings. This book provides, for the first time, an in-depth analysis of XBRL. Thorough and up-to-date, this book explains the most popular constructs in XML, on which XBRL builds, and XBRL. The book provides business and policy makers, technologists and information engineers with an essential toolkit to understand the complete implementation of XBRL. The book begins with an overview of the business case for interactive data and XBRL. There is an introduction to XML and XBRL and the design and construction of XBRL taxonomies including extensions and multi-dimensional XBRL implementations. It provides a detailed analysis of the interaction of instance documents and taxonomies. The book also provides a synopsis of the most current XBRL technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -the virtually unlimited possibilities of modern information and communication technology. Future enterprises will therefore have to operate in an ever more dynamic and global environment. They need to be more agile, more adaptive, and more transparent. In addition, they will be held more publicly accountable for every e ect they produce. These challenges are traditionally addressed by black-box thinking-based knowledge, i.e., knowledge concerning the function and the behavior of ent- prises, as contained in the organizational sciences. Such knowledge is su cient, and perfectly adequate, for managing an enterprise (within the range of c- trol). However, it is de nitely inadequate for changing an enterprise. In order to bring about changes, white-box-based knowledge is needed, i.e., knowledge concerning the construction and the operation of enterprises. Developing and applying such knowledge requires no less than a paradigm shift in our thi- ing about enterprises, since the organizational sciences are dominantly oriented toward organizational behavior, based on black-box thinking.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Historical and recent developments at international nancial markets show that it is easy to loose money, while it is dif cult to predict future developments and op- mize decision-making towards maximizing returns and minimizing risk. One of the reasons of our inability to make reliable predictions and to make optimal decisions is the growing complexity of the global economy. This is especially true for the f- eign exchange market (FX market) which is considered as one of the largest and most liquid nancial markets. Its grade of ef ciencyand its complexityis one of the starting points of this volume. From the high complexity of the FX market, Christian Ullrich deduces the - cessity to use tools from machine learning and arti cial intelligence, e.g., support vector machines, and to combine such methods with sophisticated nancial mod- ing techniques. The suitability of this combination of ideas is demonstrated by an empirical study and by simulation. I am pleased to introduce this book to its - dience, hoping that it will provide the reader with interesting ideas to support the understanding of FX markets and to help to improve risk management in dif cult times. Moreover, I hope that its publication will stimulate further research to contribute to the solution of the many open questions in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Welcome to the Third International Conference on Information Security and Ass- ance (ISA 2009). ISA 2009 was the most comprehensive conference focused on the various aspects of advances in information security and assurance. The concept of security and assurance is emerging rapidly as an exciting new paradigm to provide reliable and safe life services. Our conference provides a chance for academic and industry professionals to discuss recent progress in the area of communication and networking including modeling, simulation and novel applications associated with the utilization and acceptance of computing devices and systems. ISA 2009 was a succ- sor of the First International Workshop on Information Assurance in Networks (IAN 2007, Jeju-island, Korea, December, 2007), and the Second International Conference on Information Security and Assurance (ISA 2008, Busan, Korea, April 2008). The goal of this conference is to bring together researchers from academia and industry as well as practitioners to share ideas, problems and solutions relating to the multifaceted aspects of information technology. ISA 2009 contained research papers submitted by researchers from all over the world. In order to guarantee high-quality proceedings, we put extensive effort into reviewing the papers. All submissions were peer reviewed by at least three Program Committee members as well as external reviewers. As the quality of the submissions was quite high, it was extremely difficult to select the papers for oral presentation and publication in the proceedings of the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -SSTD 2009 was the 11th in a series of biannual events that discuss new and exciting research in spatio-temporal data management and related technologies. PrevioussymposiaweresuccessfullyheldinSantaBarbara(1989),Zurich(1991), Singapore (1993), Portland (1995), Berlin (1997), Hong Kong (1999), Los An- les (2001), Santorini, Greece (2003), Angra dos Reis, Brazil (2005), and Boston (2007). Before 2001, the series was devoted solely to spatial database mana- ment, and called SSD. From 2001, the scope was extended in order to also accommodate temporal database management, in part due to the increasing importance of research that considers spatial and temporal aspects jointly. SSTD2009introducedseveralinnovativeaspectscomparedtopreviousevents. There was a demonstrations track which included ten presentations of systems related to the topics of interest. In addition to that, the event included a poster session with seven presentations of innovative research developed at an early stage. For the rst time in the SSTD series, the best paper of the symposium was awarded and a few high-quality papers were selected and the authors were invited to submit extended versionsof their work to a special issue of the Geo- formatica journal (Springer). Prior to the symposium, there was a two-day - vanced seminar, which hosted three half-day tutorials on state-of-the-art topics within spatio-temporal data management, held by distinguished international researchers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Much of a software architect¿s life is spent designing software systems to meet a set of quality requirements. General software quality attributes include scalability, security, performance or reliability. Quality attribute requirements are part of an application¿s non-functional requirements, which capture the many facets of how the functional - quirements of an application are achieved. Understanding, modeling and continually evaluating quality attributes throughout a project lifecycle are all complex engineering tasks whichcontinuetochallengethe softwareengineeringscienti ccommunity. While we search for improved approaches, methods, formalisms and tools that are usable in practice and can scale to large systems, the complexity of the applications that the so- ware industry is challenged to build is ever increasing. Thus, as a research community, there is little opportunity for us to rest on our laurels, as our innovations that address new aspects of system complexity must be deployed and validated. To this end the 5th International Conference on the Quality of Software Archit- tures (QoSA) 2009 focused on architectures for adaptive software systems. Modern software systems must often recon guretheir structure and behavior to respond to c- tinuous changes in requirements and in their execution environment. In these settings, quality models are helpful at an architectural level to guide systematic model-driven software development strategies by evaluating the impact of competing architectural choices. 224 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume constitutes the refereed proceedings of the Third International Conference on Internationalization, Design and Global Development, IDGD 2009, held in San Diego, CA, USA, in July 2009 in the framework of the 13th International Conference on Human-Computer Interaction, HCII 2009 with 10 other thematically similar conferences.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE). MDA is an initiative proposed by the Object Management Group for platform-generic systems - velopment; MDA is one of a class of approaches under the umbrella of MDE. MDE and MDA promote the use of models in the speci cation, design, analysis, synthesis, deployment, and evolution of complex software systems. It is a pleasure to be able to introduce the proceedings of ECMDA-FA 2009. ECMDA-FA 2009 addressed various MDA areas including model transfor- tions, modelling language issues, modelling of behavior and time, traceability and scalability, model-basedembedded systems engineering,and the application of model-driven development to IT and networking systems. ECMDA-FA 2009 focused on engaging key European and international - searchers and practitioners in a dialogue which will result in a stronger, more e cientindustry,producingmorereliablesoftwareonthebasisofstate-of-the-art research results. ECMDA-FA is a forum for exchanging information, discussing the latest results and arguing about future developments of MDA and MDE. Particularly, it is one of the few venues that engages both leading academic researchers and industry practitioners, with the intent of creating synergies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of UIC 2009, the 6th International C- ference on Ubiquitous Intelligence and Computing: Building Smart Worlds in Real and Cyber Spaces. The UIC 2009 conference was technically co-sponsored by the IEEE and the IEEE Computer Society Technical Committee on Scalable Computing. The conference was also sponsored by the Australian Centre of - cellence in Information and Communication Technologies (NICTA). UIC 2009 was accompanied by six workshops on a variety of research challenges within the area of ubiquitous intelligence and computing. The conference was held in Brisbane, Australia, July 7¿9, 2009. The event was the sixth meeting of this conference series. USW 2005 (First International Workshop on Ubiquitous Smart World), held in March 2005 in Taiwan, was the rst event in the series. This event was followed by UISW 2005 (Second International Symposium on Ubiquitous Intelligence and Smart Worlds) held in December 2005 in Japan. Since 2006, the conference has been held annually under the name UIC (International Conference on Ubiquitous Intelligence and Computing). UIC 2006 was held in September 2006 in Wuhan andThreeGorges,China,followedbyUIC2007heldinJuly2007inHongKong, and UIC 2008 held in June 2008 in Oslo, Norway. Ubiquitous sensors,computers, networksand informationare paving the way towardasmartworldinwhichcomputationalintelligenceisdistributedthrou- out the physical environment to provide reliable and relevant services to people.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Models have become essential for supporting the development, analysis and e- lution of large-scale and complex IT systems. Models allow di erent views, p- spectives and elements of a system to be captured rigorously and precisely, thus allowing automated tools to manipulate and manage the models. In a full- edged model-driven engineering (MDE) process, the transformations developed and - pressed between models are also key. Model transformations allow the de nition and implementation of the operations on models, and also provide a chain that enables the automated development of a system from its corresponding m- els. Model transformations are already an integral part of any model-driven approach, and there are a number of available model transformation languages, tools, and supporting environments; some of these approaches are now approa- ing maturity. Nevertheless, much work remains: the research community and industry need to better understand the foundations and implications of model transformations, such as the key concepts and operators supporting transfor- tion languages, their semantics, and their structuring mechanisms and properties (e. g. , modularity, composability and parametrization). The e ect of using model transformations on organizations and development processes ¿ particularly when applied to ultra-large scale systems, or in distributed enterprises ¿ is still not clear. These issues, and others related to the speci cation, design, implemen- tion, analysis and experimentation with model transformation, are the focus of these proceedings. The Second International Conference on Model Transformation (ICMT 2009) was held in late June 2009 in Zurich, Switzerland.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -SEAFOOD 2009: Enabling Global Partnerships to Deliver on Business Needs Companies have been outsourcing areas of software development work for many years, either because of the engineering challenges or because the outsourced aspect is not central to their core business. A profound transformation has been a ecting this model over recent years: a massive transfer of development - tivities from the USA and Europe to a skilled labor force in service-providing countries. This transformation has been driven by the demands of a global bu- ness climate seeking to increase the value delivery of IT investment. However, the ability to realize this value can prove problematic in practice. Of particular concern are the hidden costs of globally distributed models of working, such as understanding and communicating the true business needs across organizational and cultural boundaries. To address such issues, o shore outsourcing requires di erent support from in-housedevelopmentandthismeansadaptingfamiliartechniques,processesand tools to this setting, as well as perhaps creating innovative new ones. Coupled with this industry transformation there is hence a pressing need to re-examine thosesoftwareengineeringapproachesthateither facilitate orimpede this model of working. With an inevitable focus on the economy in 2009, business decisions regarding the sourcing of software development projects will come under close scrutiny. It will become increasingly critical to design global partnerships that both clarify cost/bene ts and enable delivery on business needs. 148 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Majoreconomicupheavalscanhavethesortofe ectthatSchumpeterforesaw60 yearsagoascreativedestruction.Inscienceandtechnology,equivalentupheavals resultfromeitherscienti crevolutions(asobservedbyKuhn)ortheintroduction of what Christensen calls disruptive technologies. And in software engineering, there has been no technology more disruptive than outsourcing. That it should so quickly reach maturity and an unparalleled scale is truly remarkable; that it should now be called to demonstrate its sustainability in the current nancial turmoil is the challenge that will prove whether and how it will endure. Early signs under even the bleak market conditions of the last 12 months are that it will not only survive, it will rmly establish its role across the world of business. Outsourcing throws into sharp focus the entire software engineering life- cle. Topics as diverse as requirements analysis, concurrency and model-checking need to nd a composite working partnership in software engineering practice. This con uence arises from need, not dogma, and the solutions required are those that will have the right e ect on the associated activities in the world of the application: e.g., reducing the time for a transaction or making the results of a complex analysis available in real-time. While the business of outsourcing continues to be studied, the engineering innovations that make it compelling are constantly changing. It is in this milieu that this series of conferences has placed itself. 224 pp. Englisch.

Buch. Zustand: Neu. Neuware -On this Textbook This book has evolved from the series of lecture notes that I had handed out to the physics students at the University of Regensburg in Bavaria,Germany. Overtheyears,variousbitsandpieceshadbeenaddedtothecontentsoft hese lecture notes, and others had to be left out for reasons of time limitations. These notes di ered from the common textbooks, and as the students seemed to like them, I have collected all those pieces in this book. The Scope of this Book The scope of this book is twofold. The reader can learn that alternative sets of the very few principles of Classical Mechanics carry on very far. Thus, the book contains an amount of applications of varying degrees of sophistication. Also, di erent physical problems require di erent methods for their solutions with varying degrees of mathematical sophistication. The Organization of this Book In order not to blur the physics with mathematical intricacies, the necessary mathematical techniques are transferred to appendices. The largest di erence of this textbook from other books on Classical - chanics may be that I have tried to make a particularly strong separation between axioms and fundamental experiences, on the one hand, and between claims, their proofs, various comments, on the other, rather than telling a more or less continuous story. Also, frequent references are made to other parts of the book or to other physical disciplines. If needed, the reader can skip proofs, comments, applications, and footnotes and thus follow only the main ideas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Case-Based Reasoning, ICCBR 2009, held in Seattle, WA, USA, in July 2009. The 17 revised full papers and 17 revised poster papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. Covering a wide range of CBR topics of interest both to practitioners and researchers, the papers are devoted to theoretical/methodological as well as to applicative aspects of current CBR analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This Festschrift volume, published in honor of John Mylopoulos on the occasion of his retirement from the University of Toronto, contains 25 high-quality papers, written by leading scientists in the field of conceptual modeling.The volume has been divided into six sections. The first section focuses on the foundations of conceptual modeling and contains material on ontologies and knowledge representation. The four sections on software and requirements engineering, information systems, information integration, and web and services, represent the chief current application domains of conceptual modeling. Finally, the section on implementations concentrates on projects that build tools to support conceptual modeling. With its in-depth coverage of diverse topics, this book could be a useful companion to a course on conceptual modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -How can our societies be stabilized in a crisis Why can we enjoy and understand Shakespeare Why are fruitflies uniform How do omnivorous eating habits aid our survival What makes the Mona Lisäs smile beautiful How do women keep our social structures intact ¿ Could there possibly be a single answer to all these questions This book shows that the statement: 'weak links stabilize complex systems' provides the key to understanding each of these intriguing puzzles, and many others too. The author (recipient of several distinguished science communication prizes) uses weak (low affinity, low probability) interactions as a thread to introduce a vast variety of networks from proteins to economics and ecosystems. Many people, from Nobel Laureates to high-school students have helped to make the book understandable to all interested readers. This unique book and the ideas it develops will have a significant impact on many, seemingly diverse, fields of study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Buch. Zustand: Neu. Neuware -Nowadays, there is software everywhere in our life. It controls cars, airplanes, factories, medical implants. Without software, banking, logistics and transportation, media, and even scientific research would not function in the accustomed way. Building and maintaining software is a knowledge-intensive endeavour and requires that specific experiences are handled successfully. However, neither knowledge nor experience can be collected, stored, and shipped like physical goods, instead these delicate resources require dedicated techniques. Knowledge and experience are often called company assets, yet this is only part of the truth: it is only software engineers and other creative employees who will effectively exploit an organisation's knowledge and experience.Kurt Schneider¿s textbook is written for those who want to make better use of their own knowledge and experience ¿ either personally or within their group or company. Everyone related to software development will benefit from his detailed explanations and case studies: project managers, software engineers, quality assurance responsibles, and knowledge managers. His presentation is based on years of both practical experience, with companies such as Boeing, Daimler, and Nokia, and research in renowned environments, such as the Fraunhofer Institute. Each chapter is self-contained, it clearly states its learning objectives, gives in-depth presentations, shows the techniques¿ practical relevance in application scenarios, lists detailed references for further reading, and is finally completed by exercises that review the material presented and also challenge further, critical examinations. The overall result is a textbook that is equally suitable as a personal resource for self-directed learning and as the basis for a one-semester course on software engineering and knowledge management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009. The 108 revised papers presented are thematically divided into two volumes. The first volume includes papers relating the most recent collaborations with Professor Mira and contributions mainly related with theoretical, conceptual and methodological aspects linking AI and knowledge engineering with neurophysiology, clinics and cognition. The second volume contains all the contributions connected with biologically inspired methods and techniques for solving AI and knowledge engineering problems in different application domains. 556 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009. The 108 revised papers presented are thematically divided into two volumes. The first volume includes papers relating the most recent collaborations with Professor Mira and contributions mainly related with theoretical, conceptual and methodological aspects linking AI and knowledge engineering with neurophysiology, clinics and cognition. The second volume contains all the contributions connected with biologically inspired methods and techniques for solving AI and knowledge engineering problems in different application domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Frontiers of Algorithmics Workshop, FAW 2009, held in Hefei, Anhui, China, in June 2009. The 33 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 87 submissions. The papers are organized in topical sections on graph algorithms; game theory with applications; graph theory, computational geometry; machine learning; parameterized algorithms, heuristics and analysis; approximation algorithms; as well as pattern recognition algorithms, large scale data mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 26th British National Conference on Databases, BNCOD 26, held in Birmingham, UK, in July 2009.The 12 revised full papers, 2 short papers and 5 poster papers presented together with 2 keynote talks, 2 tutorial papers and summaries of 3 co-located workshops were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on data integration, warehousing and privacy; alternative data models; querying; and path queries and XML;data mining and privacy, data integration, stream and event data processing, and query processing and optimisation. 264 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis ability Testing, held from June 30 to July 3, 2009 in Swansea (UK). The International Conference on Theory and Applications of Satis ability Testing (SAT) started in 1996 as a series of workshops, and, in parallel with the growthof SAT, developedinto the main eventfor SAT research. This year¿sc- ference testi ed to the strong interest in SAT, regarding theoretical research,- searchonalgorithms,investigationsintoapplications,anddevelopmentofsolvers and software systems. As a core problem of computer science, SAT is central for many research areas, and has deep interactions with many mathematical s- jects. Major impulses for the development of SAT came from concrete practical applications as well as from fundamental theoretical research. This fruitful c- laboration can be seen in virtually all papers of this volume. There were 86 submissions (completed papers within the scope of the c- ference). Each submission was reviewed by at least three, and on average 4. 0 Programme Committee members. The Committee decided to accept 45 papers, consisting of 34 regular and 11 short papers (restricted to 6 pages). A main n- elty was a ¿shepherding process¿, where 29% of the papers were accepted only conditionally, and requirements on necessary improvements were formulated by the ProgrammeCommittee and its installment monitored by the ¿shepherd¿ for thatpaper(using possibly severalroundsoffeedback).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2¿3, 2009. TheTAPconferenceisdevotedtotheconvergenceofproofsandtests. Itc- bines ideasfromboth sidesforthe advancementofsoftwarequality. Toprovethe correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the exp- tation of discovering bugs. The two techniques seem contradictory: if you have proved your program, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope of proving its corre- ness. Accordingly, proofs and tests have, since the onset of software engineering research,been pursuedby distinct communities using ratherdi erent techniques and tools. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the rst signs that contradiction may yield to complementarity, but in the past few years an increasing number of research e orts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to o er.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Similarity-based learning methods have a great potential as an intuitive and exible toolbox for mining, visualization,and inspection of largedata sets. They combine simple and human-understandable principles, such as distance-based classi cation, prototypes, or Hebbian learning, with a large variety of di erent, problem-adapted design choices, such as a data-optimum topology, similarity measure, or learning mode. In medicine, biology, and medical bioinformatics, more and more data arise from clinical measurements such as EEG or fMRI studies for monitoring brain activity, mass spectrometry data for the detection of proteins, peptides and composites, or microarray pro les for the analysis of gene expressions. Typically, data are high-dimensional, noisy, and very hard to inspect using classic (e. g. , symbolic or linear) methods. At the same time, new technologies ranging from the possibility of a very high resolution of spectra to high-throughput screening for microarray data are rapidly developing and carry thepromiseofane cient,cheap,andautomaticgatheringoftonsofhigh-quality data with large information potential. Thus, there is a need for appropriate - chine learning methods which help to automatically extract and interpret the relevant parts of this information and which, eventually, help to enable und- standingofbiologicalsystems,reliablediagnosisoffaults,andtherapyofdiseases such as cancer based on this information. Moreover, these application scenarios pose fundamental and qualitatively new challenges to the learning systems - cause of the speci cs of the data and learning tasks. Since these characteristics are particularly pronounced within the medical domain, but not limited to it and of principled interest, this research topic opens the way towardimportant new directions of algorithmic design and accompanying theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.