springer apr 2005 (143 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Wissen durch Anwendung verfestigen! Hierzu muss auch im Zeitalter der Computer-Unterstützung zunächst einmal selbst gerechnet werden. Dieses Arbeitsbuch bietet praxisbezogene Aufgaben sowie eine Fallstudie, die controllingorientiert die Informationsversorgung von Planung und Kontrolle behandeln. Informationen zur thematischen Einordnung und zum Schwierigkeitsgrad jeder Aufgabe erleichtern es, individuelle Übungsinhalte zusammenzustellen und so die Erarbeitung der Grundlagen der Kosten- und Erlösrechnung zu optimieren.'.ist das vorliegende Arbeitsbuch sehr gut geeignet für Studenten der Betriebswirtschaftslehre und der Ingenieurwissenschaften im Grund- und Hauptstudium an Universität und Fachhochschulen, aber auch für Dozenten, die zur Visualisierung und Verdeutlichung ihrer Ausführungen auf Beispiele und konkrete Aufgaben zurückgreifen wollen.'krp - Zeitschrift für ControllingSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -L'integrazione del sistema di 'gestione per la Qualità', con la valutazione e il miglioramento delle specifiche competenze tecnico-professionali e col monitoraggio della Qualità dei percorsi diagnostici e terapeutici non è stato e non è impegno di poco conto: non a caso essi sono annoverati tra i punti di forza e gli obiettivi strategici anche del Piano Sanitario Nazionale 2003-2005 ('Garantire e monitorare la qualità delle cure e delle tecnologie sanitarie'). La disponibilità di materiali di significato formativo in tal senso è ancora assai scarsa nel nostro mondo specialistico. E cio', nonostante sia sempre più pressante la richiesta di strumenti formativi che consentano di trasferire al medico specialista la capacità di utilizzare al meglio i metodi e gli strumenti per l'identificazione, la gestione e la misura dei processi diagnostici, terapeutici e gestionali in Pneumologia, avendo come obiettivo il loro miglioramento continuo nel contesto dell'Azienda sanitaria. L'obiettivo didattico-formativo del presente volume è proprio orientato in tal senso e si propone di fungere da strumento utile per intraprendere in maniera semplice l'approccio e la gestione per processi in Pneumologia, rendendo cosi' più facile ed efficace la comunicazione con le Direzioni strategiche aziendali. Gli argomenti trattati sono di estrema attualità in tema di applicazione dei metodi e degli strumenti illustrati nei programmi di miglioramento per la Qualità. Cio' nel tentativo di incrementare le competenze specifiche dello specialista pneumologo, cosi' da renderlo interlocutore efficace e indipendente nei confronti delle Direzioni strategiche di riferimento. Con grande sensibilità la SIMeR (Società Italiana di Medicina Respiratoria) ha voluto patrocinare la presente edizione, a oggi l'unica in ambito pneumologico, i cui contenuti hanno preso origine dalle proposte e dal lavoro dei responsabili di uno dei suoi Gruppi di Studio di più recente istituzione,quello del 'Miglioramento Continuo della Qualità in Pneumologia'. 80 pp. Italienisch.

Taschenbuch. Zustand: Neu. Neuware -Das Risikomanagement beschäftigt sich mit der Identifikation, der Analyse und der Steuerung von Unternehmensrisiken. Dabei kann es sich sowohl um dem Unternehmen drohende Gefahren als auch um Chancen handeln. Das Buch beschreibt einen zweckmäßigen und quantitativ orientierten Prozess, in dem das Risikomanagement als Teil der Unternehmensplanung verstanden wird. Mit Hilfe von elementaren statistischen Ansätzen, ihrer Veranschaulichung über Entscheidungsbäume und durch entweder analytische oder simulative Auswertungen von Entscheidungssituationen werden die Auswirkungen von Risiken auf das Unternehmensergebnis plausibel und nachvollziehbar dargestellt. Über 40 gerechnete Übungsaufgaben, Beispiele und Fallstudien zeigen, wie die praktische Umsetzung der Konzepte erfolgen kann.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Buch kann als Standardwerk bezeichnet werden. Die hervorragende Aufnahme, die es seit fast 25 Jahren bei den Studenten erfahren hat, zeigt, dass es den Autoren gelungen ist, den Leser umfassend in den derzeitigen Stand der makroökonomischen Theorie einzuführen. Auch in der 9. Auflage wird das bewährte Konzept beibehalten und ein Großteil der makroökonomischen Methodik inklusive Modelle offener Volkswirtschaften abgehandelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Space exploration has developed from early, unmanned space probes through the pioneering years of the ¿Manned¿ Mercury, Gemini, and Apollo missions, to missions that now include women in the crew as a matter of course. Dave Shayler tells the story of the first woman balloonist in 1784 to their breakthrough as astronauts and cosmonauts in a range of professional roles. He covers the contribution women have made to space exploration and draws on interviews with Shuttle and Mir crew members who were women. These interviews detail the achievements of the first female Shuttle commander and the first female resident crew member of the International Space Station. These and many other events are presented in a detailed and highly readable account that recalls the difficult path to space exploration by women.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Buch. Zustand: Neu. Neuware -Sie möchten Ihre Internet-Präsenz ohne HTML- und Programmierkenntnisse verwalten Alle Mitarbeiter sollen sich inhaltlich an Ihrem Internet-Auftritt beteiligen Sie planen die Einführung eines Intranet-Portals in Ihrem Unternehmen Ihre Kunden und Partner sollen eigene Extranet-Bereiche nutzen können Möglichst kostenlos Anpassbar Für Sie ist dieses Buch geschrieben. Es behandelt alle Aspekte des weit verbreiteten Open Source Content Management Systems 'PostNuke'. Anhand praktischer Beispiele werden die Installation, Konfiguration und die Anwendung von Internet-Auftritten, Intranet-Portalen und Extranets mit PostNuke erläutert. Auch die Erweiterung und Anpassung des Content Management Systems wird ausführlich behandelt ¿ auf externe Module gehen die Autoren genau so ein wie auf die PostNuke API, welche die Programmierung eigener Blöcke und Module in PHP ermöglicht.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dokumentation und Information Retrieval, also das gezielte Wiederauffinden von Informationen zu thematisch-inhaltlichen Fragestellungen sind wichtiger als je zuvor. Die hier vorliegende theoretisch fundierte und praxisorientierte Darstellung der Literatur-, Daten- und Faktendokumentation enthält viele instruktive Beispiele und praktische Übungen sowie einen umfassenden Beispielthesaurus und behandelt ausführlich Ordnungs- und Retrievalsysteme. Jedes Thema wird mit zahlreichen Prüfungsfragen abgeschlossen. Die detaillierten Antworten zu den insgesamt 195 Fragen umfassen alleine etwa 60 Seiten.Dieses Lehrbuch ist in seiner systematischen Darstellung und didaktischen Aufbereitung einzigartig. Durch sein ausführliches Sachwortregister eignet es sich auch als Nachschlagewerk. Die fünfte Auflage ist aktualisiert und erweitert worden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Als erstes deutschsprachiges Werk zum Thema Wissensbilanzierung ist dieses Buch unentbehrlich für Entscheider in Unternehmen und öffentlichen Institutionen, die sich mit der Steuerung und Kommunikation der wichtigsten Ressource der Zukunft, dem Wissen, auseinandersetzen wollen. Das Buch gibt einen umfassenden Überblick über das neue Thema und beinhaltet neben einer allgemeinen Einführung vor allem praktische Ergebnisse und Fallstudien von Anwendern. Es wurde geschrieben von führenden Experten der Wissensbilanzierung, verantwortlich für deren Entwicklung und Umsetzung in verschiedenen Organisationen. Interessierten Wissenschaftlern und Studierenden vermittelt das Buch Kenntnisse über die derzeit wichtigsten Methoden und zentralen Erfahrungen mit Wissensbilanzen in Europa.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Supply Chain Management (SCM) optimiert die Geschäftsprozesse vom Lieferanten bis zum Kunden. Ganzheitliche Modelle kommen dabei nicht ohne E-Business-Konzepte und Web-Technologien aus, sie unterstützen die Koordination aller Prozesse und Transaktionen.Das Buch bietet einen umfassenden und systematischen Überblick über voll integrierte SCM-Konzepte. Dafür werden auch die zur Effizienzsteigerung notwendigen Informations- und Kommunikations-Technologien vorgestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware - Ethics are central to the caring professions. The very idea of a profession stakes a claim on the ethical basis of knowledge and skills. In this book Richard Hugman examines new approaches in ethics and applies these to the practices and organisation of the caring professions. Hugman addresses debates about the relationship between the individual person and social structures, about pluralism and the possibility of universal values, about the challenges created by industrial society and technology, and about the changing social mandate for the caring professions. These debates are considered from the perspectives of liberalism, feminism, ecology, postmodernism and constructivism. Ideas are explained and the implications for professional ethics are explored using illustrative examples from practice to show their relevance for the caring professions.This book will be essential reading for members of caring professions (especially allied health, medicine, nursing, psychology, social work and teaching) and students entering these professions.

Buch. Zustand: Neu. Neuware -Eingebettete Systeme übernehmen komplexe Steuerungs- und Regelungsaufgaben für technische Systeme. Ihre Funktionalität wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsächlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Überblick über das Thema. Klassifikationen und Themen wie Nebenläufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto erläutert. Ausgewählte Softwareentwurfstechniken wie Statecharts, hybride Systeme, UML und Hardware-Software Co-Design werden ausführlich vorgestellt. Eingebettete Systeme finden oft in sicherheitskritischen Bereichen Einsatz. Die Sicherung der Softwarequalität ist daher von zentraler Bedeutung und bildet einen weiteren wichtigen Teil des Buches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware - Cosa si prova a non poter avere un figlio Quanto è difficile comunicare alla coppia una diagnosi di sterilità Come affrontare il 70% dei fallimenti delle tecniche di PMA Come una legge puo' incidere sul futuro di un embrione Il testo, nato dalla fusione multidisciplinare medica, psicologica e sociologica, vuole riflettere su queste domande e accompagnare il lettore in una nuova forma mentis sulle criticità nella fecondazione assistita. La trama scientifica si accompagna a un linguaggio diretto dove hanno un posto rilevante le emozioni, cosi' centrali in campi quali la ginecologia, la riproduzione e la psicologia dell'infertilità, che vanno al cuore del bisogno psico-sessuale più forte e arcaico: quello riproduttivo. Al centro del volume è la relazione medico-paziente che, nel campo dell'infertilità, è caratterizzata dall'attivazione di forti echi emotivi da parte di entrambi. Il volume, a tale riguardo, propone il protocollo SAHARAI che comprende due metodi inediti (il questionario e il nurse-ring) capaci di intervenire, rispettivamente, nella fase diagnostica e in quella terapeutica della fecondazione. I metodi e le riflessioni proposti sono volti alla riduzione dei disagi psicologici delle coppie e al riequilibrio del rapporto medico-paziente. Dal testo emerge forte una nuova idea di formazione per gli operatori dei centri di fecondazione assistita e un percorso di qualificazione per le nuove figure professionali (gli psicologi addetti alla PMA) in accordo con le nuove direttive della legge.

Taschenbuch. Zustand: Neu. Neuware -Introduction Closing supply chains refers to taking care of items once they are no longer desired or can no longer be used by their user. Smart management of closed-loop supply chains means profitable recovery of value from these items (products, functional components, materials or packaging). The company closing the supply chain may be the original equipment manuf- turer (OEM), a distribution partner or a third party not involved in the f- ward distribution. In recent years, the management of closed-loop supply chains has gained importance because of increased legislation on producer respon- bility, requiring companies to take back products from customers and to organize for proper recovery and disposal. This legislation is partially due to increased awareness of environmental issues. However, smart com- nies have also understood that returned products often contain lots of value to be recovered. They manage closed-loop supply chains simply because it is a profitable business proposition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Zustand: Neu. Neuware -The concepts and theories of knowledge management and networks are meanwhile well documented. Yet there are few, if any, guidelines on how to implement knowledge management within an organization, especially focusing on how to manage knowledge in a network environment. This shows that managing knowledge in networks is a rather new and unexplored field. This book visualizes paths that allow one to make connections between theories, concepts and concrete actions. Knowledge networks are organizational forms within companies that connect key experts to share knowledge and therefore fulfil strategic goals. Managing knowledge in network environments is a fast-moving field attempting to integrate various disciplines such as human resources, organizational development, change management, strategy, information technology, sociology and network theory. This book shows how to integrate these different roots into a holistic view on managing knowledge in networks. It develops a methodology which will support the reader to move concrete steps forward towards building and maintaining knowledge networks in his organization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface. 380 pp. Englisch.

Buch. Zustand: Neu. Neuware -This volume is a selected collection of articles on different approaches to the investigation on surface effects on nanosized magnetic materials,with special emphasis to magnetic nanoparticles. The book is aimed to provide an overview of progress in the understanding of surface properties and surface driven effects in magnetic nanoparticles through recent results of different modelling, simulation and experimental investigations. Its intended audience is Ph.D. students and researchers in materials science. Magnetic nanoparticles have been the subject of continuous and growing interest, from both fundamental and technological points of view, in the last 50 years, since the pionering work of Louis Niel. Nanoparticles are unique physical objects with remarkable magnetic properties which differ greatly from their parent massive materials. They are due to finite size effects of the magnetic core, related to the reduced number of spins cooperatively linked within the particle, and to surface and interface effects, related to the lack of coordination for the surface ions, inducing broken exchange bonds which can result in frustration and spin disorder.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers to engineer distributed appli- tions more easily, providing abstractions and primitives to handle distribution and coordination. Middlewareisconstantlyfacingnewchallenges.Today¿sadvancesincomp- ing, including development of pervasive applications, exacerbates the diversity problem, introducing variations not only in terms of performance, but also in terms of environments and device characteristics. Software engineers are the- fore challenged both in the area of the development of new and scalable m- dleware systems, where open, heterogeneous, component-based platforms should provide richer functionality and services, and in the area of application devel- ment, where tools to simplify the use of middleware solutions are necessary. Software Engineering and Middleware is the premier workshop for the - search and practice community of software engineering working in both areas to presentanddiscussnewideasinthis eld.SEM2004wasthefourthinternational workshop on software engineering and middleware of the EDO/SEM workshop series. Previous workshops of this series were successfully held in 2002, 2000 and 1999. Most of the proceedings have been published by Springer in the Lecture Notes in Computer Science series. 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and c- tomization. CBSE 2005, ¿Software Components at Work,¿ was the eighth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fortunate to have a dedicated Program Committee comprised of 30 internationally recognized researchers and industrial practitioners. We received 91 submissions andeach paper wasreviewedby at least three ProgramComm- tee members (four for papers with an author on the Program Committee). The entirereviewingprocesswassupportedbyCyberChairPro,theWeb-basedpaper submissionandreviewsystemdevelopedandsupportedbyRichardvandeStadt of Borbala Online Conference Services. After a two-day virtual Program C- mittee meeting, 21 submissions were accepted as long papers and 2 submissions were accepted as short papers. 372 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - rst-class data with coordination primitives.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The inaugural Information Security Practice and Experience Conference (ISPEC) was held on April 11¿14, 2005, in Singapore. As applications of information security technologies become pervasive, - sues pertaining to their deployment and operation are becoming increasingly important. ISPEC is intended to be an annual conference that brings together researchers and practitioners to provide a con uence of new information se- rity technologies, their applications and their integration with IT systems in various vertical sectors. The Program Committee consisted of leading experts in the areas of information security, information systems, and domain experts in applications of IT in vertical business segments. The topics of the conference covered security applications and case studies, access control, network security, data security, secure architectures, and cryp- graphic techniques. Emphasis was placed on the application of security research to meet practical user requirements, both in the paper selection process and in the invited speeches. Acceptance into the conference proceedings was very competitive. The Call for Papers attracted more than 120 submissions, out of which the Program Committee selected only 35 papers for inclusion in the proceedings. Thisconferencewasmadepossibleonlythroughthecontributionsfrommany individuals and organizations. We would like to thank all the authors who s- mitted papers. We also gratefully acknowledge the members of the Program Committee and the external reviewers, for the time and e ort they put into reviewing the submissions. Special thanks are due to Ying Qiu for managing the website for paper s- mission,reviewandnoti cation.PatriciaLohwaskindenoughtoarrangeforthe conference venue, and took care of the administration in runningthe conference. 440 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Welcome to the 3rd International Conference on Wired/Wireless Internet C- munications (WWIC). After a successful start in Las Vegas and a selective c- ference in Germany, this year¿s WWIC demonstrated the event¿s maturity. The conference was supported by several sponsors, both international and local, and became the o cial venue for COST Action 290. That said, WWIC has now been established as a top-quality conference to promote research on the convergence of wired and wireless networks. This year we received 117 submissions, which allowed us to organize an - citing program with excellent research results, but required more e ort from the 54 members of the international Program Committee and the 51 additional reviewers. For each of the 117 submitted papers we asked three independent - viewers to provide their evaluation. Based on an online ballot phase and a TPC meeting organized in Colmar (France), we selected 34 high-quality papers for presentation at the conference. Thus, the acceptance rate for this year was 29%.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). This book contains the contributed papers, and extended abstracts of two invited talks, given by Thierry Coquand and Susumu Hayashi. A short abstract of the joint RDP invited lecture by Amy Felty is also included. The 27 contributed papers were selected from 61 submissions of generally very high quality, and the Program Committee had a hard time making the selection. The editor would like to thank everyone who submitted a paper and to express his regret that many interesting works could not be included. The editor also wishes to thank the invited speakers, the members of the Program and Organizing Committees, the Publicity Chair, and the referees for their joint e ort towards the success of the conference. The support from the Nara Convention Bureau is gratefully acknowledged. The typed lambda calculus continues to be an important tool in logic and theoretical computer science. Since 1993, the research progress in this area has been documented by the TLCA proceedings. The present volume contributes to this tradition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at the 10th Anniversary Workshop on Job Scheduling Strategies for Parallel Processing. The workshop was held in New York City, on June 13, 2004, at Columbia University, in conjunction with the SIGMETRICS 2004 conference. Although it is a workshop, the papers were conference-reviewed, with the full versions being read and evaluated by at least five and usually seven members of the Program Committee. We refer to it as a workshop because of the very fast turnaround time, the intimate nature of the actual presentations, and the ability of the authors to revise their papers after getting feedback from workshop attendees. On the other hand, it was actually a conference in that the papers were accepted solely on their merits as decided upon by the Program Committee. We would like to thank the Program Committee members, Su-Hui Chiang, Walfredo Cirne, Allen Downey, Eitan Frachtenberg, Wolfgang Gentzsch, Allan Gottlieb, Moe Jette, Richard Lagerstrom, Virginia Lo, Reagan Moore, Bill Nitzberg, Mark Squillante, and John Towns, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and final revisions for this volume. Finally, we would like to thank the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL), The Hebrew University, and Columbia University for the use of their facilities in the preparation of the workshop and these proceedings. 332 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In 2005, the twelfth edition of the conference Discrete Geometry for Computer Imagery was held in Poitiers, France, April 13¿15, 2005. The conference was organized by the laboratory SIC (¿Signal, Image, Communications¿) of the University of Poitiers, Centre National de la Recherche Scienti que and the Technical Committee 18 of the International Association for Pattern Recog- tion. DGCI 2005 was sponsored by the Faculty of Science, the University of Poitiers, the Conseil G¿ en¿ eral de la Vienne and the Region of Poitou-Charentes. The aim of the conference was to present recent advances in both theoretical aspects and applications in discrete geometry. This year¿s conference was organized in combination with the 5th Workshop B on Graph- ased Representations in Pattern Recognition,April 11¿13, 2005 also organizedinPoitiers.TheworkshopGbRaimsatusinggraph-basedstructuresin image analysis. There is a strong connection between the community interested in the GbR workshop and the discrete geometry community. For this reason, for the rsttime,boththeworkshopandtheDGCIconferencewereorganizedin the same place, with a common session of four papers, two submitted to GbR and two to DGCI. The DGCI conference attracted again for this edition many excellent papers, with 53 submitted papers from 21 countries. After careful reviewing by two and sometimesthreereviewers,36paperswereaccepted,fromwhich22wereselected for oral presentation and 14 as posters. These contributions were regrouped into topics: applications, discrete topology, discrete hierarchical geometry, discrete tomography, object properties, recognition, and reconstruction, uncertain ge- etry, and visualization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the fth in the series of these high-quality scienti c conf- ences. In addition to the overall signi cance of such a pan-European event, this year¿s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di erent European countries in Western and Eastern Europe ¿ who were active in research and education related to dependability created a ¿ joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year¿s conference was the rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti c senses led to a seamless integration of these research communities previously separated ar- cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe eldofdependability. 496 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear¿sjointconferenceconcentrateon three currently important elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems. 324 pp. Englisch.

