springer berlin heidelberg springer berlin heidelberg sep 2003 (273 risultati)

Taschenbuch. Condizione: Neu. Neuware -This is an introductory book to path integral methods in eld theories. It is aimed at graduate students and physicists who need a working knowledge of eld theory and its methods for applications in hadron, particle and nuclear physics. While teaching eld theory courses over the years I have found that many books on eld theory present the path integral methods used in only a very recipe-like way. On the other hand, specialized books on path integrals often contain many more details than are actually needed by non-specialists. I hope that this book here lls the gap. It provides enough information to actually follow all the arguments necessary for eld theoretical developments without, however, elaborating on the method as such and its mathema- cal intricacies. This book is ¿ in a way ¿ a technical companion to Fields, Symmetries, and Quarks by the present author. The reader of this book should have some knowledge of the relativistic equations of motion of ¿classical¿ quantum theory, but no prior knowledge of eld theory is assumed. The material in this book can be covered in a o- semester course with 3 hrs/week. It has evolved in many years of teaching this subject. I am grateful to my students for many helpful questions and comments and, in particular, to Frank Froemel for his help in preparing the gures in this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The German Conference on Arti cial Intelligence is a traditional and unique yearly event which brings together the German AI community and an increasing numberofinternationalguests.WhilenotasoldasIJCAI(which rsttookplace in 1969), KI2003 marks a tradition which o cially began in 1975 with a wor- hop of the working group ¿Kunstlic ¿ he Intelligenz¿ of GI. Actually, there was one important AI conference in Germany before this, the ¿Fachtagung Cognitive Verfahren und Systeme¿ (Cognitive Methods and Systems) held in Hamburg in April 1973. Thisvolumecontainstheproceedingsofthe26thAnnualGermanConference on Arti cial Intelligence. For the technical program we had 90 submissions from 22 countries. Out of these contributions 18 papers were accepted for oral pres- tation and 24 papers for poster presentation. The acceptance criteria were set to meet high international standards. Poster presenters were given the additional opportunity to summarize their papers in three minute spotlight presentations. Oral, spotlight as well as the poster presentations were then scheduled in an interesting conference program, summarized in the book you have before you. 680 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book deals with selected modern aspects of artificially layered structures and bulk materials involving antiferromagnetic long-range order. Special emphasis is laid on the prototypical behavior of Ising-type model systems. They play a crucial role in the field of statistical physics and, in addition, contribute to the basic understanding of the exchange bias phenomenon in MBE-grown magnetic heterosystems. Throughout the book, particular attention is given to the interplay between experimental results and their theoretical description, ranging from the famous Lee-Yang theory of phase transitions to novel mechanisms of exchange bias.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -We are pleased to present the proceedings of the Third Workshop on Algorithms in Bioinformatics (WABI 2003), which took place on September 15¿20, 2003 in Budapest, Hungary. The WABI workshop was part of the four-conference meeting, ALGO 2003, which was locally organized by Dr. Jan ¿ os Csirik, Head of the Department of Computer Science, J¿ ozsef Attila University, Budapest. See conferences. hu/ALGO2003/algo_2003. htmfor more details. WABI focuses on discrete algorithms that address important problems in molecular biology, genomics, and genetics, that are founded on sound models, that are computationally e cient, that have been implemented and tested in simulations and on real datasets, and that provide new biological results. The workshopgoalsareto presentrecentresearchandidentify andexploredirections for future research. We received78 submissionsin responseto the call for papers and 36 were- cepted. We wouldliketo sincerelythank the authorsof allsubmitted papers and the conference participants. We especially thank a terri c program committee for their diligent and thorough work in reviewing and selecting the papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip. 388 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers presented at the International Workshop on Mathematical Methods, Models and Architectures for Computer Network Se- rity(MMM-ACNS2003)heldinSt.Petersburg,Russia,duringSeptember21¿23, 2003.TheworkshopwasorganizedbytheSt.PetersburgInstituteforInformatics and Automation of the Russian Academy of Sciences (SPIIRAS) in cooperation with the Russian Foundation for Basic Research (RFBR), the US Air Force - search Laboratory/Information Directorate (AFRL/IF) and the Air Force O ce of Scienti c Research (AFOSR), the O ce of Naval Research International Field O ce (USA), and Binghamton University (SUNY, USA). The rst international workshop of this series, MMM-ACNS2001, May 21¿ 23, 2001, St. Petersburg, Russia, hosted by the St. Petersburg Institute for - formatics and Automation, demonstrated the keen interest of the international researchcommunityinthetheoreticalaspectsofcomputernetworkandinfor- tion security and encouraged the establishment of an on-going series of brennial workshops. MMM-ACNS2003 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer networksecurityandtheroleofmathematicalissuesincontemporaryandfuture development of models of secure computing. 488 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Internet has nearly a ten year history as a global, public communication infrastructure. The two applications that have created the demand from private and business users have been the World-Wide Web and electronic mail. We have inthelast veyearsseentherapidlyemergingpopularityofpeer-to-peersharing of les, mostly for music, and to a more limited extent also the introduction of Internet telephony, television, and radio. These services place demands on the infrastructure that are higher with respect to quality and connectivity than web sur ng and e-mail. Mobile (cellular) telephony has rivaled the Internet with respect to growth during the last decade. The hitherto separate networks are now set to merge into a mobile Internet that will give wireless access to all Internet services. The ambition behind the Internet¿s continuing development is that it should serve as a general-purpose infrastructure and provide adequate support for all types of applications in terms of quality, connectivity, and cost. Thus the demands made on all Internet services must also be met by wireless access, and the circuit quality of a voice connection for mobile telephony must also be provided in the wiredIPnetworks.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22¿25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies. GPCE was created as an e ort to bring - getherresearchersworkingonboththeprogramminglanguagesandthesoftware engineeringsideofprogramgenerationandcomponentengineering. Thecommon theme of program generation and component engineering is the domain-speci c nature of both approaches. Depending on the characteristics of a domain, either a generative or a compositional technical solution may be appropriate. In just its second year, GPCE has shown a lot of promise for building a strong community. The response to the call for papers was excellent, with 62 submissions to the technical program, 2 of which were later withdrawn. Each paper received between three and ve reviews, many of them quite thorough and hopefully valuable to all authors. The electronic meeting allowed for - depthdiscussionsofallsubmissions,oftentoamuchgreaterextentthanpossible in a physical PC meeting. As a result, 21 papers were selected for presentation at the conference and are included in this volume, together with abstracts for the invited talks by Olivier Danvy and Peri Tarr. Of the accepted papers, 3 are co-authored by PC members (from a total of 5 PC submissions). We tried hard to ensure fairness and hold PC submissions to a high standard. The EDAS conference submission system was used to manage the paper submissions. Our EDAS installation was supported by Blair MacIntyre, who was particularlyhelpfulinresolvingtechnicalissueswiththesystem. 416 pp. Englisch.

