springer berlin heidelberg springer berlin heidelberg apr 2005 (126 résultats)

Taschenbuch. Etat : 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. Etat : 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. Etat : 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.

Taschenbuch. Etat : 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. Etat : 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. Etat : Neu. Neuware - rst-class data with coordination primitives.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

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

Taschenbuch. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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.

Taschenbuch. Etat : Neu. Neuware -Digital cities constitutes a multidisciplinary field of research and development, where researchers, designers and developers of communityware interact and collaborate with social scientists studying the use and effects of these kinds of infrastructures and systems in their local application context. The field is rather young. After the diffusion of ICT in the world of organizations and companies, ICT entered everyday life. And this also influenced ICT research and development. The 1998 Workshop on Communityware and Social Interaction in Kyoto was an early meeting in which this emerging field was discussed. After that, two subsequent Digital Cities workshops were organized in Kyoto, and a third one in Amsterdam. This book is the result of the 3rd Workshop on Digital Cities, which took place September 18¿19, 2003 in Amsterdam, in conjunction with the 1st Communities and Technologies Conference. Most of the papers were presented at this workshop, and were revised thoroughly afterwards. Also the case studies of digital cities in Asia, the US, and Europe, included in Part I, were direct offsprings of the Digital Cities Workshops. Together the papers in this volume give an interesting state-of-the-art overview of the field. In total 54 authors from the Americas, from Asia, and from Europe were contributed to this volume. The authors come from Brazil (two), the USA (eleven), China (three), Japan (fourteen), Finland (two), Germany (two), Italy (three), Portugal (two), the Netherlands (eight), and the UK (seven), indicating the international nature of the research field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using uniform discrete time steps. Thus it integrates and reconciles two views of time that are commonly used separately in di erent application domains. In many discrete systems time is modelled by discrete steps of uniform length, in continuous systems time is seen as a dense ow. Themainideatointegratethesedi erentviewsisadiscretizationofthedense real-number time structure by using constant in nitesimal time steps within each real-number point in time. The underlying mathematical structure of this time model is based on concepts of Non-standard Analysis as proposed by Abraham Robinson in the 1950s. The discrete modelling, i.e., the descr- tion of sequential discrete algorithms at di erent abstraction levels, is done with Abstract State Machines along the formalisms developed by Yuri Gu- vich and temporal logic. These ingredients produce a rich formal basis for describing a large variety of systems with quantitative linear time prop- ties, by seamless integration, re nement and embedding of continuous and discrete models into one uniform semantic framework called¿Non-standard Timed Abstract State Machines¿(NTASM).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The 18th conference of the Canadian Society for the Computational Study of Intelligence (CSCSI) continued the success of its predecessors. This set of - pers re ects the diversity of the Canadian AI community and its international partners. AI 2005 attracted 135 high-quality submissions: 64 from Canada and 71 from around the world. Of these, eight were written in French. All submitted papers were thoroughly reviewed by at least three members of the Program Committee. A total of 30 contributions, accepted as long papers, and 19 as short papers are included in this volume. We invited three distinguished researchers to give talks about their current research interests: Eric Brill from Microsoft Research, Craig Boutilier from the University of Toronto, and Henry Krautz from the University of Washington. The organization of such a successful conference bene ted from the coll- oration of many individuals. Foremost, we would like to express our apprec- tion to the Program Committee members and external referees, who provided timely and signi cant reviews. To manage the submission and reviewing process we used the Paperdyne system, which was developed by Dirk Peters. We owe special thanks to Kellogg Booth and Tricia d¿Entremont for handling the local arrangementsandregistration.WealsothankBruceSpencerandmembersofthe CSCSI executive for all their e orts in making AI 2005 a successful conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Modern information systems rely increasingly on combining concurrent, d- tributed, mobile, recon gurable and heterogenous components. New models, architectures, languages, and veri cation techniques are therefore necessary to cope with the complexity induced by the demands of today¿s software devel- ment. Coordination languages have emerged as a successful approach, providing abstractions that cleanly separate behavior from communication and therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. This volume contains the proceedings of the 7th International Conference on Coordination Models and Languages (Coordination 2005), held at the Ins- tute of Informatics of the University of Namur, Belgium, on April 20¿23, 2005. The previous conferences in this series took place in Cesena (Italy), Berlin (G- many),Amsterdam(TheNetherlands),Limassol(Cyprus),York(UK),andPisa (Italy). Building upon the success of these events, Coordination 2005 provided a forum for the community of researchers interested in models, languages, and implementation techniques for coordination and component-based software, as well as applications that exploit them. The conference attracted 88 submissions from authors all over the world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The field of Adaptive Optics (AO) for astronomy has matured in recent years, and diffraction-limited image resolution in the near-infrared is now routinely achieved by ground-based 8 to 10m class telescopes. This book presents the proceedings of the ESO Workshop on Science with Adaptive Optics held in the fall of 2003. The book provides an overview on AO instrumentation, data acquisition and reduction strategies, and covers observations of the sun, solar system objects, circumstellar disks, substellar companions, HII regions, starburst environments, late-type stars, the galactic center, active galaxies, and quasars. The contributions present a vivid picture of the multitude of science topics being addressed by AO in observational astronomy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Multiple-Choice-Aufgaben finden zunehmend Verwendung in Klausuren zur Mathematik für Wirtschaftswissenschaftler. Das vorliegende Buch enthält 240 Multiple-Choice-Aufgaben mit Lösungswegen und Lösungen. Die Aufgaben sind, mit wenigen Ausnahmen und geringfügigen Änderungen, Klausuren entnommen, die von den Autoren im Grundstudium der wirtschaftswissenschaftlichen Studiengänge an der Technischen Universität Dresden gestellt wurden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Deutsch.

