springer berlin heidelberg apr 2001 (118 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -zahlen zahlenan an den den Universitäten Universitätenerreichten erreichten besorgniserregende besorgniserregende Tiefstände. Tiefstände.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. Eine Einführung in die intuitive Mengentheorie vermittelt zunächst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Prädikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. Schließlich führt die Kategorientheorie für Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein.Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 644 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -- of nonlinear the of solitons the the last 30 theory partial theory During years - has into solutions of a kind a differential special equations (PDEs) possessing grown and in view the attention of both mathematicians field that attracts physicists large and of the of the problems of its novelty problems. Physical important applications for in the under consideration are mo- to the observed, example, equations leading mathematical discoveries is the Makhankov One of the related V.G. by [60]. graph from this field methods that of certain nonlinear by equations possibility studying inverse these to the problem; equations were analyze quantum scattering developed this method of the inverse called solvable the scattering problem (on subject, are by known nonlinear At the the class of for same time, currently example [89,94]). see, the other there is solvable this method is narrow on hand, PDEs sufficiently and, by of differential The latter called the another qualitative theory equations. approach, the of various in includes on pr- investigations well-posedness approach particular solutions such or lems for these the behavior of as stability blowing-up, equations, these and this of approach dynamical systems generated by equations, etc., properties in wider class of a makes it to an problems (maybe possible investigate essentially more general study).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Riemannian, symplectic and complex geometry are often studied by means ofsolutions to systems ofnonlinear differential equations, such as the equa tions of geodesics, minimal surfaces, pseudoholomorphic curves and Yang Mills connections. For studying such equations, a new unified technology has been developed, involving analysis on infinite-dimensional manifolds. A striking applications of the new technology is Donaldson's theory of 'anti-self-dual' connections on SU(2)-bundles over four-manifolds, which applies the Yang-Mills equations from mathematical physics to shed light on the relationship between the classification of topological and smooth four-manifolds. This reverses the expected direction of application from topology to differential equations to mathematical physics. Even though the Yang-Mills equations are only mildly nonlinear, a prodigious amount of nonlinear analysis is necessary to fully understand the properties of the space of solutions. . At our present state of knowledge, understanding smooth structures on topological four-manifolds seems to require nonlinear as opposed to linear PDE's. It is therefore quite surprising that there is a set of PDE's which are even less nonlinear than the Yang-Mills equation, but can yield many of the most important results from Donaldson's theory. These are the Seiberg-Witte~ equations. These lecture notes stem from a graduate course given at the University of California in Santa Barbara during the spring quarter of 1995. The objective was to make the Seiberg-Witten approach to Donaldson theory accessible to second-year graduate students who had already taken basic courses in differential geometry and algebraic topology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Buch. Zustand: Neu. Neuware -Electronic Customer Care (ECC) ist seit Erscheinen der zweiten Auflage ein Bestseller für Softwareanbieter geworden. Unter dem Begriff Customer Relationship Management (CRM) bieten boomende Firmen Lösungen zur Optimierung der Kundenprozesse an. Sie werben mit hoher Kundenzufriedenheit und reduzierten Kosten. Auch traditionelle Softwaregiganten beginnen, Lösungen im Bereich Marketing, Sales und Service zu vermarkten. Für viele Unternehmen allerdings ist die Reorganisation der sogenannten Front-Office-Prozesse Neuland. Auf was müssen Unternehmen achten, wenn sie CRM-Projekte starten Wichtig ist es, vom Kundenbedürfnis auszugehen und die Kundenbeziehung ganzheitlich zu betrachten. Das Buch abstrahiert die Kundenbeziehung anhand des Customer Buying Cycles und schafft so einen neutralen Orientierungsrahmen für CRM-Projekte. Die dritte Auflage nimmt neue Themen wie e-Marktplätze in die Betrachtungen auf und bietet einen aktuellen Überblick über führende CRM-Anbieter.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Der Autor entwickelt in seinem Buch praktisch brauchbare Kriterien für die Begrenzung des Geschiedenenunterhalts nach den 1573 Abs.5, 1578 Abs. 1 S. 2 und 1579 Nr. 1 und 7 BGB. Dabei werden insbesondere die soziologischen Erkenntnisse zur Entscheidungsfindung in der Ehe und die Ergebnisse der ökonomischen Analyse zum Zweck des Unterhalts im Anschluss an die Ehescheidung berücksichtigt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Buch vermittelt die grundlegenden Konzepte und Zusammenhänge objektorientierter Entwurfsmethoden. Im Mittelpunkt stehen dabei die graphischen Beschreibungstechniken der Unified Modeling Language (UML). Neben einer kurzen Einführung in Klassen-, Sequenz- und Zustandsdiagramme wird der Leser zunächst mit den Grundbegriffen objektorientierter Systemmodellierung vertraut gemacht. Im Vordergrund steht das Zusammenspiel der unterschiedlichen Diagrammtypen und ihre methodische Verwendung im Use-Case-gesteuerten Entwurf.Das Buch, das nur Grundkenntnisse in objektorientierter Technologie voraussetzt, wendet sich sowohl an Praktiker als auch an Studierende und Lehrende. Es bietet aber auch neue Ansätze, die es für Wissenschaftler interessant machen. Durch seine Einordnung von Konzepten vermittelt es ein tiefgehendes Verständnis der Techniken und der Methodik des objektorientierten Entwurfs - als Grundstein für den effizienten Einsatz in der Praxis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeIn vivo Analyse der Mikrozirkulation im Stromgebiet der A. carotis into bei gefäßchirurgischen Rekonstruktionen.- Selektive Endothelin-A-Rezeptorblockade reduz iert das Wachstum von rezeptorpositiven Pankreaskarzinomen in-vitro und in-vivo.- IFN- spielt eine entscheidende Rolle bei aktiv-spezifischer Tumortherapie, jedoch nicht bei Tumorregression nach adoptiven T-Zell Transfer.- In vivo und in vitro Untersuchungen zum privilegierten Immunstatus embryonaler Stammzellen und der damit verbundenen Therapieoptionen.- Rolle von Appendix und Milz im Mausmodell chronisch entzündlicher Darmerkrankungen.- Die Anwendung von hyperbarem Sauerstoff zur Behandlung von diabetischen Defektwunden am Modell.- Die Rolle der Apoptose-regulierenden Proteine Bel-xL und Bax in der durch Gemcitabin induzierten Cytotoxizität beim Pankreaskarzinom.- Inhibition von ICE (Caspase-1) induziert Zelltod in Pankreaskarzinomzellen.- Prävention von Metastasenwachstum beim Pankreaskarzinom in vivo durch Apoptoseinduktion mittels Genistein.- Rapamycin inhibiert das Tumorwachstum und die Tumormetastasierung über Antiangiogenese.- Anti-angiogene Gentherapie mittels eines dominant negativen VEGF-R2 kodierendem Retroviruses.- Anti-angiogenetische Therapie zur Behandlung vom humanen Pankreaskarzinom nach orthotoper Implantation in die Nacktmaus durch Blockade von NF B mit Hilfe des Proteasom Inhibitor PS-341.- Expression der Multi-Drug-Resistance-Gene mdrl und mrp in kolorektalen Karzinomen.- Eine neue T-Zellpopulation in der anti-tumoralen Immunantwort: CD8+ NKT-Zellen begunstigen Tumorabstoßung.- Focal Adhesion Kinase (FAK) reguliert Zelladhäsion von HT-29 Kolon-Karzinomzellen an extrazellulärer Matrix unter hydrodynamischen Flowbedingungen.- Effekt von Paclitaxel verpackt in kationische Liposomen auf Wachstum und Metastasierung solider Tumoren in vivo.- 5-FU-PEG-Liposomen zur intraaortalen Therapie. Ist die Metabolisierung von 5-Fluorouracil (5-FU) in Fluorourdesoxyuridin (FUDR) pH abhängig .- In vivo Gentransfer nackter DNA in xenotransplantierte Kolonkarzinome in der Nude Maus mit Hilfe der Jet-Injektion.- Tierexperimentelle Untersuchungen zur Karzinogenese durch duodenogastralen Reflux.- Mutationen im Ösophagus verursacht durch gastro-ösophagealen Reflux.- Excision Repair Cross Complementing (ERCC1) Gen-Expression als prädiktiver Response-Parameter der neoadjuvanten Radiochemotherapie beim Ösophaguscarcinorn.- Die Down-Regulationvon FAS (APO-1/CD95) begünstigt die Metastasierung beim Ösophaguskarzinom.- Perioperative Infektionsprophylaxe mit G-CSF steigert die Konzentration anti-inflammatorischer Zytokine bei Patienten mit Ösophaguskarzinom.- Die Überexpression von Matrix Metalloproteinase 2 (MMP-2) ist mit einer Frühdisseminierung bei operablem Adenokarzinom der Lunge assoziiert.- DNS-Profil, Laminin-5 und Cyclin A Expression als frühe Marker für Karzinomentstehung bei Colitis ulcerosa.- Detektion von Cytokeratin-20 positiven Zellen ist ein unabhängiger Prognosefaktor bei nodal negativen kolorektalen Karzinomen RT-PCR oder Immunhistochemie .- p2, p27, Cyclin D1 und p53 beim Rektumkarzinom: Immunhistologie mit prognostischer Relevanz .- Hämatogene Tumorzelldissemination während der Koloskopie bei Patienten mit einem kolorektalen Karzinom.- Intratumorale Thymidylatsynthasespiegel können ein längeres tumorfreies Überleben unter adjuvanter 5-Fluorouraciltherapie bei Patienten mit kolorektalen Karzinomen vorhersagen.- COX-2 Inhibition als Angriffspunkt in der Therapie kolorektaler Karzinome.- Vergleich der segmentalen Leberhypertrophie nach kontralateraler arterieller oder portaler Ligatur im Schweinemodell.- Leberhypertrophie und -atrophie im Pfortaderastligaturmodell der Ratte: Potentielle Rolle der Glukagon-Rezeptor-Expression.- Glypican-3 differenziert hepatozelluläre Karzinome von Regeneratsknoten in der zirrhotischen Leber.- Vermindertes Wachstum residualen Tumorgewebes nach In-situ Ablation experimenteller Lebermetastasen im Vergleich zu.

Buch. Zustand: Neu. Neuware -Astronomy is the oldest and most fundamental of the natural sciences. From the early beginnings of civilization astronomers have attempted to explain not only what the Universe is and how it works, but also how it started, how it evolved to the present day, and how it will develop in the future. The author, a well-known astronomer himself, describes the evolution of astronomical ideas, briefly discussing most of the instrumental developments. Using numerous figures to elucidate the mechanisms involved, the book starts with the astronomical ideas of the Egyptian and Mesopotamian philosophers, moves on to the Greek period, and then to the golden age of astronomy, i.e. to Copernicus, Galileo, Kepler, and Newton, and ends with modern theories of cosmology. Written with undergraduate students in mind, this book gives a fascinating survey of astronomical thinking.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 612 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Ce didacticiel explique les bases de l'utilisation du programme MuPAD et donne un aperçu de la puissance du système. Les principales caractéristiques et les outils de base en sont présentés au cours d'étapes simples. Beaucoup d'exemples et d'exercices illustrent comment utiliser les fonctions, les méthodes graphiques, et le langage de programmation du système. Ce didactciel se rapporte aux versions 1.4, 2.0 ou ultérieures des MuPAD.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Französisch.

Taschenbuch. Zustand: Neu. Neuware -Qualifizierte Fort- und Weiterbildung mit einem Griff bieten Ihnen die gesammelten Weiterbildungsbeiträge der Facharzt-Zeitschrift 'Der Anästhesist': didaktisch aufbereitet, klinik- und praxisbezogen, mit Fragen zur Erfolgskontrolle. So sind Sie schnell fit für die Facharztprüfung und Ihr Fachwissen bleibt rundum up-to-date.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -The second International Symposium on Electronic Commerce was held in Hong Kong, April 2001, in conjunction with the fourth International Workshop on the Technological Challenges of Electronic Commerce. This symposium belongs to the- commerce conference series started in 1998 in Toronto, Canada. Since then, every year, there has been an international workshop on the technological challenges of electronic commerce, and every other year, in conjunction with the workshop, an international symposium on electronic commerce is held. The following workshops have been held so far. ¿ The first International Workshop on the Technological Challenges of Electronic Commerce was held in September 1998, in Toronto, Canada. ¿ The second International Workshop on the Technological Challenges of Electronic Commerce was held in May 1999, in Beijing, China. ¿ The third International Workshop on the Technological Challenges of Electronic Commerce was held in June 2000, in Waterloo, Canada ¿ The fourth International Workshop on the Technological Challenges of Electronic Commerce was held in April 2001, in Hong Kong. The first International Symposium on Electronic Commerce was held in Beijing, China, May 1999, in conjunction with the second International Workshop on the Technological Challenges of Electronic Commerce.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Buch. Zustand: Neu. Neuware -Professor Paul Welfens offers a unique and timely approach to the major task of stabilizing and integrating the Balkans. His book is one of the first to assess in depth the progress of reconstruction and to evaluate the success of coordination on the part of various Western governments and international organizations. Professor Welfens sees an intimate connection, in the sense of equal responsibility, between internal reform, restructuring, and revitalization in the region and Western financing, ideas, and programs. Professor Welfens has coined the term 'networked approach' to capture the strategy of Western cooperation among multiple actors, particularly through the mechanism of the Stability Pact for Southeastern Europe. In addition to demonstrating where the Stability Pact works well, he identifies problem areas, with respect to both inconsistencies in donor policies and coordination and significant structural variations among Balkan countries and entities. He also flags concerns about EU enlargement overstretch. This book has emerged from a bi-national, cross-disciplinary research project at the American Institute for Contemporary German Studies on 'Cooperation and Competition: American, European Union, and German Policies in the Balkans' that explores the opportunities and obstacles regarding cooperation in the political, economic and military realms. The project - financed by a grant from the DaimlerChrysler-Fonds im Stifterverband fur die Deutsche Wissenschaft examines the implications of lessons learned in the Balkans for transatlantic relations, an area Professor Welfens discusses with some concern about potential conflicts. Additional individual and collective products from the AICGS research project will be forthcoming during 2001.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In this volume are the proceedings of the fourth European conference on - netic Programming (EuroGP 2001) which took place at Lake Como in Italy on April, 18{20 2001. EuroGP has become r mly established as the premier - ropean event devoted to Genetic Programming. EuroGP began life in 1998 as an international workshop and was held in Paris (14{15 April, LNCS 1391). - ter that it was held in Got ¿ eborg, Sweden (26{27 May 1999, LNCS 1598). Its r st appearance as a conference was last year in Edinburgh in Scotland (15{ 16 April, LNCS 1802). Each year EuroGP has been co-located with a series of specialist workshops (LNCS 1468, 1596, 1803). This year was no exception and EvoWorkshops 2001 were also held at Lake Como (18-19 April, LNCS 2037). Genetic Programming (GP) refers to a branch of Evolutionary Compu- tion in which computer programs are automatically generated over a period of time using a process that mimics Darwinian evolution. The 30 papers in these proceedings more than amply demonstrate the wide and varied applicability of GP. There are papers that apply GP to robotics, artic ial retina, character recognition, nancialprediction, digitall terandelectronic circuitdesign,image processing, data fusion, and biosequencing. In addition there are many papers that address foundational and theoretical issues. Arigorousdouble-blindrefereeing systemwasappliedtothe42submitted- pers. This resulted in 17 plenary talks(40% of those submitted) and 13 research posters.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the invited papers, contributed papers, and poster s- maries accepted for the Fifth International Conference on Arti cial Intelligence and Symbolic Computation (AISC 2000). The conference was held in Spain from 17 to 19 July 2000 at the Hotel NH Zurbano, Madrid, and was organized by the Universidad Complutense de Madrid and the Sociedad Matem¿aticaPuigAdam. One of the reasons for centralizing all activities at one hotel was to avoid both losing time in transportation around Madrid and the distribution of the att- dees into disconnected subgroups in diverse locations. In this way a breakfa- to-late-night coexistence (which included some extra-academic events) was - sured, with time for formal and informal conversations. This continued the AISMC/AISC tradition of the creation of a friendly atmosphere, where ideas could be exchanged in a relaxed and e ective way. The conference belongs to a specialized conference series founded by John Campbell and Jacques Calmet with the initial title ¿Arti cial Intelligence and Symbolic Mathematical Computation¿ (AISMC). AISMC-1 took place in 1992 in Karlsruhe (Germany); AISMC-2 was held in 1994 at King¿s College (Cambridge, UK), and AISMC-3 in 1996 was located in Steyr (Austria). The proceedings of these conferences were published in Springer¿s LNCS series as volumes 737, 958, and 1138, respectively. 268 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Evolutionary Computation (EC) is a rapidly expanding eld of computer science in which problem solving, optimization, and machine learning techniques ins- red by genetics and natural selection are studied. In recent years, a number of studies and results have been reported in the literature which have disclosed the potentials of EC techniques and shown their capability to solve hard problems in several domains. This volume contains the proceedings of EvoWorkshops 2001, an event - cluding the First European Workshop on Evolutionary Computation in Com- natorial Optimization (EvoCOP), the Second European Workshop on Evolut- nary Aeronautics (EvoFlight), the Third European Workshop on Evolutionary Computation in Image Analysis and Signal Processing (EvoIASP), the First - ropean Workshop on Evolutionary Learning (EvoLearn), and the Second Eu- pean Workshop on Evolutionary Scheduling and Timetabling (EvoSTIM). These workshops were held in Como, Italy, on 18 and 19 April 2001, as part of - roGP 2001, the Fourth European Conference on Genetic Programming. EvoCOP focuses on applications of evolutionary algorithms and related h- ristic search methods to various combinatorial optimization problems. It also covers general methodological aspects of such algorithms like operator analyses, search dynamics, tness landscapes, and algorithmic comparisons, which are the driving force in gaining a better understanding of evolutionary search and hence support the design of e ective evolutionary algorithms for combinatorial op- mization problems of practical relevance. EvoFlight is aimed at bringing together researchers and industrial parties to discuss the use of evolutionary computation in aerospace. 536 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The papers in this volume were presented at the 6th International Meeting on DNA Based Computers, organized by the Leiden Center for Natural Computing and held from June 13 to June 17, 2000 at The Lorentz Center, University of Leiden, Leiden, The Netherlands. DNA Computing is a novel and fascinating development at the interface of computer science and molecular biology. It has emerged in recent years, not simply as an exciting technology for information processing, but also as a catalyst for knowledge transfer between information processing, nanotechnology, and biology. This area of research has the potential to change our understanding of the theory and practice of computing. The call for papers and poster presentations sought contributions of original research and technical expositions in all areas of bio-computation. A total of 33 abstracts were submitted of which 16 were accepted for presentation and included in the proceedings. The papers were selected by the program committee based on originality and quality of research and on relevance to the bio-computing eld. Invited talks were given by Masami Hagiya (Tokyo University), Laura La- weber (Princeton University), John Reif (Duke University), Thomas Schmidt (Leiden University), and Lloyd M. Smith (University of Wisconsin). Invited - pers based on the talks by Hagiya and Reif are included in this volume, along with the contributed papers. Additional tutorials were held on the rst and last days of the conference. 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Among the many changes brought by the Internet is the emergence of electronic commerce over the Web. E-commerce activities, such as the online exchange of information, services, and products, are opening up completely new opportunities for business, at new levels of productivity and profitability. In parallel with the emergence of e-commerce, intelligent software agents as entities capable of independent action in open, unpredictable environments have matured into a promising new technology. Quite naturally, e-commerce agents hold great promise for exploiting the Internet's full potential as an electronic marketplace. The 20 coherently written chapters in this book by leading researchers and professionals present the state of the art in agent-mediated e-commerce. Researchers, professionals, and advanced students interested in e-commerce or agent technology will find this book an indispensable source of information and reference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -technologycoulddo,oure ortsincomputerizingpayrollandaccountingapp- cationsinrealityseemedpunyanddisappointing. TheWeb,ontheotherhand, didnotseemshackled,inawaythatearlycomputingwas,tothesebure- craticandunimaginativewaysofconductinghumanandorganizationala airs. Itseemedthattheorganizational,spatial,andphysicalconstraintswereabout toloosen,ifnotdisappear,altogether. Andyet,whenwelookedaroundatthewayWebsitesandapplicationswere beingdeveloped,itseemedtousthattheearlypatternofhaphazarddev- opment,minimaltesting,andlackofattentiontothemaintenanceissuesthat characterisedthe¿softwarecrisis¿werestillverymuchwithus. Itwasasthough the¿newgeneration¿insistedonmakingthesamemistakesasitsparents! Thisfeelingofd¿ej`avuledustoquestionthenatureofWeb-basedandW- relatedactivities. Ofcourse,wewerenotalone,aswesoondiscovered. The resultiswhatisbeingcalledWebEngineeringwhichhadits rstintroduction inaworkshopattheSeventhWorldWideWeb(WWW7)conferenceinBrisbane in1998. IthasnowbecomeaserieswithmoreworkshopsatWWW8(Toronto, VI Preface 1999)andWWW9(Amsterdam,2000),andalsoattheInternationalConference onSoftwareEngineering(ICSE99)in1999inLosAngelesandICSE2000in Limerick,Ireland. AnotherworkshopisscheduledforWWW10inHongKong inMay2001. Themainpurposebehindtheseworkshopshasbeentoshareandpoolthe collectiveexperienceofpeople,bothacademicsandpractitioners,whoare- tivelyworkingonWeb-basedsystems. Theworkshopshavegenerallyconsisted ofkeynoteaddresses,peer-reviewedcontributedpapers,andsessionsofopen discussions. About This Book Inthisvolume,weprovideaconsolidatedviewofrecentwork,highlightingdev- opmentsandadvancesintheareaofWebEngineering. Thisselectionofpapers drawsmainlyfromthelastthreeworkshops,heldinconjunctionwithICSE1999, WWW9,andICSE2000. Wealsopresentalistofadditional,usefulresourceson WebEngineeringsuchasbooks,specialissues,articles,andWebsites. Ouraim istoprovideabookthatwillbeaconvenientandusefulreferencetoallthe researchers,practitioners,andstudentsinterestedinWebapplicationdevel- ment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Information Retrieval (IR) is concerned with the effective and efficient retrieval of information based on its semantic content. The central problem in IR is the quest to find the set of relevant documents, among a large collection containing the information sought, satisfying a user's information need usually expressed in a natural language query. Documents may be objects or items in any medium: text, image, audio, or indeed a mixture of all three. This book presents 12 revised lectures given at the Third European Summer School in Information Retrieval, ESSIR 2000, held at the Villa Monastero, Varenna, Italy, in September 2000. The first part of the book is devoted to the foundation of IR and related areas; the second part on advanced topics addresses various current issues, from usability aspects to Web searching and browsing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -and for making sure that everything ran smoothly during the workshop.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Graph drawing comprises all aspects of visualizing structural relations between objects. The range of topics dealt with extends from graph theory, graph algorithms, geometry, and topology to visual languages, visual perception, and information visualization, and to computer-human interaction and graphics design. This monograph gives a systematic overview of graph drawing and introduces the reader gently to the state of the art in the area. The presentation concentrates on algorithmic aspects, with an emphasis on interesting visualization problems with elegant solutions. Much attention is paid to a uniform style of writing and presentation, consistent terminology, and complementary coverage of the relevant issues throughout the 10 chapters.This tutorial is ideally suited as an introduction for newcomers to graph drawing. Ambitioned practitioners and researchers active in the area will find it a valuable source of reference and information.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book is the nal outcome of VECPAR 2000 ¿ 4th International Meeting on Vector and Parallel Processing. VECPAR constitutes a series of conferences, which have been organized by the Faculty of Engineering of the University of Porto since 1993, with the main objective of disseminating new knowledge on parallel computing. Readership of This Book The book is aimed at an audience of researchers and graduate students in a broad range of scienti c areas, including not only computer science, but also applied mathematics and numerical analysis, physics, and engineering. Book Plan From a total of 66 papers selected on the basis of extended abstracts for p- sentation at the conference, a subset of 34 papers were chosen during a second review process leading to their inclusion in the book, together with the invited talks. The book contains a total of 40 papers organized into 6 chapters, where each may appeal to people in di erent but still related scienti c areas. All ch- ters, with the exception of Chapter 6, are initiated by a short text, providing a quick overview of the organization and papers in the chapter. The 13 papers in Chapter 1 cover the aspects related to the use of multiple processors. Operating systems, languages and software tools for scheduling, and code transformation are the topics included in this chapter, initiated by the talk on computing over the Internet, entitled Grid Computing,byIan Foster.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 600 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On the 23rd of April, 2001, the 6th Workshop on High-Level Parallel P- gramming Models and Supportive Environments (LCTES¿98) was held in San Francisco. HIPShas been held over the past six years in conjunction with IPDPS, the Internation Parallel and Distributed Processing Symposium. The HIPSworkshop focuses on high-level programming of networks of wo- stations, computing clusters and of massively-parallel machines. Its goal is to bring together researchers working in the areas of applications, language design, compilers, system architecture and programming tools to discuss new devel- ments in programming such systems. In recent years, several standards have emerged with an increasing demand of support for parallel and distributed processing. On one end, message-passing frameworks, such as PVM, MPI and VIA, provide support for basic commu- cation. On the other hand, distributed object standards, such as CORBA and DCOM, provide support for handling remote objects in a client-server fashion but also ensure certain guarantees for the quality of services. The key issues for the success of programming parallel and distributed en- ronments are high-level programming concepts and e ciency. In addition, other quality categories have to be taken into account, such as scalability, security, bandwidth guarantees and fault tolerance, just to name a few. Today¿s challenge is to provide high-level programming concepts without s- ri cing e ciency. This is only possible by carefully designing for those concepts and by providing supportive programming environments that facilitate program development and tuning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book includes the papers presented at the fifth International Conference on Application of Natural Language to Information Systems (NLDB 2000) which was held in Versailles (France) on June 28-30. Following NLDB95 in Versailles, NLDB96 i n Amsterdam, NLDB97 i n Vancouver, and NLDB99 i n Klagenfurt, NLDB 2000 was a forum for exchanging new research results and trends on the benefits of integrating Natural Language resources in Information System Engineering. Since the first NLDB workshop in 1995 it has become apparent that each aspect of an information system life cycle may be improved by natural language techniques: database design (specification, validation, conflict resolution), database query languages, and application programming that use new software engineering research (natural language program specifications). As information systems are now evolving into the communication area, the term databases should be considered in the broader sense of information and communication systems. The main new trend in NLDB 2000 is related to the WEB wave: WEB querying, WEB answering, and information retrieval. Among 47 papers submitted from 18 countries, the program committee selected 29 papers to be presented during the conference. Besides these regular papers, two invited talks (given by Pr. Reind P. van de Riet and Pr. Maurice Gross), and a set of posters and demonstrations are also included in these proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Scalable parallel systems or, more generally, distributed memory systems offer a challenging model of computing and pose fascinating problems regarding compiler optimization, ranging from language design to run time systems. Research in this area is foundational to many challenges from memory hierarchy optimizations to communication optimization.This unique, handbook-like monograph assesses the state of the art in the area in a systematic and comprehensive way. The 21 coherent chapters by leading researchers provide complete and competent coverage of all relevant aspects of compiler optimization for scalable parallel systems. The book is divided into five parts on languages, analysis, communication optimizations, code generation, and run time systems. This book will serve as a landmark source for education, information, and reference to students, practitioners, professionals, and researchers interested in updating their knowledge about or active in parallel computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 812 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Based on a suitably defined coordination model distinguishing between objective (inter-agent) coordination and subjective (intra-agent) coordination, this book addresses the engineering of multi-agent systems and thus contributes to closing the gap between research and applications in agent technology. After reviewing the state of the art, the author introduces the general coordination model ECM and the corresponding object-oriented coordination language STL++. The practicability of ECM/STL++ is illustrated by the simulation of a particular collective robotics application and the automation of an e-commerce trading system.Situated at the intersection of behavior-based artificial intelligence and concurrent and distributed systems, this monograph is of relevance to the agent R&D community approaching agent technology from the distributed artificial intelligence point of view as well as for the distributed systems community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. The most general way of dealing with these problems is by incorporating exception handling techniques in software design. In the past, various exception handling models and techniques have been proposed and many of them are part of practical languages and software composition technologies.This book is composed of five parts, which deal with topics related to exception handling in the context of programming language models, design methodologies, concurrent and distributed systems, applications and experiences, and large-scale systems such as database and workflow process mangagement systems. The 17 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.