Buch. Condizione: Neu. Neuware -Nowadays, newly developed software packages are often obsolete already at the time of their introduction. Object-oriented software development is a possible¿if not the only¿solution to this dilemma: applications are modeled as software objects that describe the properties and the behavior of real-world entities. Such objects are encapsulated, in that they hide¿behind a publicly known interface¿the complexity of their internal data structures and behaviors. This enables objects to be used in a wide range of program packages without needing to know the details of their internal implementation.Linking object-oriented modeled applications with a database places special demands on a database management system and development environment when the usual performance and semantics losses are to be avoided. This book provides a detailed description of the object model of the Caché postrelational database.This second, revised and expanded edition includes the many new features of Caché 5. There is a comprehensive description of the new Caché Studio with its improvements for developing and debugging applications as well as a whole new chapter about XML and SOAP based Web Services. The chapters about Java, ActiveX and the SQL manager have undergone a complete revision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 2003 Information Security Conference was the sixth in a series that started with the InformationSecurity Workshopin 1997.A distinct feature of this series is the wide coverage of topics with the aim of encouraging interaction between researchers in di erent aspects of information security. This trend continued in the program of this year¿s conference. There were 133 paper submissions to ISC 2003. From these submissions the 31papersintheseproceedingswereselectedbytheprogramcommittee,covering a wide range of technical areas. These papers are supplemented by two invited papers;athirdinvitedtalkwaspresentedattheconferencebutisnotrepresented by a written paper. We would like to extend our sincere thanks to all the authors that submitted papers to ISC 2003, and we hope that those whose papers were declined will be able to nd an alternative forum for their work. We are also very grateful to the three eminent invited speakers at the conference: Paul van Oorschot (Carleton University, Canada), Ueli Maurer (ETH Zur ¿ ich, Switzerland), and Andy Clark (Inforenz Limited, UK). We were fortunate to have an energetic team of experts who took onthe task of the program committee. Their names may be found overleaf, and we thank them warmly for their considerable e orts. This team was helped by an even larger number of individuals who reviewed papers in their particular areas of expertise. A list of these names is also provided, which we hope is complete. 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These are the proceedings of CHES 2003, the fth workshop on Cryptographic HardwareandEmbeddedSystems,heldinCologneonSeptember8¿10,2003.As with every previous workshop, there was a record number of submissions despite themuchearlierdeadlineinthisyear¿scallforpapers.Thisisaclearindication of the growing international importance of the scope of the conference and the relevance of the subject material to both industry and academia. The increasing competition for presenting at the conference has led to many excellent papers and a higher standard overall. From the 111 submissions, time constraintsmeantthatonly32couldbeaccepted.Theprogramcommitteewo- ed very hard to select the best. However, at the end of the review process there were a number of good papers ¿ which it would like to have included but for which, sadly, there was insu cient space. In addition to the accepted papers appearing in this volume, there were three invited presentations from Hans D- bertin (Ruhr-Universit¿ at Bochum, Germany), Adi Shamir (Weizmann Institute, Israel), and Frank Stajano (University of Cambridge, UK), and a panel d- cussion on the e ectiveness of current hardware and software countermeasures against side channel leakage in embedded cryptosystems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29¿October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i cation and testing of communication systems and distributed systems, and the veri cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume. 448 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume of the Lecture Notes in Computer Science series contains the set of papers accepted for the two co-located NGC/ICQT2003 workshops, i.e., the 5th COST 264 International Workshop on Networked Group Communications (NGC) and the 3rd - ternationalWorkshopon InternetChargingandQoSTechnology(ICQT),bothof which took place at the University of the Federal Armed Forces Munich (UniBwM), Germany and were hosted by the Information and Systems Laboratory, IIS. NGC2003wasthe fth workshopin a continuingseriesof highlysuccessfultech- cal meetings on group communications within the framework of the COST Action 264 ¿Networked Group Communications,¿ following previous events in Pisa, Italy, 1999, Stamford, USA, 2000, London, UK, 2001, and Boston, USA, 2002. ICQT2003 was the latest edition of a vivid workshop on Internet economics and charging technology; previous events took place in the framework of the Annual Meeting of the German - ciety for Computer Science (GI) and the Austrian Computer Society in 2001 in Vienna, Austria, and in Zuri ¿ ch, Switzerland in 2002, co-located with the QofIS2002 workshop. 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -After some time of early experience Web Services are moving themselves from a new highly fragmented technology to a piece of nowadays infrastructures which promise to address various current challenges. These include especially classical issues of integration and data in a heterogeneous environment. The Web Service technology provides an open and technology-agnostic interface, and furthermore propels new usage paradigms in distributed computing infrastructures like Grid Services. Successful adoption of Web Service technology relies on the de nition of interoperable architectural building blocks which can be integrated in existing softwarearchitectures,likeJ2EEorCORBAheritage. Interoperabilitywillsurely proveitselfasthecriticalsuccessfactoroftheWebServiceproliferation. Inorder to accomplish these interoperability various standardization bodies such as the W3C, UN or OASIS founded activities to create speci cations and products implementing these building blocks. As the sister event of the First International Conference on Web Services (ICWS 2003), which was held in Las Vegas, June 23 - 26, USA, has proven to be an excellent catalyst for research and collaboration, the 2003 International C- ference on Web Services - Europe (ICWS-Europe 2003) is expected to continue this trend. The topics of papers collected in this proceedings volume ranges from issues like modeling, development, deployment, publishing, as well as discovery, composition and collaboration, plus monitoring and analytical control. Addit- nal contributions summarize some research and development challenges of bu- ding Web Service solutions. Especially, some contributions present an emerging research direction, namely, Web Services collaboration. Moreover, some major research activities associated with facilitating extended business collaboration using Web services and semantic annotation are also covered. 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -ThesearetheproceedingsoftheGermanconferenceonMultiagentSystemTe- nologies(MATES2003),whichwasthe rstconferenceorganizedbytheGerman specialinterestgrouponDistributedArti cialIntelligencetopromotethetheory and application of agents and multiagent systems. Its goals were to cover the whole range from the theory to applications of agent and multiagent technology and re ect the national and international state of the art. The conference p- vided an excellent interdisciplinary forum for both researchers and members of business and industry to present and discuss the latest advances in theoretical work on and prototyped or elded systems of intelligent agents. Building on the sequence of agent-related events in Germany in the past, such as VDI 1998 (Chemnitz), VertIS 2001 (Bamberg), and KI 2002 (Aachen), MATES 2003 was exclusively devoted to agents and multiagent systems, and the cro- fertilization between agent theory and application. In addition, it built on the success of the past international workshop on ¿Agent Technology and Software Engineering (AgeS 2002)¿, and the international symposium on ¿Multiagent Systems,LargeComplexSystems,andE-Businesses¿(MALCEB2002).MATES 2003 was co-located with the fourth international Net.ObjectDays conference in an exciting event held in Erfurt during September 22¿24. The MATES 2003 conference featured a sequence of regular and invited talks of excellence given by leading experts in the eld. Among these were two k- notes, an invited talk and 18 paper presentations selected from 49 submissions. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -ICICS 2003, the Fifth International Conference on Information and C- munication Security, was held in Huhehaote city, Inner Mongolia, China, 10¿13 October 2003. Among the preceding conferences, ICICS¿97 was held in B- jing, China, ICICS¿99 in Sydney, Australia, ICICS 2001 in Xi¿an, China, and ICICS 2002,in Singapore.TheproceedingswerereleasedasVolumes1334,1726, 2229, and 2513 of the LNCS series of Springer-Verlag, respectively. ICICS 2003 was sponsored by the Chinese Academy of Sciences (CAS), the National Natural Science Foundation of China, and the China Computer F- eration. The conference was organized by the Engineering Research Center for Information Security Technology of the Chinese Academy of Sciences (ERCIST, CAS) in co-operation with the International Communications and Information Security Association (ICISA). The aim of the ICICS conferences has been to o er the attendees the - portunity to discuss the state-of-the-art technology in theoretical and practical aspects of information and communications security. The response to the Call forPaperswassurprising.WhenwewerepreparingtheconferencebetweenApril and May, China, including the conference venue, Huhehaote City, was ghting against SARS. Despite this 176 papers were submitted to the conference from 22 countries and regions, and after a competitive selection process, 37 papers from 14 countries and regions were accepted to appear in the proceedings and be presented at ICICS 2003. We would like to take this opportunity to thank all those who submitted papers to ICICS 2003 for their valued contribution to the conference. 436 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -AdHoc Networks are wireless, self-organizing systems formed by co-operating nodes, within communication range of each other which form temporary n- works. Their topology is dynamic, decentralized, and ever-changing, and the nodes may move around arbitrarily. The last few years have witnessed a wealth ofresearchideasonAdHocnetworkswhicharemovingrapidlyintoimplemented standards. Mobile computing, particularly wireless-enabled mobile computing, covers a large area of applications in mobile computing environments, networking, c- municationdevicesandsystems.Thisconferenceexposesexperimenta laswellas theoretical research in adhoc, mobile and wireless networks. The range of topics covered includes management of power consumption, architectures and pro- cols, quality of service, and security. The aim of the conference was to provide a unique opportunity for researchers and students in industry and academia to participate at an annual forum and share their research results and experiences. This conference followed the rst successful conference (held at the Fields - stituteinTorontoduringSeptember20¿21oflastyear),andwasheldattheH- iday Inn, Midtown in Montreal during October 8¿10, 2003. It was co-sponsored by the Mobile Computing and Networking Research Laboratory (LARIM) of the ¿ Ecole Polytechnique de Montr¿ eal, theSchool of Computer Science (SCS) of C- leton University, MITACS (Mathematics of Information Technology and C- plex Systems), and the Association for Computing Machinery (ACM). 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume of the Lecture Notes in Computer Science series provides a c- prehensive, state-of-the-art survey of recent advances in string processing and information retrieval. It includes invited and research papers presented at the 10th International Symposium on String Processing and Information Retrieval, SPIRE 2003, held in Manaus, Brazil. SPIRE 2003 received 54 full submissions from 17 countries, namely: - gentina(2), Australia(2), Brazil(9),Canada(1),Chile (4),Colombia(2),Czech Republic (1), Finland (10), France (1), Japan (2), Korea (5), Malaysia (1), P- tugal (2), Spain (6), Turkey (1), UK (1), USA (4) ¿ the numbers in parentheses indicate the number of submissions from that country. In the nontrivial task of selecting the papers to be published in these proceedings we were fortunate to count on a very international program committee with 43 members, represe- ing all continents but one. These people, in turn, used the help of 40 external referees. During the review processall but a few papers had four reviewsinstead of the usual three, and at the end 21 submissions were accepted to be p- lished as full papers, yielding an acceptance rate of about 38%. An additional set of six short papers was also accepted. The technical program spans over the two well-de ned scopes of SPIRE (string processing and information retrieval) with a number of papers also focusing on important application domains such as bioinformatics. SPIRE 2003 also features two invited speakers: Krishna Bharat (Google, Inc. ) and Joa ¿o Meidanis (State Univ. of Campinas and Scylla Bioinformatics).Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains 29 submitted and 2 invited papers presented at the tenth East-European Conference on Advances in Databases and Information Systems (ADVIS 2003), which took place in Dresden, Germany, September 3¿6, 2003. An international program committee of 42 members from 24 countries s- ected these contributions from 86 submissions. Eight additional contributions were selected as short papers and have been published in a separate volume of local proceedings by the organizing institution. For the rst time, ADBIS also included an industrial program consisting of nine submitted presentations by representatives of commercial companies active in the database market. ADBIS 2003 was the tenth scienti c event taking place under the acronym ADBIS, and thus marks a rst ¿jubilee¿ for this young, but by now we- established,seriesofconferences. ADBISwasfoundedbytheMoscowACMSIG- MOD Chapter in 1993. In 1994¿1996 ADBIS was held in the form of workshops organized by the MOSCOW ACM SIGMOD Chapter in collaboration with the RussianFoundationforBasicResearch. Inthisperiod,anumberofinternational guests were invited to Moscow every year in order to improve and consolidate contacts between the national research community in Russia and the research community worldwide. International program committees for ADBIS were es- blished in 1995, contributing to the quality of the selection process and thus of the conference contributions in general. In 1996, following discussions with Dr. 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -ProfessorDaniel Keim. 288 pp. Englisch.

