springer berlin heidelberg sep 2001 (85 results)

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Datenanalyse geht heute weit über die Ermittlung einfacher Mittelwerte, Varianzen und Signifikanztests hinaus. Ein Großteil der experimentellen Untersuchungen erfordert aufwändige mathematische Methoden. Der Autor stellt besonders bemerkenswerte und elegante Analysestrategien aus der Forschungsliteratur der letzten zehn Jahre vor. Drei wesentlichen Techniken der fortgeschrittenen Datenanalyse sind Einzelkapitel gewidmet: nichtlineare Zeitreihenanalyse, Methoden der fraktalen Geometrie und Analyse von Daten mit raumzeitlicher Dynamik. 324 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Einfache und bekannte Beispiele führen in die Welt der mathematischen Stochastik ein: Grundbegriffe aus Kombinatorik, Wahrscheinlichkeitstheorie und Statistik. Das Spektrum reicht von der Vorstellung der Bionimal-, Poisson- und negativen Binomialverteilung bis hin zur Kennzeichnung aller erwartungstreu schätzbaren Funktionen in Abhängigkeit von Trefferwahrscheinlichkeiten in Bernoulli-Experimenten. Darüber hinaus wird ein schätztheoretischer Zusammenhang mit Wahrscheinlichkeitsverteilungen aus der Physik hergestellt. 176 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Gedacht als Ergänzung zu den üblichen Standardvorlesungen der Analysis, richtet sich dieses Buch vornehmlich an Studierende des Lehramtstudienganges, aber auch an solche, die sich für deren historische Entwicklung interessieren. Es werden Themen vorgestellt, die wesentlichen Einfluß auf die Entstehung der Analysis hatten z.B. die Theorie der Kettenbrüche (üblicherweise in der Zahlentheorie angesiedelt), die gewöhnlichen Differentialgleichungen und die elementare Differentialgeometrie. Besonders widmet sich das Buch der mehrdimensionalen Differentialrechnung, deren Eigenschaften am Beispiel der Kartierung der Erde illustriert und transparent gemacht werden. Abgeschlossen wir das Buch mit dem ersten globalen Resultat der Differentialgeometrie der Flächen, dem Satz von Gauß-Bonnet. Zahlreiche Abbildungen, Kurzbiographien von 31 Mathematikern sowie 100 Übungsaufgaben mit Lösungen bzw. Lösungshinweisen runden die inhaltliche Darstellung ab. 264 pp. Deutsch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In einer brillanten tour de force beweist der bekannte Computer-Wissenschaftler David Harel bestechend logisch, dass selbst die leistungsstärksten Computer der Welt nicht alles können und niemals können werden. Eine provokative, mit Überraschungen gewürzte Botschaft, die uns an die Grenzen allen Wissens führt. 228 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieser ausbildungs- und praxisbezogene Grundriss vermittelt in verständlicher Weise das umweltrechtliche Basiswissen. Dazu dient eine besonders ansprechende didaktische Aufbereitung des Stoffes mit Übersichten, Marginalien und Fragen. Ein Index gibt Orientierung und Erläuterungen zu den jeweiligen Fachbegriffen.Ferner sind die wichtigsten Normen im Wortlaut vorgestellt, verständlich kommentiert und mit den - für die gelungene Fallbearbeitung - notwendigen Verweisen versehen.Wer bei der Lösung von Problemstellungen schnell auf den Punkt kommen will, ohne sich mit schwerfälligen juristischen Theorien auseinandersetzen zu müssen, findet hier alles, was er dafür benötigt. 412 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. This item is printed on demand - it takes 3-4 days longer - 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 548 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Diese moderne Einführung in die Informatik ist am renommierten Massachusetts Institute of Technology entstanden und repräsentiert den dortigen Ausbildungsstandard für Studenten der Informatik und der Elektrotechnik. Das ganzheitliche Verständnis der Informatik unter Einbeziehung der Künstlichen Intelligenz, das in diesem Buch vermittelt wird, hat es weltweit zu einer beliebten Grundlage für die Einführungsvorlesung gemacht. Zur Notation der Programme wird Scheme verwendet, ein Dialekt der Programmiersprache Lisp, der die Leistungsfähigkeit und die Eleganz von Lisp und Algol verbindet. Die Besonderheit dieser einführenden Vorlesung beruht auf zwei Grundüberzeugungen: 1. Eine Computersprache ist nicht einfach ein Weg, einen Computer zur Ausführung von Operationen zu bewegen, sondern vielmehr ein neuartiges Medium, um Vorstellungen über Verfahrensweisen auszudrücken. 708 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses zweibändige Werk deckt den üblichen Mathematikstoff für sämtliche Ingenieurstudiengänge an Fachhochschulen ab. Werkzeuge der Computeralgebra werden mit durchgerechneten Beispielen kombiniert, abstrakte mathematische Begriffe anschaulich erklärt. Für die numerische Bearbeitung von Problemstellungen dienen die angegebenen Algorithmen und Pascalprogramme. Auf der beiliegenden CD-ROM befinden sich neben Animationen auch die im Buch abgedruckten Maple-Worksheets, mit denen der Stoff direkt beim Lernen aus dem Buch interaktiv eingeübt werden kann. In der 2. Auflage wurden die Maple-Ausarbeitungen umfassend ergänzt, viele Visualisierungen mathematischer Begriffe neu erstellt, die ektronischen Arbeitsblätter an die neue Maple-Version angepasst und Textverbesserungen vorgenommen. Die CD-ROM wurde völlig neu und benutzerfreundlicher gestaltet und die interaktive Nutzung der elektronischen Arbeitsblätter weiter erleichtert. 576 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung 'Einführung in die Informatik'. Er ist eng abgestimmt auf die zweibändige Informatik-Einführung von M. Broy - das Gelernte kann so von der Theorie in die Praxis umgesetzt werden. Neben Aufgaben, die alle wichtigen Themengebiete der Einführung abdecken, werden vertiefende und weiterführende Aufgaben angeboten. Darüber hinaus umfaßt das Buch Programmieraufgaben in den funktionalen bzw. objektorientierten Sprachen Gofer und Java sowie der Assemblersprache MI, ergänzt durch kurze Einführungen in diese modernen Programmiersprachen. 392 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThesearetheproceedingsoftheSixthInternationalConferenceonLogicP- grammingandNonmonotonicReasoning (LPNMR2001). The conference was heldinViennafrom17thto19thofSeptember,2001. Itwascollocatedwiththe JointGerman/AustrianConferenceonArti cialIntelligence(24thGerman/9th AustrianConferenceonArti cialIntelligence),KI2001. LPNMR conferences aim to promote research in logic-based programming languages, database systems, nonmonotonic reasoning, and knowledge rep- sentation. LPNMR2001 was the sixth conference in the series. The previous meetingswereheldinWashington,DC,in1991,inLisbon,Portugal,in1993,in Lexington,Kentucky,in1995,inDagstuhl,Germany,in1997,andinElPaso, Texas,in1999. ThetechnicalprogramofLPNMR2001wascomprisedof veinvitedtalks thatweregivenbyJur genDix,GeorgGottlob,PhokionKolaitis,MaurizioLe- erini,andChiakiSakama. Italsocontained23technicalpresentationsselected bytheprogramcommitteeduringarigorousreviewprocess. Finally,asapart ofthetechnicalprogram,theconferencefeaturedaspecialsessioncomprisedo f ninepresentationsanddemonstrationsofimplementednonmonotonicreasoning systems. Allthesecontributionsareincludedintheproceedings. Many individuals workedfor the success of the conference. Special thanks areduetoallmembersoftheprogramcommitteeandtoadditionalreviewers fortheire ortstoproducefairandthoroughevaluationsofsubmittedpapers. Furthermore, we would like to thank the members of the Knowledge Based SystemsGroupoftheViennaUniversityofTechnology,whichtookcareofthe localorganization. Weparticularlyappreciatedthenevertiringe ortofElfriede Nedoma,secretarytothegroup. WewouldalsoliketothankGerdBrewkafor hissupportiveroleinarrangingthecollocationoftheconferencewithKI2001. Last,butnotleast,wethankthesponsoringinstitutionsfortheirgenerosity. September2001 ThomasEiter 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 ` iRoma 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,theAustrianComputerSociety(OCG),theEuropean Commission,theAustrianMinistryofTransport,Innovation&Technology,and Microsoft. Table of Contents Invited Papers AComputationalLogicApproachtoHeterogenousAgentSystems . . . . . . . . . . 472 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 360 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 460 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 256 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 524 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2001, held in Boltenhagen, Germany, in June 2001.The 27 revised full papers presented together with two invited contributions were carefully reviewed and selected from numerous submissions. The papers provide a wealth of new results for various classes of graphs, graph computations, graph algorithms and graph-theoretical applications in various fields. 344 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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 , 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. 400 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic programming. 460 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The E-smart 2001 international conference on research in smart cards was held in Cannes, France on 19 21 September. The conference was jointlyorganized bythe Java Card Forum, Eurosmart and INRIA, and received helpful nancial support from the Conseil R egional Provence-Alpes-C ote d Azur. The intention with E-smart is to provide a forum for discussion and exchange of results on smart card development, security, and applications. This year s p- gram was established byan international program committee that examined 38 papers submitted and selected 20 of these for presentation. The list of topics of this year s presentations includes biometrics, cryptography and electronic sig- tures on smart cards, hardware and software solution for smart card security, formal methods for smart card evaluation and certi cation, architectures for multi-applications and secure open platforms, middleware for smart cards and novel applications of smart cards. The conference also featured an invited talk bySimon Moore from the Universityof Cambridge. Isabelle Attali Thomas Jensen E-smart 2001 program committee co-chairs. Organization Program Committee Isabelle Attali, INRIA Dominique Bolignano, Trusted Logic Bertrand du Castel, Schlumberger Wolfgang E ng, Giesecke & Devrient Christian Goire, Bull CP8 Pieter Hartel, Universityof Twente Peter Honeyman, University of Michigan Thomas Jensen, IRISA / CNRS Pierre Paradinas, Gemplus Joachim Posegga, SAP AG Peter Ryan, CERT Jean-Paul Thomasson, ST Microelectronics Yasuyoshi Uemura, ECSEC Thanks are due to the following people for their help with the refereeing of papers: Thomas Genet, Valerie Viet Triem Tong, Stefan Friedich, Harald Vogt, Jaap-Henk Hoepman, Neil Henderson, Adam Field, and Jordan Chong. 268 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The story is the richest heritage of human civilizations. One can imagine the rst stories being told, several thousand centuries ago, by wise old men huddled around camp res. Since this time, the narrative process has been considerably developed and enriched: sounds and music have been added to complement the speech, while scenery and theatrical sets have been created to enhance the story environment. Actors, dancers, and technicians have replaced the lone storyteller. The story is no longer the sole preserve of oral narrative but can be realized in book, theatrical, dance, or movie form. Even the audience can extend up to several million individuals. And yet in its many forms the story lies at the heart of one of the world's most important industries. The advent of the digital era has enhanced and accelerated this evolution: image synthesis, digital special e ects, new Human-Computer interfaces, and the Internet allow one not only to realize more sophisticated narrative forms but also to create new concepts such as video gaming and virtual environments. The art of storytelling is becoming evermore complex. Virtual reality o ers new tools to capture, and to interactively modify the imaginary environment, in ever more intuitive ways, coupled with a maximum sensory feedback. In fact, virtual reality technologies o er enhanced and exciting production possibilities for the creation and non-linear manipulation in real time, of almost any story form. This has lead to the new concept of Virtual Storytelling. 232 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. This item is printed on demand - it takes 3-4 days longer - 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. This item is printed on demand - it takes 3-4 days longer - 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. This item is printed on demand - it takes 3-4 days longer - 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. 476 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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 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,andwillbecomeavaluablereferencefor researchers, practitioners, software engineers, educators, and students in many ADG-related areas from mathematics to CAGD and geometric modeling. ADG2000washostedbytheDepartmentofComputerScience,ETHZurich. 340 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 492 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. This item is printed on demand - it takes 3-4 days longer - 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. 240 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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.