springer berlin heidelberg springer berlin heidelberg okt 2002 (178 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Im Zentrum des Buches steht das Prinzip 'Leistung gegen Entgelt': Betriebswirtschaftliches Planen, Entscheiden und Handeln wird beschrieben als das Erstellen von Leistungen und ihre Verwendung gegen Entgelt mit dem Zweck der Gewinnerzielung. Schwerpunkt ist damit zum einen die betriebswirtschaftliche Leistungslehre für Sach- und Dienstleistungen. Zum anderen kann die Teilnahme am Markt nur unter Berücksichtigung der gegenseitigen Verträge geklärt werden. Im Mittelpunkt des Anbietermarketings steht daher die Vertragsangebotspolitik; die absatzpolitischen Instrumente werden darauf bezogen geordnet. Das besondere Konzept des Buches besteht darin, dem Leser Grundlinien und Zusammenhänge des wirtschaftenden Handelns aufzuzeigen. Dazu gehört selbstverständlich, daß die Verbindungen zum Rechnungswesen und zum Recht mit in das Ordnungsgefüge einbezogen werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Durchblutungsstörungen des Herzens und ihre Folgen - Herzinfarkt, Herzrhythmusstörungen, Herzmuskelschwäche - sind kein Schicksal; die moderne Medizin bietet zahlreiche Möglichkeiten zur Behandlung, und durch seine Lebensweise kann jeder einzelne viel zur Bewahrung seiner Gesundheit tun. Ausführliche Information zu den Durchblutungsstörungen des Herzens bietet dieses Buch: die Ursachen der Störung und alle aktuellen Untersuchungs- und Behandlungsverfahren sind in Text und Bild erklärt. Viele praktische Fragen im Zusammenhang mit der Erkrankung werden gezielt angesprochen: - Welche Sportarten können und sollten ausgeübt werden - Sind Flugreisen gefährlich Ist Sonnenbaden erlaubt - Ist Geschlechtsverkehr schädlich für das Herz Können potenzsteigernde Medikamente zu Problemen führen Ein umfassendes Buch, das keine Fragen zum Thema offen läßt!Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Buch bietet sowohl Medizinern und Biologen als auch Informatikern einen umfassenden und verständlichen Einstieg in die Medizinische Informatik und Bioinformatik. Die Darstellung der Themen ist abgestimmt auf die Studieninhalte dieser neuen Fachrichtungen.In den ersten Kapiteln werden die Grundbegriffe der Medizin (z.B. Anatomie, Biochemie, Physiologie, Genetik, Gesundheitswesen) und der Informatik (z.B. Algorithmen, Datenbanken, Internet, Software Engineering) erläutert. Dies ermöglicht dem Informatiker bzw. Mediziner einen schnellen Zugang zum jeweils komplementären Fachgebiet. In den folgenden Kapiteln werden alle relevanten Themen der Medizinischen Informatik (z.B. Krankenhausinformationssysteme, PACS, Datenschutz, ICD, DRG, Computer-based-Training) und der Bioinformatik (z.B. Sequenzanalyse, Gen-Datenbanken, Proteomics, Genomics, Genexpressionsanalyse) anschaulich dargestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Nachdem die ersten Fuzzy-Regler Anfang der siebziger Jahre entwickelt und in der Praxis erprobt wurden, hat das Gebiet der Fuzzy-Regelung in den vergangenen Jahrzehnten einen gewaltigen Fortschritt erfahren. Die zugrunde liegenden mathematischen und technischen Konzepte sind umfassend analysiert worden, und mittlerweile werden Fuzzy-Regler in vielen industriellen Anwendungen routinemäßig eingesetzt. Das Ziel dieses Buches ist eine kritische Bestandsaufnahme der Fuzzy-Regler aus Sicht der klassischen Regelungstechnik. Der Schwerpunkt dieses Buches liegt in der Darstellung von Themen, die für den Anwender von besonderem Interesse sind. Hierzu zählen insbesondere die (Selbst-) Einstellung, Optimierung und Stabilitätsanalyse von Fuzzy-Reglern. Ausgehend von einer detaillierten Einführung in die Gebiete Fuzzy-Systeme und Regelungstechnik wird der Leser systematisch an aktuelle Forschungsergebnisse herangeführt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Bundestag und Bundesrat haben 1996 das Telekommunikationsgesetz (TKG) verabschiedet. Das Gesetz hat wesentlich zum Wettbewerb in der Telekommunikation beigetragen. Märkte, Technologien und Regulierungserfahrungen haben sich auf nationaler, europäischer und weltweiter Ebene lebhaft weiterentwickelt. Es erhebt sich die Frage, ob das TKG auch künftig der geeignete Rahmen ist bzw. ob und in welchem Umfang Gesetzesänderungen angezeigt sein könnten. Die Novellierung des TKG steht an. In der Fachkonferenz 'Das Telekommunikationsgesetz auf dem Prüfstand' haben führende Vertreter aus Politik, Telekommunikationswirtschaft und Wissenschaft die Leistungsfähigkeit des TKG beurteilt, seinen Novellierungsbedarf erörtert und mit einem kompetenten Fachpublikum diskutiert. Das vorliegende Buch enthält die Vorträge und Diskussionsbeiträge dieser Konferenz.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Lernen mit elektronischen Dokumenten wird immer wichtiger. Der entscheidende Vorteil des Mediums Computer ist die Möglichkeit, dynamische Dokumente zu erzeugen. Diese Dynamik kann zum einen in den einzelnen Inhalten liegen (Animationen, Simulationen) oder in der Erstellung der Dokumente (adaptive Anpassung an die einzelnen Benutzer/innen). Die Lerndokumente liegen dafür in Modulen, nicht als ein großes Dokument vor. Um diese Vorteile nutzen zu können, müssen die Module beschrieben sein. Das Buch bietet ein Beschreibungsschema, mit dem aus einer Wissensbasis von unzusammenhängenden Modulen ein gut lesbares und auf die Bedürfnisse der einzelnen Leser/innen angepasstes webbasiertes Dokument erstellt werden kann.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -This monograph contributes to the existence theory of difference sets, cyclic irreducible codes and similar objects. The new method of field descent for cyclotomic integers of presribed absolute value is developed. Applications include the first substantial progress towards the Circulant Hadamard Matrix Conjecture and Ryser`s conjecture since decades. It is shown that there is no Barker sequence of length l with 13Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Auf der Grundlage eines beiden Gebieten gemeinsamen Konzepts wird für Studenten der Physik und der Ingenieurwissenschaften eine Einführung in die Fluid- und Thermodynamik gegeben. In der Fluiddynamik werden Hydrostatik, Hydrodynamik der idealen und viskosen Fluide sowie laminare und turbulente Rohrströmungen behandelt, in der Thermodynamik der erste und zweite Hauptsatz. Die Gasdynamik umfaßt Akustik, stationäre isentrope Stromfadentheorie und Stoßtheorie, und so werden Fluid- und Thermodynamik miteinander verwoben. Angeschlossen ist - als Besonderheit - ein Kapitel über Dimensionsanalyse und Modelltheorie, das die Erarbeitung technischer Fragestellungen und den Blick für umweltrelevante Probleme eröffnet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Deutsch.

Buch. Zustand: Neu. Neuware -e-Procurement stellt für viele Unternehmen eine sehr einfache und effiziente Möglichkeit dar, um Kosteneinsparungen im Einkauf zu erzielen und um durch Prozessoptimierungen nachhaltige Wettbewerbsvorteile zu erzielen. Der Leser erfährt, welche Überlegungen im Vorfeld einer e-Procurement-Implementierung angestellt werden müssen. Die Ansätze wichtiger e-Procurement-Systemanbieter werden miteinander verglichen, kritische Faktoren bei der Umsetzung von e-Procurement-Lösungen näher beleuchtet und Praxistipps für die Planung und Durchführung von e-Procurement-Projekten anhand von Beispielen gegeben. Das Buch präsentiert die erfolgreichsten Lösungsansätze, Standards und Softwareanbieter.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Rechtsanwälten, Studenten, Richtern, Wirtschaftsjuristen und allen, die sich mit Rechtsfragen zum Internet beschäftigen, wird mit diesem Casebook eine zuverlässige Entscheidungssammlung an die Hand gegeben. Die Urteile und Beschlüsse sind nach wissenschaftlichen Kriterien ausgewählt und didaktisch aufbereitet. Endlich stehen die aktuellen Entscheidungen zum Internetrecht in zitierbarer Form bereit.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 668 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Liebe Kolleginnen und Kollegen, nichts liegt niilier, als der 66. Jahrestagung 2002 das Motto zu geben, das uns diese Zah len vorgeben: Wir betrachten einmal die Unfallchirurgie im Spiegel der Symmetrie. 'Symmetrie, ob man ihre Bedeutung weit oder eng fasst, ist eine Idee, vermoge derer der Mensch durch die Jahrtausende seiner Geschichte versucht hat, Ordnung, Schonheit und Vollkommenheit zu begreifen und zu schaffen.' schreibt Hermann Weyl, ein bedeutender deutscher Mathematiker 1955. Erst in genau in 770 Jahren wird sich wieder eine solche Gelegenheit ergeben, vorausgesetzt allerdings, dass die Deutsche Gesellschaft fUr Unfallchirurgie bis dahin regelmaBig ihre Jahrestagung abhalt, die dann im Jahre 2772 die 636. ware. Dass das eher unwahrscheinlich ist, wird unterstrichen durch die Tatsache, dass wir bereits im nachsten Jahr einen gemeinsamen (uberlappenden) Kongress mit den Orthopaden haben werden. Noch einmalliegt Ihnen der Abstractband in der Form vor, wie er die letzten Jahre ublich war. Dieser solI eher als ausfuhrliche Speisekarte fur die wissenschaftlichen Sit zungen und zum spateren Nachschlagen nutzlich sein. Daneben ist eine CD-Version verfugbar, die fur Suchende leichteren Zugang bieten wird. Ein Register ist in der Druckversion somit entbehrlich.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Die Sicherheit einer IT-Komponente hängt meist direkt von einer oder mehreren anderen Komponenten ab, wobei diese Abhängigkeiten komplex und schwer erfassbar sind. In diesem Buch wird das Thema Sicherheit daher systematisch betrachtet: Lösungen für immer wiederkehrende Sicherheitsprobleme werden erstmals in Form von 'Security Patterns' dargestellt. Die Grundlage hierfür bilden langjährige Erfahrungen, die im Rahmen des 'Hacker Contest' gesammelt wurden. Die Grundsätze des Hackens bzw. Crackens sowie prinzipieller Angriffs- und Schutzkonzepte werden vermittelt. Um Sicherheitslücken erkennen und effizient schliessen zu können, muss ein Sicherheitsexperte in der Lage sein, Netze und Systeme aus der Sicht eines Angreifers zu verstehen. Hierbei hilft ihm die konsequent praxisbezogene Darstellung der Autoren.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Der bekannte Autor H. Pietschmann wendet sich mit diesem Buch an Physiklehrer an höheren Schulen und an Physikstudenten im Anschluß an deren Grundausbildung. Quantenmechanik entzieht sich der Anschaulichkeit, wie wir sie von der klassischen Physik her kennen, aber - und das ist das Kernthema des Buchs - man kann sie sehr wohl verstehen. H. Pietschmann gelingt es, dies mit einfachen Mitteln zu erreichen, und damit gibt er Lehrerinnen und Lehrern eine Unterrichtshilfe und Studenten eine Einführung in die anspruchsvollen Hochschultexte an die Hand. Die mathematische Behandlung spielt keine zentrale Rolle, vielmehr wird versucht, der Interpretation und dem Denken in quantenmechanischen Kategorien breiten Raum zu geben. Behandelt werden z.B. die Quantenhypothese unter Einbeziehung der Geschichte dieses Konzepts, die Schrödingertheorie, die Interpretation der Wellenfunktion und der Messprozess, die Ein- und Mehrelektronenatome sowie Fragen der Zeitabhängigkeit.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -This self-contained monograph is the first to feature the intersection of the structure theory of noncommutative associative algebras and the algorithmic aspect of Groebner basis theory. A double filtered-graded transfer of data in using noncommutative Groebner bases leads to effective exploitation of the solutions to several structural-computational problems, e.g., an algorithmic recognition of quadric solvable polynomial algebras, computation of GK-dimension and multiplicity for modules, and elimination of variables in noncommutative setting. All topics included deal with algebras of (q-)differential operators as well as some other operator algebras, enveloping algebras of Lie algebras, typical quantum algebras, and many of their deformations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Zustand: Neu. Neuware -Der Einsatz der Ablaufsimulation in der Automobilproduktion gehört seit Jahren zum Tagesgeschäft der Anlagenplaner und -betreiber. Aktuelle Entwicklungsbestrebungen mit dem Ziel des Aufbaus einer 'Digitalen Fabrik', die Nutzung eines konsequenten Virtual Engineering und sich verändernde Produktionsstrategien in der Automobilindustrie führen allerdings zu Veränderungen im Tagesgeschäft. Das Buch 'Simulation in der Automobilproduktion' vermittelt dem Leser ein aktuelles Stimmungsbild zum Einsatz der Ablaufsimulation in der Automobilproduktion. Repräsentative Beiträge aus Industrie und Forschung zeigen in einem breiten Querschnitt den heutigen Stand der Technik und die zukünftigen Tendenzen auf. Das Buch wendet sich gleichermaßen an die in Forschung und Anwendung tätigen Simulationsexperten und veranschaulicht dem Praktiker anhand von Anwendungsberichten die aktuellen Aktivitäten in der Automobilproduktion. Hieraus ergeben sich 'ebenfalls' Anknüpfungspunkte für Forschung und Lehre.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -MythorReality ,¿toprovideaforumforopendiscussionofthestate-of-the-art andrequirementsforquality-of-servicecon guration,monitoring,andenfor- ment. Thisworkshopowesitssuccesstoallthemembersofthetechnicalprogram committee,whodidanexcellentjobofencouragingtheircolleaguesinthe eld tosubmithigh-qualitypapers,andwhodevotedalotoftheirtimetohelpcreate anoutstandingtechnicalprogram. Wethankthemsincerely. Wearealsovery gratefultothevolunteerreviewerswhogavegenerouslyoftheirtimetomake thereviewprocesse ective. October2002 GilbertBabin MetinFeridun PeterKropf Organization The13thIFIP/IEEEInternationalWorkshoponDistributedSystems:Opera- onsandManagement(DSOM2002)wassponsoredbyIFIP(TC6,Communi- tionSystems;WG6. 6,ManagementofNetworksandDistributedSystems),the IEEECommunicationsSociety,theMinist`eredelaRecherche,delaScienceetde laTechnologieduQüebec,IBM,CIRANO(CenterforInteruniversityResearch andAnalysisonOrganizations),CRT(CenterofResearchonTransportat ion), andBombardier. ConferenceChairs MetinFeridun,IBMResearch,Switzerland PeterKropf,UniversityofMontreal,Canada LocalArrangementsChair GilbertBabin,HEC,Montreal,Canada TechnicalProgramCommittee SebastianAbeck,UniversityofKarlsruhe,Germany NikosAnerousis,Voicemate,USA GilbertBabin,HECMontreal,Canada RaoufBoutaba,UniversityofWaterloo,Canada TorstenBraun,UniversityofBern,Switzerland MarcusBrunner,NECEurope,Germany MarkBurgess,UniversityCollegeOslo,Norway OmarCherkaoui,UniversityofQuebecinMontreal,Canada AlexanderClemm,CiscoSystems,USA TheodorCrainic,UniversityofMontreal,Canada MarkusDebusmann,FHWiesbaden,Germany GabiDreo-Rodosek,LRZMunich,Germany OlivierFestor,LORIA/INRIA,France KurtGeihs,TechnicalUniversityBerlin,Germany Heinz-GerdHegering,UniversityofMunich,Germany JosephHellerstein,IBMResearch,USA GabrielJakobson,GabrielJakobsonAssociates,USA BrigitteJaumard,UniversityofMontreal,Canada AlexanderKeller,IBMResearch,USA YoshiakiKiriha,NEC,Japan LundyLewis,AprismaManagementTechnologies,USA VIII Organization AntonioLiotta,Univer 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The biennial Brazilian Symposium on Arti cial Intelligence (SBIA 2002) ¿ of which this is the 16th event ¿ is a meeting and discussion forum for arti cial intelligence researchers and practitioners worldwide. SBIA is the leading c- ference in Brazil for the presentation of research and applications in arti cial intelligence. The rst SBIA was held in 1984, and since 1995 it has been an international conference, with papers written in English and an international program committee, which this year was composed of 45 researchers from 13 countries. SBIA 2002 was held in conjunction with the VII Brazilian Symposium on Neural Networks (SBRN 2002). SBRN 2002 focuses on neural networks and on other models of computational intelligence. SBIA 2002, supported by the Brazilian Computer Society (SBC), was held in Porto de Galinhas/Recife, Brazil, 11¿14 November 2002. The call for papers was very successful, resulting in 146 papers submitted from 18 countries. A total of 39 papers were accepted for publication in the proceedings. We would like to thank the SBIA 2002 sponsoring organizations, CNPq, Capes, and CESAR, and also all the authors who submitted papers. In particular, we would like to thank the program committee members and the additional referees for the di cult task of reviewing and commenting on the submitted papers. 436 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The International Symposium on Medical Data Analysis is an important - riodical opportunity to exchange ideas and rst-hand experiences with groups interested in the medical applications of innovative hardware and software tools. The massive information available through continuous improvements in the various modeling approaches to Medical Data Analysis is re ected in the - sults, dealing with quite di erent topics, presented during the Third Edition of the Symposium (ISMDA 2002). They have been grouped into the following four categories: (1) Data Mining and Decision Support Systems; (2) Medical Informatics and Modeling; (3) Time-Series Analysis; and (4) Medical Imaging. In setting up the symposium program we tried to avoid, even with the sho- age of time, parallel sessions. Thus, all participants had the chance to catch all the oral presentations, and we hope that this third proceedings volume will extend this chance also to non-participants. As for the previous volumes, it c- tains extensive up-to-date chapters on Medical Data Analysis, packed with ideas, suggestions, and solutions to many problems typical of this eld. 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the program committee, it is our pleasure to present to you the proceedings of the Fifth Symposium on Recent Advances in Intrusion Detection (RAID). Since its rst edition in 1998, RAID has established itself as the main annual intrusion detection event, attracting researchers, practitioners, and v- dors from all over the world. The RAID 2002 program committee received 81 submissions (64 full papers and 17 extended abstracts) from 20 countries. This is about 50% more than last year. All submissions were carefully reviewed by at least three program comm- tee members or additional intrusion-detection experts according to the criteria ofscienti cnovelty,importancetothe eld,andtechnicalquality.Finalselection took place at a meeting held on May 15¿16, 2002, in Oakland, USA. Sixteen full papers were selected for presentation and publication in the conference proc- dings. In addition, three extended abstracts of work in progress were selected for presentation. The program included both fundamental research and practical issues. The seven sessions were devoted to the following topics: anomaly detection, steppi- stonedetection,correlationofintrusion-detectionalarms,assessmentofintrusi- detectionsystems,intrusiontolerance,legalaspects,adaptiveintrusion-detection systems, and intrusion-detection analysis. RAID 2002 also hosted a panel on ¿Cybercrime,¿ a topic of major concern for both security experts and the public. Marcus J. Ranum, the founder of Network Flight Recorder, Inc., delivered a keynote speech entitled ¿Challenges for the Future of Intrusion Detection¿. 344 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -ThisvolumeconstitutestheproceedingsoftheFifthInternationalConferenceon Flexible Query Answering Systems, FQAS 2002, held in Copenhagen, Denmark on October 27¿29, 2002. FQAS is the premier conference for researchers and practitioners concerned with the vital task of providing easy, exible, and intuitive access to information for every type of need. This multidisciplinary conference draws on several re- arch areas, including databases, information retrieval, knowledge representation, soft computing, multimedia, and human¿computer interaction. Previous FQAS events were held in 1994, 1996, 1998, and 2000. The overall theme of the FQAS conferences is innovative query systems - medatprovidingeasy, exible,andintuitiveaccesstoinformation.Suchsystems are intended to facilitate retrieval from information repositories such as data- ses,libraries,andtheWorld-WideWeb.Theserepositoriesaretypicallyequipped with standard query systems which are often inadequate, and the focus of FQAS is the development of query systems that are more expressive, informative, c- perative, and productive. These proceedings contain 29 original papers that relate to the topic of users posing queries and systems producing answers. The papers cover the elds: - tabase Management, Information Retrieval, Domain Modeling, Knowledge - presentation and Ontologies, Knowledge Discovery and Data Mining, Arti cial Intelligence, Classical and Non-classical Logics, Computational Linguistics and Natural Language Processing, Multimedia Information Systems, and Human¿ Computer Interaction. We wish to thank the contributors for their excellent papers and the referees, publisher, and sponsors for their e ort. Special thanks also to the invited sp- kers, members of the Advisory Board, and members of theProgram Committee. They made the success of FQAS 2002 possible. 404 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Research in the telecommunications eld suggests that future network infrastructures will be composed of sensors, wireless devices, personal digital assistants, networked appliances and numerous types of services. This brings up key issues such as unfamiliar users and service interfaces, discovering services that match user¿s needs, nding and tracking people and resources, establishing useful contacts and appropriate associations between resources and users, and managing a large number of dynamic network entities all of which must be performed in an automated and proactive manner with a certain degree of autonomy and mobility. These are the main characteristics exhibited by mobile software agent behavior, making the technology more suitable for future telecommu- cation applications and services. It also reveals the tremendous potential for the mobile agent paradigm. The potential complexity of mobile agent operation requires that mechanisms exist on several levels to coordinate its activities. For this purpose research and development on various forms of mobile agents continues to grow in a staggering fashion. Age- based applications and services such as network management, e-commerce, information gathering on the Internet, mobile communications, active networking, and most recently ad hoc communications are becoming increasingly popular and continue to contribute to the development and to the success of mobile agent technology. In addition it is well established that mobile agents is an ideal sister technology for mobile ad hoc networks where users, applications, services, devices and networks are mobile and dynamically con gurable. 336 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 10th International Symposium on Graph Drawing (GD 2002) was held on August 26¿28,2002,at Irvine,California. The conference attracted 74 parti- pants from academic and industrial institutions in 14 countries. As in previous years,the review process was competitive: 24 out of 48 regular submissions were accepted. In addition,9 short papers and 8 system demonst- tions (1 withdrawn) were also accepted. Each submission was refereed by at least 4 members of the program committee,and detailed comments were returned to the authors. GD 2002 invited two speakers: Frank Ruskey,from the University of Victoria, gave a talk on drawing Venn diagrams; James Arvo,from the California Institute of Technology,gave a talk on techniques for interactive graph drawing. As usual,the Graph Drawing contest was held during the conference. The report on the contest is included in the proceedings. We would like to thank all the people who helped organize and run the conference. We would like to thank our sponsors: ILOG,MERL (Mitsubishi Electric Research Laboratories),sd&m (Software Design & Management),Tom Sawyer Software,and the University of California,Irvine. We would also like to thank all the contributors and participants who made GD 2002 a success. The 11th International Symposium of Graph Drawing (GD 2003) will be held on September 21¿24,2003 at Perugia,Italy,with Giuseppe Liotta as the conference chair. 412 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th Catalonian Conference on Artificial Intelligence, CCIA 2002, held in Castellón, Spain in October 2002.The 37 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on reasoning models, constraint satisfation, machine learning and classification, multi-agent systems, and computer vision and robotics. 448 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the Second International Conference on Advances in Information Systems (ADVIS) held in Izmir, Turkey, 23¿25 October 2002. This conference was dedicated to the memory of Prof. Esen Ozkarahan. He was a great researcher who made an essential contribution to the development of information systems. Prof. Ozkarahan was one of the pioneers of database machine research and database systems in Turkey. This conference was organized by the Computer Engineering department of Dokuz Eylul University in Izmir. This department was established in 1994 by Prof. Ozkarahan and he worked there for the last ve years of his life. The main goal of the conference was to bring together researchers from all around the world working in di erent areas of information systems, to share new ideas and present their latest results. This time we received 94 submissions from 27 countries. The program committee selected 40 papers for presentation at the conference. During the conference a workshop was organized on the topic ¿New Information Technologies in Education¿. The invited and accepted cont- butions cover a large variety of topics: general aspects of information systems, databases and data warehouses, information retrieval, multiagent systems and technologies, distributed and parallel computing, evolutionary algorithms and system programming, and new information technologies in education. The success of the conference was dependent upon the hard work of a large number of people. We gratefully acknowledge the members of the Program C- mittee who helped to coordinate the process of refereeing all submitted papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -MaurizioLenzerini(Universit`adiRomäLaSapienzä) GiorgioLevi(Universit`adiPisa) LeonidLibkin(UniversityofToronto) RobertNieuwenhuis(TechnicalUniversityofCatalonia) LeszekPacholski(WroclawskiUniwersytet) MichelParigot(Universit¿eParis7) PavelPudlak(MathematicalInstitute,Prague) CarstenSchuermann(YaleUniversity) J¿orgSiekmann(DFKISaarbruc ¿ken) WolfgangThomas(RWTHAachen) MichaelZakharyaschev(King¿sCollege) LocalOrganization KhimuriRhukia KotePhakadze GelaChankvetadze JemalAntidze VIII ConferenceOrganization ListofReferees GianlucaAmato CarlosAreces M. Arenas OferArieli RobertoBarbuti ChristophBenzmueller MartaBilkova BrunoBlanchet AlexandreBoisseau AhmedBouajjani DmitriChubarov PabloCordero VeroniqueCortier AgostinoDovier RachidEchahed MorenoFalaschi C`esarFerri OlivierGasquet BernhardGramlich Jos¿eManuelG¿omez PhilippedeGroote RainerHaehnle JiriHanika JuanHeguiabehere JoseHernandez-Orallo ThomasHillenbrand JoeHurd EmilJerabek ValentinJijkoun KonstantinKorovin G. Lakemeyer DominiqueLarchey-Wendling OlivierLaurent StefanLeue LuigiLiquori ChristofLoeding CarstenLutz ChristopherLynch PatrickMaier PaoloMancarella FlorenceMaraninchi MaartenMarx Jesus ¿ Medina EricaMelis AntoineMin¿e RalfM¿oller PaulinDeNaurois HansdeNivelle MichaelNorrish ManuelOjeda-Aciego NikolayPelov GuyPerrier ReinhardPichler ChristopherPollett Germ¿anPuebla Jean-PierreRessayre ChristianRetor¿e AlexandreRiazanov MichalRossler PaulRozi`ere NikitaSakhanenko UlrikeSattler StefanSchlobach ManfredSchmidt-Schauß KonradSlind Anni-YasminTurhan ChristianUrban WimVanhoof YdeVenema So eVerbaeten UweWaldmann KlausWeich ClausPeterWirth StefanWoehrle ConferenceOrganization IX ConferencesprecedingLPAR2001 RCLP¿90,Irkutsk,SovietUnion RCLP¿91,Leningrad,SovietUnion,aboardtheship¿MichailLomonosov¿ LPAR¿92,St. Petersburg,Russia,aboardtheship¿MichailLomonosov¿ LPAR¿93,St. Petersburg,Russia LPAR¿94,Kiev,Ukraine,aboardtheship¿MarshalKoshevoi¿ LPAR¿99,Tbilisi,RepublicofGeorgia LPAR2000,ReunionIsland,France LPAR2001,Hav 484 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Geometric Mechanics here means mechanics on a pseudo-riemannian manifold and the main goal is the study of some mechanical models and concepts, with emphasis on the intrinsic and geometric aspects arising in classical problems. The first seven chapters are written in the spirit of Newtonian Mechanics while the last two ones as well as two of the four appendices describe the foundations and some aspects of Special and General Relativity. All the material has a coordinate free presentation but, for the sake of motivation, many examples and exercises are included in order to exhibit the desirable flavor of physical applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11¿14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci cation, testing, and veri cation of distributed systems and communication protocols. The main topics are: ¿ FDT-based system and protocol engineering. ¿ Semantical foundations. ¿ Extensions of FDTs. ¿ Formal approaches to concurrent/distributed object-oriented systems. ¿ Real-time and probability aspects. ¿ Performance modeling and analysis. ¿ Quality of service modeling and analysis. ¿ Veri cation and validation. ¿ Relations between informal and formal speci cation. ¿ FDT-based protocol implementation. ¿ Software tools and support environments. ¿ FDT application to distributed systems. ¿ Protocol testing, including conformance testing, interoperability testing, and performance testing. ¿ Test generation, selection, and coverage. ¿ Practical experience and case studies. ¿ Corporate strategic and nancial consequences of using formal methods. A total of 61 papers were submitted to FORTE 2002, and reviewed by m- bers of the program committee and additional reviewers. The program committee selected 22 regular papers, two tool papers, and two posters for presentation at the conference. The program also included three tutorials and ve invited talks. 388 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Many partial differential equations arising in practice are parameter-dependent problems that are of singularly perturbed type. Prominent examples include plate and shell models for small thickness in solid mechanics, convection-diffusion problems in fluid mechanics, and equations arising in semi-conductor device modelling. Common features of these problems are layers and, in the case of non-smooth geometries, corner singularities. Mesh design principles for the efficient approximation of both features by the hp-version of the finite element method (hp-FEM) are proposed in this volume. For a class of singularly perturbed problems on polygonal domains, robust exponential convergence of the hp-FEM based on these mesh design principles is established rigorously.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri cation has become one of the principal costs in a modern computer design e ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Welcome to the proceedings of the 6th IEEE International Conference on Mobile Agents. MA 2002 took place in Barcelona, Spain and was co-located with the 4th International Workshop on Mobile Agents for Telecommunications Applications. Both events were held at the Universitat Pompeu Fabra, October 22¿25, 2002. Mobile agents may be de ned as programs that, with varying degree of - tonomy, can move between hosts across a network. Mobile agents combine the notions of mobile code, mobile computation, and mobile state. Capabilities of mobile agents include: ¿ Supporting unrealiable networks and disconnected operation ¿ Counteracting low-bandwidth, high-latency communication links ¿ Deploying newbehaviour (through mobile code) and recon guring systems on-the- y ¿ Distributing processing load across systems ¿ Improving survivability in the face of network and system failure. Given the above capabilities, mobile agents (while they may not be referred to as such) are nowbecoming accepted as a fundamental architectural construct for the design and development of complex adaptive systems that need to operate in highly dynamic environments. Mobile agents also support applications in several domains such as ubiquitous computing, grid computing, remote sensing, data mining, system management, and agile computing. 220 pp. Englisch.