springer berlin heidelberg springer berlin heidelberg apr 2008 (113 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Hier geht¿s lang ¿Sie befinden sich in der Ausbildung zur Altenpflegerin oder zur Gesundheits- und Krankenpflegerin Sie haben den ersten Schritt geschafft und einen Ausbildungsplatz gefunden Doch wie geht es nun weiter Dieser informative und kurzweilige Ausbildungsführer hilft Ihnen, die Hürden der Ausbildung besser zu nehmen. Die Autorinnen geben zahlreiche praktische und nützliche Tipps:Der erste SchultagDer erste praktische EinsatzVom richtigen Umgang mit Bewohnern, Klienten und PatientenVorbeugung gegen BurnoutTipps zur Weiterbildung und zurAusbildungsfinanzierungExamensvorbereitung, Stressmanagement, ZeitmanagementRichtig bewerben u.v.m.Checklisten, Persönlichkeitstests und ein Anhang mit Internetadressen bieten Ihnen weitere Informationen und erleichtern den Einstieg in den Beruf.Der Wegweiser durch Ihre Ausbildung!Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Deutsch.

Buch. Zustand: Neu. Neuware -In unserer technisierten Welt stoßen wir überall auf Mathematik. Mathematik ist eine Basiswissenschaft und der Schlüssel für bahnbrechende Innovationen. Sie macht viele Produkte und Dienstleistungen überhaupt erst möglich und ist damit ein wichtiger Produktions- und Wettbewerbsfaktor.Im vorliegenden Buch berichten 19 große internationale Unternehmen sowie die Bundesagentur für Arbeit wie unverzichtbar Mathematik für ihren Erfolg heute geworden ist. Ein spannender und lehrreicher Einblick in die Mathematik, der mit oft zitierten und negativen Vorurteilen gründlich aufräumt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Noch ein mikroökonomisches Lehrbuch Oftmals wird die Mikrotheorie als Sammelsurium von abstrakten Rechen- geln dargestellt. Durch diese ¿Liebe zum mathematischen Detail¿ verliert der Studierende jedoch meist den Blick für das Wesentliche: die Konzepte und die Methodik, die die Mikrotheorie zur Erklärung von Marktwirtschaften l- fert. Ziel dieses Buches ist es deshalb, einmal den entgegengesetzten Weg zu gehen. Von Anfang an steht die folgende umfassende Fragestellung im Bre- punkt des Buches: Warum beobachtet man in privaten Marktwirtschaften, in denen jeder unabhängig voneinander und nach eigenen Interessen handelt, kein Chaos, sondern einen Zustand, der an ein Gleichgewicht erinnert Diese zentrale Frage wird in diesem Buch auf unterschiedlichem Detaillierungsgrad beantwortet. Schließlich wird dann das mikroökonomische Totalmodell einer geschlossenen Volkswirtschaft eine Erklärung liefern. Die Grundzüge der analytischen Mikroökonomie nden im Buch Grundzüge der analytischen Makroökonomie (HensundStrub[2004]) ihreWeiterentwi- lung. Diese Verbindung zwischen Mikro- und Makroökonomie ist ein weiteres Argument für die Verfassung eines neuen Lehrbuches. Was dieses Buch kennzeichnet In Teil I des Buches wird ein ökonomisches Gesamtmodell stufenweise a- gebaut. In jedem Schritt ¿ Robinson-Ökonomie ¿ zwei Güter ¿ drei Güter ¿ beliebig viele Konsumenten und Produzenten ¿ beliebig viele Güter ¿ wird jeweils eine geschlossene Volkswirtschaft im Gesamtbild analysiert, statt die Aufmerksamkeit des Lesers außchließlich auf einen Teilmarkt zu lenken. VIII Vorwort Das ursprünglich grob gerasterte Bild verfeinert sich also zum mikroöko- misch-detailgetreuen Bild der privaten Marktwirtschaft, und der Leser kann das Gesamtbild derselben schon abdem ersten Schritt erkennen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das vorliegende Buch bietet eine geschlossene Darstellung betriebswirtschaftlicher Grundlagen der Dienstleistungsproduktion. Es erläutert die spezifischen Eigenarten von Dienstleistungen sowie die Besonderheiten der Dienstleistungsproduktion. Eine wesentliche Ergänzung der Neuauflage besteht in der Erfassung und Bewertung der für die Dienstleistungsproduktion zwingend erforderlichen externen Produktionsfaktoren. Dies bildet eine entscheidende Grundlage für das Management im Dienstleistungsbetrieb. Für das Beurteilen entsprechender Kostenwirkungen sowie für die Planung und Gestaltung des Dienstleistungsmarketing ist die Kenntnis dieser grundlegenden Sachverhalte unverzichtbar. Das Hauptanliegen dieses Buches besteht darin, Transparenz und Verständnis für den außerordentlich heterogenen Dienstleistungsbereich zu schaffen. Es basiert auf der betriebswirtschaftlichen Produktionstheorie unter ausführlicher Berücksichtigung der für die Thematik wesentlichen volkswirtschaftlichen Rahmenbedingungen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Of the three lecture courses making up the CIME summer school on Fluid Dynamics at Cetraro in 2005 reflected in this volume, the first, due to Sergio Albeverio describes deterministic and stochastic models of hydrodynamics.In the second course, Franco Flandoli starts from 3D Navier-Stokes equations and ends with turbulence.Finally, Yakov Sinai, in the 3rd course, describes some rigorous mathematical results for multidimensional Navier-Stokes systems and some recent results on the one-dimensional Burgers equation with random forcing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Buch. Zustand: Neu. Neuware -¿Auf der Fährte von C#' ist eine verständliche und kompakte, aber dennoch vollständige Einführung in die Sprache C#. Im Gegensatz zu den meisten anderen Büchern zu C# wird dabei aber nicht das Schreiben von Code, sondern das objektorientierte Denken und die Entwicklung eines guten Programmierstils in den Mittelpunkt gestellt.Da der Autor als Zielplattform nicht nur .NET, sondern auch Mono anspricht, und zudem bereits Version 3.0 der Sprache C# und deren Erweiterungen wie beispielsweise Lambdaausdrücke, Erweiterungsmethoden und Linq abdeckt, sind Sie auch für die Zukunft gut gerüstet.Sie können dieses Buch auch als unentbehrliche Referenz und stets griffbereites Nachschlagewerk für Ihre weitere Programmierpraxis nutzen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Systemen zum Enterprise Resource Planning, kurz ERP-Systemen, geht der Ruf voraus, enorme Kosten zu verursachen. Hingegen bleibt der Nutzen von ERP-Systemen für Unternehmen oftmals unklar. Das Buch geht der Frage nach, wie Unternehmen den Einsatz von ERP-Systemen durch das Generieren signifikanter Kosten- oder Nutzenvorteile optimieren können. Konkrete Erfahrungsberichte aus der Praxis beleuchten verschiedenartige Aspekte der Kosten-/Nutzenoptimierung von ERP-Systemen: Vom Architekturmanagement (z.B. ERP-Konsolidierung) über die Implementation (z.B. Adaptive Computing) bis hin zum Betrieb von ERP-Systemen. Das Buch wendet sich an Praktiker und IT-Leiter, die ihr ERP-System optimieren wollen. Es wendet sich zugleich an Unternehmensleitungen, die mit ihren IT-Verantwortlichen nach Wegen der Kosten-/Nutzenoptimierung suchen. Ein Buch von Praktikern für Praktiker!Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Das V-Modell XT ist ein umfassendes Prozessmodell für die Planung und Durchführung der Systementwicklung in IT-Projekten. Es ist seit Februar 2005 für alle IT-Projekte der deutschen Bundesbehörden verbindlich und liegt seit Juni 2006 in der wesentlich erweiterten Version 1.2.1 vor.Das Buch führt an die etablierte Fachsprache anbindend in alle Konzepte des V-Modell XT und deren Begrifflichkeit ein und ist Mediator zwischen der Lehre des System Engineering, dem V-Modell-XT-Katalog und der Anwendungspraxis. Es dient als Begleiter für die Konfiguration von V-Modell XT-basierten Projekten wie auch als Ratgeber für die organisatorische Implementierung im Unternehmen.Mit dem V-Modell XT wurden völlig neue Konzepte geschaffen und ein größeres Leistungsspektrum einbezogen, um die verschiedenen IT-Projekttypen genauer und flexibler fokussieren zu können.Das Buch ist gleichsam als Grundlage für Vorlesungen geeignet, wie auch für die autodidaktische Erschließung durch den fachkundigen Leser.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 636 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Ein funktionierendes Kostenmanagement ist unerlässlich, um die Wettbewerbsfähigkeit eines Unternehmens zu erhalten. Die meisten Maßnahmen des Kostensenkens beschränken sich auf die Organisations- und Fertigungsprozesse. Eine Betrachtung der Kostenbeeinflussbarkeit im Produktentstehungsprozess zeigt jedoch, dass durch die Konstruktion bereits bis zu 80% der Produktkosten festgelegt werden. Entsprechend hoch ist die Effizienz des Kostenmanagements in der Konstruktion. Um das hohe Potential auszuschöpfen, welches das kostenbewusste Konstruieren bietet, stehen verschiedene Methoden und Instrumente zur Verfügung. Diese werden in dem vorliegenden Buch praxisnah beschrieben und ihre Implementierung im Konstruktionsprozess anhand von realen Anwendungsbeispielen verdeutlicht. Die Inhalte basieren auf den Erfahrungen, die der Autor im Rahmen seiner Tätigkeit bei der Gesellschaft für kostenorientierte Produktentwicklung (GKP) über viele Jahre in Industrieprojekten gesammelt hat.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Kompetenz ist die unabdingbare Voraussetzung für beruflichen Erfolg. Nicht immer ist fachliche Kompetenz sofort äußerlich sichtbar. Dieses Buch richtet sich an alle Ingenieure, Naturwissenschaftler und Informatiker, die gegenüber Kunden, Geschäftspartnern, Vorgesetzten, Kollegen und Mitarbeitern noch deutlicher Profil zeigen möchten. Es lädt dazu ein, zahlreiche Punkte, die zum Sichtbarmachen der eigenen Kenntnisse und Fähigkeiten und damit zum beruflichen Erfolg beitragen, zu überdenken und Verbesserungen sofort vorzunehmen.Das Buch besticht durch seine absolute Praxisnähe. Gespräche über Situationen des täglichen Geschäftslebens mit Fach- und Führungskräften aus der Industrie sowie mit Unternehmern und Freiberuflern haben zum Inhalt beigetragen. Wer die Regeln kennt und beachtet, seine innere Einstellung überdenkt und seine Ziele klar vor Augen hat, wird seine Kompetenz auch nach außen ausstrahlen können.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Institut für Qualität und Wirtschaftlichkeit im Gesundheitswesen (IQWiG) ist eine innovative Konstruktion, die zahlreiche Rechtsfragen aufwirft. Dieses Buch untersucht Aufgaben, Struktur und Rechtsnatur des IQWiG, die rechtlichen Anforderungen an das Bewertungsverfahren und gibt Aufschluss über die Möglichkeiten des Rechtsschutzes der betroffenen Patientenkreise und pharmazeutischen Unternehmen. In einem Exkurs wird außerdem die Umsetzung der IQWiG Bewertung durch den Gemeinsamen Bundesausschuss aus rechtlicher Sicht gewürdigt. Die rechtlich fundierten Darstellungen enthalten auch zahlreiche Ratschläge für das praktische Vorgehen in einem Bewertungsverfahren.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Nowadays we are facing numerous and important imaging problems: nondestructive testing of materials, monitoring of industrial processes, enhancement of oil production by efficient reservoir characterization, emerging developments in noninvasive imaging techniques for medical purposes - computerized tomography (CT), magnetic resonance imaging (MRI), positron emission tomography (PET), X-ray and ultrasound tomography, etc. In the CIME Summer School on Imaging (Martina Franca, Italy 2002), leading experts in mathematical techniques and applications presented broad and useful introductions for non-experts and practitioners alike to many aspects of this exciting field. The volume contains part of the above lectures completed and updated by additional contributions on other related topics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Algebraic groups are treated in this volume from a group theoretical point of view and the obtained results are compared with the analogous issues in the theory of Lie groups. The main body of the text is devoted to a classification of algebraic groups and Lie groups having only few subgroups or few factor groups of different type. In particular, the diversity of the nature of algebraic groups over fields of positive characteristic and over fields of characteristic zero is emphasized. This is revealed by the plethora of three-dimensional unipotent algebraic groups over a perfect field of positive characteristic, as well as, by many concrete examples which cover an area systematically. In the final section, algebraic groups and Lie groups having many closed normal subgroups are determined.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Granular matter displays a variety of peculiarities that distinguish it from other appearances studied in condensed matter physics and renders its overall mathematical modelling somewhat arduous. Prominent directions in the modelling granular flows are analyzed from various points of view. Foundational issues, numerical schemes and experimental results are discussed. The volume furnishes a rather complete overview of the current research trends in the mechanics of granular matter. Various chapters introduce the reader to different points of view and related techniques. New models describing granular bodies as complex bodies are presented. Results on the analysis of the inelastic Boltzmann equations are collected in different chapters. Gallavotti-Cohen symmetry is also discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Eine Entscheidung zwischen Leben und Tod treffen zu müssen, gehört zu den schwierigsten Situationen für die meisten Ärzte.Namhafte Vertreter der Medizin und Intensivmedizin, der Theologie, der Philosophie und des Rechts haben zu diesem aktuellen und diskussionswürdigen Thema Tatsachen und Gedanken zusammengetragen und praxisnah aufbereitet. Der Patient in Grenzsituationen ¿ Das Erleben von Grenzsituationen. Philosophie und Theologie: Lebensende: Ende oder Anfang der Philosophie - Leiden ohne Ende ¿ Lebenserhalt um jeden Preis. Grenzsituationen in einzelnen Fachgebieten: Allgemeinchirurgie, Anästhesie, Neurochirurgie, Innere Medizin, Pädiatrie, u.a. Entscheidungskriterien in Grenzsituationen: unter ökonomischen und juristischen Aspekten beleuchtet. Die ärztliche Entscheidung: Rechte und Pflichten des Arztes ¿ Ethikkommissionen. Liberalisierung der Sterbehilfe: Der Umgang damit in unseren Nachbarländern.Basierend auf dem Mainzer Forum Intensivmedizin wurden alle Beiträge für das Buchprojekt überarbeitet und praxisnah erweitert.Ein einzigartiges Nachschlagewerk für die schwierigen menschlichen Situationen auf Intensivstationen, wichtig für alle Ärzte.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -BIS 2008 was the 11th in a series of international conferences on Business - formation Systems. The conference took place in Innsbruck which means that after Klagenfurt it was the second Austrian BIS edition. The BIS conference series from its veryroots has been recognized by professionalsas a forum for the exchangeand disseminationof topicalresearchin the development,implemen- tion, application and improvement of computer systems for business processes. The theme of this conference was¿Business Processes and Social Contexts¿ Reaching Beyond the Enterprise.¿The material collected in this volume covers research trends as well as current achievements and cutting-edge developments in the area of modern business information systems. A set of 41 papers were - lectedforthepresentationduringthemaineventandgroupedaroundconferen ce topics: Business Process Management, Service Discovery and Composition, - tologies, Information Retrieval, Interoperability, Mobility and Contexts, Ent- prise Resource Planning, Wikis and Folksonomies, Rules and Semantic Queries. The Program Committee consisted of more than 80 members that carefully evaluated all the submitted papers. This year they were supported by an Easy- Chair review system, and again, we observed an increase in the quality of the reviews. This not only raised the quality of the conference but also positively a ected the work of the authors. The regular program was complemented by the outstanding keynote spe- ers. We are proud that BIS 2008 hosted Alistair Barros (SAP, Australia), Hans Ulrich Buhl (University of Augsburg, Germany), Fabio Ciravegna (University of She eld, UK), John Davies (BT, UK), and Frank Leymann (University of Stuttgart, Germany). 500 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008.UNISCON combines the ECOMO workshop series and the ISTA conference series. The 19 papers dealing with conceptual modeling, model-driven software development and information systems applications represent a 30% selection from the original set of submissions.They are completed by two keynote lectures and 35 papers from internationally renowned researchers, invited in honor of Heinrich C. Mayr, whose 60th birthday is also celebrated at this event, that he originally created. 612 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Buch. Zustand: Neu. Neuware -Service-oriented computing has become one of the predominant factors in IT research and development efforts over the last few years. In spite of several standardization efforts that advanced from research labs into industrial-strength technologies and tools, there is still much human effort required in the process of finding and executing Web services.Here, Dieter Fensel and his team lay the foundation for understanding the Semantic Web Services infrastructure, aimed at eliminating human intervention and thus allowing for seamless integration of information systems. They focus on the currently most advanced SWS infrastructure, namely SESA and related work such as the Web Services Execution Environment (WSMX) activities and the Semantic Execution Environment (OASIS SEE TC) standardization effort. Their book is divided into four parts: Part I provides an introduction to the field and its history, covering basic Web technologies and the state of research and standardization in the Semantic Web field. Part II presents the SESA architecture. The authors detail its building blocks and show how they are consolidated into a coherent software architecture that can be used as a blueprint for implementation. Part III gives more insight into middleware services, describing the necessary conceptual functionality that is imposed on the architecture through the basic principles. Each such functionality is realized using a number of so-called middleware services. Finally, Part IV shows how the SESA architecture can be applied to real-world scenarios, and provides an overview of compatible and related systems.The book targets professionals as well as academic and industrial researchers working on various aspects of semantic integration of distributed information systems. They will learn how to apply the Semantic Web Services infrastructure to automate and semi-automate tasks, by using existing integration technologies. In addition, the book is also suitable for advanced graduate students enrolled in courses covering knowledge management, the Semantic Web, or integration of information systems, as it will educate them about basic technologies for Semantic Web Services and general issues related to integration of information systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Algorithmic Number Theory Symposium, ANTS 2008, held in Banff, Canada, in May 2008. The 28 revised full papers presented together with 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on elliptic curves cryptology and generalizations, arithmetic of elliptic curves, integer factorization, K3 surfaces, number fields, point counting, arithmetic of function fields, modular forms, cryptography, and number theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In the fall of 2006, the University of Maryland, along with various government and industrial sponsors, invited leading researchers from all over the world to a two-day Summit on Arabic and Chinese Handwriting Recognition (SACH 2006). The event acted as a complement to the biennial Symposium on Document Image Understanding Technology (SDIUT), providing a focused glimpse into the state of the art in Arabic and Chinese handwriting recognition. It offered a forum for interaction with prominent researchers at the forefront of the scientific community and provided an opportunity for participants to help explore possible directions of the field. This book is a result of the expansion, peer review, and revision of selected papers presented at this meeting. Handwriting recognition remains the Holy Grail of document analysis, and Arabic and Chinese scripts embrace many of the most significant challenges. We are pleased to have 16 scientific papers covering the original topics of handwritten Arabic and Chinese, as well as 2 papers covering other handwritten scripts. We asked each author to not only describe the techniques used in addressing the problem, but to attempt to identify the key research challenges and problems that the community faces. The result is an impressive collection of manuscripts that provide various detailed views of the state of research. In this book, six articles deal directly with Arabic handwriting. ¿ Cheriet provides an overview of the problems of Arabic recognition and how systems can use natural language processing techniques to correct errors in lexicon-based systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Zustand: Neu. Neuware -Service-oriented computing has recently gained extensive momentum in both industry and academia, and major software vendors hook on to the service paradigm and tailor their software systems towards services in order to accommodate ever-changing process and product requirements in today¿s dynamic market environments. While dynamic binding of services at runtime was identified as a core functionality of service-based environments as far back as 2000, its industrial-strength implementation has yet to be achieved. The main reason for this is the lack of rich service specifications, concepts, and tools to process them.This book introduces advanced concepts in service provisioning and service engineering, including semantic concepts, dynamic discovery and composition, and illustrates them in a concrete business use case scenario. To prove the validity of the concepts and technologies, a semantic service provisioning reference architecture framework as well as a prototypical implementation of its subsystems and a prototypical realization of a proper business scenario are presented. Thus the book goes way beyond current service-based software technologies by providing a coherent and consistent set of technologies and systems functionality that realizes advanced concepts in service provisioning.Both the use case scenario and the provisioning platform have already been substantiated and implemented by the EU-funded Adaptive Services Grid project. The book therefore presents state-of-the-art research results that have already passed a real industrial implementation evaluation which is based on the work of over 20 European partners cooperating in the field of semantic service provisioning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is ability Testing (SAT) has evolved from a rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis ability problem and its applications. In the past, the SAT conference venue alternated between Europe and North America. For the rst time, the conference venue was in Asia, more precisely at the Zhudao Guest House, near Sun Yat-Sen University in Guangzhou, P. R. China. Many hard combinatorial problems can be encoded into SAT. Therefore - provementsonheuristics onthe practicalside,as wellastheoreticalinsightsinto SAT apply to a large range of real-world problems. More speci cally, many - portant practical veri cation problems can be rephrased as SAT problems. This applies to veri cation problems in hardware and software. Thus SAT is bec- ing one of the most important core technologies to verify secure and dependable systems. The topics of the conference span practical and theoretical research on SAT and its applications and include but are not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, s- pli ers, tools, case studies, and empirical results. SAT is interpreted in a rather broad sense: besides propositional satis ability, it includes, for example, the - main of quanti ed Boolean formulae (QBF) and satis ability modulo theories (SMT). 324 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The RSA Conference is the largest regularly-staged computer security event, with over 350 vendors and many thousands of attendees. The Cryptographers¿ Track (CT-RSA) is a research conference within the RSA Conference. CT-RSA began in 2001, and has become one of the major established venues for presenting cryptographic research papers to a wide variety of audiences. CT-RSA 2008 was held in San Francisco, California from April 8 to April 11. The proceedings of CT-RSA 2008 contain 26 papers selected from 95 subm- sions pertaining to all aspects of cryptography. Each submission was reviewed by at least three reviewers, which was made possible by the hard work of 27 P- gram Committee members and many external reviewers listed on the following pages. The papers were selected following a detailed online discussion among the Program Committee members. The program included an invited talk by Sha Goldwasser. The current proceedings include a short abstract of her talk. I would like to express my deep gratitude to the Program Committee m- bers, who volunteered their expertise and hard work over several months, as well as to the external reviewers. Special thanks to Shai Halevi for providing and maintaining the Web review system used for paper submission, reviewing, and nal-version preparation. Finally, I would like to thank Burt Kaliski and Ari Juels of RSA Laboratories, as well as the RSA conference team, especially Bree LaBollita, for their assistance throughout the process.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Finally, we strongly believe that this year¿s conference continued the tra- tions of having a high scienti c and technical quality as well as an extensive dialogue on key issues of service availability. May 2008 Fumihiro Maruyama Andras ¿ Pataricza Organization ISAS 2008 was sponsored by the Research Center for Advanced Science and Technology (RCAST), University of Tokyo and Service Availability Forum, in cooperation with IEICE TC on Dependable Computing and GI TC on Depe- ability and Fault Tolerance. Organizing Committee General Chair Takashi Nanya (University of Tokyo, Japan) Program Co-chairs Andras ¿ Pataricza(BudapestUniversityofTechnologyandEconomics,Hungary) Fumihiro Maruyama (Fujitsu Lab. , Japan) Finance Chair H. Nakamura (University of Tokyo, Japan) Local Arrangement Chair M. Imai (University of Tokyo, Japan) Registration Chair M. Kondo (University of Tokyo, Japan) Publicity Chair M. Reitenspieß (Fujitsu Siemens Computers, Germany) Publication Chair M. Malek (Humboldt University, Germany) Web Master H. Okamura (Hiroshima University, Japan) Steering Committee M. Reitenspieß (Fujitsu Siemens Computers, Germany) S. Benlarbi (Alcatel, Canada) T. Dohi (Hiroshima University, Japan) M. Malek (Humboldt University, Germany) D. Penkler (HP, France) F. Tam (Nokia, Finland) X Organization ProgramCommittee A. Avritzer (Siemens, USA) D. Bakken (Washington S. , USA) R. Baldoni (University of Rome, Italy) G. Chockler (IBM, Israel) C. Fetzer (TU Dresden, Germany) F. Fraikin (SDM, Germany) R. Fricks (Motorola, USA) M. Funabashi (Hitachi, Japan) A. Gokhale (Vanderbilt, USA) K. Hidaka (IBM, Japan) M. Hiller (Volvo, Sweden) H. Ichikawa (UEC, Japan) K. Iwasaki (Tokyo Metropolitan University, Japan) Z. Kalbarczyk (UIUC, USA) T.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Modern approaches to the study of symplectic 4-manifolds and algebraic surfaces combine a wide range of techniques and sources of inspiration. Gauge theory, symplectic geometry, pseudoholomorphic curves, singularity theory, moduli spaces, braid groups, monodromy, in addition to classical topology and algebraic geometry, combine to make this one of the most vibrant and active areas of research in mathematics. It is our hope that the five lectures of the present volume given at the C.I.M.E. Summer School held in Cetraro, Italy, September 2-10, 2003 will be useful to people working in related areas of mathematics and will become standard references on these topics.The volume is a coherent exposition of an active field of current research focusing on the introduction of new methods for the study of moduli spaces of complex structures on algebraic surfaces, and for the investigation of symplectic topology in dimension 4 and higher. 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In this new century mankind faces ever more challenging environmental and publichealthproblems,suchaspollution,invasionbyexoticspecies,theem- gence of new diseases or the emergence of diseases into new regions (West Nile virus,SARS,Anthrax,etc.),andtheresurgenceofexistingdiseases(in uenza, malaria, TB, HIV/AIDS, etc.). Mathematical models have been successfully used to study many biological, epidemiological and medical problems, and nonlinear and complex dynamics have been observed in all of those contexts. Mathematical studies have helped us not only to better understand these problems but also to nd solutions in some cases, such as the prediction and control of SARS outbreaks, understanding HIV infection, and the investi- tion of antibiotic-resistant infections in hospitals. Structuredpopulationmodelsdistinguishindividualsfromoneanother- cording to characteristics such as age, size, location, status, and movement, to determine the birth, growth and death rates, interaction with each other and with environment, infectivity, etc. The goal of structured population models is to understand how these characteristics a ect the dynamics of these models and thus the outcomes and consequences of the biological and epidemiolo- cal processes. There is a very large and growing body of literature on these topics. This book deals with the recent and important advances in the study of structured population models in biology and epidemiology. There are six chapters in this book, written by leading researchers in these areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Embodied agents play an increasingly important role in cognitive interaction technology. The two main types of embodied agents are virtual humans inhabiting simulated environments and humanoid robots inhabiting the real world. So far research on embodied communicative agents has mainly explored their potential for practical applications. However, the design of communicative artificial agents can also be of great heuristic value for the scientific study of communication. It allows researchers to isolate, implement, and test essential properties of inter-agent communications in operational models. Modeling communication with robots and virtual humans thus involves the vision of using communicative machines as research tools. Artificial systems that reproduce certain aspects of natural, multimodal communication help to elucidate the internal mechanisms that give rise to different aspects of communication. In short, constructing embodied agents who are able to communicate may help us to understand the principles of human communication. As a comprehensive theme, ¿Embodied Communication in Humans and Machines¿ was taken up by an international research group hosted by Bielefeld University¿s Center for Interdisciplinary Research (ZiF ¿ Zentrum für interdisziplinäre Forschung) from October 2005 through September 2006. The overarching goal of this research year was to develop an integrated perspective of embodiment in communication, establishing bridges between lower-level, sensorimotor functions and a range of higher-level, communicative functions involving language and bodily action. The present volume grew out of a workshop that took place during April 5¿8, 2006 at the ZiF as a part of the research year on embodied communication.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Fourth International Symposium on Bioinformatics Research and Applications, ISBRA 2008, held in Atlanta, GA, USA in May 2008. The 35 revised full papers presented together with 6 workshop papers and 6 invited papers were carefully reviewed and selected from a total of 94 submissions. The papers cover a wide range of topics, including clustering and classification, gene expression analysis, gene networks, genome analysis, motif finding, pathways, protein structure prediction, protein domain interactions, phylogenetics, and software tools. 536 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -collaboration, or negotiation in order to create exible and fault-tolerant distributed systems for dynamic and uncertain environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.