springer berlin heidelberg springer berlin heidelberg mär 2004 (111 risultati)

Taschenbuch. Condizione: Neu. Neuware -Quantum probability and the theory of operator algebras are both concerned with the study of noncommutative dynamics. Focusing on stationary processes with discrete-time parameter, this book presents (without many prerequisites) some basic problems of interest to both fields, on topics including extensions and dilations of completely positive maps, Markov property and adaptedness, endomorphisms of operator algebras and the applications arising from the interplay of these themes. Much of the material is new, but many interesting questions are accessible even to the reader equipped only with basic knowledge of quantum probability and operator algebras.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Theseproceedingscontaintherefereedfulltechnicalpaperspresentedatthe26th Annual European Conference on Information Retrieval (ECIR 2004). ECIR is theannualconferenceoftheBritishComputerSociety¿sspecialistgroupinInf- mation Retrieval. This year the conference was held at the School of Computing and Technology at the University of Sunderland. ECIR began life as the - nual Colloquium on Information Retrieval Research. The colloquium was held in the UK each year until 1998 when the event was held in Grenoble, France. Since then the conference venue has alternated between the United Kingdom and Continental Europe, and the event was renamed the European Conference on Information Retrieval. In recent years, ECIR has continued to grow and has become the major European forum for the discussion of research in the eld of Information Retrieval. To mark this metamorphosis from a small informal c- loquium to a major event in the IR research calendar, the BCS-IRSG decided to rename the event to the European Conference on Information Retrieval. ECIR2004received88fullpapersubmissions,fromacrossEuropeandfurther a eldincludingNorthAmerica,ChinaandAustralia,atestamenttothegrowing popularity and reputation of the conference. Out of the 88 submitted papers, 28 were accepted for presentation. All papers were reviewed by at least three reviewers. Among the accepted papers 11 have a student as the primary author, illustrating that the traditional student focus of the original colloquium is alive today. 440 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This is not a science book, nor even a book about science, although most of the contributors are scientists. It is a book of personal stories about Walter Kohn, a theoretical physicist and winner of half of the 1998 Nobel Prize in Chemistry. Walter Kohn originated and/or refined a number of very important theoretical approaches and concepts in solid-state physics. He is known in particular for Density-Functional Theory. This book represents a kind of 'oral history' about him, gathered - in anticipation of his 80th birthday - from former students, collaborators, fellow-scientists, and friends.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Although diagrammatic representations have been a feature of human com- nication from early history, recent advances in printing and electronic media technologyhaveintroducedincreasinglysophisticatedvisualrepresentationsinto everydaylife. We need to improve our understanding of the role of diagramsand sketches in communication, cognition, creative thought, and problem-solving. These concerns have triggered a surge of interest in the study of diagrammatic notations, especially in academic disciplines dealing with cognition, compu- tion, and communication. We believe that the study of diagrammatic communication is best pursued as an interdisciplinary endeavor. The Diagrams conference series was launched to support an international research community with this common goal. After successful meetings in Edinburgh (2000) and Georgia (2002), Diagrams 2004 was the third event in the series. The Diagramsseries attracts a largenumber of researchersfrom virtually all academic elds who arestudying the nature of d- grammatic representations,their use in human communication, and cognitive or computationalmechanismsforprocessingdiagrams.Bycombiningseveralearlier workshop and symposium series that were held in the US and Europe ¿ R- soning with Diagrammatic Representations (DR), US; Thinking with Diagrams (TWD), Europe; and Theory of Visual Languages (TVL), Europe ¿ Diagrams has emerged as a major international conference on this topic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Thisvolumerepresentstherefereedproceedingsofthe7thInternationalC- ference on Finite Fields and Applications (F 7) held during May 5¿9, q 2003, in Toulouse, France. The conference was hosted by the Pierre Baudis C- gress Center, downtown, and held at the excellent conference facility. This event continued a series of biennial international conferences on Finite Fields and - plications, following earlier meetings at the University of Nevada at Las Vegas (USA) in August 1991 and August 1993, the University of Glasgow (UK) in July 1995, the University of Waterloo (Canada) in August 1997, the Univ- sity of Augsburg (Germany) in August 1999, and the Universidad Aut¿ onoma Metropolitana-Iztapalapa, in Oaxaca (Mexico) in 2001. The Organizing Committee of F 7 consisted of Claude Carlet (INRIA, Paris, q France), Dieter Jungnickel (University of Augsburg, Germany), Gary Mullen (Pennsylvania State University, USA), Harald Niederreiter (National University of Singapore, Singapore), Alain Poli, Chair (Paul Sabatier University, Toulouse, France), Henning Stichtenoth (Essen University, Germany), and Horacio Tapia- Recillas (Universidad Aut¿ onoma Metropolitan-Iztapalapa, Mexico). The program of the conference consisted of four full days and one half day of sessions, with eight invited plenary talks, and close to 60 contributed talks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o , and in model interpretation. The techniques of validated computing have proven their merits in many scienti c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential. 332 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -DILS 2004 (Data Integration in the Life Sciences) is a new bioinformatics wo- shop focusing on topics related to data management and integration. It was motivated by the observation that new advances in life sciences, e. g. , molecular biology, biodiversity, drug discovery and medical research, increasingly depend on bioinformatics methods to manage and analyze vast amounts of highly - verse data. Relevant data is typically distributed across many data sources on the Web and is often structured only to a limited extent. Despite new inter- erability technologies such as XML and web services, integration of data is a highly di cult and still largely manual task, especially due to the high degree of semantic heterogeneity and varying data quality as well as speci c application requirements. The call for papers attracted many submissions on the workshop topics. - ter a carefulreviewing processthe internationalprogramcommittee accepted 13 long and 2 short papers which are included in this volume. They cover a wide spectrum of theoretical and practical issues including scienti c/clinical wo- ows, ontologies, tools/systems, and integration techniques. DILS 2004 also f- tured two keynote presentations, by Dr. Thure Etzold (architect of the leading integration platform SRS, and president of Lion Bioscience, Cambridge, UK) and Prof. Dr. Svante Pä ¿abo (Director, Max Planck Institute for Evolutionary Anthropology, Leipzig). The workshop took place during March 25¿26, 2004, in Leipzig, Germany, and was organized by the Interdisciplinary Bioinformatics Center (IZBI) of the Universityof Leipzig.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Advances in networking technology have revitalized the investigation of agent technologyasapromisingparadigmforengineeringcomplexdistributedsoftware systems. Agent technology has been applied to a wide range of application - mains, including e-commerce, human-computer interfaces, telecommunications, and software assistants. Multi-agent systems (MASs) and their underlying t- ories provide a more natural support for ensuring important properties such as autonomy, mobility, environment heterogeneity, organization, openness, and intelligence. As a consequence, agent-based systems are likely to provide new - proaches to dealing with the complexity of developing and maintaining modern software. However, developing robust large-scale agent-based systems will - quire new software engineering approaches. There are currently many methods and techniques for working with individual agents or with systems built using only a few agents. Unfortunately, agent-based software engineering is still in its infancy and existing software engineering approaches are unable to cope with large MASs. The complexity associated with a large MAS is considerable. When a huge number of agents interact over heterogeneous environments, various phenomena occur which are not as easy to capture as when only a few agents are working together. As the multiple software agents are highly collaborative and operate in networked environments, they have to be context-aware and deal with - vironment uncertainty. This makes their coordination and management more di cult and increases the likelihood of exceptional situations, such as security holes, privacy violations, and unexpected global e ects. Moreover, as users and softwareengineersdelegatemoreautonomytotheirMASs,andputmoretrustin their results, new concernsarise in real-life applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues inv- ved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 548 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The CC program committee is pleased to present this volume with the p- ceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for researchers, educators, and practitioners to exchange ideas on the latest developments in compiler te- nology, programming language implementation, and language design. The c- ference emphasizes practical and experimental work and invites contributions on methods and tools for all aspects of compiler technology and all language paradigms. This volume serves as the permanent record of the 19 papers accepted for presentation at CC 2004 held in Barcelona, Spain, during April 1¿2, 2004. The 19 papers in this volume were selected from 58 submissions. Each paper was assigned to three committee members for review. The program committee met for one day in December 2003 to discuss the papers and the reviews. By the end of the meeting, a consensus emerged to accept the 19 papers presented in this volume. However, there were many other quality submissions that could not be accommodated in the program; hopefully they will be published elsewhere. ThecontinuedsuccessoftheCCconferenceserieswouldnotbepossiblewi- out the help of the CC community. I would like to gratefully acknowledge and thank all of the authors who submitted papers and the many external reviewers who wrote reviews. 328 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Where is system architecture heading The special interest group on Computer and Systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology associations GI and ITG a- ed this question and discussed it during two Future Workshops in 2002. The result in a nutshell: Everything will change but everything else will remain. Future systems technologies will build on a mature basis of silicon and IC technology,onwell-understoodprogramminglanguagesandsoftwareengineering techniques, and on well-established operating systems and middleware concepts. Newer and still exotic but exciting technologies like quantum computing and DNA processing are to be watched closely but they will not be mainstream in the next decade. Although there will be considerable progress in these basic technologies, is there any major trend which uni es these diverse developments There is a common denominator ¿ according to the result of the two - ture Workshops ¿ which marks a new quality. The challenge for future systems technologies lies in the mastering of complexity. Rigid and in exible systems, built under a strict top-down regime, have reached the limits of manageable complexity, as has become obvious by the recent failure of several large-scale projects. Nature is the most complex system we know, and she has solved the problem somehow. We just haven¿t understood exactly how nature does it. But it is clear that systems designed by nature, like an anthill or a beehive or a swarm of birds or a city, are di erent from today¿s technical systems that have beendesignedbyengineersandcomputerscientists. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the post-proceedings of the DIMACS/RECOMB Satellite Workshop on Computational Methods for SNPs and Haplotype Inference held in Piscataway, NJ, USA, in November 2002.The book presents ten revised full papers as well as abstracts of the remaining workshop papers. All relevant current issues in computational methods for SNP and haplotype analysis and their applications to disease associations are addressed. 168 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume of the LNCS series contains the proceedings of the 5th Internat- nal Working Conference on Active Networks (IWAN 2003) held in the ancient cultural city of Kyoto, Japan. This year we received 73 submissions. The increasing number indicates that Active Networks continues to be an attractive eld of research. Through - reful reviewing and discussion, our program committee decided to fully accept 21 papers. Three papers were conditionally accepted, and were included after shepherding by members of the technical program committee. This volume thus includes these 24 papers which were presented at IWAN 2003. Additional papers were presented in a poster session at the conference. The best paper award went to Kenneth L. Calvert, James N. Gri oen, - jati Imam, and Jiangbo Li (University of Kentucky) for ¿Challenges in Imp- menting an ESP Service,¿ which begins these proceedings and which began the papers in the High Performance & Network Processors session. Papers in these proceedings are organized into seven sessions: High-Level Active Network - plications, Low-Level Active Network Applications, Self-Organization of Active Services, Management in Active Networks, Experiences with Service Engin- ring for Active Networks, and Selected Topics in Active Networks, ranging from risk management to context-aware handover and peer-to-peer communications. 328 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Evolutionary Computation (EC) involves the study of problem solving and op- mization techniques inspired by principles of natural evolution and genetics. EC has been able to draw the attention of an increasing number of researchers and practitioners in several elds. Evolutionary algorithms have in particular been showntobee ectivefordi cultcombinatorialoptimizationproblemsappearing in various industrial, economic, and scienti c domains. This volume contains the proceedings of EvoCOP 2004, the 4th European ConferenceonEvolutionaryComputationinCombinatorialOptimization.Itwas held in Coimbra, Portugal, on April 5¿7, 2004, jointly with EuroGP 2004, the 7th European Conference on Genetic Programming, and EvoWorkshops 2004, which consisted of the following six individual workshops: EvoBIO, the 2nd - ropean Workshop on Evolutionary Bioinformatics; EvoCOMNET, the 1st - ropean Workshop on Evolutionary Computation in Communications, Networks, and Connected Systems; EvoHOT, the 1st European Workshop on Hardware Optimisation; EvoIASP, the 6th European Workshop on Evolutionary Com- tation in Image Analysis and Signal Processing; EvoMUSART, the 2nd Eu- pean Workshop on Evolutionary Music and Art; and EvoSTOC, the 1st Eu- pean Workshop on Evolutionary Algorithms in Stochastic and Dynamic En- ronments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Big Queues aims to give a simple and elegant account of how large deviations theory can be applied to queueing problems. Large deviations theory is a collection of powerful results and general techniques for studying rare events, and has been applied to queueing problems in a variety of ways. The strengths of large deviations theory are these: it is powerful enough that one can answer many questions which are hard to answer otherwise, and it is general enough that one can draw broad conclusions without relying on special case calculations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -On behalf of the PROFES organizing committee we are proud to present to you the proceedings of the 5th International Conference on Product Focused Software Process Improvement (PROFES 2004), held in Kansai Science City, Japan. Since 1999, PROFES has established itself as one of the recognized international process improvement conferences. In 2004 the conference left Europe for the first time and moved to Japan. Japan and its neighboring countries are intensifying their efforts to improve software engineering excellence, so it was a logical step to select Japan as the venue for PROFES 2004. The purpose of the conference is to bring to light the most recent findings and results in the area and to stimulate discussion between researchers, experienced professionals, and technology providers. The large number of participants coming from industry confirms that the conference provides a variety of up-to-date topics and tackles industry problems. The main theme of PROFES is professional software process improvement (SPI) motivated by product and service quality needs. SPI is facilitated by software process assessment, software measurement, process modeling, and technology transfer. It has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice and the relevant research results from academia. This is reflected in the 41 full papers, which are a balanced mix of academic papers as well as industrial experience reports.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 600 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7¿9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional progr- mingandlogicprogramming. Inparticularitaimstostimulatethecross-fertili- tion as well as the integration of the two paradigms. The previous FLOPS me- ings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999),Tokyo(2001)and Aizu (2002). The proceedingsofFLOPS 1999,FLOPS 2001 and FLOPS 2002 were published by Springer-Verlag in the Lecture Notes in Computer Science series, as volumes 1722, 2024 and 2441, respectively. In response to the call for papers, 55 papers were submitted by authors from 1 Australia (1), Austria (1), Canada (1), China (4), Denmark (2), Estonia ( ), 2 1 1 France (3 ), Germany (4 ), Italy (1), Japan (15), the Netherlands (1), Oman 2 4 1 1 (1), Portugal ( ), Singapore (2), Spain (8), UK (3), and USA (6 ). Each paper 2 4 was reviewed by at least three program committee members with the help of expert external reviewers. The program committee meeting was conducted el- tronically for a period of 2 weeks in December 2003. After careful and thorough discussion, the program committee selected 18 papers (33%) for presentation at theconference. Inadditiontothe18contributedpapers,thesymposiumincluded talks by three invited speakers: Masami Hagiya (University of Tokyo), Carsten Schur ¿ mann (Yale University), and Peter Selinger (University of Ottawa).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr¿ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), the World Congress on Formal Methods (1999), FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002). This year again, SPIN was held as a satellite event of ETAPS 2004. The co-location of SPIN workshops with conferences has proven to be very successful and has helped to disseminate SPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag¿s Lecture Notes in Computer Science series. The history of successful SPIN workshops is evidence for the maturing of model checking technology, not only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development aroundtheSPINmodelcheckerwerethefocusofthisworkshopseries,forseveral years now the scope has been widened to include more general approaches to software model checking techniques and tools as well as applications. The SPIN workshop has become a forum for all practitioners and researchers interested in model checking based techniques for the validation and analysis of communication protocols and software systems. 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the proceedings of the 2nd International Conference on TrustManagement,heldinOxford,UK,during29March¿1April2004.Thec- ference followed a very successful 1st International Conference on Trust Ma- gement held in Crete in 2003. Both conferences were organized by iTrust, which is a working group funded as a thematic network by the Future and Emerging Technologies (FET) unit of the Information Society Technologies (IST) program of the European Union. The purpose of the iTrust working group is to provide a forum for cro- disciplinary investigation of the applications of trust as a means of increasing security, building con dence and facilitating collaboration in dynamic open - stems. The notion of trust has been studied independently by di erent academic disciplines, which has helped us to identify and understand di erent aspects of trust. The aim of this conference was to provide a common forum, bringing together researchers from di erent academic branches, such as the technolo- oriented disciplines, law, social sciences and philosophy, in order to develop a deeper and more fundamental understanding of the issues and challenges in the area of trust management in dynamic open systems. The response to this conference was excellent; from the 48 papers submitted to the conference, we selected 21 full papers and 6 short papers for presentation. Theprogramalsoincludedthreekeynoteaddresses,givenbyJe Bradshawfrom theInstituteforHumanandMachineCognitionattheUniversityofWestFlorida (USA), Ian Walden who is Director of the Computer-Related Crime Research Centre at Queen Mary, University of London (UK), and Massimo Marchiori from the World Wide Web Consortium, as well as three panels and a full day of tutorials.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in uential article published by Electronics Magazine in 1965, Moore predicted that this trend would continue for the next 10 years. Despite being criticized for its ¿unrealistic optimism,¿ Moore¿s prediction has remained valid for far longer than even he imagined: today, chips built using state-- the-art techniques typically contain several million transistors. The advances in fabrication technology that have supported Moore¿s law for four decades have fuelled the computer revolution. However,this exponential increase in transistor density poses new design challenges to engineers and computer scientists alike. New techniques for managing complexity must be developed if circuits are to take full advantage of the vast numbers of transistors available. In this monograph we investigate both (i) the design of high-level languages for hardware description, and (ii) techniques involved in translating these hi- level languages to silicon. We propose SAFL, a rst-order functional language designedspeci callyforbehavioralhardwaredescription,anddescribetheimp- mentation of its associated silicon compiler. We show that the high-level pr- erties of SAFL allow one to exploit program analyses and optimizations that are not employed in existing synthesis systems. Furthermore, since SAFL fully abstracts the low-leveldetails of the implementation technology, we show how it can be compiled to a range of di erent design styles including fully synchronous design and globally asynchronous locally synchronous (GALS) circuits.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these act- ities are all well within its scope. Di erent blends of theory and practice are r- resented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and theemphasisonsoftwareisnotintendedtobeexclusive. 408 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Evolutionary Computation (EC) deals with problem solving, optimization, and machine learning techniques inspired by principles of natural evolution and - netics. Just from this basic de nition, it is clear that one of the main features of theresearchcommunityinvolvedinthestudyofitstheoryandinitsapplications is multidisciplinarity. For this reason, EC has been able to draw the attention of an ever-increasing number of researchers and practitioners in several elds. In its 6-year-long activity, EvoNet, the European Network of Excellence in Evolutionary Computing, has been the natural reference and incubator for that multifaceted community. EvoNet has provided logistic and material support for thosewhowerealreadyinvolvedinECbut,inthe rstplace,ithashadacritical role in favoring the signi cant growth of the EC community and its interactions with longer-established ones. The main instrument that has made this possible has been the series of events, rst organized in 1998, that have spanned over both theoretical and practical aspects of EC. Ever since 1999, the present format, in which the EvoWorkshops, a collection of workshops on the most application-oriented aspects of EC, act as satellites of a core event, has proven to be very successful and very representative of the multi-disciplinarity of EC. Up to 2003, the core was represented by EuroGP, the main European event dedicated to Genetic Programming. EuroGP has been joined as the main event in 2004 by EvoCOP, formerly part of EvoWorkshops, which has become the European Conference on Evolutionary Computation in Combinatorial Optimization. 588 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4¿7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci cation and design, so that the most appropriate design tools are used at di erent points in the life-cycle. 560 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Information Security and Cryptology, ICISC 2003, held in Seoul, Korea, in November 2003.The 32 revised full papers presented together with an invited paper were carefully selected from 163 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on digital signatures, primitives, fast implementations, computer security and mobile security, voting and auction protocols, watermarking, authentication and threshold protocols, and block ciphers and stream ciphers. 476 pp. Englisch.

