springer berlin heidelberg springer berlin heidelberg sep 2005 (77 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Dieses Lehrbuch bietet eine fundierte Einführung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der Entwicklung von Software in den Mittelpunkt der Darstellung. Der hier vorliegende Band vermittelt die wesentlichen Grundbegriffe und theoretischen Grundlagen der Informatik, wie z.B. Algebren, Relationen, elementare Logik, funktionales Programmieren, abstrakte Datentypen. Die vierte Auflage des bewährten Lehrbuches ist grundlegend überarbeitet und aktualisiert worden. Der Text richtet sich an Studierende im Grundstudium an Universitäten und Fachhochschulen und basiert auf der langjährigen Erfahrung der Autoren in der Ausbildung angehender Informatiker.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Das Buch ist eine praktische Einführung in das Hochleistungsrechnen auf Linux-Clustern. In vier Teilen (Grundlagen, Technik, Programmierung, Praxis) wird ausführlich erklärt, wie man einen Haufen (Cluster) preiswerter Standard-PCs in einen Parallelcomputer verwandelt und diesen dann zur Lösung rechenintensiver Probleme einsetzt. Insbesondere enthält das Buch eine fundierte Einführung in MPI, dem grundlegenden Programmiermodell für Cluster-Computer. Dabei werden anhand konkreter Beispiele die wichtigsten Paradigmen paralleler Programmierung präsentiert. Vorgestellt werden außerdem Entwicklungswerkzeuge, die Fehlersuche in parallelen Programmen und nützliche Bibliotheken.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Buch vermittelt Studierenden der Rechtswissenschaften, die sich die im ersten juristischen Staatsexamen erwarteten Kenntnisse des Strafprozessrechts aneignen müssen, und Rechtsreferendaren, die ihr Wissen auffrischen wollen, die Grundzüge des Strafprozessrechts. Die Darstellung folgt dem Ablauf des Strafverfahrens ¿ von der Einleitung bis zum rechtskräftigen Abschluss. Zahlreiche Beispiele, die überwiegend der veröffentlichten Rechtsprechung entstammen, veranschaulichen den Verfahrensgang und lassen die Relevanz der behandelten Streitfragen erkennen. Das Buch berücksichtigt die letzten Änderungen des Strafprozessrechts und geht auf die neuesten Tendenzen in Rechtsprechung und Wissenschaft ein. Kontrollfragen am Ende des jeweiligen Abschnitts dienen der selbstständigen Überprüfung des Gelernten.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das vorliegende Lehrbuch gibt eine fundierte und vielschichtige Einführung in die Konzepte und Funktionen moderner Betriebssysteme. Die grundlegenden Mechanismen eines Betriebssystems werden dabei anhand konkreter Programmlistings des Linux-Kernels analysiert und vergegenständlicht.Die Komplexität eines Betriebssystems und der beeindruckende Einfallsreichtum der zugrunde liegenden Algorithmik und deren geschickter Implementierung in C-Kode stehen im Zentrum des Buches. Der Leser erhält damit ein solides Verständnis der System-Architektur und deren konkreter Realisierung.Der Text ist für das Grundstudium ab dem dritten Semester geeignet und setzt neben grundlegenden Kenntnissen von Algorithmen und Datenstrukturen ein solides Verständnis der C-Programmierung voraus.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Lehrbuch lehnt sich an die erfolgreiche 'Mathematik für Ingenieure' desselben Autors an.Es führt zunächst in die Grundlagen der Informatik und Datenverarbeitung ein. Vor allem aber befähigt es den Leser, in den beiden wichtigen Programmiersprachen C und Java zu programmieren. Mit der Kombination aus beiden Sprachen, die in den Anwendungen weit verbreitet sind, stellt dieses Buch ein neues Angebot dar.Die Themen des Buches werden nicht nur angerissen. Vielmehr erwirbt der Leser echtes Handlungswissen, so dass er nach Lektüre des Buches konkrete Programme in beiden Sprachen schreiben kann.Zahlreiche Übungsaufgaben, insbesondere Programmieraufgaben, mit ausführlichen Lösungen unterstützen ihn dabei. Ein lesenswerter Einstieg in die Informatik und das Programmieren für Ingenieure und andere Studierende!Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Die entscheidende Herausforderung für das Management von Unternehmen ist es, profitables Wachstum sicherzustellen. Die Bedeutung profitablen Unternehmenswachstums steht außer Diskussion, doch ist längst nicht so klar, wie Unternehmen auf den Wachstumspfad gelangen und ihn dauerhaft beschreiten können. Was machen Firmen mit beständig hohen Wachstumsraten anders Wie kommen sie zu ihrem Wachstum Um diese Frage zu beantworten, hat Roland Berger Strategy Consultants eine umfassende quantitative Untersuchung der 1.700 größten Unternehmen der Welt durchgeführt, Märkte analysiert und in Interviews Manager in Unternehmen zu ihren Wachstumsstrategien befragt. Dieses Buch stellt die Ergebnisse der Studien zum Thema Unternehmenswachstum vor und entwickelt auf ihrer Basis neue Konzepte für nachhaltiges und profitables Wachstum. Die vorgestellten Konzepte können von Managern als Grundlage genutzt werden, um ihre Unternehmen auf Wachstumskurs zu bringen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Intelligentes Datenmanagement ist unabdingbare Grundlage und Voraussetzung für informationsbasierte Entscheidungen in allen Anwendungsbereichen und ¿ebenen.Dies ist das erste deutschsprachige Buch zum anwendungsorientierten Datenmanagement mit SPSS. Es hebt die fundamentale Rolle von explizitem und kontrolliertem Datenmanagement für die Analyse von Daten hervor, indem es beim Zugang zum Programm Einsatzmöglichkeiten von SPSS aufzeigt, die weit über die Optionen für Mauslenker hinausgehen. Die Didaktik des Buches ist dabei anwendungs- und erfolgsorientiert. Die Einsatzmöglichkeiten des Datenmanagements mit SPSS Syntax sind dabei nach praxisorientierten Fragestellungen geordnet, die wiederum von unkomplizierten Zugängen bis zu anspruchsvolleren Ansätzen gesteigert werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Dieses Lehrbuch stellt erstmalig eine interdisziplinäre und innovationsträchtige Querschnittswissenschaft vor. Das Ziel ist, neue Umwelt schonende Prozesse und Produkte im Bereich Life Science zu erschließen. Die jährliche Steigerungsrate mikrobieller Produkte (Chemikalien, Vitamine, Biopolymere, Brennstoffe) beträgt zwischen 10 und 20%. Die Angewandte Mikrobiologie ist damit eine der am stärksten wachsenden neuen Technologien.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 552 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Digitalisierung und Miniaturisierung von informations- und kommunikationstechnischen Funktionselementen schreiten rasch voran. Die allgegenwärtige digitale Assistenz für den Menschen beginnt Realität zu werden. Das Tempo der technischen Entwicklung und die Erprobung neuer unterstützender Dienste macht eine Auseinandersetzung mit der Frage erforderlich, wie dieser Fortschritt in nachhaltiger Weise zum Nutzen des Menschen gestaltet werden kann und welche Besonderheiten auf dem Weg dorthin zu beachten sind. Der MÜNCHNER KREIS hat mit hochrangigen Fachleuten aus Wissenschaft und Industrie aktuelle Erkenntnisse und Perspektiven diskutiert. Die hinter den Schlagworten ambient intelligence, ubiquitous computing oder pervasive computing stehenden Zukunftsszenarien wurden fundiert eingeschätzt und gestaltet. Das vorliegende Buch enthält die Ergebnisse.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -authors of the submittedpapers.Theconferenceprogramwascomplementedwiththreeinvited talks, three extended tutorials, and three all-day workshops.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In this essay we discuss epistemological implications of relativistic quantum field theory. The empirical domain of such a theory is formed by phenomena ascribed to subnuclear particles, sometimes still called elementary particles. This latter more traditional design at ionrejects the lasting desire of physicists to eventually second and isolate irreducible constituents of matter. Going down to the atomic level, electrons appear to play such a role, whereas the nuclei of atoms can be considered as compound systems of protons and neutrons, i. e. of two species of particles. This view makes sense, since the respective number of these two types of constituents essentially identifies an atomic nucleus. Extracted from a nucleus, however, the ¿free¿ neutron is an unstable particle: it decays spontaneously into a proton, an electron and an anti-neutrino. In the past fifty years or so basically the bombardment of matter by protons or by electrons in specially devised experiments has revealed a large variety of further subnuclear objects. Successive generations of accelerators and refined collision devices provided higher and higher collision energies. All theses- nuclear objects are termed ¿particles¿ in the physics community, nearly all of these objects are unstable and decay spontaneously into other ones. The respective lifetimes of the distinct types, however, differ widely, ranging from 3 - 25 relatively long(10 sec) to extremely short(10 sec). Because of this huge disparity in lifetime the notion of a particle deserves particular attention, a point laid stress on in our consideration. The study of the physical behaviour of these subnuclear particles led to distinguish three types of interactions: the strong, the electromagnetic and the weak interaction. As the names suggest these interactions differ in their respective strength.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 72 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -extremes can be considered as intermediately cooperative. Our conference addressed the common and speci c issues of all of them.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -It is our great pleasure to present the proceedings of the 9th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security (CMS 2005), which washeld in Salzburg on September 19¿21,2005.Continuing the tradition of p- vious CMS conferences, we sought a balanced program containing presentations on various aspects of secure communication and multimedia systems. Special emphasis was laid on papers with direct practical relevance for the construction of secure communication systems. The selection of the program was a challenging task. In total, we received 143 submissions, from which 28 were selected for presentation as full papers. In addition to these regular presentations, the CMS conference featured for the rst time a ¿work in progress track¿ that enabled authors to report preliminary results and ongoing work. These papers were presented in the form of a poster sessionduringtheconference;anextendedabstractofthepostersappearsinthis proceedings volume. From all papers submitted to the CMS conference, the p- gramcommitteechose13 submissionsfor inclusionin theworkinprogresstrack. In addition to regular presentations, CMS 2005 featured a special session on XMLsecurity,containingbothcontributedandinvitedtalks.Thisspecialsession was jointly organized by Rudig ¿ er Grimm (TU Ilmenau, Germany) and J¿ org Schwenk (Ruhr-Universit¿ at Bochum, Germany). Their assistance in organizing CMS 2005 was greatly appreciated.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Alexander K. Petrenko . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 Model-Based Optimization of Enterprise Application and Service Deployment Andr¿ as Balogh, Dan ¿ iel Varro, ¿ Andr¿ as Pataricza . . . . . . . . . . . . . . . . . . . 84 On Best-E ort and Dependability, Service-Orientation and Panacea Aad van Moorsel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 Are Service-Oriented Architectures the Panacea for a High-Availability Challenge Guido Laures. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102 Modeling User-Perceived Service Availability Dazhi Wang, Kishor S. Trivedi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 4th International Conference on Ad-Hoc Networks and Wireless (ADHOC- NOW 2005)was held October 6¿8,2005in Cancun, Mexico. Adhoc Now started as a workshop in 2002 and was held at the Fields Institute in Toronto. In 2003, it was held in Montreal, and in 2004 it was held in Vancouver. 2005 was the rst yearfortheconferencetomoveoutsideofCanada.Thepurposeoftheconference is to create a collaborative forum between mathematicians, computer scientists, and engineers for research in the eld of mobile ad hoc and sensor networks. In 2005, we received over 100 submissions from 22 di erent countries: Australia,Canada,China,France,Germany,Greece,India,Ireland,Italy,Japan, Korea, Malaysia, Mexico, Nepal, Nigeria, Pakistan, Poland, Spain, Sweden, Tunisia, the UK, and the USA ¿ a true international conference. Of the papers submitted, we selected 27 for presentation at the conference and publication in the proceedings. We are grateful to our Technical Program, Organizing, and Steering C- mittees; without their help, expertise, and experiencewe could not haveselected such a ne program. We thank Jorge Urrutia of the Instituto de Matem¿ aticas, Universidad NacionalAut¿ onoma de M¿ exico,and J.J. Garcia-Luna-Acevesof the Computer Engineering Department, University of California, Santa Cruz for - cepting our invitation to speak at the conference. Special thanks are due to the crewfromtheFacultaddeCienciasF¿ sico-Matem¿ aticasUniversidadMichoacana for handling the local arrangements, and to the Mobile Adhoc Research Lab at Arizona State University for handling odd jobs on a moment¿s notice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -It is our pleasure to present the papers accepted and presented at the 5th Int- national School and Symposium on Advanced Distributed Systems (ISSADS) in this LNCS volume. The symposium was held in the city of Guadalajara,Mexico from January 24 to 28, 2005. The organization team was composed of members of CINVESTAV Guadalajara, Rostock University in Germany, the CUCEI and CUCEA campuses of Guadalajara University, and Instituto Tecnol¿ ogico y de Estudios Superiores de Occidente, ITESO. The symposium is already a we- established annual meeting, at which scientists and people from the industrial eld meet and discuss the progress of applications and the theory of distributed systems in a forum during the last week of January. This year, more than 250 people from 3 continents attended the conference. Most of them are scientists, teachers, students and engineers from the local industry. The papers presented in the sessions of the symposium cover not only the subjects of distributed systems from the system level and applications, but also contributions from the area of theory and arti cial intelligence concepts. These papers were selected out of more than 100 submissions. There was a selection lter in which each paper was evaluated by at least three members of the - ternational Program Committee, who came from research institutions of good reputation all over the world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -With SPLC 2005 we celebrated the formation of a new conference series, the International Software Product Line Conference (SPLC) which results from the ¿uni cation¿ of the former series of three SPLC (Software Product Line) Con- rences launched in 2000 in the USA, and the former series of ve PFE (Product Family Engineering) Workshops started in 1996 in Europe. SPLC is nowthe premier forum for the growing community of software p- duct line practitioners, researchers, and educators. SPLC o ers a unique - portunity to present and discuss the most recent experiences, ideas, innovations, trends,andconcernsintheareaofsoftwareproductlineengineering andtobuild aninternationalnetworkofproductlinechampions.AninternationalSPLCSt- ring Committee has been established and it is the wish of this committee that from 2005 on, the SPLC conference will be held yearly in Europe, America, or Asia. The technical program of SPLC 2005 included. ¿ two keynotes from David Weiss (Avaya, USA) and Jan Bosch (Nokia, F- land), both leading experts with academic and industrial insights; ¿ 17 full and 3 short research papers organized around the following themes: feature modeling, re-engineering, strategies, validation, scoping and arc- tecture, and product derivation; ¿ eight experience reports describing commercial application of product line practices; ¿ two panels focused on special topics in product line practice and product line research; ¿ tool demonstrations; ¿ aHallofFamesessionthatcontinuedtheSPLCtraditioninaslightlyrevised format. In addition, the technical program was preceded by a tutorial and workshop day that included ten half-day tutorials presented by well-recognized experts and ve workshops on speci c areas of product line research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 9th Italian Conference on Theoretical Computer Science (ICTCS 2005)was held at the Certosa di Pontignano, Siena, Italy, on October 12¿14 2005. The Certosa di Pontignano is the conference center of the University of Siena; it is located 8 km away from the town and it is in the Chianti region. The Certosa is a place full of history (founded in the 15th century, it was set on re a century later and reconstructed) and of valuable artworks, like frescoes of the Scuola Senese. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L¿Aquila(1992),Ravello(1995),Prato(1998),Turin(2001)andBertinoro(2003). Theconferenceaimsatbringingtogethercomputerscientists,especiallyyoung researchers, to foster cooperation, exchange of ideas and results. Great e orts have been made to attract researchers from all over the world. The main t- ics of the conference cover all the elds of theoretical computer science and include analysis and design of algorithms, computability, computational c- plexity, cryptography, formal languages and automata, foundations of progr- ming languages and program analysis, foundations of arti cial intelligence and knowledge representation, foundations of web programming, natural computing paradigms (quantum computing, bioinformatics), parallel and distributed c- putation, program speci cation and veri cation, term rewriting, theory of c- currency, theory of data bases, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Buch. Zustand: Neu. Neuware -Models should be as simple as possible, but no simpler. For the physics of polymeric liquids, whose relevant lengths and time scales are out of reach for first principles calculations, this means that we have to choose a minimum set of sufficiently detailed descriptors such as architecture (linear, ring, branched), connectivity, semiflexibility, stretchability, excluded volume, and hydrodynamic interaction. These 'universal' fluids allow the prediction of material properties under external flow- or electrodynamic fields, the results being expressed in terms of reference units, specific for any particular chosen material. This book provides an introduction to the kinetic theory and computer simulation methods needed to handle these models and to interpret the results. Also included are a number of sample applications and computer codes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -process and the preparation of this volume were done using CyberChairPRO.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -review process. Their names may be found overleaf.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, during September 25¿27, 2005. The workshop was organized by the St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS) in cooperation with Binghamton University (SUNY, USA). The 1st and the 2nd International Workshops on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2001 and MMM-ACNS 2003), hosted by the St. Petersburg Institute for Informatics and Automation, demonstrated the keen interest of the international research community in the subject area. It was recognized that conducting a biannual series of such workshops in St. Petersburg stimulates fruitful exchanges between the di erent schools of thought, facilitates the dissemination of new ideas and promotesthespiritofcooperationbetweenresearchersontheinternatio nalscale. MMM-ACNS 2005 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks. 500 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -viewpoint: we received a total number of 79 submitted papers, out of which 21 long contributionsand 18 short contributionswere accepted for presentationat the conf- enceandinclusioninthisvolume.Allpapersreceivedaminimumofthreerevie ws. For the conferenceprogram outside the refereed talks we put emphasis on the - latedtopicsoftoolintegrationandpervasivesystemveri cation.Thedayprecedingthe workingconferencefeaturedhands-ondemonstrationsfornumerousveri cationtools; italsofeaturedatutorialonsystemveri cationbymembersoftheVerisoftproject.The overall program of CHARME 2005 included an invited keynote address by Wolfram B¿ uttner on industrial processor veri cation and a round table discussion about mixed techniquesforverylargehardware-softwaresystemsinitiatedwithaninv itedpresen- tionbyMasaharuImaiandAkiraKitajima. A quality conference such as CHARME results from the work of many people. We wish to thank the membersof the ProgramCommittee and the externalreviewers fortheirhardworkinevaluatingthesubmissionsandinselectinghighqualitypapers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at the ¿Conference on Spatial Inf- mationTheory¿,heldinEllicottville,NewYorkinSeptember 2005.COSIT2005 was the 7th International Conference held under the COSIT name. When - drewFrankandhiscolleaguesorganizedthe rstCOSITconferenceontheisland of Elba, Italy, in 1993, it represented the maturing of an international research community that had already met four or ve times in the United States, Spain, and Italy. Of course, cognitive and computational approaches to space and s- tial phenomena werenot themselves new topics,but a contextof providingth- retical underpinning for geographicinformation systems refocused some of these researchers and brought them up against practical and conceptual challenges. A second international symposium under the COSIT name, held in Semmering, Austria in 1995, established COSIT as a biennial conference series that cont- ued at Laurel Highlands, Pennsylvania, USA (1997), Stade, Germany (1999), Morro Bay, California, USA (2001) and Ittingen, Switzerland (2003). A prod- tive partnership with Springer¿s Lecture Notes in Computer Science has ensured that the papers from every COSIT meeting have been widely disseminated, and the COSIT community has contributed signi cantly to the development of G- graphic Information Science, Geoinformatics and Spatial Information Theory in general.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005) held September 19¿21, 2005 in Vienna, Austria. Previously, FroCoS was organized in Munich (1996), Amst- dam (1998), Nancy (2000) and Santa Margherita Ligure near Genoa (2002). In 2004, FroCoS joined IJCAR 2004, the 2nd International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2005 o ered a common forum for the presentation and discussion of research results and activities on the combination, integration, analysis, modularization and interaction of f- mally de ned systems, with an emphasis on logic-based ones. These issues are important in many areas of computer science, such as logic, computation, p- gram development and veri cation, arti cial intelligence, automated reasoning, constraint solving, declarative programming, and symbolic computation. There were 28 research papers submitted to FroCoS 2005, authored by - searchers from 16 countries. After extensive reviewing and discussion within the Program Committee, 14 papers including two system descriptions were nally accepted for presentation at the conference and publication in this volume. The topics covered by the selected papers include: combinations of logics, theories, and decision procedures; constraint solving and programming; combination - sues in rewriting and programmingas well as in logicalframeworks and theorem proving systems. In addition to the regular accepted papers, this volume also contains papers (three full ones and one abstract) corresponding to four invited talks given by Luca de Alfaro (Univ.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at the 16th Annual International Conference on Algorithmic Learning Theory (ALT 2005), which was held in S- gapore (Republic of Singapore), October 8¿11, 2005. The main objective of the conference is to provide an interdisciplinary forum for the discussion of the t- oretical foundations of machine learning as well as their relevance to practical applications. The conference was co-located with the 8th International Conf- enceonDiscoveryScience(DS2005). Theconferencewasalsoheldinconjunction with the centennial celebrations of the National University of Singapore. The volume includes 30 technical contributions, which were selected by the program committee from 98 submissions. It also contains the ALT 2005 invited talks presented by Chih-Jen Lin (National Taiwan University, Taipei, Taiwan) on ¿Training Support Vector Machines via SMO-type Decomposition Methods,¿ and by Vasant Honavar (Iowa State University, Ames, Iowa, USA) on ¿Al- rithmsandSoftwareforCollaborativeDiscoveryfromAutonomous,Semantically Heterogeneous, Distributed, Information Sources. ¿ Furthermore, this volume - cludes an abstract of the joint invited talk with DS 2005 presented by Gary L. Bradshaw (Mississippi State University, Starkville, USA) on ¿Invention and Arti cial Intelligence,¿ and abstracts of the invited talks for DS 2005 presented by Ross D. King (The University of Wales, Aberystwyth, UK) on ¿The Robot Scientist Project,¿ and by Neil Smalheiser (University of Illinois at Chicago, Chicago, USA) on ¿The Arrowsmith Project: 2005 Status Report. ¿ The c- plete versions of these papers are published in the DS 2005 proceedings (Lecture Notes in Computer Science Vol. 3735).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 2nd Workshop on Intelligent Media Technology for Communicative Intelligence commemorating the 10th anniversary of the Polish-Japanese Institute of Information Technology in Warsaw aimed to explore the current research topics in the eld of int- ligent media technologies for communicative intelligence. Communicative intelligence represents a new challenge towards building a sup- intelligence on the ubiquitous global network by accumulating a huge amount of - man andknowledgeresources.The term 'communicativeintelligence're ects the view that communication is at the very core of intelligence and its creation. Communication permits novel ideas to emerge from intimate interactions by multiple agents, ranging from collaboration to competition. The recent advance of information and commu- cation technologies has established an information infrastructure that allows humans and artifacts to communicate with each other beyond space and time. It enables us to advance a step further to realize a communicative intelligence with many fruitful applications. Intelligentmediatechnologiesattempttocaptureandaugmentpeople¿scommuni - tive activities by embedding computers into the environment to enhance interactions in an unobtrusive manner. The introduction of embodied conversational agents that might mediate conversations among people in a social context is the next step in the p- cess. The scope of intelligent media technologies includes design and development of intelligent supports for content production, distribution, and utilization, since rich c- tent is crucial for communication in many applications. The promising applications of intelligence media technologies include e-learning, knowledge management systems, e-democracy, and other communication-intensivesubject domains. 276 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Starting with Napster and Gnutella, peer-to-peer systems became an integrated part of the Internet fabric attracting millions of users. According to recent evaluations, peer-to-peer traffic now exceeds Web traffic, once the dominant traffic on the Internet. While the most popular peer-to-peer applications remain file sharing and content distribution, new applications such as Internet telephony are emerging.Within just a few years, the huge popularity of peer-to-peer systems and the explosion of peer-to-peer research have created a large body of knowledge, but this book is the first textbook-like survey to provide an up-to-date and in-depth introduction to the field.This state-of-the-art survey systematically draws together prerequisites from various fields, presents techniques and methodologies in a principled and coherent way, and gives a comprehensive overview on the manifold applications of the peer-to-peer paradigm. Leading researchers contributed their expert knowledge to this book, each in his/her own specific area.Lecturers can choose from the wide range of 32 tightly integrated chapters on all current aspects of P2P systems and applications, and thus individually tailor their class syllabi. R&D professionals active in P2P will appreciate this book as a valuable source of reference and inspiration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 664 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005.The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures. 424 pp. Englisch.