springer berlin heidelberg sep 2001 (165 results)

Taschenbuch. Condition: Neu. Neuware -Dieses Lehrbuch hat sich zum Standardwerk in der Ausbildung von Ingenieuren, Naturwissenschaftlern und Informatikern entwickelt. Hervorgegangen aus langjähriger Lehrtätigkeit der Autoren an der Technischen Universität in München, bietet es Studenten technischer Disziplinen eine gründliche Einführung in alle relevanten Themen. Es stellt konkrete und studentenfreundliche Rechenschemata zur Verfügung, die hervorragend zur Prüfungsvorbereitung geeignet sind. Ideal geeignet als Vorlesungsbegleiter, Repetitorium für Prüfungen und Nachschlagewerk in der Praxis.'. Eine charakteristische Besonderheit dieses Lehrbuches sind die zahlreichen und äußerst vielseitigen Anwendungsbeispiele aus Physik, Chemie, Biologie und vor allem der Mechanik und Elektrotechnik, mit denen die eingeführten Begriffe und hergeleiteten Formeln regelmäßig illustriert werden.' GAMM Mittgn. 472 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Aus den Besprechungen: 'Ein Lehrbuch, wie ich es mir als Student gewünscht hätte: Nahezu jeder Begriff wird vor seiner Einführung ausführlich motiviert, man findet eine Unmenge.von hervorragenden Figuren, jedes Kapitel enthält sowohl eine Einleitung, in der skizziert wird, 'wohin der Hase laufen soll', als auch eine Rückschau mit den wichtigsten Ergebnissen. Man findet reichlich Übungen (mit Lösungshinweisen) sowie multiple choice tests (mit Lösungen) am Ende eines jeden Kapitels. Der Stil ist locker und unterhaltsam und unterscheidet sich wohltuend von den üblichen trockenen Mathematik-Lehrbüchern.Ein hervorragendes Lehrbuch, dessen Lektüre nicht nur für Physiker und Ingenieure nützlich, sondern auch für Mathematikstudenten eine willkommene Ergänzung zum 'täglichen Brot' sein dürfte'. Zentralblatt für Mathematik 432 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Das Standardwerk für Ingenieure, Naturwissenschaftler und Informatiker jetzt in der 6. Auflage: Band 1 des zweibändigen Lehrbuchs Höhere Mathematik. Neben dem üblichen Vorlesungsstoff bieten die Autoren auch weiterführende Anregungen. Dieser Band umfasst neben Differential- und Integralrechnung für Funktionen in einer und mehreren reellen Variablen auch Vektoranalysis, Integralsätze und die n-dimensionale Vektor- und Matrizenrechnung. Eine Fülle eindrucksvoller Abbildungen, praxisbezogener Beispiele und Übungsaufgaben tragen zur Anschaulichkeit bei. Besonders gekennzeichnete Zusammenfassungen mit detaillierten Rechenschemata eignen sich hervorragend zur Prüfungsvorbereitung.'Ein glänzendes Buch, das durch seine präzise und doch anschauliche Darstellung, vor allem aber durch die Vielfalt der enthaltenen Beispiele, aus der großen Zahl von Werken ähnlicher Zielrichtung hervortritt. ' Int. Math. Nachr. Österreich.