Taschenbuch. Etat : 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. Etat : 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.

Buch. Etat : Neu. Neuware -Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, the limits of what is possible with the available resources. An understanding of these limits prevents the search for non-existing efficient algorithms. This textbook considers randomization as a key concept and emphasizes the interplay between theory and practice:New branches of complexity theory continue to arise in response to new algorithmic concepts, and its results - such as the theory of NP-completeness - have influenced the development of all areas of computer science.The topics selected have implications for concrete applications, and the significance of complexity theory for today's computer science is stressed throughout.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Buch. Etat : Neu. Neuware -This volume is devoted to the exciting topic of dissipative solitons, i.e. pulses or spatially localised waves in systems exhibiting gain and loss. Examples are laser systems, nonlinear resonators and optical transmission lines. The physical principles and mathematical concepts are explained in a clear and concise way, suitable for students and young researchers. The similarities and differences in the notion of a soliton between dissipative systems and Hamiltonian and integrable systems are discussed, and many examples are given. The contributions are written by the world's leading experts in the field, making it a unique exposition of this emerging topic. 472 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -VECPAR is a series of international conferences dedicated to the promotion and advancement of all aspects of high-performance computing for computational science, as an industrial technique and academic discipline, extending the fr- tier of both the state of the art and the state of practice. The audience for and participants in VECPAR are seen as researchers in academic departments, g- ernment laboratories and industrial organizations. There is now a permanent website for the series, vecpar.fe.up.pt, where the history of the conf- ences is described. ThesixtheditionofVECPARwasthe rsttimetheconferencewascelebrated outside Porto ¿ at the Universitad Politecnica de Valencia (Spain), June 28¿30, 2004. The whole conference programme consisted of 6 invited talks, 61 papers and26posters,outof130contributionsthatwereinitiallysubmitted.Themajor themes were divided into large-scale numerical and non-numerical simulations, parallel and grid computing, biosciences, numerical algorithms, data mining and visualization. This postconference book includes the best 48 papers and 5 invited talks presented during the three days of the conference. The book is organized into 6 chapters, with a prominent position reserved for the invited talks and the Best Student Paper. As a whole it appeals to a wide research community, from those involved in the engineering applications to those interested in the actual details of the hardware or software implementations, in line with what, in these days, tends to be considered as computational science and engineering (CSE).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 756 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB 2002, held at theLaboratoire Logiciels Syst` emes R¿ eseaux within theInstitut d¿Informatique et Math¿ ematique Appliqü ees de Grenoble (LSR-IMAG) in Grenoble, France, and ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS). ZB2005washeldattheUniversity of Surrey, Guildford, UK, hosted by the Department of Computing. The U- versity has always placed particular emphasis on the applicability of its research and its relationship with industrial partners. In this context it is building up its formal methods activity as an area of strategic importance, with the establi- ment of a new group within the Department of Computing, and also with its support for this conference. B and Z are two important formal methods that share a common conceptual origin; they are leading approaches in industry and academia for the speci - tion and development (using formal re nement) of computer-based systems. At ZB 2005 the B and Z communities met once again to hold a fourth joint c- ference that simultaneously incorporated the 15th International Z User Meeting and the 6th International Conference on the B Method.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch.

Buch. Etat : Neu. Neuware -The Space Age is nearly 50 years old but exploration of the outer planets and beyond has only just begun. Deep-Space Probes Second Edition draws on the latest research to explain why we should explore beyond the edge of the Solar System and how we can build highly sophisticated robot spacecraft to make the journey. Many technical problems remain to be solved, among them propulsion systems to permit far higher velocities, and technologies to build vehicles a fraction of the size of today¿s spacecraft.Beyond the range of effective radio control, robot vehicles for exploring deep space will need to be intelligent, ¿thinking¿ craft ¿ able to make vital decisions entirely on their own. Gregory Matloff also looks at the possibility for human travel into interstellar space, and some of the immense problems that such journeys would entail.This second edition includes an entirely new chapter on holographic message plaques for future interstellar probes ¿ a NASA-funded project.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the papers presented at the 9th Annual International Conference on Research in Computational Molecular Biology (RECOMB 2005), which was held in Cambridge, Massachusetts, on May 14¿18, 2005. The RECOMB conference series was started in 1997 by Sorin Istrail, Pavel Pevzner and Michael Waterman. The list of previous meetings is shown below in the s- tion ¿Previous RECOMB Meetings. ¿ RECOMB 2005 was hosted by the Broad Institute of MIT and Harvard, and Boston University¿s Center for Advanced - nomic Technology, and was excellently organized by the Organizing Committee Co-chairs Jill Mesirov and Simon Kasif. This year, 217 papers were submitted, of which the Program Committee - lected 39 for presentation at the meeting and inclusion in this proceedings. Each submission was refereed by at least three members of the Program Committee. After the completion of the referees¿ reports, an extensive Web-based discussion took place for making decisions. From RECOMB 2005, the Steering Committee decided to publish the proceedings as a volume of Lecture Notes in Bioinf- matics (LNBI) for which the founders of RECOMB are also the editors. The prominent volume number LNBI 3500 was assigned to this proceedings. The RECOMB conference series is closely associated with the Journal of Compu- tional Biology which traditionally publishes special issues devoted to presenting full versions of selected conference papers. The RECOMB Program Committee consistedof42members,aslistedonaseparatepage. Iwouldliketothank the RECOMB 2005 Program Committee members for their dedication and hard work. 652 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has rmly established itself as a vital part of many scienti c investigations, a ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging elds. Together, these far reaching scienti c areas contribute to shape this Conference in the realms of state-of-the-art computational science research and applications, encompassing the facilitating theoretical foundations and the innovative applications of such results in other areas. 1452 pp. Englisch.