springer berlin heidelberg springer berlin heidelberg sep 2007 (228 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -In den Natur- und Ingenieurwissenschaften haben sich Computeralgebrasysteme wie MuPAD zu einem unentbehrlichen Werkzeug in Lehre und Forschung entwickelt. MuPAD überzeugt dabei durch klare Strukturen, vielfältige Visualisierungsmöglichkeiten und effiziente Berechnungen.Das Buch gibt eine elementare Einführung in die Welt der Computeralgebrasysteme am Beispiel MuPAD. Der Aufbau der Sprache und die wichtigsten Sprachelemente werden an vielen Beispielen demonstriert. Die Beispiele entstammen in der regel aus den mathematischen Grundvorlesungen in Analysis und Lineare Algebra. Auf diese Weise lerne der Leser nicht nur mit MuPAD umzugehen sondern erhält gleichzeitig eine intensive Wiederholung der mathematischen Grundlagen.Das Buch basiert auf MuPAD Pro 4.0.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die dynamische Veränderung von Märkten und Branchenstrukturen stellt besondere Anforderungen an die strategische Planung in Unternehmen. Benötigt werden Entscheidungshilfen, die komplexe Situationen strukturieren. Dieses Buch vermittelt fundiert das methodische und quantitative Grundlagenwissen, um strategische Planungsaufgaben in ihrem unternehmensspezifischen Kontext bewältigen zu können. Dazu werden Theorie, empirische Überprüfungen und reale Anwendungen moderner strategischer Planungsinstrumente ausführlich vorgestellt. Das Buch behandelt u.a. die spieltheoretische Strategiewahl, die Wertkettenanalyse, die empirische Überprüfung von Erfahrungskurveneffekten, die moderne kapitalmarktorientierte Portfoliosteuerung, eine empirisch orientierte Sicht der Balanced Scorecard sowie die Long-Tail-Thematik als strategische Herausforderung technologischer Neuentwicklungen der Internetökonomie.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Aufbauend auf den Anforderungen, die aus Controllingsicht an die Kosten- und Erlösrechnung zu stellen sind, gibt das Lehrbuch ¿einen fundierten Überblick über den modernen Stand der Kosten- und Erlösrechnung. . Neben Studenten können auch Betriebspraktiker wertvolle Anregungen erhalten.' (krp ¿ Zeitschrift für Controlling). Aufgrund der Controllingorientierung liegt der Schwerpunkt auf der Grenzplankosten- und Deckungsbeitragsrechnung sowie der Prozesskostenrechnung, deren Darstellung konsistent in den Gesamtaufbau integriert ist. Der Stoff ist in zwölf Lernmodule eingeteilt, die mithilfe von Lernzielen und Kontrollfragen ein strukturiertes Selbststudium erleichtern. Einführende ¿Intuitivbeispiele' sowie ein umfangreiches Glossar erleichtern gerade Anfängern das Verständnis. Das Lehrbuch wird durch ein im selben Verlag erschienenes Arbeitsbuch und eine Internetseite ergänzt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Stereochemie - Grundbegriffe richtet sich an Studenten, Lehrende und praktizierende Wissenschaftler der Chemie, Biochemie, Pharmazie, Medizin und Biologie, die sich mit dem Phänomen der Chiralität befassen. Neben einer genauen Formeldarstellung ist eine klare und eindeutige Terminologie zur Beschreibung der dreidimensionalen Strukturen und der daraus resultierenden Konsequenzen für Reaktionen oder Wirkstoff-Rezeptor-Wechselwirkungen unerläßlich. Das gilt umsomehr im zunehmenden interdisziplinären Austausch. Das vorliegende Buch eklärt alle wichtigen Begriffe der Stereochemie in lexikalischer Form, greift dabei widersprüchliche Terminologie auf und weist auf deren richtige Verwendung hin.In der zweiten Auflage wurden alle Abschnitte überarbeitet, einige wesentlich ergänzt und zwei neu aufgenommen sowie durchweg Beispiele und Graphiken hinzugefügt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Grundproblem jedes Wirtschaftens besteht darin, die Frage zu lösen, was, wie, in welcher Menge für wen produziert wird. In einer Marktwirtschaft wird diese Frage vor allem über die relativen Preise beantwortet. Sie steuern die rationalen Entscheidungen von Haushalten und Unternehmen über Güternachfrage und -angebot. Die Güter werden auf Märkten gehandelt, die mehr oder weniger gut funktionieren. Damit ist der Inhalt des Lehrbuchs skizziert. Es behandelt die Haushalts- und die Unternehmenstheorie, die optimale Allokation bei vollständiger Konkurrenz und verschiedene Formen des unvollständigen Wettbewerbs. Die vierte Auflage wurde gegenüber der dritten weiter verbessert. Wegen seines didaktisch geschickten Aufbaus ist das Lehrbuch vor allem für das Grundstudium geeignet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel 'Diskrete Strukturen' fester Bestandteil des Informatik-Grundstudiums geworden ist. Bei der Darstellung wird neben der mathematischen Exaktheit besonderer Wert darauf gelegt, auch das intuitive Verständnis zu fördern, um so das Verstehen und Einordnen des Stoffs zu erleichtern. Unterstützt wird dies durch zahlreiche Beispiele und Aufgaben, vorwiegend aus dem Bereich der Informatik. Themen: Kombinatorik, Graphentheorie, Algorithmische Grundprinzipien, Rekursionsgleichungen, Algebra.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Stochastische Integralrechnung und Zeitreihenmodellierung haben in den letzten Jahren große Bedeutung in der Wirtschaftswissenschaft erlangt. Zum einen spielen sie eine entscheidende Rolle bei der Modellierung von Finanzmärkten (Lösen stochastischer Differentialgleichungen), zum anderen basiert fast die gesamte statistische Inferenz instationärer Zeitreihen darauf (Kointegration). Der Leser erhält hier eine Einführung mit Hinblick auf beide Gebiete und lernt so die modernen Methoden der mathematischen Finanzierungstheorie sowie der Zeitreihenökonometrie kennen.Die Einführung ist elementar und rigoros zugleich. Der eigentliche Text enthält kaum mathematische Ableitungen, sondern stellt die Konzepte und Techniken eher anschaulich vor, illustriert anhand von Beispielen. Am Ende jeden Kapitels aber finden sich insgesamt über 100 Probleme und Übungsaufgaben samt kompletter Lösung, welche technische Details und Beweise enthalten und so ein hohes formales Niveau garantieren.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Buch bietet eine kompakte Einführung in die wichtigsten mathematischen Methoden, die zum Verständnis der Einführungsvorlesung aus Theoretischer Physik und verwandter theoretischer Fächer benötigt werden. Die große Zahl von Übungsaufgaben als auch die zahlreichen durchgerechneten Anwendungsbeispiele zu Themen aus der Physik sollen dem Leser einen tieferen Einblick und das Verständnis für die behandelten mathematischen Methoden und ihre Nützlichkeit bei der Formulierung physikalischer Problemstellungen und deren Lösung vermitteln als auch zur eigenständigen Behandlung verwandter Problemstellungen anregen. Das Buch ist aus Vorlesungen hervorgegangen, welche der Autor über viele Jahre für Studierende in den Anfangssemestern abgehalten hat.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Buch ist [.] eine hervorragende Einführung in Kombinatorik und Graphentheorie für Studienanfänger in Mathematik (und Informatik). [.] das Buch ist wegen des ungewöhnlichen und sehr attraktiven Stiles der Darstellung bemerkenswert. [.] Die Sprachform ist vorwiegend die eines Gespräches mit dem Leser, der dadurch in die Gedankengänge und Überlegungen des Autors hineingeführt und hineingezogen wird. Zum Beispiel werden bei einem Beweis zuerst die Grundidee oder die Zielsetzung genannt und erläutert, und auch im weiteren Verlauf wird immer wieder durch alternative Formulierungen das Verständnis vertieft oder ermöglicht. Dadurch werden im Leser adäquate Vorstellungen zu den formalen Schritten erzeugt, die dann wieder eigenständiges und kreatives Denken ermöglichen. Die Lektüre ist also anregend und sehr motivierend! Die Aufgaben sind dagegen ziemlich anspruchsvoll, werden aber ausführlich erläutert. [.]W. Dörfler (Klagenfurt), Internationale Mathematische Nachrichten, 2003, Vol 57, Issue 192, S. 46-47[Die Bereiche Kombinatorik und Graphentehorie] werden in all ihren Ausprägungen, reizvollen Einzelergebnissen und vielfältigen Anwendungen [.] ausführlich dargestellt. In gemächlicher Breite behandeln die Autoren ihre Themen, beweisen Kernsätze mehrfach auf unterschiedliche Weise und motivieren wichtige Theorien sehr anregend. Ihr selbstgestelltes Ziel, Freude und Genuss an mathematischem Denken zu vermitteln, dürften sie erreicht haben. Eine Vielzahl inhaltlich sehr reizvoller Aufgaben bereichern den Text; für die schwierigeren findet man in einem Schlusskapitel Lösungshilfen. In weiten Teilen reichen Schulkenntnisse für ein Verständnis aus. Der sehr gehaltvolle Band kann neben Studierenden daher auch bereits Schülern empfohlen werden.Wolfgang Grölz, ekz-Informationsdienst, ID 44/2002 - BA 12/2002Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Objektorientiertes Programmieren mit Java ¿ in der neuen Version 6: Systematisch, gründlich und Schritt für Schritt erläutert der Autor die klassischen Programmierkonzepte, wie z.B. bedingte Anweisungen, Schleifen und Rekursion für vielfältige Anwendungen. Objekte und (generische) Klassen, Datenstrukturen, wichtige Algorithmen zum Suchen und Sortieren, einfache numerische Anwendungen, u.v.a. ergänzen diese 3., korrigierte und erweiterte Auflage. Zusätzlich beschreibt der Autor Modularisierungskonzepte und Methoden für die Programmierung mittels Threads, Exception-Handling, die Ein- und Ausgabe sowie für grafische Benutzerschnittstellen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Der Autor entwickelt in seinem nun in dritter Auflage vorliegenden Werk einen zeitgemäßen Ansatz für den Informatikunterricht. In einem ersten, nicht fachspezifischen Teil werden zunächst wichtige lernpsychologische Grundlagen dargestellt. Anschließend werden allgemeine didaktische Prinzipien erläutert sowie konkrete praxisbezogene Hinweise zur Unterrichtsplanung und -durchführung vermittelt. Im zweiten Teil des Buches erfolgt die Begründung für ein Pflichtfach 'Informatik' vor dem Hintergrund einer differenzierten Informationsgesellschaft. Aus diesen Überlegungen wird ein Unterrichtsansatz abgeleitet, der über die Schulung reiner Programmierfertigkeiten hinaus grundlegende Prinzipien der Informationsverarbeitung in den Mittelpunkt des Konzeptes stellt. Im dritten Teil wird anschließend anhand konkret ausgearbeiteter Unterrichtspläne die Vermittlung dieser Lerninhalte beispielhaft vorgeführt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Deutsch.

Buch. Zustand: Neu. Neuware -IT-Projekte müssen durch Projektverträge auf allen Stufen gezielt gesteuert und kontrolliert werden, um erfolgreich zu sein. Der Autor geht auf die Verantwortlichkeit des Managements für die Projektführung ein und erläutert die aktuellen Normvorgaben für IT-Projekte aus ISO 20.000 und ITIL. Behandelt werden auch Outsourcing und ASP sowie IT-Security, gewissermaßen Dauerprojekte, ebenso die Sanierung von Projekten und die Anwenderrechte bei Anbieterinsolvenz.Ausführliche Checklisten für CIOs und Geschäftsleitungen sollen schließlich aus deren Blickwinkel die Projektkontrolle erleichtern. In dieser Themenkombination gibt es am Buchmarkt gegenwärtig keine gleichartige Darstellung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Buch führt in die grundlegenden Begriffe und Werkzeuge der Wahrscheinlichkeitsrechnung ein. Zentrale Begriffe und Methoden der angewandten mathematischen Statistik werden beschrieben, und weitergehende statistische Verfahren wie die Varianz- und Regressionsanalyse oder nichtparametrische Verfahren werden diskutiert. Moderne Techniken wie die Monte-Carlo-Methode und wichtige Anwendungsgebiete aus dem ingenieurwissenschaftlichen Bereich werden vorgestellt.Alle Themen werden weitestgehend unter Verwendung von MATLAB bearbeitet. Dies erlaubt die Diskussion praxisorientierter Beispiele und die grafische Visualisierung. Die verwendeten MATLAB-Programme werden ausführlich kommentiert und dem Leser als Begleitsoftware auf der Homepage des Autors zur Verfügung gestellt. Das Buch enthält über 100 Übungsaufgaben mit vollständigen Lösungen. Für die zweite Auflage wurden die Darstellung noch übersichtlicher gestaltet und die Übungsaufgaben ergänzt.Das Buch eignet sichfür Studierende aller ingenieurwissenschaftlichen und naturwissenschaftlichen Fachrichtungen an Universitäten und Fachhochschulen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die umfassend überarbeitete und ergänzte siebte Auflage der Quantenmechanik (QM I) enthält zahlreiche neu gestaltete Abbildungen, die das Verständnis des Textes vertiefen. Neben den Grundlagen und vielen Anwendungen werden auch neue Aspekte der Quantentheorie und deren experimentelle Überprüfung dargestellt. Durch explizite Ausführung aller Zwischenrechnungen wird die Quantenmechanik dem Studierenden transparent gemacht. Im Anhang finden sich mathematische Hilfsmittel zur Lösung linearer Differentialgleichungen sowie ergänzende Formeln. Kapitel zur supersymmetrischen Quantenmechanik und zur Theorie des Messprozesses in der Quantenmechanik finden Interesse bei allen, die weiter in die Thematik eindringen möchten. Mehr als hundert Aufgaben dienen zur Vertiefung des gebotenen Stoffes. Dieses Buch dient auch als ideale Vorbereitung für die Quantenmechanik für Fortgeschrittene (QM II) desselben Autors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Archäometrie befasst sich mit der Entwicklung und Anwendung naturwissenschaftlicher Methoden und Konzepte zur Lösung archäologischer Fragestellungen. Damit ist sie ein weites Forschungsfeld an der Schnittstelle zwischen Natur- und Geisteswissenschaften. Archäologen, Physiker, Chemiker, Bio- und Geowissenschaftler geben einen Überblick über den heutigen Stand der vielfältigen archäometrischen Ansätze, wobei die einzelnen Beiträge sowohl die Grundlagen behandeln als auch anhand von Fallbeispielen die Anwendungsmöglichkeiten aufzeigen.Die behandelten Themen umfassen Materialanalytik, Datierung, geophysikalische Prospektion, Archäometallurgie, Molekulargenetik, geoarchäologische Umweltrekonstruktion und Kulturentwicklung durch Klimawandel.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Bislang konkurrenzlos auf dem deutschsprachigen Fachbuchmarkt: Das anschauliche TMS-Buch gibt Einsteigern und Fortgeschrittenen den aktuellen und umfassenden Überblick über alle wichtigen Themen. Die transkranielle Magnetstimulation erlaubt die schmerzlose Stimulation des menschlichen Gehirns. Sie ist eine neue, hoch innovative und nicht-invasive Methode mit breit gefächerten Einsatzmöglichkeiten, u.a. in der Neurologie und Psychiatrie. Wer sich für den 'state of the art' interessiert und TMS verstehen will, ist hier genau richtig - von der Routinediagnostik über Befunde und den Einsatz in der Hirnforschung bis hin zu Therapie und Anwendung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 680 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Capital income taxation is a complicated issue because of the g- eral equilibrium implications these taxes have with regard to the int- sectoral and intertemporal allocation of economic resources. Together with Michael Stimmelmayr (CES, Munich) and Christian Keuschnigg (IFF, St. Gallen), Doina Radulescu from the Ifo Institute for E- nomic Research has designed a complex and particularly elegant - tertemporal general equilibrium model of the economy, called IfoMod. IfoMod makes it possible to calculate the welfare gains and losses from fundamental tax reforms in present value terms. One of the tax reforms Doina Radulescu analyses is the move - wards a dual income tax, as is used in some Scandinavian countries. She analyses this tax using German data, because it was recently p- posed, among others, by the German Council of Economic Advisors. In the meantime, IfoMod has become a standard tool for the Ifo Institute. According to the Council of Economic Advisors, it is not only sta- of-the-art, but one of the world's most developed and advanced CGE models for the purpose of analysing intertemporal allocation problems in growing economies. Hans-Werner Sinn Preface This book was written during my time acting as a PhD candidate in the Public Finance Department at the Ifo Institute for Economic Research in Munich.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference on Scalable Uncertainty Management, SUM 2007, held in Washington, DC, USA, in October 2007. The 20 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers address artificial intelligence researchers, database researchers and practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled ¿Design for Dependable Systems¿ and re ects the intent to have a b- ance between experience reports and research papers related to System Design Languages. The language that was at the heart of the rst few SDL Forums was the ITU-T Speci cation and Description Language de ned in Z.100, and the app- cation domain was almost entirely xed-line telephone communication. Mobile telephony was for the super-rich and electronics in cars was just for radios. Ever since its inception, 30 years ago, the Z.100 language has been used for model-driven development in the telecommunication industry. Nowadays, model-driven engineering is a must for all industries and has been generalized byOMG to allapplicationdomainsascoveredbya paper onanautomotivecase study in this volume. What has been happening over the past few years is that the infrastructure has been put in place providing good support for the mod- driven paradigm, so that the economic bene t of the approach makes it more of a necessity than a choice for designing dependable systems. The experience report from Motorola in this volume underlines this trend. 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Software architecture has emerged as an important subdiscipline of software engineering encompassing a broad set of languages, styles, models, tools, and processes. The role of software architecture in the engineering of software-intensive applications has become more and more important and widespread. Indeed, component-based and service-oriented architectures have become key to the design, development, and evolution of most software systems. The European Conference on Software Architecture (ECSA) is the premier European conference dedicated to the field of software architecture, covering all architectural features of software and service engineering. It is the follow-up of a successful series of European workshops on software architecture held in the United Kingdom in 2004 (Springer LNCS 3047), Italy in 2005 (Springer LNCS 3527), and France in 2006 (Springer LNCS 4344). Due to its success, it has evolved into a fu- fledged series of European conferences whose first edition was ECSA 2007, held in Madrid, Spain September 24¿26, 2007. ECSA 2007 provided an international forum for researchers and practitioners from academia and industry to present innovative research and to discuss a wide range of topics in the area of software architecture. It focused on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, and evolving software systems, in particular founded on component-based and service-oriented architectures. Covered topics included architecture modeling, architectural aspects, architecture analysis, transformation and synthesis, quality attributes, model-driven engineering, and architecture-based support for developing, adapting, reconfiguring, and evolving component-based and service-oriented systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 10th Information Security Conference (ISC 2007) was held in Valparä so, Chile, October 9¿12, 2007. ISC is an annual international conference covering research in theory and applications of information security, aiming to attract high quality papers in all of its technical aspects. ISC was rst initiated as a workshop (ISW) in Japan in 1997, ISW 1999 was held in Malaysia and ISW 2000 in Australia. The name was changed to the current one when the conf- ence was held in Spain in 2001 (ISC 2001). The latest conferences were held in Brazil (ISC 2002), the UK (ISC 2003), the USA (ISC 2004), Singapore (ISC 2005),and Greece (ISC 2006). This year the event wassponsored by the Univ- sidad T¿ ecnica Federico Santa Mar¿ a (Valparä so, Chile), the Support Center for AdvancedTelecommunicationsTechnologyResearch,Foundation,SCAT(Tok yo, Japan), Microsoft Corporation, and Yahoo! Research. Re ectingtheconference¿sbroadscope,thisyear¿smainProgramCommitte e consisted of a relatively large number (49) of experts. Additionally, given the timely topic of cryptanalysis and design of hash functions and the NIST hash competition, the conference also featured a special Hash Subcommittee, chaired by Arjen Lenstra (EPFL and Bell Labs), as well as a panel on hashing, chaired by Bill Burr (NIST). The conference received 116 submissions, 29 of which were selected by the committee members for presentation at the conference, based on quality, originality and relevance. Each paper was anonymously reviewed by at least three committee members.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Business Process Management, BPM 2007, held in Brisbane, Australia, in September 2007. The papers are organized in topical sections on business process maturity and performance, business process modeling, case studies, compliance and change, process configuration and execution, formal foundations of BPM, business process mining, and semantic issues in BPM.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume constitutes the refereed post-proceedings of the 8th International Workshop on Information Hiding held in Alexandria, Virginia, in July 2006. Twenty-five carefully reviewed full papers are organized into topical sections covering watermarking, information hiding and networking, data hiding in unusual content, fundamentals, software protection, steganalysis, steganography, and subliminal channels.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Since 1979, when it was rst established by the Technical Committee on Re- ability, Safety and Security of the European Workshop on Industrial Computer Systems (EWICS TC7), the SAFECOMP Conference series has regularly and continuously contributed to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied to safety-relevant industrial domains. Inthisexpandingtechnical eldSAFECOMPo ersaplatformforknowledge andtechnologytransferbetweenacademia,industry,researchandlicensingins- tutions, providing ample opportunities for exchanging insights, experiences and trends in the areas of safety, reliability and security regarding critical computer applications. In accordance with the growing spread of critical infrastructures involving both safety and security threats, this year¿s SAFECOMP program included a considerable number of contributions addressing technical problems and engineering solutions across the border between safety-related and securi- related concerns. Thereactiontoourcallforpaperswasparticularlygratifyingandimpressive, including 136 full papers submitted by authors representing 29 countries from Europe,Asia, North and South America aswell asAustralia. The selection of 33 fullpapersand16shortpapersforpresentationandpublicationwasachalle nging task requiring a huge amount of reviewing and organizational e ort. In view of the particularly high number of articles submitted, obvious practical constraints led ¿ to our regret ¿ to the rejection of a considerable amount of high-quality work. To all authors, invited speakers, members of the International Program Committee and external reviewers go our heartfelt thanks! The local organization of SAFECOMP 2007, hosted in Nuremberg, is also gratefullyacknowledged.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.

Buch. Zustand: Neu. Neuware -The authors have here put together the first reference on all aspects of testing and validating service-oriented architectures. With contributions by leading academic and industrial research groups it offers detailed guidelines for the actual validation process. Readers will find a comprehensive survey of state-of-the-art approaches as well as techniques and tools to improve the quality of service-oriented applications. It also includes references and scenarios for future research and development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 29th Symposium of the German Association for Pattern Recognition, DAGM 2007. It covers image filtering, restoration and segmentation, shape analysis and representation, categorization and detection, computer vision and image retrieval, machine learning and statistical data analysis, biomedical data analysis, motion analysis and tracking, stereo and structure from motion, as well as 3D view registration and surface modeling. 576 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Ubiquitous Computing conference series provides the premier forum in which to present original research results in all areas relating to the design, implementation, app- cation and evaluation of ubiquitous computing technologies. It is a well-established platform to introduce and discuss research that enables new capabilities, appropriate security and privacy, improved user experiences and simplified and powerful devel- ment and deployment practices. These proceedings contain the papers presented at the Ninth International Conf- ence on Ubiquitous Computing (UbiComp 2007) in Innsbruck, Austria, in September 2007. Our call for papers resulted in 150 submissions, each of which was assigned to a primary and a secondary member of our Program Committee. Every primary and secondary member was responsible for assigning one or more additional qualified reviewers with specific expertise in the field. After double-blind reviews and an online discussion, we had a two-day face-to-face meeting with 38 of the 40 Program C- mittee members attending the PC meeting held just before the Pervasive 2007 conf- ence in Toronto, Canada, in May 2007. We are grateful to Khai Truong , Jeremy Knight and Alex Varshavsky of the University of Toronto for providing facilities and support for this meeting. At the PC meeting, about 80 of the submissions were in- vidually and extensively discussed in one of the three subgroups sensors, experiences and systems as well as in the calibration and decision panels. The PC finally selected 29 papers for publication in these proceedings. 548 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, held in Melbourne, Australia in September 2007. The 27 revised full papers were carefully reviewed from 102 submissions, and they are organized in topical sections on cultural studies, semantics, similarity, mapping and representation, perception and cognition, reasoning and algorithms, navigation and landmarks, as well as uncertainty and imperfection.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The advancements of computational and informational techniques have enabled in silico testing of many lab-based experiments in life sciences before performing them in in vitro or in vivo. Though computational techniques are not capable of mimicking all wet-lab experiments, bioinformatics will inevitably play a major role in future medical practice. For example, in the pursuit of new drugs it can reduce the costs and complexity involved in expensive wet-lab experiments. It is expected that by 2010, sequencing of individual genomes will be affordable generating an unprecedented increase of life sciences data, in the form of sequences, expressions, networks, images, literature. Pattern recognition techniques lie at the heart of discovery of new insights into biological knowledge, as the presence of particular patterns or structure is often an indication of its function. The aim of the workshop series Pattern Recognition in Bioinformatics (PRIB) is to bring pattern recognition scientists and life scientists together to promote pattern recognition applications to solve life sciences problems. This volume presents the proceedings of the 2nd IAPR Workshop PRIB 2007 held in Singapore, October 1¿2, 2007. It includes 38 technical contributions that were selected by the International Program Committee from 125 submissions. Each of these rigorously reviewed papers was presented orally at the workshop. The proceedings consists of six parts. Part 1: Sequence Analysis; Part 2: Prediction of Protein Structure, Interaction, and Localization; Part 3: Gene Expression Analysis; Part 4: Pathway Analysis; Part 5: Medical Informatics; and Part 6: Bioimaging.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Metaheuristics, HM 2007, held in Dortmund, Germany. The 14 revised full papers discuss specific aspects of hybridization of metaheuristics, hybrid metaheuristics design, development and testing. With increasing attention to methodological aspects, from both the empirical and theoretical sides, the papers show a representative sample of research in the field of hybrid metaheuristics. 216 pp. Englisch.