springer springer mär 2002 (225 risultati)

Taschenbuch. Condizione: Neu. Neuware - Environmental history - the history of the relationship between people and the natural world - is a dynamic and increasingly important field. In An Environmental History of Twentieth-Century Britain, John Sheail breaks new ground in illustrating how some of the most pressing concerns came to be recognised, and a response made. Much use is made of archival sources in tracing a number of key issues, including:- Management of change by central and local government- The manner in which natural processes were incorporated in projects to protect personal and public health, and ultimately environmental health- New beginnings in forestry- The emergence of a third force alongside farming and forestry in the countryside- Management of a transport revolution, and mitigation of environmental hazardsSuch instances of policy-making are reviewed within the wider context of a growing awareness, both on the part of government and business, of the role of environmental issues in the creation of wealth and social well-being for us all. An Environmental History of Twentieth-Century Britain is essential reading for all those concerned with these issues.

Taschenbuch. Condizione: Neu. Neuware - A compendium representing the current state of the art in the modelling, simulation and physics of the interaction of hydrogen and helium with plasma facing materials in fusion reactors. This is the topic that will determine the success of the production of energy by future Tokamak reactors and it is here discussed by the world's experts. Topics covered are recycling of hydrogen isotopes; wall fuelling and wall pumping; active control of hydrogen recycling; hydrogen and helium behaviour in solids and liquid metals; and databases for recycling.

