springer berlin heidelberg feb 2002 (53 results)

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Lehrbuch vermittelt eine umfassende Einführung in die theoretischen und empirischen Grundlagen der Industrieökonomik. Einleitend werden die verschiedenen Elemente der Theorie der Firma diskutiert. Anschließend werden das Monopol und die grundlegenden Oligopolmodelle erläutert. Auf dieser Basis werden alternative Formen der Kooperation analysiert. Ausführlich untersucht wird ferner die Herausbildung von Marktstrukturen bei exogenen und endogenen Marktzutrittskosten sowie die Taxonomie strategischer Verhaltensweisen bei zweistufiger Konkurrenz. Abschließend werden empirische Anwendungen der modernen Industrieökonomik diskutiert. Im gesamten Buch wird vorwiegend graphisch-verbal argumentiert. Wo für das Verständnis notwendig, wird die Darstellung durch formale Argumente ergänzt. Dabei wurde darauf geachtet, dass die verwendete Mathematik möglichst einfach und leicht nachvollziehbar bleibt. Zur besseren Lesbarkeit werden anspruchsvollere Argumente in Anhängen diskutiert. TOC:Warum Industrieökonomik - Elemente einer Theorie der Firma.- Marktstruktur und Wettbewerbsintensität.- Grundmodelle der Industrieökonomik.- Kooperation und Kollusion.- Wettbewerbstheorie und -politik.- Regulierung. 272 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The subject of this book is Osserman semi-Riemannian manifolds, and in particular, the Osserman conjecture in semi-Riemannian geometry. The treatment is pitched at the intermediate graduate level and requires some intermediate knowledge of differential geometry. The notation is mostly coordinate-free and the terminology is that of modern differential geometry. Known results toward the complete proof of Riemannian Osserman conjecture are given and the Osserman conjecture in Lorentzian geometry is proved completely. Counterexamples to the Osserman conjuncture in generic semi-Riemannian signature are provided and properties of semi-Riemannian Osserman manifolds are investigated. 184 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Im Vordergrund dieses Buches steht die Planung der Leistungserstellung und deren organisatorische Einbindung in die Führungsebenen eines Unternehmens. Behandelt werden die folgenden Themen:Produktionssysteme und ihre PlanungProduktions- und kostentheoretische GrudnlagenProduktionsplanung als Erweiterung der Produktions- und KostentheorieStrategische und infrastrukturelle Rahmenbdingungen der ProduktionMaterialbedarfsplanungIntegrierte Produktionsplanung und deren Softwareunterstützung 408 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Das Lehrbuch Volkswirtschaftslehre 1 präsentiert eine leicht verständliche und moderne Einführung in die volkswirtschaftliche Theorie und Politik. Es werden die Grundlagen der Nationalökonomie erläutert, die vor allem für Studierende der Anfangssemester an Hochschulen und Wirtschaftsakademien von großer Bedeutung sind. Basierend auf einer Erklärung elementarer Begriffe und Prinzipien der Volkswirtschaftslehre befaßt sich der zweite und dritte Teil des Buches mit den großen Teilgebieten dieses Faches, nämlich der Mikro- und der Makroökonomie. Der gesamte Lehrstoff wird durch Graphiken und Zahlenbeispiele ergänzt und enthält zudem zahlreiche aktuelle Bezüge, um wichtige Zusammenhänge hervorzuheben. Der geplante Band Volkswirtschaftslehre 2 vertieft zentrale Themen der Mikro- und Makroökonomie und erweitert diese um neue Fragestellungen. 548 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheFirstSummerSchoolonTheoreticalAspectsonComputerSciencewasheld attheInstituteforStudiesinTheoreticalPhysicsandMathematics(IPM)from July3-10,2000. Theideaoforganizingasummerschoolwasoriginatedduringaconversation betweenthe rstandthesecondeditorofthisvolumeinthewinterof2000at IPMinTehran. ThedecisionwasformalizedwhenthethirdeditorvisitedIPM laterinthewinter. ThemainideabehindtheSummerSchoolwastointroducetothestudents in Iran some of the highly innovative and promising research in Theoretical ComputerScience,and,atthesametime,tostarta owofideasbetweentop researchersinthe eldandtheIranianscientists. Forthisreason,thetalkswere designedtobeofatutorialstyle. Theorganizersdecidedtoconcentrateonafewimportantareasofresearch in modern Theoretical Computer Science. To attract students to this imp- tant area, they also decided to include talks on applications of methods from TheoreticalComputerSciencetootherareas. ThisvolumecontainsthewrittencontributionstotheprogramofthisS- mer School. It is intended for students and researchers who want to gain - quaintancewithcertaintopicsinTheoreticalComputerScience. Thepaperson quantumcomputation,approximationalgorithms,self-testing/correcting,a l- braic modeling of data, and the Regularity Lemma correspond to the former category,whileconnectionsbetweenmultipleaccesscommunicationandcom- natorialdesigns,graph-theoreticalmethodsincomputervision,andlow-density parity-checkcodesbelongtothelattercategory. Eachcontributiontothisvolumewaspresentedinatwohoursession,l- vingampletimeforquestionsanddiscussions. Thetutorialswerefollowedbya numberofspecializedtalkstouchingoncurrentresearchproblemsinthearea. Partsofthetalkshavebeenincorporatedintothematerialofthecontributions. January2002 G. B. Khosrovshahi A. Shokoufandeh A. Shokrollahi Organization The rst International Summer School on Theoretical Aspects of Computer Science was organized by the Institute for Studies in Theoretical Physics and Mathematics(IPM)inTehran,Iran. ProgramCommittee ConferenceChair: G. B. Khosrovshahi,IPMandtheUniversity ofTehran,Iran A. Shokoufandeh,DrexelUniversity,USA A. Shokrollahi,DigitalFountain,USA Local Arrangements: M. Zamani SponsoringInstitutions SchoolofMathematics,Institutefor Studies in Theoretical Physics and Mathematics(IPM),Tehran,Iran World Mathematical Year (WMY) 2000 National Commission Service de Coop eration et d Action Culturelle,AmbassadedeFranceen Iran Neda Rayaneh Institute (NRI) neda. net. ir VIII Acknowledgements WearegratefultoProfessorM. J. Larijani,thedirectorofIPM,whohasbeen a great advocate for the expansion of Theoretical Computer Science at the - stitute,andhelpedussecuremajorfundingfromIPM. Wewouldalsoliketo expressourthankstoProfessorS. Shahshahani,theDeputyDirectorofIPM, who was most helpful in soliciting nancial support from the World Mathe- tical Year 2000 National Commission. The Service de Coop eration et d Action Culturelle of the French embassy in Iran kindly provided travel funds for our invited speakers from France. We thank the Service Culturelle for their generous support. Finally,wewouldliketoexpressourgratitudetoM. 236 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling. 292 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally. One of the most important reasons for the current intensity of interest in the agent-based computing paradigm certainly is that the concept of an agent as an autonomous system, capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. This recognition has led to the growth of interest in agents as a new paradigm for software engineering.This book reflects the state of the art in the field by presenting 14 revised full papers accepted for the second workshop on this topic, AOSE 2001, together with five invited survey articles. The book offers topical sections on societies and organizations, protocols and interaction frameworks, UML and agent systems, agent-oriented requirements capture and specification, and analysis and design. 336 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Technology Assessment processes can be taken as a paradigm for interdisciplinary research. It is expected that interdisciplinary Technology Assessment is able to find solutions for actual sociopolitical problems that go beyond those expected from one individual scientific discipline alone. The common notion, that for tasks like this different disciplinary perspectives should be brought together, confronts the fact that there is no common notion on how interdisciplinary research should be done. In the present volume European experts of Technology Assessment present their perspectives on interdisciplinary research. Many focus on methodology, policy consulting, and participation of stakeholders, non-experts and citizens. Others present concrete case studies concerning climate change and health care. Each contribution is commented by an other scientist. The result is a discussion-like examination of the connection between interdisciplinarity and the main subjects of Technology Assesment. 240 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In logistics systems, the issue of planning stability has attracted increased attention and interest in recent years. This is mainly due to an increasing integration of planning systems both within and across companies in supply chain management. The propagation of adjustments in planning systems first acquired wide attention when MRP systems were employed as standard planning tools for material coordination. Within a rolling horizon framework the MRP application produced considerable planning instability which origins from uncertainties in the planner's exogenous environment as well as from endogenous sources. This book presents an analytical investigation that gives deep insight into the influence of different kind of inventory control rules on the stability of material planning systems under stochastic demand in a rolling horizon environment. 284 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In our daily life, almost every family owns a portfolio of assets. This portfolio could contain real assets such as a car, or a house, as well as financial assets such as stocks, bonds or futures. Portfolio theory deals with how to form a satisfied portfolio among an enormous number of assets. Originally proposed by H. Markowtiz in 1952, the mean-variance methodology for portfolio optimization has been central to the research activities in this area and has served as a basis for the development of modem financial theory during the past four decades. Follow-on work with this approach has born much fruit for this field of study. Among all those research fruits, the most important is the capital asset pricing model (CAPM) proposed by Sharpe in 1964. This model greatly simplifies the input for portfolio selection and makes the mean-variance methodology into a practical application. Consequently, lots of models were proposed to price the capital assets. In this book, some of the most important progresses in portfolio theory are surveyed and a few new models for portfolio selection are presented. Models for asset pricing are illustrated and the empirical tests of CAPM for China's stock markets are made. The first chapter surveys ideas and principles of modeling the investment decision process of economic agents. It starts with the Markowitz criteria of formulating return and risk as mean and variance and then looks into other related criteria which are based on probability assumptions on future prices of securities. 220 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Internet and the World Wide Web (WWW) are becoming more and more important in our highly interconnected world as more and more data and information is made available for online access. Many individuals and governmental, commercial, cultural, and scientific organizations increasingly depend on information sources that can be accessed and queried over the Web. For example, accessing flight schedules or retrieving stock information has become common practice in todays world. When accessing this data, many people assume that the information accessed is accurate and that the data source can be accessed reliably. These two examples clearly demonstrate that not only the information content is important, the information about the quality of the data becomes an even more crucial and critical aspect for individuals and organizations when they make plans or take decisions based on the results of their queries. More precisely, having access to information of known quality becomes critical for the well-being and indeed for the functioning of modern industrialized societies. Surprisingly, despite the urgent need for clear concepts and techniques to judge and value quality and for technology to use such (meta) information, very few scientific results are known and available. Few approaches are known to use quality measures for accessing and querying information over the Web. Only a limited number of products on the IT market address this burning problem. 172 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Ingenieur hat bei der Planung einer geschweißten Konstruktion die Aufgabe, die Gestalt und Festigkeit in Abhängigkeit von der Bauteilfunktion zu bestimmen. Dabei muß das Bauteil werkstoffgerecht und schweißgerecht sowie im Hinblick auf die Festigkeit der geschweißten Konstruktion und auf die schweißtechnische Fertigung gestaltet werden. Dies muß zudem unter der Beachtung von Vorschriften und Normenwerken erfolgen.Dieses Buch soll die komplexen Zusammenhänge bei der Planung von Schweißkonstruktionen verdeutlichen und erklären, unterstützt durch Übungen zur Festigkeitsberechnung und Dimensionierung von einfachen, geschweißten Bauteilen bis hin zu hochdynamisch belasteten Konstruktionen. 148 pp. Deutsch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die 'Architektur integrierter Informationssystme' ARIS hat sich zur Optimierung von Geschäftsprozessen und zur Einführung von Anwendungssystemen auch international durchgesetzt. In diesem Buch wird der Ansatz um die Beschreibung von Leistungsflüssen und die Einordnung moderner Softwarekonzepte erweitert. Auch die Anbindung der Geschäftsprozessorganisation an die strategische Unternehmensplanung wird stärker betont. Das ARIS-Konzept zeigt einen geschlossenen Weg von der organisatorischen Gestaltung von Geschäftsprozessen bis zur informationstechnischen Umsetzung. Es vermittelt somit zwischen den Verständniswelten der Betriebswirtschaftslehre und der Informationstechnik. Praktische Beispiele von Standardsoftware, insbesondere SAP R/3, veranschaulichen die Ausführungen. 212 pp. Deutsch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Insbesondere im Retail Banking findet derzeit ein nachhaltiger und tiefgreifender Strukturwandel statt, der die Unternehmen vor völlig neue Herausforderungen stellt. Die Beiträge in diesem Buch beleuchten Fragestellungen zur Konzeption und Umsetzung der Neuausrichtung im Bankwesen. Im ersten Teil des Buches werden die Veränderungen beschrieben, die sich im Informationszeitalter ergeben. Dann wird die Bankenarchitektur dargestellt, die sich aus den Veränderungen ergibt. Im zweiten Teil werden Methoden und Modelle für die Geschäfts-, Prozess- und Applikationsebene sowie Erfahrungen aus der Anwendung der Methoden vorgestellt. Im letzten Teil werden wichtige Aspekte der Vision, wie z.B. Kundenbeziehungsmanagement, Change Management und die Konzeption des sogenannten Business Bus vertieft. 456 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This thesis is a summary of my work as a research assistant in the Computer Engineering Research Group of the Computer Science Department at Brandenburg Technical University, Cottbus, Germany. It embraces the concepts, approaches, implementations, and experiments of my work on dependable processor-based embedded systems. I would like to thank all those, who were directly or indirectly involved in the completion of this thesis, for their support. Especially, I am grateful to my supervisor and mentor Prof. Dr. Heinrich-Theodor Vierhaus for the motivation regarding this interesting and versatile topic, for the excellent support of my work, for the permanent technical discussion, and for multitudinous ideas and suggestions. I would like to thank my consultants Prof. Dr.-habil. M. Gössel from the University of Potsdam, Germany and Prof. Dr. Matteo Sonza Reorda from the Politecnico di Torino, Italy for their helpful remarks and hints. My colleagues T. Mohaupt, O. Kluge, and U. Berger, I would like to thank for giving me the benefit of their experiences and critiques. I would like to acknowledge the support of our secretary, Kathleen Lück, with organizational and administrative tasks. Due to her assistence, many bureaucratic hurdles were removed. A special thanks goes to the student members of our research group, Andreas Behling, Christian Galke, Falk Pompsch, Christian Rousselle, Thomas Schwanzara-Bennoit, and Karsten Walther, for their tireless co-operation during various investigations. Finally, I would like to thank my wife Kathrin Pflanz for her infinite patience and support during the preparation of this thesis. 140 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Spatial knowledge representation and reasoning with spatial knowledge are relevant issues for many application areas such as robotics, geographical information systems, and computer vision. Exceeding purely quantitative approaches, more recently initiated qualitative approaches allow for dealing with spatial information on a more abstract level that is closer to the way humans think and speak.Starting out with the qualitative, topological constraint calculus RCC8 proposed by Randell, Cui, and Cohn, this work presents answers to a variety of open questions regarding RCC8. The open issues concerning computational properties are solved by exploiting a broad variety of results and methods from logic and theoretical computer science. Questions concerning practical performance are addressed by large-scale empirical computational experiments. The most impressive result is probably the complete classification of computational properties for all fragments of RCC8. 228 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the 'Second International S- posium on Foundations of Information and Knowledge Systems' (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical elds such as discrete mathematics, c- binatorics, logics, and nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series 'Mathematical Fundamentals of Database S- tems' (MFDBS) which enabled East-West collaboration in the eld of database theory. The rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems. 304 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Visualinformationsystemsareinformationsystemsforvisualcomputing.Visual computing is computing on visual objects. Some visual objects such as images are inherently visual in the sense that their primary representation is the visual representation.Somevisualobjectssuchasdatastructuresarederiv ativelyvisual in the sense that their primary representation is not the visual representation, but can be transformed into a visual representation. Images and data structures are the two extremes. Other visual objects such as maps may fall somewhere in between the two. Visual computing often involves the transformation from one type of visual objects into another type of visual objects, or into the same type of visual objects, to accomplish certain objectives such as information reduction, object recognition, and so on. In visual information systems design it is also important to ask the foll- ing question: who performs the visual computing The answer to this question determines the approach to visual computing. For instance it is possible that primarily the computer performs the visual computing and the human merely observes the results. It is also possible that primarily the human performs the visual computing and the computer plays a supporting role. Often the human and the computer are both involved as equal partners in visual computing and there are visual interactions. Formal or informal visual languages are usually needed to facilitate such visual interactions. 340 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontainsthe nalproceedingsoftheSeventhWorkshoponOpen Hypermedia Systems (OHS7), the Third Workshop on Structural Computing (SC3),andtheThirdWorkshoponAdaptiveHypermedia(AH3). Allworkshops wereheldatthe12thACMConferenceonHypertextandHypermediainAarhus, Denmark,August14 18,2001. Introductions, agendas, lists of program committee members and parti- pants,and,ofcourse,thepaperscanbefoundintheindividualsectionsofthe workshops. ThisvolumewouldnothavebeenpossiblewithoutthesupportofSpringer- Verlag,Heidelberg. Inparticular,wewouldliketothanktheexecutiveeditorof theLNCSseries,Mr. AlfredHofmann. November2001 SigiReich ManolisTzagarakis PaulDeBra TableofContents TheSeventhWorkshoponOpenHypermediaSystems (OHS7) ProgramCommitteeMembersofOHS7. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 ListofPresentationsatOHS7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 ListofParticipantsatOHS7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 IntroductiontoOHS7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 SigiReich(SalzburgResearch,Austria) UsingOpenHypermediatoSupportInformationIntegration . . . . . . . . . . . . 8 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ApplyingCollaborativeOpenHypermediaConceptsto ExtendedEnterpriseEngineeringandOperation . . . . . . . . . . . . . . . . . . . . . . . 17 J orgM. Haake(GMD-IPSI,Germany) MemeMediaandMemePoolsforRe-editingand RedistributingIntellectualAssets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 YuzuruTanaka,JunFujima,andTsuyoshiSugibuchi (HokkaidoUniversity,Sapporo,Japan) ThePipelineofEnrichment:SupportingLinkCreationfor ContinuousMedia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 RichardBeales,DonCruickshank,DavidDeRoure,NickGibbins, BenJuby,DaniusT. Michaelides,andKevinR. Page(Universityof Southampton,UK) AuldLeaky:AContextualOpenHypermediaLinkServer. . . . . . . . . . . . . . . 59 DaniusT. Michaelides,DavidE. Millard,MarkJ. Weal,and DavidDeRoure(UniversityofSouthampton,UK) FOHM+RTSP:ApplyingOpenHypermediaandTemporalLinkingto AudioStreams. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 NeilRidgwayandDavidDeRoure(UniversityofSouthampton,UK) VIII TableofContents DevelopmentToolsinComponent-Based StructuralComputingEnvironments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 U eKockWiil(AalborgUniversityEsbjerg,Denmark) Peer-Reviewed,PublishableHypertexts:AFirstLook . . . . . . . . . . . . . . . . . . 94 PeterJ. Nurnb ergandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) BecauseISeekanImage,NotaBook . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 MoritzNeumul ler(Wirtschaftsuniversit atWien,Austria) TheThirdWorkshoponStructuralComputing(SC3) ProgramCommitteeMembersofSC3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 ListofPresentationsatSC3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 ListofParticipantsatSC3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 IntroductiontoSC3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118 ManolisM. Tzagarakis(CTI,Patras,Greece) WritingtheHoles; Structural Re ectionsofaVisualArtist. . . . . . . . . . . . 120 SaulShapiro(Denmark) BroadeningStructuralComputingtowardsHypermediaDevelopment. . . . . 131 MariaKyriakopoulou,DimitrisAvramidis,MichalisVaitis, ManolisM. Tzagarakis,andDimitrisChristodoulakis(CTI,Greece) AGraphicalUserInterfaceIntegratingFeaturesfrom Di erentHypertextDomains. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141 WeigangWangandAlejandroFern andez(FhG-ISPI,Germany) UsingStructuralComputingtoSupportInformationIntegration. . . . 348 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a selection of papers presented at the rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th 12th of December, 2000 at the University of Durham, Durham, UK. It was attended by about 80 researchers. The workshop follows a series of meetings organised in 1993, 1994, 1995, 1996, 1998, and 1999 under the auspices of the Esprit BRA6435 and the - prit Working Group 21900 for the previous TYPES projects. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow (Vol. 806, 1993), by Peter Dybjer, Bengt Nordstr om, and Jan Smith (Vol. 996, 1994), by Stefano Berardi and Mario Coppo (Vol. 1158, 1995), by Christine Paulin-Mohring and Eduardo Gimenez (Vol. 1512, 1996), by Thorsten Altenkirch, Wolfgang Naraschewski, and Bernhard Reus (Vol. 1657, 1998), and by Thierry Coquand, Peter Dybjer, Bengt Nordstr om, and Jan Smith (Vol. 1956, 1999). The Esprit BRA6453 was itself a continuation of the former Esprit - tion 3245, Logical Frameworks: Design, Implementation, and Experiments. The articles from the annual workshops under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical En- ronments, both published by Cambridge University Press. Acknowledgements We are very grateful to members of Durham s Computer Assisted Reasoning Group, especially Robert Kießling, for helping to organise the workshop. Robert s contribution was key to the success of the meeting. 256 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch richtet sich in erster Linie an Studierende in Studiengängen mit umweltwissenschaftlichem Schwerpunkt sowie an Physiker, Chemiker und Biologen, die umweltbezogene Themenfelder aufgreifen und vertiefen wollen. Das Buch gliedert sich in drei Teilkapitel, die einen Einstieg in die Umweltphysik, die Umweltchemie und in die Naturschutzbiologie geben und Grundlagenwissen zu diesen Teildisziplinen vermitteln. Um der Komplexität heutiger Umweltprobleme Rechnung zu tragen, wird in diesem Buch der aktuelle Kenntnisstand der verschiedenen naturwissenschaftlichen Disziplinen zu zentralen Themen der Umweltdiskussion zusammengeführt und anhand ausgewählter Beispiele veranschaulicht. Mögliche Problemlösungen werden aufgezeigt. Das Buch ist Teil des interdisziplinär angelegten Lehrbuchs Studium der Umweltwissenschaften und entstand aus der Zusammenarbeit verschiedener Dozenten der Universität Lüneburg. Es dient dort als Grundlage für eine fächerübergreifende Hochschulausbildung. 256 pp. Deutsch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Shape interrogation is the process of extraction of information from a geometric model. It is a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. The authors focus on shape interrogation of geometric models bounded by free-form surfaces. Free-form surfaces, also called sculptured surfaces, are widely used in the bodies of ships, automobiles and aircraft, which have both functionality and attractive shape requirements. Many electronic devices as well as consumer products are designed with aesthetic shapes, which involve free-form surfaces. This book provides the mathematical fundamentals as well as algorithms for various shape interrogation methods including nonlinear polynomial solvers, intersection problems, differential geometry of intersection curves, distance functions, curve and surface interrogation, umbilics and lines of curvature, geodesics, and offset curves and surfaces. This book will be of interest both to graduate student s and professionals. 428 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Errichtung der internationalen Straftribunale für das ehemalige Jugoslawien und Ruanda auf der Grundlage des Kapitels VII der VN-Charta verpflichtet die Mitgliedstaaten der Vereinten Nationen zu uneingeschränkter Zusammenarbeit mit den genannten Straftribunalen. Die Verfasserin untersucht, welche konkreten Aufgaben die Statuten und Verfahrens- und Beweisordnungen der Straftribunale den Staaten zuweisen und inwieweit die Staaten den ihnen übertragenen Aufgaben nachkommen. Analysiert werden die Stärken und Schwächen der derzeit vorliegenden nationalen Gesetzgebung, auf deren Grundlage sich die Kooperation zwischen den nationalen Behörden und den internationalen Straftribunalen vollzieht. Anhand des Falles Blaskic vor dem Jugoslawien-Tribunal wird aufgezeigt, inwieweit die Staaten in der Praxis bereit sind, eine Einschränkung ihrer Souveränität auf dem Gebiet des Strafrechts hinzunehmen und den Anordnungen und Rechtshilfeersuchen der internationalen Straftribunale Folge zu leisten. 432 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Critical care medicine is a relatively new specialty. Over the past few decades, we have seen an enormous growth in the number of inten sive care units (ICUs) worldwide. Medical students, residents, fellows, attending physicians, critical care nurses, pharmacists, respiratory ther apists, and other health-care providers (irrespective of their ultimate field of practice) will spend several months or years of their profes sional lives taking care of critically ill or severely injured patients. These clinicians must have special training, experience, and compe tence in managing complex problems in their patients. In addition, they must interpret the data obtained by many kinds of monitoring devices, and they must integrate this information with their knowl edge of the pathophysiology of disease. This handbook was written for every practitioner engaged in criti cal care medicine. We have attempted to present basic and generally accepted clinical information and some important formulas as well as laboratory values and tables that we feel will be useful to the practi tioner of critical care medicine. Chapter 1 provides an introduction to the ICU. Chapters 2 through 18 follow an outline format and are divided by organ system (i. e. , neurologic disorders, cardiovascular dis orders), as well as special topics (i. e. , environmental disorders, trauma, toxicology). In addition, many of these chapters review some useful facts and formulas systematically. Finally, Chapters 19 and 20 supply lists of pharmacologic agents and dosages commonly used in the ICU and laboratory values relevant to the ICU. 532 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume continues the tradition established in 2001 of publishing the c- tributions presented at the Cryptographers' Track (CT-RSA) of the yearly RSA Security Conference in Springer-Verlag's Lecture Notes in Computer Science series. With 14 parallel tracks and many thousands of participants, the RSA - curity Conference is the largest e-security and cryptography conference. In this setting, the Cryptographers' Track presents the latest scienti c developments. The program committee considered 49 papers and selected 20 for presen- tion. One paper was withdrawn by the authors. The program also included two invited talks by Ron Rivest ('Micropayments Revisited' - joint work with Silvio Micali) and by Victor Shoup ('The Bumpy Road from Cryptographic Theory to Practice'). Each paper was reviewed by at least three program committee members; paperswrittenbyprogramcommitteemembersreceivedsixreviews.Theauthors of accepted papers made a substantial e ort to take into account the comments intheversionsubmittedtotheseproceedings.Inalimitednumberofcases,these revisions were checked by members of the program committee. I would like to thank the 20 members of the program committee who helped to maintain the rigorous scienti c standards to which the Cryptographers' Track aims to adhere. They wrote thoughtful reviews and contributed to long disc- sions; more than 400 Kbyte of comments were accumulated. Many of them - tended the program committee meeting, while they could have been enjoying the sunny beaches of Santa Barbara. 328 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 464 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents state of the art research in theoretical computer science and related elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics of words, graph transformations, Petri nets, concurrency, as well as natural and molecular computing. The articles are written by leading researchers in these areas. The writers were originally invited to contribute to this book but then the normal refereeing procedure was applied as well. All of the articles deal with some issue that has been under vigorous study during recent years. Still, the topics range from very classical ones to issues raised only two or three years ago. Both survey articles and papers attacking speci c research problems are included. The book highlights some key issues of theoretical computer science, as they seem to us now at the beginning of the new millennium. Being a comprehensive overview of some of the most active current research in theoretical computer science, it should be of de nite interest for all researchers in the areas covered. The topics range from basic decidability and the notion of information to graph grammars and graph transformations, and from trees and traces to aqueous algorithms, DNA encoding and self-assembly. Special e ort has been given to lucid presentation. Therefore, the book should be of interest also for advanced students. 476 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -W. B. Harrison, B. A. C. Dijkmans During the last decade intervention has been instituted for all kinds of disease- even in a premorbid state, as early as possible, to control the activity of the disease, to avoid further damage and to maintain quality of life. Apart from the principle 'Treat now, not later', emphasis is laid on aggressive initial therapy. These adagia have influenced in recent times all fields of medicine, from oncology to infectious diseases and also - the topic of the present edition - the 'autoimmune diseases'. As an example of the latter, rheumatoid arthritis (RA) demonstrates how the attitude of physicians has been changed. From an expectant point of view in the eighties (primum nil nocere) the attitude has been changed, as we approached and entered the new millennium, to initial ag gressive therapy especially in patients with a poor prognosis. Despite the advance of instituting monotherapy with a single optimised disease-modifying anti-rheumatic drug (DMARD) - with methotrexate as prototype agent in RA - adequate disease re mission is not often achieved, and adverse events may well prevent the use of higher dosages of the single agent in question. Therefore, the next step was to combine two or more DMARDs. The choice of combining DMARDs can be purely practical and based upon the anti-rheumatics most used in daily practice, for instance methotrexate and sulphasalazine. The choice of combining drugs can be influenced by different toxicity patterns to avoid cumulative toxicity. 224 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this book, the authors deal with basic concepts and models, with methodologies for studying the existence and stability of motions, understanding the mechanisms of formation of patterns and waves, their propagation and interactions in active lattice systems, and about how much cooperation or competition between order and chaos is crucial for synergetic behavior and evolution. 380 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Genetic programming (GP), one of the most advanced forms of evolutionary computation, has been highly successful as a technique for getting computers to automatically solve problems without having to tell them explicitly how. Since its inceptions more than ten years ago, GP has been used to solve practical problems in a variety of application fields. Along with this ad-hoc engineering approaches interest increased in how and why GP works. This book provides a coherent consolidation of recent work on the theoretical foundations of GP. A concise introduction to GP and genetic algorithms (GA) is followed by a discussion of fitness landscapes and other theoretical approaches to natural and artificial evolution. Having surveyed early approaches to GP theory it presents new exact schema analysis, showing that it applies to GP as well as to the simpler GAs. New results on the potentially infinite number of possible programs are followed by two chapters applying these new techniques. 276 pp. Englisch.