Buch. Zustand: Neu. Neuware -In this new text, designed for sophomores studying mathematics and computer science, the authors cover the basics of difference equations and some of their applications in computing and in population biology. Each chapter leads to techniques that can be applied by hand to small examples or programmed for larger problems. Along the way, the reader will use linear algebra and graph theory, develop formal power series, solve combinatorial problems, visit Perron¿Frobenius theory, discuss pseudorandom number generation and integer factorization, and apply the Fast Fourier Transform to multiply polynomials quickly.The book contains many worked examples and over 250 exercises. While these exercises are accessible to students and have been class-tested, they also suggest further problems and possible research topics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Buch. Zustand: Neu. Neuware -Certification and Security in Inter-Organizational E-Services presents the proceedings of CSES 2004 - the 2nd International Workshop on Certification and Security in Inter-Organizational E-Services held within IFIP WCC in August 2004 in Toulouse, France. Certification and security share a common technological basis in the reliable and efficient monitoring of executed and running processes; they likewise depend on the same fundamental organizational and economic principles. As the range of services managed and accessed through communication networks grows throughout society, and given the legal value that is often attached to data treated or exchanged, it is critical to be able to certify the network transactions and ensure that the integrity of the involved computer-based systems is maintained.This collection of papers documents several important developments, and offers real-life application experiences, research results and methodological proposals of direct interest to systems experts and users in governmental, industrial and academic communities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Buch. Zustand: Neu. Neuware -The subject of this book is the solution of polynomial equations, that is, s- tems of (generally) non-linear algebraic equations. This study is at the heart of several areas of mathematics and its applications. It has provided the - tivation for advances in di erent branches of mathematics such as algebra, geometry, topology, and numerical analysis. In recent years, an explosive - velopment of algorithms and software has made it possible to solve many problems which had been intractable up to then and greatly expanded the areas of applications to include robotics, machine vision, signal processing, structural molecular biology, computer-aided design and geometric modelling, as well as certain areas of statistics, optimization and game theory, and b- logical networks. At the same time, symbolic computation has proved to be an invaluable tool for experimentation and conjecture in pure mathematics. As a consequence, the interest in e ective algebraic geometry and computer algebrahasextendedwellbeyonditsoriginalconstituencyofpureandapplied mathematicians and computer scientists, to encompass many other scientists and engineers. While the core of the subject remains algebraic geometry, it also calls upon many other aspects of mathematics and theoretical computer science, ranging from numerical methods, di erential equations and number theory to discrete geometry, combinatorics and complexity theory. Thegoalofthisbookistoprovideageneralintroduction tomodernma- ematical aspects in computing with multivariate polynomials and in solving algebraic systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.