Buch. Condizione: Neu. Neuware - Scholars of different schools have extensively analyzed world systems as networks of communication under the fashionable heading `globalization.' Our collected new research pushes the argument one step further. Globalization is not a homogenization of all social life on earth. It is a heterogeneous process that connects the global and the local on different levels. To understand these contemporary developments this book employs innovative concepts, strategies of research, and explanations. Globalization is a metaphor for different borderstructures, new borderlines, and conditions of membership, which emerge in a global world-system. As a world-system expands it incorporates new territories and new peoples. The process of incorporation creates frontiers or boundaries of the world-system. These frontiers or boundary zones are the locus of resistance to incorporation, ethnogenesis, ethnic transformation, and ethnocide.

Buch. Condizione: Neu. Neuware - IT Governance is finally getting the Board's and top management's attention. The value that IT needs to return and the associated risks that need to be managed, have become so important in many industries that enterprise survival depends on it. Information integrity is a significant part of the IT Governance challenge. Among other things, this conference will explore how Information Integrity contributes to the overall control and governance frameworks that enterprises need to put in place for IT to deliver business value and for corporate officers to be comfortable about the IT risks the enterprise faces. The goals for this international working conference are to find answers to the following questions: - what precisely do business managers need in order to have confidence in the integrity of their information systems and their data; - what is the status quo of research and development in this area; - where are the gaps between business needs on the one hand and research I development on the other; what needs to be done to bridge these gaps. The contributions have been divided in the following sections: - Refereed papers. These are papers that have been selected through a blind refereeing process by an international programme committee. - Invited papers. Well known experts present practice and research papers upon invitation by the programme committee. - Tutorial. Two papers describe the background, status quo and future development of CobiT as well as a case of an implementation of Co biT.

Buch. Condizione: Neu. Neuware - This book is the proceedings of the Falk Symposium No. 122 on 'Inflammatory Bowel Disease - A Clinical Case Approach to Pathophysiology, Diagnosis, and Treatment', held in Bologna, Italy, on June 22-23, 2001, and deals with some major issues concerning Genetics of IBD, Pediatrics in IBD, Early vs Late IBD, Bacteria and Gut Inflammation, Refractory CD, Fistulizing CD, Refractory Distal Colitis, and Complications of Ileal-Pouch Anastomosis. The main aim of the meeting was to highlight the value of an integrated clinical approach and the importance of clinical research in developing innovative methods of treatment.

Buch. Condizione: Neu. Neuware - The principle aim of this book, entitled 'Operations ResearchlManagement Science at Work', is to provide a summary snapshot of recent research in and applications of Operations Research (OR)/ Management Science (MS) in the Asia-pacific region. The book emphasises research having potential industry interest, covering a wide range of topics from major fields of ORIMS in a systematic and coherent fashion and shows the elegance of their implementations. The book is intended to serve the needs of applied researchers who are interested in applications of ORIMS algorithms. The book includes descriptions of many real-world problems together with their solutions; we hope the reader will appreciate their applicability. The Asia-pacific region has embraced business applications of decision support systems in recent years. Given that many of these applications are unaffected by legacy models or systems it has meant that state of the art ORIMS techniques have been embedded in them. Moreover, the increased use of OR/MS techniques in this region provides opportunities for identifying methodological advances that are taking place as a result of the unique nature of the applications. These also provide opportunities for exploring synergies and interfaces that exist between OR/MS, from the point of view of applications as well as theoretical advances.

Buch. Condizione: Neu. Neuware - Introduction or Why I wrote this book N the fallof 1997 a dedicated troff user e-rnalled me the macros he used to typeset his books. 1took one look inside his fileand thought, 'I can do I this;It'sjustcode. ' Asan experiment1spent aweekand wrote a Cprogram and troff macros which formatted and typeset a membership directory for a scholarly society with approximately 2,000 members. When 1 was done, I could enter two commands, and my program and troff would convert raw membershipdata into 200 pages ofPostScriptin 35 seconds. Previously, it had taken me several days to prepare camera-readycopy for the directory using a word processor. For completeness 1sat down and tried to write 1EXmacros for the typesetting. 1failed. Although ninety-five percent of my macros worked, I was unable to prepare the columns the project required. As my frustration grew, 1began this book-mentally, in myhead-as an answer to the question, 'Why is 'lEX so hard to learn ' Why use Tgx Lest you accuse me of the old horse and cart problem, 1should address the question, 'Why use 1EX at all ' before 1explain why 'lEX is hard. Iuse 'lEXfor the followingreasons. Itisstable, fast, free, and it uses ASCII. Ofcourse, the most important reason is: 'lEX does a fantastic job. Bystable, I mean it is not likely to change in the next 10 years (much less the next one or two), and it is free of bugs. Both ofthese are important.

Buch. Condizione: Neu. Neuware - The purpose of the 3rd International Conference on Enterprise Information Systems (ICEIS) was to bring together researchers, engineers, and practitioners interested in the advances and business applications of information systems. The research papers published here have been carefully selected from those presented at the conference, and focus on real world applications covering four main themes: database and information systems integration; artificial intelligence and decision support systems; information systems analysis and specification; and internet computing and electronic commerce. Audience: This book will be of interest to information technology professionals, especially those working on systems integration, databases, decision support systems, or electronic commerce. It will also be of use to middle managers who need to work with information systems and require knowledge of current trends in development methods and applications.

Buch. Condizione: Neu. Neuware - Geostatistics Rio 2000 includes fifteen contributions, five of which are on applications in petroleum science and ten are on mining geostatistics. These contributions were presented at the 31st International Geological Congress, held in Rio de Janeiro, Brazil, from 6-17 August, 2000. Stochastic simulation was the key theme of these case studies. A wide range of methods was used: truncated gaussian and plurigaussian, SIS and SGS, boolean methods and multi-point attractors. Audience: The volume will be of value to scientists, researchers, and professionals in geology, mining engineering, petroleum engineering, mathematics and statistics, as well as those working for mining and oil companies.

Buch. Condizione: Neu. Neuware - Signal Processing for Wireless Communication Systems brings together in one place important contributions and up-to-date research results in this fast moving area. The Contributors to this work were selected from leading researchers and practitioners in this field.The book's 18 chapters are divided into three areas: systems, Networks, and Implementation Issues; Channel Estimation and Equalization; and Multiuser Detection. The Work, originally published as Volume 30, Numbers 1-3 of the Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology, will be valuable to anyone working or researching in the field of wireless communication systems. It serves as an excellent reference, providing insight into some of the most challenging issues being examined today.

Buch. Condizione: Neu. Neuware - Economy, society, and environment comprise the three main dimensions of sustainable development but too often they are considered separately. This book, by comparison, examines the interaction of the three dimensions in the context of rural systems, embracing a wide range of topics, including globalisation and reregulation in sustainable food production, conservation and sustainability, the development of sustainable rural communities, and sustainable rural-urban interaction. An international team of geographers, drawn from the International Geographical Union's Commission on The Sustainability of Rural Systems, summarises the basis of unsustainable rural development in these topics, the remedial policies being pursued, and their own evaluations of the policies. Rather than deal just with generalisations, their analyses are illustrated by detailed case studies drawn from a variety of rural systems in both developed and developing countries.

Buch. Condizione: Neu. Neuware - In various branches of fluid mechanics, our understanding is inhibited by the presence of turbulence. Although many experimental and theoretical studies have significantly helped to increase our physical understanding, a comp- hensive and predictive theory of turbulent flows has not yet been established. Therefore, the prediction of turbulent flow relies heavily on simulation stra- gies. The development of reliable methods for turbulent flow computation will have a significant impact on a variety of technological advancements. These range from aircraft and car design, to turbomachinery, combustors, and process engineering. Moreover, simulation approaches are important in materials - sign, prediction of biologically relevant flows, and also significantly contribute to the understanding of environmental processes including weather and climate forecasting. The material that is compiled in this book presents a coherent account of contemporary computational approaches for turbulent flows. It aims to p- vide the reader with information about the current state of the art as well as to stimulate directions for future research and development. The book puts part- ular emphasis on computational methods for incompressible and compressible turbulent flows as well as on methods for analysing and quantifying nume- cal errors in turbulent flow computations. In addition, it presents turbulence modelling approaches in the context of large eddy simulation, and unfolds the challenges in the field of simulations for multiphase flows and computational fluid dynamics (CFD) of engineering flows in complex geometries. Apart from reviewing main research developments, new material is also included in many of the chapters.

Buch. Condizione: Neu. Neuware - Testing of Communicating Systems XIV presents the latest international results in both the theory and industrial practice of the testing of communicating systems, ranging from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing, Internet protocols and applications, and multimedia and distributed systems in general.

Buch. Condizione: Neu. Neuware - Data Access and Storage Management for Embedded Programmable Processors gives an overview of the state-of-the-art in system-level data access and storage management for embedded programmable processors. The targeted application domain covers complex embedded real-time multi-media and communication applications. Many of these applications are data-dominated in the sense that their cost related aspects, namely power consumption and footprint are heavily influenced (if not dominated) by the data access and storage aspects. The material is mainly based on research at IMEC in this area in the period 1996-2001. In order to deal with the stringent timing requirements and the data dominated characteristics of this domain, we have adopted a target architecture style that is compatible with modern embedded processors, and we have developed a systematic step-wise methodology to make the exploration and optimization of such applications feasible in a source-to-source precompilation approach.

Buch. Condizione: Neu. Neuware - Modelling and Forecasting Financial Data brings together a coherent and accessible set of chapters on recent research results on this topic. To make such methods readily useful in practice, the contributors to this volume have agreed to make available to readers upon request all computer programs used to implement the methods discussed in their respective chapters. Modelling and Forecasting Financial Data is a valuable resource for researchers and graduate students studying complex systems in finance, biology, and physics, as well as those applying such methods to nonlinear time series analysis and signal processing.

Buch. Condizione: Neu. Neuware - The study of the chemistry of metal alkoxides, which began more than 100 years ago, is now experiencing a renaissance connected with the broad application of these compounds as molecular precursors in the synthesis of materials of modern technology based on simple and complex oxides. The solution of this problem is occupying a wide circle of inorganic chemists, technologists specializing in fine synthesis in nonaqueous media, and those working on the production of films and coatings. The application of metal alkoxides in the first step of sol-gel technology (based on hydrolysis of alk- ides with subsequent dehydration of the hydrated oxides formed) can benefit from this monograph covering the modern literature devoted to all the steps of this process. The information on chemistry of metal alkoxides has been reported in a number of reviews (devoted to the single groups of derivatives) and numerous original publications. The only other monograph - Metal Alkoxides by D. C. Bradley, R. C. Mehrotra and D. P. Gaur was published in 1978 (A- demic Press, London) and, unfortunately, does not reflect modern findings.

Buch. Condizione: Neu. Neuware - The importance of mycorrhiza for the improvement of plant growth is increasingly being realised in Agriculture and Forestry and several mycorrhizal fungi have been commercially recognised for the purpose. The aim of this book is to describe the various techniques used to study the mycorrhizal biology. Problems with preparing such a book are many. Mainly mailing of manuscripts to and from authors resulted in irregular and final editing. Every effort was made not to change the peer review original manuscript to ensure accuracy. Our sole aims is to communicate to the greatest extent possible a current world need in mycorrhizal research. Plant productivity is regulated by microbial associations established in the plant root systems. The interactions of microorganisms and plant roots are especially important in providing nutritional requirements of the plant and the associated microorganisms. Plant growth and development are controlled largely by the soil environment in the root region -rhizosphere. This is a very complex environment in which the effects of the plant on soil microorganisms and the effects of microorganisms on the plant are interacting, interdependent and highly complex. Plant root exudates and breakdown products feed the microbes and the microbe in tum often benefit the plant. Mycorrhizal fungi are important tools for increasing growth, development and yield of economically important plants, they play important role of biofertilizer which can help establish plants in nutrient deficient soils, particularly phosphorus deficient soils, arid, semi-arid and waste lands.

Taschenbuch. Condizione: Neu. Neuware - In den empirischen Sozialwissenschaften dienen die Methoden und Techniken der Statistik der Auswertung von Ergebnissen empirischer Untersuchungen und ermöglicht so die Beschreibung der quantitiativen Eigenschaften einer beobachteten und vollständig erfassten Gruppe. Das vorliegende Buch beschäftigt sich nahezu ausschließlich mit deskriptiver Statistik, welche sich mit der Aufbereitung und Beschreibung von Datenmengen und deren Verteilung befasst. Nach einer ausführlichen und grundlegenden Einführung in das Thema werden die wichtigsten Häufigkeitsverteilungen sowie die Maßzahlen zu deren Beschreibung dargestellt. Mit der linearen Einfachregression wird zuletzt der lineare funktionale Zusammenhang zweier Variabler erläutert. Zu jedem Kapitel gibt es Beispiele, Übungsaufgaben und eine Zusammenfassung. Im Anhang befinden sich mehrere Klausuren mit Lösungen, die in den letzten Jahren an der TU Dresden benutzt wurden.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Consumption takes place in settings or environments which have both direct and indirect effects on its dynamic path. Direct effects of environments on activities in consuming can occur through constraints that environments impose. Environment can also have indirect effects on consumption through enduring modification of internalized constructs which enter heuristics for decisions on activities. The importance of environments to consumption is increased by the definitional dependence of status on the judgements of others. This study examines microprocessing in consumer activities for status as it interacts with structure in the environments of these activities. The importance of environments in status activities provides the basis for a seperate, but related inquiry into observed differences in the form they take across societies. Conjecture on the consequences of differences in the structure of environments for consumption that typify a society is studied in the narrative statements by members of comparison societies and in the content of print advertising in these societies. Evolutionary processes which could establish observed differences in structure across societies are also considered in both their systematic and random components. I review models of random drift and stochastic resonance as candidate forms for generating observed structure in environments. Directions for the subsequent study of status through consumption are discussed.P Introduction: Status Through Consumption; Knowledge Use in Nonwork Activities for Status; Interactions of Consumer Microprocessing and Structured Environments: Activity Feedback and the Stability of Structure; Awards and Honors Systems in Structured Environments: Cross Societal Comparisons of Narrative Statements on Consuming for Status; Comparative Analyses of Consumption Appeals in the Print Advertising of the USA and France, 1955-1991 Random Process in the Generation of Structured Environments; Overview and directions for Study of Status Through Consumption. 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second Hellenic Conference on Artificial Intelligence, SETN 2002, held in Thessaloniki, Greece, in April 2002.The 42 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on knowledge representation and reasoning, logic programming and constraint satisfaction, planning and scheduling, natural language processing, human-computer interaction, machine learning, intelligent Internet and multiagent systems, and intelligent applications. 532 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti cial Intelligence, Logic Programming, and - erations Research. Key techniques are constraint propagation and heuristic search. Constraint Programming is based on an abstraction that decomposes a problem solver into a reusable constraint engine and a declarative program modeling the problem. The constraint engine implements the required pr- agation and search algorithms. It can be realized as a library for a general purpose programming language (e.g. C++), as an extension of an existing language (e.g. Prolog), or as a system with its own dedicated language. The present book is concerned with the architecture and implementation of constraint engines. It presents a new, concurrent architecture that is far superior to the sequential architecture underlying Prolog. The new archit- ture is based on concurrent search with copying and recomputation rather than sequential search with trailing and backtracking. One advantage of the concurrent approach is that it accommodates any search strategy. Furth- more, it considerably simpli es the implementation of constraint propagation algorithms since it eliminates the need to account for trailing and backtra- ing. The book investigates an expressive generalization of the concurrent - chitecture that accommodates propagation-preserving combinators (known as deep guard combinators) for negation, disjunction, implication, and re- cation of constraint propagators. Such combinators are beyond the scope of Prolog's technology. In the concurrent approach they can be obtained with a re ective encapsulation primitive. 188 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers selected for presentation at CEEMAS 2001. The wo- shop was the fourth in a series of international conferences devoted to autonomous agents and multi-agent systems organized in Central-Eastern Europe. Its predecessors wereCEEMAS'99andDAIMAS'97,whichtookplaceinSt. Petersburg,Russia,aswell as DIMAS'95, which took place in Cracow, Poland. Organizers of all these events made efforts to make them wide-open to participants from all over the world. This would have been impossible without some help from friendly centers in the Czech Republic, England, France, Japan, and The Netherlands. DIMAS'95 featured papers from 15 countries, while CEEMAS'99 from 18 co- tries. A total of 61 papers were submitted to CEEMAS 2001 from 17 countries. Out of these papers, 31 were selected for regular presentation, while 14 were quali ed as posters. The motto of the meeting was 'Diversity is the core of multi-agent systems'. This variety of subjects was clearly visible in the CEEMAS 2001 program, addressing the following major areas of multi-agent systems: - Organizations and social aspects of multi-agent systems - Agent and multi-agent system architectures, models, and formalisms - Communication languages, protocols, and negotiation - Applications of multi-agent systems - Agent and multi-agent development tools - Theoretical foundations of DistributedAI - Learning in multi-agent systems The richness of workshop subjects was ensured thanks to the CEEMAS 2001 contributing authors as well as the keynote speakers. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumerecordstheproceedingsofthe fthEuropeanconferenceonGenetic Programming(EuroGP2002)whichtookplaceinKinsale,IrelandonApril3-5, 2002, continuing an established tradition of yearly meetings among the most prominent researchers on Genetic Programming in Europe and beyond; their proceedings have always been published in the LNCS series by Springer-Verlag. EuroGP began life in Paris in 1998 as an international workshop (April 14- 15, LNCS 1391); a second workshop took place in G oteborg in 1999 (May 26- 27, LNCS 1598). Its rst appearance as a conference was in the year 2000 in Edinburgh (April 15-16, LNCS 1802), followed by last year's conference held at Lake Como (April 18-19, LNCS 2038). Since the beginning, EuroGP has been co-located with a series of specialist workshops on applications of evolutionary algorithms (LNCS 1468, 1596, 1803, and 2037). In keeping with that tradition, the EvoWorkshops were also held in Kinsale this year at the same time (LNCS 2279). Genetic Programming (GP) is a branch of Evolutionary Computation in which populations of computer programs are made to evolve and adapt to so- ing a particular problem or task by a process that draws its inspiration from Biology and Darwinian evolution. GP is a very versatile technique, which has been applied to a wide range of tasks, as a quick inspection of the 32 papers in these proceedings will easily reveal: economics, robotics, engineering, statistics, pharmacology,electronics,and nancearebutsomeofthedomainsinwhichthey havebeenemployed.AlthoughtherateofapplicationofGPtoproblemsisst- dily growing, this conference is characterized by its concern with the theoretical foundations of GP: investigation of these issues is attaining an ever increasing depth and maturity. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This was the rst conference of a new series devoted to the e ective handling of soft issues in the design, development, and operation of computing systems. The conference brought together contributors from a range of relevant disciplines, including arti cial intelligence, information systems, software engineering, and systems engineering. The keynote speakers, Piero Bonissone, Ray Paul, Sir Tony Hoare, Michael Jackson, and Derek McAuley have interests and experience that collectively span all of these elds. Soft issues involve information or knowledge that is uncertain, incomplete, or contradictory. Examples of where such issues arise include: - requirements management and software quality control in software engine- ing, - con ict or multiple sources information management in information systems, - decision making/prediction in business management systems, - quality control in networks and user services in telecommunications, - traditional human rationality modeling in arti cial intelligence, - data analysis in machine learning and data mining, - control management in engineering. The concept of dealing with uncertainty became prominent in the arti cial intel- gence community nearly 20 years ago, when researchers realized that addressing uncertainty was an essential part of representing and reasoning about human knowledge in intelligent systems. The main methodologies that have emerged in this area are soft computing and computational intelligence. 376 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The monograph gives a theoretical explanation of observed cooperative behavior in common pool situations. The incentives for cooperative decision making are investigated by means of a cooperative game theoretical framework. In a first step core existence results are worked out. Whereas general core existence results provide us with an answer for mutual cooperation, nothing can be said how strong these incentives and how stable these cooperative agreements are. To clarify these questions the convexity property for common pool TU-games in scrutinized in a second step. It is proved that the convexity property holds for a large subclass of symmetrical as well as asymmetrical cooperative common pool games. Core existence and the convexity results provide us with a theoretical explanation to bridge the gap between the observation in field studies for cooperation and the noncooperative prediction that the common pool resource will be overused and perhaps endangered. 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Annually sponsored by the Korea Institute of Information Security and Crypt- ogy (KIISC), the fourth International Conference on Information Security and Cryptology (ICISC2001) was held at the 63 Building in Seoul, Korea, Dec- ber 6-7, 2001. The 63 Building, consisting of 60 stories above the ground and 3 stories underground, stands soaring up into the sky on the island of Youido, the Manhattan of Korea, and ranks by far the tallest of all buildings in the country. The program committee received 102 submissions from 17 countries and regions (Australia, Belgium, China, Denmark, France, Germany, India, Italy, Japan, Korea, The Netherlands, Spain, Taiwan, Thailand, Vietnam, UK, and USA), of which 32 were selected for presentation in 8 sessions. All submissions were anonymously reviewed by at least 3 experts in the relevant areas. There was one invited talk by David Pointcheval (ENS, France) on 'Practical Security in Public-Key Cryptography'. We are very grateful to all the program committee members who devoted much e ort and valuable time to reading and selecting the papers. These p- ceedingscontainthe nalversionofeachpaperrevisedaftertheconference.Since the revised versions were not checked by the program committee rigorously, the authors must bear full responsibility for the contents of their papers. 476 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS2002wasthe fthinstanceoftheEuropeanJointConferencesonTheory 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 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which 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 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 the emphasis on software is not intended to be exclusive. 348 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of three workshops on the application of evolutionary programming and algorithms in various domains; these workshops were held in conjunction with the 5th European Conference on Genetic Programming, EuroGP 2002, in Kinsale, Ireland, in April 2002.The 33 revised full papers presented were carefully reviewed and selected by the respective program committees. In accordance with the three workshops EvoCOP, EvoIASP, and EvoSTIM/EvoPLAN, the papers are organized in topical sections on combinatorial optimization problems; image analysis and signal processing; and scheduling, timetabling, and AI planning. 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy. Like its predecessors, organized in - nich (1996), Amsterdam (1998), and Nancy (2000), FroCoS 2002 o ered a c- mon forum for the presentation and discussion of research activities on the c- bination and integration of systems in various areas of computer science, such as logic, computation, program development and proof, arti cial intelligence, mechanical veri cation, and symbolic computation. There were 35 submissions of high quality, authored by researchers from countries including Australia, Belgium, Brazil, Finland, France, Germany, Italy, Portugal, Spain, Singapore, United Kingdom, United States of America, and - goslavia. All the submissions were thoroughly evaluated on the basis of at least three referee reports, and an electronic program committee meeting was held through the Internet. The program committee selected 14 research contributions. The topics covered by the selected papers include: combination of logics, c- bination of constraint solving techniques, combination of decision procedures, combination problems in veri cation, modular properties of theorem proving, integration of decision procedures and other solving processes into constraint programming and deduction systems. 272 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The annual colloquium on information retrieval research provides an opportunity for both new and established researchers to present papers describing work in progress or nal results. This colloquium was established by the BCS IRSG(B- tish Computer Society Information Retrieval Specialist Group), and named the Annual Colloquium on Information Retrieval Research. Recently, the location of the colloquium has alternated between the United Kingdom and continental Europe. To re ect the growing European orientation of the event, the colloquium was renamed 'European Annual Colloquium on Information Retrieval Research' from 2001. Since the inception of the colloquium in 1979 the event has been hosted in the city of Glasgow on four separate occasions. However, this was the rst time that the organization of the colloquium had been jointly undertaken by three separate computer and information science departments; an indication of the collaborative nature and diversity of IR research within the universities of the West of Scotland. The organizers of ECIR 2002 saw a sharp increase in the number of go- quality submissions in answer to the call for papers over previous years and as such 52 submitted papers were each allocated 3 members of the program committee for double blind review of the manuscripts. A total of 23 papers were eventually selected for oral presentation at the colloquium in Glasgow which gave an acceptance rate of less than 45% and ensured a very high standard of the papers presented. 380 pp. Englisch.