Buch. Condizione: Neu. Neuware -Multimedia Applications discusses the basic characteristics of multimedia document handling, programming, security, human computer interfaces, and multimedia application services. The overall goal of the book is to provide a broad understanding of multimedia systems and applications in an integrated manner: a multimedia application and its user interface must be developed in an integrated fashion with underlying multimedia middleware, operating systems, networks, security, and multimedia devices.Fundamental information and properties of hypermedia document handling, multimedia security and various aspects of multimedia applications are presented, especially about document handling and their standards, programming of multimedia applications, design of multimedia information at human computer interfaces, multimedia security challenges such as encryption and watermarking, multimedia in education, as well as multimedia applications to assist preparation, processing and application of multimedia content.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Condizione: Neu. Neuware -Soft matter and biological systems pose many challenges for theoretical, experimental and computational research. From the computational point of view, these many-body systems cover variations in relevant time and length scales over many orders of magnitude. Indeed, the macroscopic properties of materials and complex fluids are ultimately to be deduced from the dynamics of the microsopic, molecular level. In these lectures, internationally renowned experts offer a tutorial presentation of novel approaches for bridging these space and time scales in realistic simulations. This volume addresses graduate students and nonspecialist researchers from related areas seeking a high-level but accessible introduction to the state of the art in soft matter simulations. 412 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -After Ole-Johan¿s retirement at the beginning of the new millennium, some of us had thought and talked about making a ¿Festschrift¿ in his honor. When Donald Knuth took the initiative by sending us the rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan,who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Buch. Condizione: Neu. Neuware -The experimental and theoretical investigation of nuclei far from the valley of beta-stability is the main subject of modern nuclear structure research. Although the most successful nuclear structure models are purely phenomenological, they nevertheless exploit basic properties of QCD at low energies. This book focuses on the current efforts to bridge the gap between phenomenology and the principles derived from QCD using the extended density functional approach which is based on the successful DFT methods to tackle similarly complex interacting systems in molecular and condensed matter physics. Conceived as a series of pedagogical lectures, this volume addresses researchers in the field as well as postgraduate students and non-specialized scientists from related areas who seek a high-level but accessible introduction to the subject. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 16th IFIP TC6/WG6.1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2004). This conference was held at St Anne¿s College, Oxford, UK, from March 17 to March 19, 2004. TestCom 2004 was the sixteenth in a series of IFIP-sponsored events that started in 1988. The previous events were held in Vancouver, Canada (1988); B- lin, Germany (1989); McLean, USA (1990); Leidschendam, Netherlands (1991); Montreal, Canada (1992); Pau, France (1993); Tokyo, Japan (1994); Evry, France (1995); Darmstadt, Germany (1996); Cheju Island, Korea (1997); Tomsk, R- sia (1998); Budapest, Hungary (1999); Ottawa, Canada (2000); Berlin, Germany (2002); and Sophia Antipolis, France (2003). TestCom was not held in 2001 since at this point the conference moved from autumn to spring. TestCom 2004 was organized by Brunel University, UK and LSR-IMAG, France and was sponsored by IFIP. Support was also provided by the Engineering and Physical Sciences Research Council (EPSRC). We are grateful to the keynote speaker, Prof. Sir Tony Hoare, FRS, and our invited speakers for agreeing to address TestCom 2004.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed postproceedings of the 10th Annual International Workshop on Selected Areas in Cryptography, SAC 2003, held in Ottawa, Canada, in August 2003.The 25 revised full papers presented were carefully selected from 85 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on elliptic and hyperelliptic curves, side channel attacks, security protocols and applications, cryptanalysis, cryptographic primitives, stream ciphers, and efficient implementations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.