Buch. Condizione: Neu. Neuware -It is now possible to gain competitive advantages based on consolidated R/3 system implementations. One of the most important optimisation aspects is a more consistent process integration in order to bring about fast, secure and cost effective business processes. This approach inevitably leads to Workflow Management and for SAP users to SAP® WebFlow®. This book introduces the topic of Workflow Management, gives an overview of the technical possibilities of SAP® WebFlow® and allows the reader to assess SAP workflow project risks and costs/benefits based on real life examples. Check lists and technical hints not only aid the reader in evaluating potential projects but also in the management of real life workflow project engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -DISC, the International Symposium on DIStributed Computing, is an annual conference for the presentation of research on the theory, design, analysis, implementation,andapplicationofdistributedsystemsandnetworks.DISC2003 was held on October 1¿3, 2003 in Sorrento, Italy. There were 91 regular papers submitted to DISC this year. These were read and evaluated by the program committee members, assisted by external reviewers. The quality of submissions was high and we were unable to accept many deserving papers. Twenty- ve papers were selected by the program c- mittee to be included in these proceedings. It is expected that these papers will be submitted, in a more polished form, to fully refereed scienti c journals. TheBestStudentPaperAwardwasselectedfromamongtheacceptedpapers that were not co-authored by any program committee members. This year, the award was given to Ittai Abraham for the paper ¿Probabilistic Quorums for Dynamic Systems¿, co-authored with Dahlia Malkhi. The support of the University of Salerno, Italy and, in particular, its Dip- timento di Informatica ed Applicazioni is gratefully acknowledged. The review process and the preparation of this volume were done using CyberChair. I also thank Denise Lobo for her excellent help with these matters. October 2003 Faith Ellen Fich Organizing Committee Luigi Catuogno, University of Salerno, Italy Stelvio Cimato, University of Salerno, Italy Roberto De Prisco, University of Salerno, Italy and Akamai Technologies, USA (Chair) Barbara Masucci, University of Salerno, Italy DISC2003wassponsoredbytheUniversityof Salerno, Italy and, inparticular,itsDipartimentodiInformatica ed Applicazioni. 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Separation of scales plays a fundamental role in the understanding of the dynamical behaviour of complex systems in physics and other natural sciences. A prominent example is the Born-Oppenheimer approximation in molecular dynamics. This book focuses on a recent approach to adiabatic perturbation theory, which emphasizes the role of effective equations of motion and the separation of the adiabatic limit from the semiclassical limit.A detailed introduction gives an overview of the subject and makes the later chapters accessible also to readers less familiar with the material. Although the general mathematical theory based on pseudodifferential calculus is presented in detail, there is an emphasis on concrete and relevant examples from physics. Applications range from molecular dynamics to the dynamics of electrons in a crystal and from the quantum mechanics of partially confined systems to Dirac particles and nonrelativistic QED. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The purpose of VLBV 2003 was to provide an international forum for the d- cussion of the state of the art of visual content processing techniques, standards, and applications covering areas such as: video/image analysis, representation and coding, communications and delivery, consumption, synthesis, protection, and adaptation. The topics of special interest include all the areas relevant to image communications nowadays, from representation and coding to content classi cation, adaptation, and personalization. A meeting covering such a wide range of topics takes many years to develop. So, please follow a brief story of the evolution of this relevant and specialized forum and of its adaptation to the prevailing interests along time. At the beginning of 1993, the idea of a specialized workshop to discuss topics in advanced image communications came in Lausanne, Switzerland, at a m- ting of the steering committee of the International Picture Coding Symposium. Therefore, the so-called International Workshop on Coding Techniques for Very Low Bit-rate Video VLBV was born as low bit-rate research was considered to be the leading edge. The rst workshop was held at the University of Illinois at Urbana-Champaign, USA, in 1993; the second at the University of Essex in Colchester, UK, in April 1994; the third at NTT in Tokyo, Japan, in November 1995;thefourthattheUniversityofLink¿ oping,Sweden,inJuly1997;the fthin Urbana (again) in October 1998. Until this last workshop, VLBV life was closely tied with MPEG-4, that is to low bit-rate research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of Bertinoro, Italy, on October 13¿15 2003. The center is composed of three large historical and monumental buildings not far from one another, forming a united complex on the top of the built up area of the ancient town of Bertinoro. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L¿Aquila (1992), Ravello (1995), Prato (1998), and Torino (2001). The conference aims at bringing together computer scientists, expecially youngresearchers,tofostercooperationandexchangeideasandresults.Itsmain topicsinclude:analysisanddesignofalgorithms,datatypesanddatastructures, theory of logical design and layout, computability, complexity, automata, s- bolic and algebraic computation, security, cryptography, speci cation and ve- cation, formal languages, foundations of functional programming, foundations of logic programming, term-rewriting, semantics, type theory, new computing paradigms, parallel and distributed computation, theory of concurrency, theory of databases, theory of knowledge bases, theory of robotics. The program committee, consisting of 14 members, considered 65 papers and selected 27 for presentation. These papers were selected on the basis of origin- ity, quality, and relevance to theoretical computer science. These proceedings include the revised versions of the 27 accepted papers and the invited talks by Marios Mavronicolas (Extreme Nash Equilibria), Martin Hofmann (Certi cation of Memory Usage), and G¿ erard Boudol (On Programming Models for Mobility). 412 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The proceedings of the 14th Italian Workshop on Neural Nets WIRN VIETRI 2003 are collected in this volume. The workshop, held in Vietri sul Mare (SA) June 4¿7, 2003 was jointly organized by the International Institute for Advanced Scienti c Studies ¿Eduardo R. Caianiellö (IIASS) and the Societ` a Italiana Reti Neuroniche(SIREN). Thevolumecoversup-to-datetopicsonneuralnetsand- lated elds. It contains invited review papers and selected original contributions presented in either oral or poster sessions by both Italian and non-Italian - searchers. The contributions have been assembled, for reading convenience, into four sections: Models, Architectures and Algorithms, Image and Signal Proce- ing, and Applications, plus two special sessions. The latter gives a fresh persp- tive in the elds of ¿Bioinformatics and Statistics¿ and ¿Formats Knowledge: Words, Images, Narratives¿, sharing the technical languages of the involved d- ciplines. The editors would like to thank the invited speakers and all the c- tributors whose highly quali ed papers contributed towards the success of the workshop. Finally, special thanks go to the referees for their accurate work. June 2003 Bruno Apolloni Maria Marinaro Roberto Tagliaferri Organizing Scienti c Committee B. Apolloni (Univ. Milano), A. Bertoni (Univ. Milano), N. A. Borghese (Univ. Milano),D. D. Caviglia(Univ. Genova),P. Campadelli(Univ. Milano),A. Chella (Univ. Palermo),A. Colla(ELSAGGenova),A. Esposito(I. I. A. S. S. ),F. M. Fr- tale Mascioli (Univ. Roma), C. Furlanello (ITC-IRST Trento), S. Giove (Univ. Venezia), M. Gori (Univ. Siena), M. Marinaro (Univ. Salerno), F. Masulli (Univ. Pisa), C. Morabito (Univ. Reggio Calabria), P. Morasso (Univ. Genova), G. 392 pp. Englisch.

Buch. Condizione: Neu. Neuware -The Screen Design Manual provides designers of interactive media with a practical working guide for preparing and presenting information that is suitable for both their target groups and the media they are using. It highlights background information and relationships, clarifying them with examples, and encourages the further development of the language of digital media. In addition to the basics of perception and learning psychology, ergonomics, communication theory, imagery research, and aesthetics, the book also considers design navigation and orientation elements. Guidelines and checklists, along with the comprehensive design of the book, support the transfer of information into practice.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -opportunities for de ning and enacting business relations between partners. The question is how information systems can help in nding business partners, cr- tingnewservices,andenactingthosenewservices. 420 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Focuses on a recent approach to adiabatic perturbation theory, which emphasizes the role of effective equations of motion and the separation of the adiabatic limit from the semiclassical limit. A detailed introduction gives an overview of the subject and makes the later chapters accessible also to readers less familiar with the material. Although the general mathematical theory based on pseudodifferential calculus is presented in detail, there is an emphasis on concrete and relevant examples from physics. Applications range from molecular dynamics to the dynamics of electrons in a crystal and from the quantum mechanics of partially confined systems to Dirac particles and nonrelativistic QED. 248 pp. Englisch.