Taschenbuch. Condition: Neu. Neuware -Just like the previous workshop at VLDB 1999 in Edinburgh, the purpose of this workshop is to promote telecom data management as one of the core research areas in database research and to establish a strong connection between the telecom and database research communities. As I wrote in the preface of those proceedings, data management in telecommuni- tions is an interesting area of research given the fact that both service management and service provisioning are very data intensive, and pose extreme requirements on data management technology. Given the feedback on the previous workshop we decided to keep the same program set-up for this workshop: an invited speaker, a collection of research papers, and a panel discussion. We received 18 good quality papers from which we selected 12 to construct a very interesting program. The program has been divided into four sections. The first section focuses on CDR data warehouse and data mining technology. Data warehousing and data mining around customer usage data remains an important area of interest for telecommunication operators. The growing competition, especially in the mobile market, means that operators have to put more effort into customer retention and satisfaction. The second section focuses on performance issues around databases in telecommunication. Since telecommunication databases are characterized by their extreme requirements, for example in terms of volumes of data to be processed or response times, high volume data management and embedded and real-time data management are key aspects of the telecommunication data management problems in today¿s operational environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing. DISC 2001 was held on Oct 3¿5, 2001, in Lisbon, Portugal. This volume includes 23 contributed papers. It is expected that these papers will be submitted in more polished form to fully refereed scienti c journals. The extended abstracts of this year¿s invited lectures, by Gerard LeLann and David Peleg, will appear in next year¿s proceedings. We received 70 regular submissions. These submissions were read and eval- ted by the program committee, with the help of external reviewers when needed. Overall, the quality of the submissions was excellent, and we were unable to - cept many deserving papers. This year¿s Best Student Paper award goes to Yong-Jik Kim for the paper ¿A Time Complexity Bound for Adaptive Mutual Exclusion¿ by Yong-Jik Kim and James H. Anderson. October 2001 Jennifer Welch Organizing Committee Chair: Luis Rodrigues (University of Lisbon) Publicity: Paulo Ver¿ ssimo (University of Lisbon) Treasurer: Filipe Araujo ¿ (University of Lisbon) Web: Alexandre Pinto (University of Lisbon) Registration: Hugo Miranda (University of Lisbon) Steering Committee Faith Fich (U. of Toronto) Michel Raynal (vice-chair) (IRISA) Maurice Herlihy (Brown U. ) Andr¿e Schiper (chair) (EPF Lausanne) Prasad Jayanti (Dartmouth) Jennifer Welch (Texas A&M U. ) Shay Kutten (Technion) Program Committee Marcos K. Aguilera (Compaq SRC) Mark Moir (Sun Microsystems Laboratories) Lorenzo Alvisi (U. Texas, Austin) Stephane Perennes (CNRS U.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Multimedia technologies are rapidly attracting more and more interest every day. The Internet as seen from the end user is one of the reasons for this phenomenon, but not the only one. Video on Demand is one of the buzzwords today, but its real availability to the general public is yet to come. Content providers ¿ such as publishers, broadcasting companies, and audio/video production rms ¿ must be able to archive and index their productions for later retrieval. This is a formidable task, even more so when the material to be sorted encompasses many di erent types of several media and covers a time span of several years. In order for such a vast amount of data to be easily available, existing database design models and indexing methodologies have to be improved and re ned. In addition, new techniques especially tailored to the various types of multimedia must be devised and evaluated. For archiving and trasmission, data compression is another issue that needs to be addressed. In many cases, it has been found that compression and indexing can be successfully integrated, since compressing the data by ltering out irrelevancy implies some degree of und- standing of the content structure.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This volume of the LNCS series contains the papers accepted for presentation at the Third IFIP international working conference on active networks (IWAN 2001). The workshop was held at the Sheraton University City Hotel, in Philadelphia USA, and was hosted by the University of Pennsylvania. Active networks aim to ease the introduction of network services by adding dynamic programmability to network devices such as routers, and making aspects of the programmability accessible to users. Active networks research has focused on the development and testing of active techniques, that enable dynamic programmability in a networked environment. These techniques have a wide variety of applications. At IWAN 2001 we aimed to bring together members of the various communities using active and related techniques, and provide a forum for discussion and collaboration, involving researchers, developers, and potential users. Papers presented at IWAN 2001 covered the application of active techniques to many aspects of network based communication, including active multicast, active QoS, active security, active GRIDs, and active management. In addition, there were papers on architectures, language, and API issues. Although there were only 22 submissions, the standard of the 10 accepted papers was very high. This indicated clearly a substantial amount of ongoing high quality research in active networking, despite the current unfavorable economic conditions in the telecommunications industry. The papers also demonstrated that the research is genuinely global, and justifies an international workshop of this type. We would like to thank all the authors who submitted their work. 180 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the scientific track of the 7th Congress of the Italian Association for Artificial Intelligence, AI\*IA 2001, held in Bari, Italy, in September 2001.The 25 revised long papers and 16 revised short papers were carefully reviewed and selected for inclusion in the volume. The papers are organized in topical sections on machine learning; automated reasoning; knowledge representation; multi-agent systems; natural language processing; perception, vision, and robotics; and planning and scheduling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This volume contains the contributions to the Joint German/Austrian Con- rence on Arti cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti cial Intelligence. They are divided into the following categories: ¿ 2 contributions by invited speakers of the conference; ¿ 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; ¿ 4 contributions by participants of the industrial day, during which companies working in the eld presented their AI applications. After a long period of separate meetings, the German and Austrian Societies ¿ for Arti cial Intelligence, KI and OGAI, decided to hold a joint conference in Vienna in 2001. The two societies had previously held one joint conference. This took place in Ottstein, a small town in Lower Austria, in 1986. At that time, the rise of expert system technology had also renewed interest in AI in general, with quite some expectations for future advances regarding the use of AI techniques in applications pervading many areas of our daily life. Since then fteen years have passed, and we may want to comment, at the beginning of a newcentury, on the progress that has been made in this direction.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001. Metalevel architectures and re ection have drawn the attention of researchers and practitioners throughout computer science. Re ective and metalevel te- niques are being used to address real-world problems in such areas as: progr- ming languages, operating systems, databases, distributed computing, expert systems and web computing. Separation of concerns has been a guiding principle of software engineering for nearly 30 years, but its known bene ts are seldom fully achieved in practice. This is primarily because traditional mechanisms are not powerful enough to handle many kinds of concerns that occur in practice. Over the last 10 years, to overcome the limitations of traditional frameworks, many researchers, including several from the re ection community, have proposed new approaches. For the rst time, papers on advanced approaches to separation of concerns were explicitly solicited. Following the success of previous conferences such as IMSA¿92 in Tokyo, Re ection¿96 in San Francisco, and Re ection¿99 in Saint Malo, we hope that the conference provided an excellent forum for researchers with a broad range of interests in metalevel architectures, re ective techniques, and separation of concerns in general. 300 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel appli- tions. This volume comprises 50 revised contributions presented at the Eighth - ropean PVM/MPI Users¿ Group Meeting, which was held on Santorini (Thera), Greece,23¿26September2001.TheconferencewasorganizedbytheDepartment of Informatics and Telecommunications, University of Athens, Greece. This conference has been previously held in Balatofured, ¿ Hungary (2000), Barcelona, Spain (1999), Liverpool, UK (1998), and Krakow, Poland (1997). The rst three conferences were devoted to PVM and were held at the TU Munich, Germany (1996), the ENS Lyon, France (1995), and the University of Rome (1994). This conference has become a forum for users and developers of PVM, MPI, and other message passing environments. Interaction between these groups has proved to be very useful for developing new ideas in parallel computing and for applying some of those already existent to new practical elds. The main topics of the meeting were evaluation and performance of PVM and MPI, extensions and improvements to PVM and MPI, algorithms using the message passing paradigm,andapplicationsinscienceandengineeringbasedonmessagepassing. The conference included one tutorial on MPI and 9 invited talks on advances in MPI, cluster computing, network computing, Grid computing, and parallel programming and programming systems. These proceedings contain papers on the 46 oral presentations together with 4 poster presentations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -ThesearetheproceedingsofthefourthbiennialconferenceintheIntelligentData Analysisseries. TheconferencetookplaceinCascais,Portugal,13¿15September 2001. Thethemeofthisconferenceseriesistheuseofcomputersinintelligent waysindataanalysis,includingtheexplorationofintelligentprogramsfordata analysis. Dataanalytictoolscontinuetodevelop,drivenbythecomputerrevo- tion. Methodswhichwouldhaverequiredunimaginableamountsofcomputing power,andwhichwouldhavetakenyearstoreachaconclusion,cannowbe appliedwitheaseandvirtuallyinstantly. Suchmethodsarebeingdevelopedby avarietyofintellectualcommunities,includingstatistics,arti cialintelligence, neuralnetworks,machinelearning,datamining,andinteractivedynamicdata visualization. Thisconferenceseriesseekstobringtogetherresearchersstudying theuseofintelligentdataanalysisinthesevariousdisciplines,tost imulate- teractionsothateachdisciplinemaylearnfromtheothers. Soastoencourage suchinteraction,wedeliberatelykepttheconferencetoasingletrackmeeting. Thismeantthat,ofthealmost150submissionswereceived,wewereableto selectonly23fororalpresentationand16forposterpresentation. Inaddition tothesecontributedpapers,therewasakeynoteaddressfromDarylPregibon, invitedpresentationsfromKatharinaMorik,RolfBackhofen,andSunilRao,and aspecial¿datachallenge¿session,whereresearchersdescribedtheiratt emptsto analyseachallengingdatasetprovidedbyPaulCohen. Thisacceptancerate enabledustoensureahighqualityconference,whilealsopermittingustop- videgoodcoverageofthevarioustopicssubsumedwithinthegeneralheading ofintelligentdataanalysis. Wewouldliketoexpressourthanksandappreciationtoeveryoneinvolved intheorganizationofthemeetingandtheselectionofthepapers. Itisthe behind-the-scenese ortswhichensurethesmoothrunningandsuccessofany conference. Wewouldalsoliketoexpressourgratitudetothesponsors:Fundac¿ ¿ao paraaCi¿enciaeaTecnologia,Minist¿eriodaCi¿enciaedaTecnologia,Faculdade deCi¿enciaseTecnologia,UniversidadeNovadeLisboa,Fundäc¿aoCalousteG- benkianandIPEInvestimentoseParticipac¿ ¿oeSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The Third International Conference on Product Focused Software Process Improvement (PROFES 2001) continued the success of the PROFES¿99 and PROFES 2000 conferences. PROFES 2001 was organized in Kaiserslautern, Germany, September 10 13, 2001. The PROFES conference has its roots in the PROFES Esprit project (ele.vtt.fi/profes/), but it quickly evolved into a full fledged general purpose conference in 1999 and since then it has gained wide spread international popularity. As in previous years, the main theme of PROFES 2001 was 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 and has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice as well as relevant research results from academia. The purpose of the conference is to bring to light the most recent findings and results in the area and to stimulate discussion between the researchers, experienced professionals, and technology providers for SPI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Ubiquitous Computing, Ubicomp 2001, held in Atlanta, GA, USA in September/October 2001. The 14 revised full papers and 15 revised technical notes were carefully selected during a highly competitive reviewing process from a total of 160 submissions (90 paper submissions and 70 technical notes submissions). All current aspects of research and development in the booming area of ubiquitous computing are addressed. The book offers topical sections on location awareness, tools and infrastructure, applications for groups, applications and design spaces, research challenges and novel input, and output. 388 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The Information Security Conference 2001 brought together individuals involved in multiple disciplines of information security to foster the exchange of ideas. The conference, an outgrowth of the Information Security Workshop (ISW) series, was held in Málaga, Spain, on October 1¿3, 2001. Previous workshops were ISW '97 at Ishikawa, Japan; ISW '99 at Kuala Lumpur, Malaysia; and ISW 2000 at Wollongong, Australia. The General Co chairs, Javier López and Eiji Okamoto, oversaw the local organization, registration, and performed many other tasks. Many individuals deserve thanks for their contribution to the success of the conference. José M. Troya was the Conference Chair. The General Co chairs were assisted with local arrangements by Antonio Maña, Carlos Maraval, Juan J. Ortega, José M. Sierra, and Miguel Soriano. This was the first year that the conference accepted electronic submissions. Many thanks to Dawn Gibson for assisting in developing and maintaining the electronic submission servers. The conference received 98 submissions of which 37 papers were accepted for presentation. These proceedings contain revised versions of the accepted papers. Revisions were not checked and the authors bear full responsibility for the contents of their papers. The Program Committee consisted of Elisa Bertino, Università di Milano; G. R. 576 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Welcome to Free Convection Film Flows and Heat Transfer! Free convection lm ows occur in many industrial processes. However, engineers still have to deal with many unresolved problems. This book systematically summarizes my recent research results that have been referred to and cited by many other researchersinthis eld.Thepurposeofthisbookistoprovideapracticalguide to university students, graduate students, design engineers, researchers, and scientistswhowishtofurtherunderstandthecharacteristicsoffreeconvection lm ows and heat transfer. I hope this book will serve as a useful tool for them, as well as a guide to future research. This book includes three related parts (1) accelerating convective bou- ary layers of Newtonian uids, (2) accelerating lm boiling and condensation of Newtonian uids, and (3) accelerating lm ows of non-Newtonian pow- law uids. These phenomena are all caused by buoyancy or gravity, and can be summed up in terms of the free convection lm ows. In addition, the free convection lm ows of Newtonian uids can be taken as a special case of non-Newtonian power-law uids.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The Cambridge International Workshop on Security Protocols has now run for eight years. Each year we set a theme, focusing upon a speci c aspect of security protocols, and invite position papers. Anybody is welcome to send us a position paper (yes, you are invited) and we don¿t insist they relate to the current theme in an obvious way. In our experience, the emergence of the theme as a unifying threadtakesplaceduringthediscussionsattheworkshopitself.Theonlyground rule is that position papers should formulate an approach to some unresolved issues, rather than being a description of a nished piece of work. Whentheparticipantsmeet,wetrytofocusthediscussionsupontheconc- tual issues which emerge. Security protocols link naturally to many other areas of Computer Science, and deep water can be reached very quickly. Afterwards, we invite participants to re-draft their position papers in a way which exposes the emergent issues but leaves open the way to their further development. We also prepare written transcripts of the recorded discussions. These are edited (in some cases very heavily) to illustrate the way in which the di erent arguments and perspectives have interacted. We publish these proceedings as an invitation to the research community. Although many interesting results rst see the light of day in a volume of our proceedings, laying claim to these is not our primary purpose of publication. Rather, we bring our discussions and insights to a wider audience in order to suggest new lines of investigation which the community may fruitfully pursue.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This volume contains the proceedings of EMSOFT 2001, the First International Workshop on Embedded Software. The workshop was organized October 8¿10, 2001, at Tahoe City, California. The steering committee of the workshop has the following members: G¿ erard Berry (Esterel Technologies, France) Paul Hudak (Yale University, USA) Hermann Kopetz(Technical University of Vienna, Austria) Edward Lee (University of California, Berkeley, USA) Ragunathan Rajkumar (Carnegie Mellon University, USA) Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA) Douglas Schmidt (Defense Advanced Research Projects Agency, USA) Joseph Sifakis (Verimag Grenoble, France) The workshop was sponsored jointly by the DARPA Information Technology O ce within the MobIES (Model-based Integration of Embedded Systems) p- gram (Dr. Janos Sztipanovits), and by the National Science Foundation (Dr. Helen Gill). The workshop URL is emsoft. org. Embedded software is software that interacts with physical processes. As - bedded systems increasingly permeate our daily lives on all levels, from micr- copic devices to international networks, the cost-e cient development of reliable embedded software is one of the grand challenges in computer science today. The purpose of the workshop is to bring together researchers in all areas of computer science that are traditionally distinct but relevant to embedded software devel- ment, and to incubate a research community in this way. 488 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The importance of production and use of high quality software is still growing, as more and more businesses depend on information technology. Well educated, highly skilled, and experienced employees characterize the situation in most companies in the developed countries. Increasingly they work together in temporary networks with geographically distributed offices. Using and developing their knowledge is a key issue in gaining competitive advantages. We have learned during recent years that the exchange and development of knowledge (which we call learning) demands a great deal of human interaction. However, it is widely recognized that information systems will, in many cases, enable the sharing of experience across distributed organizations and act as a knowledge repository. A Learning Software Organization (LSO) will turn Intellectual Capital into market shares and profit, as it establishes the means to manage its knowledge. The LSO workshop series was created in 1999 to provide a communication forum that addresses the questions of organizational learning from a software point of view and builds upon existing work on Knowledge Management and Organizational Learning. It aims at bringing together practitioners and researchers for an open exchange of experience with successes and failures in organizational learning. Right from the beginning, fostering interdisciplinary approaches and providing an opportunity to learn about new ideas has been a central issue of the workshop series. The feedback that we have obtained in recent years has encouraged us to continue our work for a better understanding of the setup and running of Learning Software Organizations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The 5th International Conference on Spatial Information Theory, COSIT 2001, took place at the Inn at Morro Bay, California, USA, September 19 23, 2001. COSIT grew out of a series of workshops/NATO Advanced Study Institutes/NSF Specialist Meetings during the 1990s concerned with theoretical and applied aspects of representing large scale space, particularly geographic or environmental space (this history is elaborated in the prefaces of previous COSIT proceedings). These are spaces in which (and on which) human action takes place, and which are represented and processed in digital geographic information systems. In these early meetings, the need for well founded theories of spatial information representation and processing was identified, particularly theories based on cognition and on computation. This concern for theory provided an early foundation for the newly emerging field of geographic information science. COSIT is not backed by any particular scientific society but is organized as an independent enterprise. The conference series was established in 1993 as an interdisciplinary biennial European conference on the representation and processing of large scale spatial information after a successful international conference on the topic had been organized by Andrew Frank et al. in Pisa in 1992 (frequently referred to as 'COSIT 0'). After two successful European COSIT conferences with strong North American participation (COSIT ¿93: Island of Elba, Italy; COSIT ¿95: Semmering, Austria), COSIT ¿97 moved across the pond to the United States, and was held in the Laurel Highlands, Pennsylvania.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -With a standard program committee and a pre-review process, the Third - ternational Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25¿27, 2000 was made more formal than the previous ADG ¿96 (Toulouse, September 1996) and ADG ¿98 (Beijing, August 1998). The workshop program featured two invited talks given by Christoph M. Ho mann and Jurgen ¿ Bokowski, one open session talk by Wen-tsun ¿ Wu, 18 regular presentations, and 7 short communications, together with software demonstrations (see calfor.lip6.fr/¿wang/ADG2000/). Some of the most recent and signi cant research developments on geometric deduction were - ported and reviewed, and the workshop was well focused at a high scienti c level. Fifteen contributions (out of the 18 regular presentations selected by the program committee from 31 submissions) and 2 invited papers were chosen for publication in these proceedings. These papers were all formally refereed and most of them underwent a double review-revision process. We hope that this volume meets the usual standard of international conference proceedings, rep- sentsthecurrentstateoftheartofADG,andwillbecomeavaluablereferencef or researchers, practitioners, software engineers, educators, and students in many ADG-related areas from mathematics to CAGD and geometric modeling. ADG2000washostedbytheDepartmentofComputerScience,ETHZurich.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The 2nd International Symposium on Medical Data Analysis (ISMDA 2001) was the continuation of the successful ISMDA 2000, a conference held in Fra- furt, Germany, in September 2000. The ISMDA conferences were conceived to integrate interdisciplinary research from scienti c elds such as statistics, s- nal processing, medical informatics, data mining, and biometrics for biomedical data analysis. A number of academic and professional people from those elds, including computer scientists, statisticians, physicians, engineers, and others, - alized that new approaches were needed to apply successfully all the traditional techniques, methods, and tools of data analysis to medicine. ISMDA 2001, as its predecessor, aimed to provide an international forum for sharing and exchanging original research ideas and practical development ex- riences. This year we broadened the scope of the conference, to included methods for image analysis and bioinformatics. Both are exciting scienti c research elds and it was clear to the scienti c committee that they had to be included in the areas of interest. Medicine has been one of the most di cult application areas for computing. The number and importance of the di erent issues involved suggests why many data analysis researchers nd the medical domain such a challenging eld. New interactive approaches are needed to solve these problems. 324 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -In this book several concepts with respect to the development and reusability of multimedia content in web-based learning systems are introduced. More specifically, the development of a component-based framework that enables developers to employ reusable software components enhanced with metadata, creating complete instructional visualizations for a given subject and integrating these visualizations in an appropriate learning context, is discussed. Two activities for making stand-alone visualizations group-aware are addressed: transparent sharing of the same instructional visualization with diverse views in a moderated session, and organization of interactions in the shared workspace. No other work has addressed the issue of transparent collaboration based on instructional visualizations enhanced with metadata in such a way.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Sometimes milestones in the evolution of the DAGM Symposium become immediately visible. The Technical Committee decided to publish the symposium proceedings completely in English. As a consequence we successfully negotiated with Springer Verlag to publish in the international well accepted series ¿Lecture Notes in Computer Science¿. The quality of the contributions convinced the editors and the lectors. Thanks to them and to the authors. We received 105 acceptable, good, and even excellent manuscripts. We selected carefully, using three reviewers for each anonymized paper, 58 talks and posters. Our 41 reviewers had a hard job evaluating and especially rejecting contributions. We are grateful for the time and effort they spent in this task. The program committee awarded prizes to the best papers. We are much obliged to the generous sponsors. We had three invited talks from outstanding colleagues, namely Bernhard Nebel (Robot Soccer ¿ A Challenge for Cooperative Action and Perception), Thomas Lengauer (Computational Biology ¿ An Interdisciplinary Challenge for Computational Pattern Recognition), and Nassir Navab (Medical and Industrial Augmented Reality: Challenges for Real Time Vision, Computer Graphics, and Mobile Computing). N. Navab even wrote a special paper for this conference, which is included in the proceedings. We were proud that we could convince well known experts to offer tutorials to our participants: H. P. Seidel, Univ. Saarbrücken ¿ A Framework for the Acquisition, Processing, and Interactive Display of High Quality 3D Models; S. Heuel, Univ. Bonn ¿ Projective Geometry for Grouping and Orientation Tasks; G. Rigoll, Univ.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001.The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts and 102 papers submitted. The papers are organized in topical sections on metamodeling, activity diagrams, OCL, architecture and patterns, analysis and testing, performance and databases, graph transformations, real-time and embedded systems, associations and ontology, statecharts, components, and use cases.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -d + 1-dimensional manifold, whose is a union of d-dimensional boundary disjoint v manifolds and d, a linear : -+ The manifold -Zod V(Md+l) V(Zod) V(Zld). ma- is with the orientation. The axiom in that z0g, Zod opposite gluing [Ati88] requires if we two such d + 1-manifolds a common d-subma- glue together along (closed) fold of in their the linear for the has to be the boundaries, composite compo- map tion of the linear of the individual d + 1-manifolds. maps the of and as in we can state categories functors, [Mac88], Using language axioms as follows: concisely Atiyah's very Definition 0.1.1 A in dimension d is a ([Ati88]). topological quantumfield theory between monoidal functor symmetric categories [Mac881 asfollows: V : --+ k-vect. Cobd+1 finite Here k-vect denotes the whose are dimensional v- category, objects for field tor over a field k, which we assume to be instance, a perfect, spaces The of of characteristic 0. set between two vector is morphisms, simply spaces the set of linear with the usual The has as composition. category Cobd+1 maps manifolds. such closed oriented d-dimensional A between two objects morphism. Zd d oriented d 1-- d-manifolds and is a + 1-cobordism, an + Zod meaning gMd+l = Zd is the d- mensional manifold, Md+l, whose Lj boundary _ZOd of the d-manifolds. consider union two we as joint (Strictly speaking morphisms cobordisms modulo relative Given another or homeomorphisms diffeomorphisms). 392 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloß Dagstuhl provides a very convenient and stimulating environment to - scuss new ideas and developments. To accompany the conference with a proc- dings volume appeared to us equally appropriate. Such a volume not only xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider eld of logic in computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Digital manipulation of landform is revolutionizing how our built environment is designed and constructed. On a technical level, three dimensional geometric modeling of topography has its origins at the interface of geographic information systems (GIS) and computer aided geometric modeling (CAD): the former with its representations of spatial attribute information with digital terrain in several representations (Triangulated Irregular Networks, contour lines, etc. ); the latter focusing primarily on the parameterization and combination of geometric primitives. The broadening of these two disciplines to embrace new surveying and navigation advances, e. g. global positioning systems (GPS), together with developments in engineering on the application side, are leading to powerful new suites of functionality. There has been a pronounced need for a forum where these traditionally separate parties can interact. These proceedings contain the technical papers selected and formally presented as part of the scientific program of the First International Symposium on Digital Earth Moving, 2001 (DEM 2001) held September 5 7, 2001 at the CIM Institute for Computing Science and Industrial Technologies of the University of Applied Science of Southern Switzerland (SUPSI iCIMSI) in Manno (Lugano), Switzerland. It is the first volume published on this explicit theme. Thirty six submissions were received, from fifteen countries, with thirteen select papers and posters presented in the official program and in this publication.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -WolfgangFaber Miros lawTruszczynski ¿ Conference Organization ProgramCo-chairs ThomasEiter(ViennaUniversityofTechnology,Austria) Miros lawTruszczynski ¿ (UniversityofKentucky,USA) ProgramCommittee AlexanderBochman(HolonAcademicInstituteofTechnology,Israel) PieroBonatti(Universit` adegliStudiMilano/Crema,Italy) GerhardBrewka(UniversityofLeipzig,Germany) JamesDelgrande(SimonFraserUniversity,Canada) MarcDenecker(KatholiekeUniversiteitLeuven,Belgium) NormanFoo(UniversityofNewSouthWales,Australia) MichaelGelfond(TexasTechUniversity,USA) KatsumiInoue(KobeUniversity,Japan) AntonisKakas(UniversityofCyprus) NicolaLeone(Universit` adegliStudidellaCalabria,Italy) VladimirLifschitz(UniversityofTexasatAustin,USA) FangzhenLin(TheHongKongUniversityofScienceandTechnology,China ) VictorMarek(UniversityofKentuckyatLexington,USA) ZhangMing-Yi(GuizhouAcademyofSciences,China) IlkkaNiemel¿ a(HelsinkiUniversityofTechnology,Finland) Lu¿ sMonizPereira(UniversidadeNovadeLisboa,Portugal) MarcoSchaerf(Universitad ` iRomäLaSapienza,¿Italy) TorstenSchaub(UniversityofPotsdam,Germany) FrancescaToni(ImperialCollege,London,U. K. ) Li-YanYuan(UniversityofAlberta,Canada) Publicity Chair WolfgangFaber(ViennaUniversityofTechnology,Austria) Organization VII Additional Reviewers Jos¿eAlferes MehmetOrgun CristinaBaroglio MauricePagnucco KrysiaBroda VivianaPatti MauriceBruynooghe NikolayPelov FrancescoBuccafurri GeraldPfeifer CarlosDam¿asio FabrizioRiguzzi EmmanuelDeMot RiccardoRosati YannisDimopoulos GiulianaSabbatini EsraErdem FaribaSadri WolfgangFaber ChiakiSakama DayaGaur FrancescoScarcello JensHappe TommiSyrj¿anen TomiJanhunen AndreaTettamanzi JoohyungLee BertVanNu elen NicolaLeone HelmutVeith ThomasLinke GerardVreeswijk ThomasLukasiewicz KewenWang PaoloMancarella Jia-HuaiYou CristinelMateis DongmoZhang RobMiller Sponsoring Institutions We would like to acknowledge nancial support for the conference from the EuropeanO ceofAerospaceResearchandDevelopment(EOARD),underc- tractF61775-01-WF077,theAuSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -On behalf of the ICES 2001 Conference Committee, it is our pleasure to present to you the proceedings of the fourth International Conference on Evolvable S- tems: From Biology to Hardware, ICES 2001, held in Tokyo, Japan, on 3-5 - tober 2001, addressing the latest developments and discussing challenges facing the eld of evolvable systems. The idea of evolving machines, whose origins can be traced back to the - bernetics movement of the 1940s and the 1950s, has recently re-emerged in the form of the nascent eld of bio-inspired systems and evolvable hardware. Foll- ing the workshop, Towards Evolvable Hardware, which took place in Lausanne, Switzerland, in October 1995, the First International Conference on Evolvable Systems: From Biology to Hardware (ICES96), was held at the Electrotech- cal Laboratory (MITI), Tsukuba, Japan, in October 1996. The second and the third International Conferences on Evolvable Systems: From Biology to Ha- ware (ICES98 and ICES 2000) were respectively held in Lausanne in September 1998, and in Edinburgh in April 2000. Following the success of these past events, ICES 2001 was dedicated to the promotion and advancement of all aspects of evolvable systems, including ha- ware, software, algorithms, and applications. By bringing together researchers who use biologically inspired concepts to implement real systems in arti cial - telligence, arti cial life, robotics, VLSI design, and related domains, ICES 2001 reunited this burgeoning community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.