springer berlin heidelberg springer berlin heidelberg okt 2009 (258 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware - Das Fallrepetitorium Familien- und Erbrecht erläutert den examensrelevanten Stoff anhand von Fällen, die grundlegenden BGH-Entscheidungen nachgebildet sind. Die Lösungen sind im Gutachtenstil ausgearbeitet und angereichert mit vertiefenden Hinweisen. Das Werk soll fortgeschrittenen Studierenden, insbesondere Schwerpunktstudierenden und Examenskandidaten, Gelegenheit bieten, ihr Wissen auf Fälle anzuwenden und speziell die Bearbeitung von Examensklausuren zu trainieren. Gleichzeitig dienen die Fälle der Erarbeitung, Wiederholung und Vertiefung des materiellen Rechts.

Taschenbuch. Zustand: Neu. Neuware -Dieses von einem erfahrenen Praktiker geschriebene Buch wendet sich an alle Benutzer von Mathematica®. Der Neuling macht schnell die ersten Schritte und lernt vor allem zunächst, die eingebaute Hilfe und Dokumentation effizient zu nutzen. Dem Fortgeschrittenen helfen die prototypischen Beispiele und vor allem auch eine umfangreiche Sammlung elementarer Tricks und Kniffe. Der Experte findet hier nicht einfach nur Rezepte, sondern vor allem Konzepte und Techniken zur Behandlung komplexerer Aufgabenstellungen.Anhand der vielen Programmierbeispiele unterschiedlichen Schwierigkeitsgrades, lernt der Leser ganz nebenbei Lösungen konkreter Probleme kennen. Jedes der Programmierbeispiele beginnt mit einer Beschreibung der Aufgabenstellung, gefolgt von der Analyse, der Diskussion verschiedener Lösungsansätze und schließlich einer Implementierung im Sinne der beschriebenen Programmiergrundsätze. Die ebenfalls behandelten grafischen Benutzeroberflächen bilden einen weiteren Schwerpunkt dieses Buches.Das Buch bezieht sich auf die aktuelle Version 7 sowie die Version 6.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Nach ADAC-Schätzungen sind in Deutschland mindestens 1 Million Menschen mit Führerschein von Fahrängsten betroffen - z.B. Angst vor dem Großstadtverkehr, vor der Autobahn, vor Beifahrern, vor Unfällen. Pro Jahr finden in Deutschland 1,4 Millionen Fahrrprüfungen statt, davon sind 400.000 Wiederholungsprüfungen. Viele der Prüflinge leiden an Prüfungsangst. Auch geübte Autofahrer leiden teilweise unter Ängsten. Es geht dabei um Drängelsituationen auf der Autobahn, wenn Raser rücksichtslos nah auffahren und mit der Lichthupe blenden. Laut Untersuchung einer großen Versicherung fühlen über 90% aller Autofahrer in solchen Situationen Ängste.Das Buch ist ein Ratgeber für Betroffene. Es zeigt in sieben Schritten, die Ängste zu verstehen und zu bewältigen. Die Anregungen basieren auf Praxiserfahrungen der Autoren (¿Angsthasen-Methode¿) und auf Selbsthilfe-Methoden der Verhaltenstherapie. Leserinnen und Lesern wird anhand von Fallbeispielen die Problemsituation und die Bewältigung der Ängste erläutert. Anschließend finden sie Fragebögen zur Selbsteinschätzung, Selbsthilfetipps, die Antworten auf häufig gestellte Fragen, Übungsaufgaben und Lösungsvorschläge. Abgerundet wird der Ratgeber mit einem Service-Teil mit Adressen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Die Beherrschung der ¿harten' Faktoren wie Projektplanung, Budgetierung und Qualitätsmanagement gehört zum Standardrepertoire des Projektmanagers. Dagegen betritt man mit der bewussten Gestaltung der ¿weichen Faktoren' (Soft Skills) wie Kommunikation, Wissensaustausch, individuelle Erfahrungen und Kompetenzen Neuland. Die Autoren wollen diese Soft Skills beherrschbar machen und ihre Bedeutung zu Wissensgenerierung, Wissenstransport und Umsetzung von Wissen bewerten und typisieren. Sie zeigen, dass der Projekterfolg hoch ist, wenn sich ein gemeinsamer Projektverstand, ein ¿Collective Mind' ausbildet. Das Buch vermittelt Methoden zur Nachvollzieh- und Messbarkeit des Collective Mind, dessen Bildung und Umsetzung in zielorientiertes Handeln eine zentrale Aufgabe des Projektmanagements darstellt und entscheidend zum Projekterfolg beiträgt. Typische Projektszenen, ein Test und Best Practices erhöhen den praktischen Nutzen des Werkes als praxisbezogene Methodik für Manager und Projektleiter.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Die inhaltliche Entwicklung des Internet hält mit der technologischen nicht mit. Die unbegrenzten Möglichkeiten zerplatzen an dürftiger handwerklicher Umsetzung. Die Ursachen sind vielfältig: Die Onlineredaktion als Strafkolonie für unliebsame Mitarbeiter, technophile Selbstverwirklichung statt nutzenbringender Entwicklung. Das Praxisbuch Onlineredaktion ist eine Betriebsanleitung für medienübergreifenden Journalismus. Es lässt die Logik klassischer Mediengattungen außer Acht und widmet sich in respektloser Frische der Professionalisierung der Internetredaktion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Derivative Finanzverträge sind Bestandteil vieler Finanzierungs- und Investitionsangebote. Neben Forward, Futures sowie Call- und Put-Optionen schließt dies komplexe oder sogenannte Exotische Optionen ein, die in vielen strukturierten Produkten enthalten sind. Die Analyse der Vertragseigenschaften und die Diskussion der Anwendung unterschiedlicher Optionen ist einer der Schwerpunkte dieses Lehrbuchs. Darüber hinaus wird schrittweise das Modell eines Finanzmarktes unter Unsicherheit von einer diskreten Zeitvorstellung bis hin zu dem zeitstetigen Rahmen entwickelt und auf die Bewertung und die Sicherung (Hedging) komplexer Finanzströme angewendet. Der Inhalt erstreckt sich von den Grundlagen des Binominalmodells über das Black-Scholes Modell bis hin zu Zinsstrukturmodellen und der Erweiterung auf einen internationalen Finanzmarkt unter Einschluss von Aktienkurs-, Wechselkurs- und Zinsänderungsrisiken. Die dritte Auflage ist vollständig neu bearbeitet und erweitert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 716 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Technische Hochschulen sind aufgefordert, die hohen Studienabbrüche in den Ingenieurwissenschaften zu senken. Das Buch zeigt im Detail die wissenschaftlich untersuchten Gründe, warum interessierte junge Männer und Frauen ein ingenieurwissenschaftliches Studium abbrechen. Die Autorinnen nennen anschließend konkrete Gestaltungsempfehlungen und Maßnahmen, um diese Menschen im Studium zu halten.Angesprochen werden insbesondere die Hochschulleitung, das Hochschulcontrolling sowie die Dozenten und die Studienberatungen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Buch vermittelt einen Überblick über die moderne Kapitalmarkttheorie und verdeutlicht ihre Bedeutung für unternehmerische Entscheidungen im Investitions- und Finanzierungsbereich. Ausführlich erörtert werden auch die Zusammenhänge zwischen Finanzwirtschaft und Rechnungswesen des Unternehmens. Besonderes Gewicht wird auf die Bedeutung der Information und auf die Konsequenzen von Unterschieden im Informationsstand für die Gestaltung von Finanzierungsverträgen gelegt. Die Neuauflage aktualisiert den Text bezüglich der Steuerreform und neuer Entwicklungen im Kapitalmarkt. Ergänzt wurden Abschnitte zur Bewertung und zum Handel von Krediten. Alle Kapitel wurden überarbeitet. Ergänzt wurden ein Abschnitt zur Bewertung von Krediten und ein Abschnitt zum Kredithandel. Hierbei wird auch Bezug zur Finanzkrise genommen. Das Buch bietet dem Studenten wie dem Praktiker die Möglichkeit, sich über das in der Praxis immer wichtiger werdende Gebiet der Finanzwirtschaft und seine Entwicklungen in den letzten Jahrzehnten zu informieren. Es ist ein unentbehrliches Hilfsmittel für alle, die auf dem Gebiet der Finanzierung arbeiten.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 712 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Die Object Management Group, ein unabhängiges Gremium mit der Zielsetzung, objekt-orientierte Methoden und Techniken zu standardisieren, hat mehrere Standards veröffentlicht, die in dem Konzept MDA subsumiert sind. Seit April 2008 ist im Rahmen der MDA ein Sprachkonzept verabschiedet worden unter dem Titel MOF QVT, mit dem Transformationen zwischen formalen Modellen beschrieben und vorgenommen werden können. Das vorliegende Buch ist ein Fachbuch, mit dem ein Erlernen und Anwenden der MOF QVT-Sprache Operational Mappings ermöglicht werden soll. Neben einer ausführlichen Einleitung und Einordnung in den MDA-Kontext erläutert der Autor die QVT-Sprache Operational Mappings. Die Sprache wird zunächst formal eingeführt und anschließend an umfassenden Beispielen dargestellt. Zum Nachvollziehen der Beispiele und zur Anwendung und Übung der Sprache werden geeignete frei verfügbare Werkzeuge vorgestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -The Second Annual Workshop on Privacy and Security, organized by the Center for Interdisciplinary Studies in Information Privacy and Security of the School of C- munication and Information at Rutgers University, was held on May 12, 2008 at the Hyatt Regency, New Brunswick, New Jersey, USA. A few of the papers in this volume were produced through a multi-step process. First, we recorded the talk given by each author at the workshop in May 2008. Next, we transcribed the recording. The authors then produced a draft of their paper from these transcriptions, refining each draft until the final version. Although the papers are not verbatim transcriptions of the talks given, some do retain the informal and conv- sational quality of the presentations. In one instance we have included some material from the question-and-answer period after the talk, since the material covered proved to be relevant and interesting. The majority of authors, however, preferred to include a more formal paper based on the material presented at the workshop.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -work for small problems, but it introduces signi cant accidental complexities when tackling larger problems. Notethattherealchallengehereisnothowtodesignthesystemtotakeap- ticular aspect into account: there is signi cant design know-how in industry on this and it is often captured in the form of design patterns. Taking into account more than one aspect can be a little harder, but many large scale successful projects in industry provide some evidence that engineers know how di erent concerns should be handled. The real challenge is reducing the e ort that the engineerhasto expendwhengrapplingwithmanyinter-dependentconcerns.For example, in a product-line context, when an engineer wants to replace a variant of an aspect used in a system, she should be able to do this cheaply, quickly and safely. Manually weaving every aspect is not an option. Unlike many models used in the sciences, models in software and in lingu- tics have the same nature as the things they model. In software, this provides an opportunity to automatically derive software from its model, that is, to - tomate the weaving process. This requires models to be formal, and the weaving process be described as a program (i.e., an executable meta-model) manipul- ing models to produce a detailed design. The detailed design produced by the weaving process can ultimately be transformed to code or at least test suites.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at ADT 2009, the first International Conference on Algorithmic Decision Theory. The conference was held in San Servolo, a small island of the Venice lagoon, during October 20-23, 2009. The program of the conference included oral presentations, posters, invited talks, and tutorials. The conference received 65 submissions of which 39 papers were accepted (9 papers were posters). The topics of these papers range from computational social choice preference modeling, from uncertainty to preference learning, from multi-criteria decision making to game theory. 476 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 9th IEEE Workshop on IP Operations and Management, IPOM 2009, held in Venice, Italy, on October 29-30, 2009, as part of the 5th International Week on Management of Networks and Services, Manweek 2009. The 12 revised full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on management of quality of services and multimedia, network robustness, management of virtual networks, configuration of network resources and applicationsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto discusstheir experience,presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems¿a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e ectively with simple, mathematical abstractions, and with practical notions of inference and proof.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Mathematical sciences are contributing more and more to advances in life science research, a trend that will grow in the future. Realizing that the mathematical sciences can be critical to many areas of biomedical imaging, we organized a three-day minicourse on mathema- cal modelling in biomedical imaging at the Institute Henri Poincar¿einParis in March 2007. Prominent mathematicians and biomedical researchers were paired to review the state-of-the-art in the subject area and to share mat- maticalinsightsregardingfutureresearchdirectionsinthisgrowingdiscipline. The speakers gave presentations on hot topics including electromagnetic brain activity, time-reversal techniques, elasticity imaging, infrared thermal tomography,acoustic radiationforce imaging, electrical impedance and m- netic resonance electrical impedance tomographies. Indeed, they contributed to this volume with original chapters to give a wider audience the bene t of their talks and their thoughts on the eld. This volume is devoted to providing an exposition of the promising - alytical and numerical techniques for solving important biomedical imaging problems and to piquing interest in some of the most challenging issues. We hope that it will stimulate much needed progress in the directions that were described during the course. The biomedical imaging problems addressed in this volume trigger the investigation of interesting and di cult problems in various branches of mathematics including partialdi erential equations, h- monic analysis, complex analysis, numerical analysis, optimization, image analysis, and signal theory. The partial support o ered by the ANR project EchoScan (AN-06- Blan-0089) is acknowledged. We also thank the sta at the Institute Henri Poincar¿ e.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the reviewed proceedings of the 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2009, held in Rhodes, Greece, July 10-11, 2009. The 21 full papers and two brief announcements were carefully selected from 41 submissions. This workshops aimed at bringing together research contributions related to diverse algorithmic and complexity-theoretic aspects of wireless sensor networks. The topics include but are not limited to optimization problems, noise and probability, robots and tours.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book contains the best papers of the Third International Conference on Software and Data Technologies (ICSOFT 2008), held in Porto, Portugal, which was organized by the Institute for Systems and Technologies of Information, Communication and Control (INSTICC), co-sponsored by the Workflow Management Coalition (WfMC), in cooperation with the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST). The purpose of ICSOFT 2008 was to bring together researchers, engineers and practitioners interested in information technology and software development. The conference tracks were ¿Software Engineering¿, ¿Information Systems and Data Management¿, ¿Programming Languages¿, ¿Distributed and Parallel Systems¿ and ¿Knowledge Engineering¿. Being crucial for the development of information systems, software and data te- nologies encompass a large number of research topics and applications: from imp- mentation-related issues to more abstract theoretical aspects of software engineering; from databases and data-warehouses to management information systems and kno- edge-base systems; next to that, distributed systems, pervasive computing, data qu- ity and other related topics are included in the scope of this conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on Principles of Knowledge Representation and Reasoning. The 10 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers foster the cross-fertilization between the KR (knowledge representation and reasoning) and agent communities, by discussing knowledge representation theories and techniques for agent-based systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa, in November 2007.The 7 revised papers presented together with 2 invited talks were carefully selected from 27 initial submissions during two rounds of reviewing and improvement. The papers address all aspects of infinity in automata theory, logic, computability and verification and focus on topics such as automata on infinite objects; combinatorics, cryptography and complexity; computability and complexity on the real numbers; infinite games and their connections to logic; logic, computability, and complexity in finitely presentable infinite structures; randomness and computability; transfinite computation; and verification of infinite state systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -ThepromiseoftheSemanticWeb,atits most expansive, is to allow knowledge to be freely accessed and exchanged by software. It is now recognized that if the SemanticWebis to containdeepknowledge,theneedfornewrepresentationand reasoning techniques is going to be critical. These techniques need to nd the righttrade-o betweenexpressiveness,scalabilityandrobustnesstodealwiththe inherently incomplete, contradictory and uncertain nature of knowledge on the Web. The International Conference on Web Reasoning and Rule Systems (RR) was founded to address these needs and has grown into a major international forum in this area. The third RR conference was held during October 25¿26, 2009 in Chantilly, Virginia, co-located with the International Semantic Web Conference (ISWC 2009). This year 41 papers were submitted from authors in 21 countries. The P- gram Committee performed outstandingly to ensure that each paper submitted to RR 2009 was thoroughly reviewed by at least three referees in a short - riod of time. The resulting conference presented papers of high quality on many of the key issues for reasoning on the Semantic Web. RR 2009 was fortunate to have two distinguished invited speakers. Robert Kowalski, in his talk ¿- tegrating Logic Programming and Production Systems with Abductive Logic Programming Agents¿ addressed some of the fundamental considerations - hind reasoning about evolving systems. Benjamin Grossof¿s talk ¿SILK: Higher Level Rules with Defaults and Semantic Scalability¿ described the design of a major next-generation rule system. The invited tutorial ¿Uncertainty Reas- ing for the Semantic Web¿ by Thomas Lukasiewicz provided perspectives on a central issue in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Distribution of anaphora in natural language and the complexity of its resolution have resulted in a wide range of disciplines focusing their research on this grammatical phenomenon. It has emerged as one of the most productive topics of multi- and int- disciplinary research such as cognitive science, artificial intelligence and human language technology, theoretical, cognitive, corpus and computational linguistics, philosophy of language, psycholinguistics and cognitive psychology. Anaphora plays a major role in understanding a language and also accounts for the cohesion of a text. Correct interpretation of anaphora is necessary in all high-level natural language pr- essing applications. Given the growing importance of the study of anaphora in the last few decades, it has emerged as the frontier area of research. This is evident from the high-quality th submissions received for the 7 DAARC from where the 10 excellent reports on - search findings are selected for this volume. These are the regular papers that were presented at DAARC.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -TheIMC2009programconsistedofthreeinvitedtalksfrominternational- perts, four tutorials on fundamental techniques related to the conference topics, nine regular paper sessions, and a short paper / poster session. We received close to 50 submissions from 15 countries world-wide. Based on the ano- mous reviews provided by members of the international Program Committee, the Steering Committee recommended accepting 50% of the contributions as regular papers and another 15% as short papers with poster presentation. To our regret there were a few interesting papers that we had to reject. However, the reviewing results showed a high quality as well as an interesting variety of submissions. We would like to thank all authors for carefully preparing the results of their worksubmitted to IMC 2009,thus enabling an interesting and high-quality c- ferenceprogram.Moreover,wearedeeplygratefultoallmembersoftheProgram and Steering Committees for their e orts in quickly and thoroughly evaluating the papers. Finally, our special thanks go to the organizers Ulrike Lucke and Daniel Versick for their great work.They handled all the organizationaltasks as well as the communications, the electronic submission, reviewing, and publi- tion procedure in an e cient and timely manner.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009. The 19 revised full papers and two invited talks presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on encryption, digital signature, cryptographic protocols and reduction and privacy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 14th international meeting on DNA computation took place in the Czech Republic in Prague, June 2¿9, 2008. During the last 14 years the DNA C- puting meetings have been the key forum at the boundary between computer science, biochemistry and nanotechnology where the most recent results have been presented and their authors have met. Their scienti c program includes mathematical foundations and theoretical study of DNA computing ¿ or b- computing in general¿ and recent experimental results in DNA nanotechnology, nanoscience and nanocomputing. It continues to be one of the most exciting interdisciplinary meetings, as exempli ed by the diverse nature of contributions in this volume. The meeting began with tutorial talks by Friedrich Simmel (¿Molecular - ology for Computer Scientists¿), Nadrian Seeman (¿Structural DNA Nanote- nology¿), and Yasubumi Sakakibara (¿Formal Grammars for DNA Compu- tion and Bioinformatics¿). During the meeting, a number of excellent keynote speakers gave an up-to-date overview of di erent aspects of DNA computing and biochemical information processing. Luca Cardelli talked about ¿Molecules as Automata,¿ while Niles Pierce gave an exciting talk entitled ¿Molecular Choreography¿ProgrammingNucleicAcidSelf-AssemblyandDisassemblyPa- ways.¿Inamorebiologicaltalk,LauraLandweberdiscussed¿RNA-Guided,E- geneticProgrammingandRe-programmingofGenomicInformationinCiliates,¿ and Ming Li gave an overview of ¿Modern Homology Search.¿ The meeting was concluded by a Nanoday with beautiful presentations by Christof Niemeyer, Kurt Gothelf, Andrew Ellington and David Pine.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The First Asian Conference on Machine Learning (ACML 2009) was held at Nanjing, China during November 2¿4, 2009.This was the rst edition of a series of annual conferences which aim to provide a leading international forum for researchers in machine learning and related elds to share their new ideas and research ndings. This year we received 113 submissions from 18 countries and regions in Asia, Australasia, Europe and North America. The submissions went through a r- orous double-blind reviewing process. Most submissions received four reviews, a few submissions received ve reviews, while only several submissions received three reviews. Each submission was handled by an Area Chair who coordinated discussions among reviewers and made recommendation on the submission. The Program Committee Chairs examined the reviews and meta-reviews to further guarantee the reliability and integrity of the reviewing process. Twenty-nine - pers were selected after this process. To ensure that important revisions required by reviewers were incorporated into the nal accepted papers, and to allow submissions which would have - tential after a careful revision, this year we launched a ¿revision double-check¿ process. In short, the above-mentioned 29 papers were conditionally accepted, and the authors were requested to incorporate the ¿important-and-must¿re- sionssummarizedbyareachairsbasedonreviewers¿comments.Therevised nal version and the revision list of each conditionally accepted paper was examined by the Area Chair and Program Committee Chairs. Papers that failed to pass the examination were nally rejected.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the revised papers of the 14th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2009, which was held in Rome, Italy, in May 2009. The 15 revised papers presented were carefully reviewed and selected from 25 submissions. The papers cover all current issues of job scheduling strategies for parallel processing; this year the conference had an increasing trend towards heterogeneous and multi-core architectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Fourth International Workshop on Security (IWSEC 2009) was held at Toyama International Conference Center, Toyama, Japan, October 28¿30, 2009. The workshop was co-organized by CSEC, a special interest group on computer security of the IPSJ (Information Processing Society of Japan) and ISEC, a technical group on information security of IEICE (The Institute of Electronics, Information and Communication Engineers). The excellent Local Organizing Committee was led by the IWSEC 2009 General Co-chairs, Kazuo Takaragi and Hiroaki Kikuchi. IWSEC2009received46papersubmissionsfromallovertheworld.Wewould like to thank all the authors who submitted papers. Eachpaper was reviewedby at least three reviewers. In addition to the Program Committee members, many externalreviewersjoinedthereviewprocessintheirparticularareasofexpertise . We were fortunate to have this energetic team of experts, and are grateful to all of them for their hard work. The hard work includes very active discussion; the discussion phase was almost as long as the initial individual reviewing. The review and discussion were supported by a very nice Web-based system, iChair. We thank its developers. Following the review phases, 13 papers were accepted for publication in this volume of Advances in Information and Computer Security. Together with the contributed papers, the workshop featured an invited talk and a hash function panel both of which were respectively given and chaired by eminent researcher, Bart Preneel (Katholieke Universiteit Leuven). An abstract of the talk, titled ¿TheFutureofCryptographicAlgorithms,¿isincludedinthisvolume.Wedeeply appreciate his contribution. Many people contributed to the success of IWSEC 2009. We wish to - press our deep appreciation for their contribution to informationand computer security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations and Applications, SAGA 2009, held in Sapporo, Japan, in October 2009. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on learning, graphs, testing, optimization and caching, as well as stochastic algorithms in bioinformatics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed joint proceedings of eight international workshops held in conjunction with the 28th International Conference on Conceptual Modeling, ER 2009, in Gramado, Brazil, in November 2009. The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. Topics addressed by the workshops are active conceptual modeling of learning (ACM-L), conceptual modeling in the large (CoMoL), evolving theories of conceptual modeling (ETheCoM), workshop on foundations and practices of UML (FP-UML), joint international workshop on metamodels, ontologies, semantic technologies, and information systems for the semantic web (MOST-ONISW), quality of information systems (QoIS), requirements, Intentions and goals in conceptual modeling ( RIGiM) and semantic and conceptual issues in geographic information systems (SeCoGIS).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.