springer berlin heidelberg springer berlin heidelberg mär 2001 (69 résultats)

Taschenbuch. Etat : Neu. Neuware -Voici le premier livre de problèmes corrigés d'informatique, destiné aux étudiants qui suivent l'enseignement optionnel d'informatique en filière MPSI/MP (classes préparatoires aux grandes écoles d'ingénieurs). Ce livre intéressera également les étudiants en licence ou en maîtrise d'informatique.Chaque problème est précédé d'une rapide présentation, indiquant en particulier quelles sont les parties du programme mises en jeu. Le corrigé est complet: chaque question y trouve une réponse. Des notes historiques et bibliographiques apportent des précisions complémentaires, et donnent au lecteur curieux des pistes vers d'autres sources d' information.Les réponses aux questions de programmation sont données dans le langage de programmation fonctionnelle Caml, à la fois concis et élégant.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Französisch.

Buch. Etat : Neu. Neuware -On an unprecedented scale, nations at all income levels and across the political spectrum have initiated privatization programs over the past twenty years. In the course of this privatization movement, microeconomic efficiency arguments have become the standard justification for the divestment of public assets. This book presents an alternate view and argues that short-term macroeconomic considerations are often the true motive behind privatization programs. Why Do Government Divest The Macroeconomics of Privatization is a comprehensive treatment of the macroeconomic issues of privatization. In addition to reviewing topics in economic growth and efficiency, this book explores the fiscal, monetary, balance-of-payments, and employment aspects of privatization. Several diverse case studies illustrate how the pursuit of such short-term political objectives can reduce the benefits of privatization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -With the development of the World-Wide Web, data management problems have branched out from the traditional framework in which tabular data is processed under the strict control of an application, and address today the rich variety of information that is found on the Web, considering a variety of exible envir- ments under which such data can be searched, classi ed , and processed. Da- base systems are coming forward today in a new role as the primary backend for the information provided on the Web. Most of today¿s Web accesses trigger some form of content generation from a database, while electronic commerce often triggers intensive DBMS-based applications. The research community has begun to revise data models, query languages, data integration techniques, - dexes, query processing algorithms, and transaction concepts in order to cope with the characteristics and scale of the data on the Web. New problems have been identi ed , among them goal-oriented information gathering, management of semi-structured data, or database-style query languages for Web data, to name just a few. The International Workshop on the Web and Databases (WebDB) is a series of workshops intended to bring together researchers interested in the interaction between databases and the Web. This year¿s WebDB 2000 was the third in the series, and was held in Dallas, Texas, in conjunction with the ACM SIGMOD International Conference on Management of Data. 292 pp. Englisch.

Buch. Etat : Neu. Neuware -Global warming is a serious threat to the stability of world climate and to economic prosperity in some regions. The book offers a theoretical analysis which focuses on double dividend issues. Moreover, the ecological tax reform in Germany and the options of modern energy policy are described and evaluated. The volume presents innovative model simulations and analyzes, in the context of the model, the benefits of a modified tax reform, based on a Schumpeterian approach. Finally, implications for the European Union and other countries are discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the proceedings of the ACM SIGPLAN Workshop on L- guages, Compilers, and Tools for Embedded Systems (LCTES 2000), held June 18, 2000, in Vancouver, Canada. Embedded systems have developed consid- ably in the past decade and we expect this technology to become even more important in computer science and engineering in the new millennium. Interest in the workshop has been con rmed by the submission of papers from all over the world. There were 43 submissions representing more than 14 countries. Each submitted paper was reviewed by at least three members of the program committee. The expert opinions of many outside reviewers were in- luable in making the selections and ensuring the high quality of the program, for which, we express our sincere gratitude. The nal program features one invited talk, twelve presentations, and ve poster presentations, which re ect recent - vances in formal systems, compilers, tools, and hardware for embedded systems. We owe a great deal ofthanks to the authors, reviewers, and the members of the program committee for making the workshop a success. Special thanks to Jim Larus, the General Chair of PLDI 2000 and Julie Goetz of ACM for all their help and support. Thanks should also be given to Sung-Soo Lim at Seoul National University for his help in coordinating the paper submission and review process. We also thank Professor Gaetano Borriello of the University of Washington for his invited talk on Chinook, a hardware-software co-synthesis CAD tool for embedded systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -I would like to welcome all the participants to the 3rd International Conference on Information Security and Cryptology (ICISC 2000). It is sponsored by the Korea Institute of Information Security and Cryptology (KIISC) and is being held at Dongguk University in Seoul, Korea from December 8 to 9, 2000. This conference aims at providing a forum for the presentation of new results in research, development, and application in information security and cryptology. This is also intended to be a place where research information can be exchanged. The Call for Papers brought 56 papers from 15 countries and 20 papers will be presented in ve sessions. As was the case last year the review process was totally blind and the anonymity of each submission was maintained. The 22 TPC members nally selected 20 top-quality papers for presentation at ICISC 2000. I am very grateful to the TPC members who devoted much e ort and time to reading and selecting the papers. We also thank the experts who assisted the TPC in evaluating various papers and apologize for not including their names here. Moreover, I would like to thank all the authors who submitted papers to ICISC 2000 and the authors of accepted papers for their preparation of came- ready manuscripts. Last but not least, I thank my student, Joonsuk Yu, who helped me during the whole process of preparation for the conference. I look forward to your participation and hope you will nd ICISC 2000 a truly rewarding experience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 432 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -ETAPS 2001 is the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 364 pp. Englisch.

Buch. Etat : Neu. Neuware -Information and knowledge play an increasingly important role in the implementation of public policies, in particular those of the Central and Eastern European Countries. They are involved in many respects in the elaboration of scientific programs. They are more and more present in the political decision making process and as topic for scientific conferences. They are often at the centre of international discussions on related topics, for example, differences in approaches to produce and apply knowledge or different responses to social function of information. A major lesson of these past years applies to democracy. Europeans demand more involvement in decisions that concern them. This demand goes weH beyond decision making. For public action to be acceptable and efficient, the whole process should become more democratic, from the defmition of the problems, to the implementation and the evaluation of solutions. In the context of conducting research on the consequences of scientific and technological advance, the Europäische Akademie Bad Neuenahr-Ahrweiler in Germany and the Academy of Science of the Czech Republic organised a conference on the relationship between 'democracy-participation-technology assessment' in February 1999. The objective of the workshop was to express and to the problems of transition 'from exchange various viewpoints and attitudes information society to knowledge society. ' The great response given to the international conference underlines the need not only for Central and Eastern European Countries to take into consideration more common projects like this for the future.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Buch. Etat : Neu. Neuware -'Why are atoms so small ' asks 'naive physicist' in Erwin Schrodinger's book 'What is Life The Physical Aspect of the Living Cell'. 'The question is wrong' answers the author, 'the actual problem is why we are built of such an enormous number of these particles'. The idea that everything is built of atoms is quite an old one. It seems that l Democritus himself borrowed it from some obscure Phoenician source . The arguments for the existence of small indivisible units of matter were quite simple. 2 According to Lucretius observable matter would disappear by 'wear and tear' (the world exists for a sufficiently long, if not infinitely long time) unless there are some units which cannot be further split into parts. th However, in the middle of the 19 century any reference to the atomic structure of matter was considered among European physicists as a sign of extremely bad taste and provinciality. The hypothesis of the ancient Greeks (for Lucretius had translated Epicurean philosophy into Latin hexameters) was at that time seen as bringing nothing positive to exact science. The properties of gaseous, liquid and solid bodies, as well as the behaviour of heat and energy, were successfully described by the rapidly developing science of thermodynamics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 388 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the nal version of the papers originally presented at the second SMILE workshop 3D Structure from Multiple Images of Large-scale Environments, which was held on 1-2 July 2000 in conjunction with the Sixth European Conference in Computer Vision at Trinity College Dublin. The subject of the workshop was the visual acquisition of models of the 3D world from images and their application to virtual and augmented reality. Over the last few years tremendous progress has been made in this area. On the one hand important new insightshavebeenobtainedresultinginmore exibilityandnewrepresentations.Onthe other hand a number of techniques have come to maturity, yielding robust algorithms delivering good results on real image data. Moreover supporting technologies ¿ such as digital cameras, computers, disk storage, and visualization devices ¿ have made things possible that were infeasible just a few years ago. Opening the workshop was Paul Debevec s invited presentation on image-based modeling,rendering,andlighting.Hepresentedanumberoftechniquesforu singdigital images of real scenes to create 3D models, virtual camera moves, and realistic computer animations.Theremainderoftheworkshopwasdividedintothreesessions:Computation and Algorithms, Visual Scene Representations, and Extended Environments. After each session there was a panel discussion that included all speakers. These panel discussions were organized by Bill Triggs, Marc Pollefeys, and Tomas Pajdla respectively, who introduced the topics and moderated the discussion. Asubstantialpartoftheseproceedingsarethetranscriptsofthediscussionsfollowing each paper and the full panel sessions. These discussions were of very high quality and were an integral part of the workshop.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -You are holding the rst in a hopefully long and successful series of RSA Cr- tographers¿ Track proceedings. The Cryptographers¿ Track (CT-RSA) is one of the many parallel tracks of the yearly RSA Conference. Other sessions deal with government projects, law and policy issues, freedom and privacy news, analysts¿ opinions, standards, ASPs, biotech and healthcare, nance, telecom and wireless security, developers, new products, implementers, threats, RSA products, VPNs, as well as cryp- graphy and enterprise tutorials. RSA Conference 2001 is expected to continue the tradition and remain the largest computer security event ever staged: 250 vendors, 10,000 visitors and 3,000 class-going attendees are expected in San Francisco next year. I am very grateful to the 22 members of the program committee for their hard work. The program committee received 65 submissions (one of which was later withdrawn) for which review was conducted electronically; almost all papers had at least two reviews although most had three or more. Eventually, we accepted the 33 papers that appear in these proceedings. Revisions were not checked on their scienti c aspects and some authors will write nal versions of their papers for publication in refereed journals. As is usual, authors bear full scienti c and paternity responsibilities for the contents of their papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware - Dieses Buch beweist, dass es möglich ist, westliche Medizin mit traditionellen chinesischen Konzepten zu verbinden: Einerseits wird das chinesische System von Meridianen und funktionellen Organen und die 120 wichtigsten Akupunkturpunkte gut verständlich beschrieben und ergänzt durch eine Einführung in Philosophie und Tradition der chinesischen Medizin. Andererseits wird die neurophysiologische Wirkung der Akupunktur auch aus moderner wissenschaftlicher Perspektive erklärt.Den Hauptteil des Buches macht die Therapie von Krankheiten aus, basierend auf westlichen Diagnosen. Für besonders häufig behandelte Krankheiten werden die jeweils wichtigsten Akupunkturpunkte erläutert - also wirklich das Buch eines Praktiker für die Praxis.Für die 7. Auflage aktualisiert: Der Stellenwert der Akupunktur in der derzeitigen gesundheitspolitischen Situation, neu definierte Qualitätsstandards für Ausbildung und Praxis, Ergebnisse der Modellstudien und weiterer aktueller klinischer Studien zur Wirksamkeit der Therapie.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - nen (die fast unverändert in moderne Lehrbücher der Analysis übernommen wurde) ermöglichten ihm nach seinen eigenen Worten, 'in einer halben Vier telstunde' die Flächen beliebiger Figuren zu vergleichen. Newton zeigte, daß die Koeffizienten seiner Reihen proportional zu den sukzessiven Ableitungen der Funktion sind, doch ging er darauf nicht weiter ein, da er zu Recht meinte, daß die Rechnungen in der Analysis bequemer auszuführen sind, wenn man nicht mit höheren Ableitungen arbeitet, sondern die ersten Glieder der Reihenentwicklung ausrechnet. Für Newton diente der Zusammenhang zwischen den Koeffizienten der Reihe und den Ableitungen eher dazu, die Ableitungen zu berechnen als die Reihe aufzustellen. Eine von Newtons wichtigsten Leistungen war seine Theorie des Sonnensy stems, die in den 'Mathematischen Prinzipien der Naturlehre' ('Principia') ohne Verwendung der mathematischen Analysis dargestellt ist. Allgemein wird angenommen, daß Newton das allgemeine Gravitationsgesetz mit Hilfe seiner Analysis entdeckt habe. Tatsächlich hat Newton (1680) lediglich be wiesen, daß die Bahnkurven in einem Anziehungsfeld Ellipsen sind, wenn die Anziehungskraft invers proportional zum Abstandsquadrat ist: Auf das Ge setz selbst wurde Newton von Hooke (1635-1703) hingewiesen (vgl.8) und es scheint, daß es noch von weiteren Forschern vermutet wurde.

Taschenbuch. Etat : Neu. Neuware -Tipps und Anleitungen, wie Sie das Internet optimal zur Information und Kommunikation nutzen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Dieses Lehrbuch wendet sich an Studenten der Ingenieurfächer und der Naturwissenschaften. Durch seinen systematischen und didaktischen Aufbau vermeidet es ungenaue Formulierungen und legt so die Grundlage für das Verständnis auch neuerer Methoden. Indem die klassische und die Funktionalanalysis auf der Basis des Fourieroperators zusammengeführt werden, vermittelt es ein fundiertes und verantwortbares Umgehen mit der Fouriertransformation. Gleichzeitig bietet dieses Konzept die Möglichkeit, auch die Fourierreihen, die diskrete Fouriertransformation und die Behandlung der diskreten Filter in einem einheitlichen Zusammenhang darzustellen. Das Buch enthält zahlreiche gelöste Übungsaufgaben.NEU !Online-Ergänzungen zum Buch im Internet: zum Kennenlernen und Vergleichen der mathematischen Programmiersysteme Mathematica, Matlab, Maple zur Vertiefung des Buchinhaltes(unter 'Extras im Web')Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Deutsch.

Buch. Etat : Neu. Neuware -Investment is crucial to the development of a nation`s economy and welfare. In contrast to the situation in the United States, investment activity in Europe has been quite modest over the past few years. This volume gathers together a number of papers by prominent researchers in the field of investment. It provides an overview of recent developments in this area and presents new empirical findings on the determinants and implications of the investment process in European countries. Among the topics examined are the role played by taxation, uncertainty and the financial systems, as well as the relevance of corporate governance to the investment process. Two chapters are dedicated to infrastructure investment and foreign direct investment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the scientific contributions that old friends, colleagues, admirers, former students have made to George Andrews on the occasion of his sixtieth birthday: seventeen papers ranging from Classical Number Theory (the theory of partitions dear to George Andrews) to Classical and Algebraic Combinatorics. Most of the papers were read at the 42-nd session of the Seminaire Lotharingien de Combinatoire that took place at Maratea, Basilicata, from August 31 to September 6. 1998. The meeting was made possible thanks to the financial support of the Regione Basilicata and the dipartimento di Matematica, Universita degli Studi della Basilicata and was organized by our colleagues from Potenza, Domenico Senato, Elvira Di Nardo and Paolo Vitolo. We are most thankful to George Andrews for his original paper in which he describes how several great mathematicians, dead or living, have influenced his mathematical career. The second paper could only have been written by his good friend, Richard Askey, who appears to be. in Doron Zeilberger's inimitable language, the 'guru' of special functions, George himself being the 'q-guru'! Richard very convincingly explains how the year that George spent at Madison in 1975-76 was decisive for them both. There is no better homage to George and his familiarity with Ramanujan's works than this long memoir by Bruce C. Berndt and Ken Ono on Ramanujan's Unpublished Manuscript and the Tau Functions. Bruce has spent a great part of his career deciphering the manuscripts of the great Indian number theorist.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Buch. Etat : Neu. Neuware -This book is dedicated to Professor Kolumban Hutter of the Darmstadt Univer sity of Technology on the occasion of his 60th birthday on 22 January 200l. Professor Hutter graduated in Civil Engineering from the ETH Zurich, and then worked in industry-related consulting at the Institute of Mechanics and the Laboratory of Hydraulics and Soil Mechanics at the ETH, before embark ing on a PhD in Theoretical and Applied Mechanics in Cornell University. He duly completed his PhD under the supervision of Professor Y. H. Pao, working in the field of the electrodynamics of continuous media. After his PhD, Professor Hutter returned to Europe where he worked as a senior scientist at the Labor atory for Hydraulics, Hydrology and Glaciology, ETH Zurich, being involved in glacier flow, physical limnology, avalanche research and granular media. At the same time he maintained scientific contact with the Mechanics Institute of the Vienna University of Technology. In both European cities he received a habil itation degree: In Vienna for Mechanics, in Zurich for Theoretical Glaciology and Limnology. Since 1987 Professor Hutter has been the successor to Professor Becker at the Department of Mechanics, Darmstadt University of Technology. Professor Hutter's work has always been relevant to reallife, and a feature of the man is his attention to experiments and matching theory. He has built up an internationally respected laboratory in Darmstadt which concentrates on both experimental and theoretical aspects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Buch. Etat : Neu. Neuware -In eukaryotic cells, the nuclear genome and its transcriptional apparatus is separated from the site of protein synthesis by the nuclear envelope. Thus, a constant flow of proteins and nucleic acids has to cross the nuclear envelope in both directions. This transport in and out of the nucleus is mediated by nuclear pore complexes (NPCs) and occurs in an energy and signal-dependent manner. Thus, nucleocytoplasmic translocation of macro molecules across the nuclear envelope appears to be a highly specific and regulated process. Viruses that replicate their genome in the cell nucleus are therefore forced to develop efficient ways to deal with the intracellulZlr host cell transport machinery. Historically, investigation of Polyomavirus replication allowed identification ofsequences that mediate nuclear import, which led subsequently to our detailed understanding of the cellular factors that are involved in nuclear import. Transport ofmacromolecules in the opposite direction, however, is less well understood. The investigation of retroviral gene expression in recent years pro vided the first insights into the cellular mechanisms that regulate nuclear export. In particular, the detailed dissection of the function of the human immunodeficiency virus type I (HIV-I) Rev trans-activator protein identified CRMI, as a hona fide nuclear export receptor. CRM I appears to be involved in the nucleocytoplasmic translocation of the vast majority of viral and cellular proteins that have subsequently been found to contain a Rev-type leucine-rich nuclear export signal (NES).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Buch. Etat : Neu. Neuware -The primary aim of this book is to present notions of convex analysis which constitute the basic underlying structure of argumentation in economic theory and which are common to optimization problems encountered in many applications. The intended readers are graduate students, and specialists of mathematical programming whose research fields are applied mathematics and economics. The text consists of a systematic development in eight chapters, with guided exercises containing sometimes significant and useful additional results. The book is appropriate as a class text, or for self-study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Economic, marketing, and legislative considerations are increasingly leading companies to take back and recover their products after use. From a logistics perspective, these initiatives give rise to new goods flows from the user back to the producer. The management of these goods flows opposite to the traditional supply chain flows is addressed in the recently emerged field of Reverse Logistics. This monograph considers quantitative models that support decision making in Reverse Logistics. To this end, several recent case studies are reviewed. Moreover, first hand insight from a study on used electronic equipment is reported on. On this basis, logistics issues arising in the management of 'reverse' goods flows are identified. Moreover, differences between Reverse Logistics and more traditional logistics contexts are highlighted. Finally, attention is paid to capturing the characteristics of Reverse Logistics in appropriate quantitative models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the - test developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications. The Fourth HSCC International Workshop continues the series of workshops held in Grenoble, France (HART¿97), Berkeley, California, USA (HSCC¿98), N- megen, The Netherlands (HSCC¿99), and Pittsburgh, Pennsylvania, USA (HSCC 2000). Proceedings of these workshops have been published in the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag. In line with the beautiful work that led to the design of the palace in which the workshop was held, Palazzo Lancellotti in Rome, resulting from the col- boration of many artists and architects of di erent backgrounds, the challenge faced by the hybrid system community is to harmonize and extract the best from two main research areas: computer science and control theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Buch. Etat : Neu. Neuware -The papers in this volume were written by his students and colleagues to honor Sidney Leibovich, Samuel B. Eckert Professor in the Sibley School of Mechanical and Aerospace Engineering at Cornell University, in commemoration of his 60th birthday, 2 April 1999. They were presented at a symposium held at Cornell, 23 and 24 August 1999. Sid obtained his Bachelor of Science degree with honors from The California Institute of Technology in 1961, graduating first in his class. He came to Cornell to work with Geoffrey Ludford on Magnetohydrodynamics, and obtained his Ph.D. in 1965 in the Department of Theoretical and Applied Mechanics. He spent a year at University College, London as a NATO Postdoctoral Fellow, and returned to Cornell as an Assistant Professor. He has been here ever since, and is currently Director of the Sibley School. Since returning to Cornell, Sid has concentrated on rotating fluids and n- linear waves, in various combinations and applications, producing some 3.2 - pers a year with an applied-mathematical bent. In particular this interest led to both Langmuir circulation and vortex breakdown, two areas in which Sid has had enormous influence, and both, of course, examples of rotating fluids interacting with waves. It was impossible to work in this area without being distracted by the study of the nonlinear dispersive and dissipative waves themselves, and Sid has made substantial contributions in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Buch. Etat : Neu. Neuware -Many new tests of gravity and, in particular, of Einstein's general relativity theory will be carried out in the near future: The Lense--Thirring effect and the equivalence principle will be tested in space; moreover, gravitational waves will be detected, and new atomic interferometers and clocks will be built for measurements in gravitational and inertial fields. New high-precision devices have made these experiments feasible. They will contribute to a better understanding of gravitational physics. Both experimental developments and the theoretical concepts are collected in this volume. Exhaustive reviews give an overall insight into the subject of experimental gravitation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Buch. Etat : Neu. Neuware -Die Herausgeber legen mit diesem Buch eine Übersicht zum elektronischen Geschäftsverkehr vor. Das Buch richtet sich dabei vor allem an Leser, die sich nicht nur über die Entwicklung auf dem Gebiet des 'Electronic Commerce' informieren möchten, sondern konkrete Projekte starten und realisieren wollen. Der Leser erhält Einblick in die Technologie, die organisatorischen Aspekte sowie in die rechtlichen Rahmenbedingungen. Die Darstellung aktueller Projekte und Anwendungsfelder erlaubt es, eigene Projektideen einzuordnen. Konkrete Handlungsempfehlungen helfen bei der Umsetzung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Der Ingenieur im Exportgeschäft muß sich neben den technischen Problemen auch mit kaufmännischen und rechtlichen Fragestellungen auseinandersetzen - und dies zumeist in Englisch. Hier hilft der vorliegende Leitfaden. Er führt in straffer Form durch den typischen Ablauf eines Exportgeschäfts: von der Durchführbarkeitsstudie bis zur Endabnahme. Dabei werden die wesentlichen Begriffe vorgestellt (Deutsch/Englisch) und erklärt. Als Spezialthemen werden Bankgarantien, Hermes-Deckung, Zahlungsbedingungen, Kompensationsgeschäfte, Finanzierungsmethoden, Incoterms etc. behandelt und mit den entsprechenden englischen Fachtermini versehen. Der Autor, ein erfahrener Export-Fachmann, geht auch auf die neuesten Entwicklungen der Auftragsabwicklung im Internet ein (E-Commerce). Mit Wörterbuchteil (Deutsch/Englisch, Englisch/Deutsch) und Abkürzungsverzeichnis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Eine verständliche und vollständige Einführung in die Mengentheoretische Topologie, die als Begleittext zu einer Vorlesung, aber auch zum Selbststudium für Studenten ab dem 3. Semester bestens geeignet ist. Zahlreiche Aufgaben ermöglichen ein systematisches Erlernen des Stoffes, wobei Lösungshinweise bzw. Musterlösungen zu ausgewählten Aufgaben bereitgestellt werden.In den ersten 10 Kapiteln werden die wichtigen Begriffe und Ergebnisse der Mengentheoretischen Topologie abgehandelt. Daran schließt sich die Untersuchung uniformer Strukturen in Kapitel 11-12 an. Zur Vertiefung werden Funktionenräume, Vervollständigungen und Kompaktifizierungen in Kapitel 13-15 behandelt. Für die Neuauflage wurden fünf zusätzliche Kapitel über topologische Strukturen in topologischen Gruppen sowie ein Abschnitt über die historischen Entwicklungen der Mengentheoretischen Topologie und der topologischen Gruppen zugefügt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -SpectralPropertiesofCirculantBandMatricesArisinginODEMethods . . . 10 P. Amodio AParameterRobustMethodforaProblemwith aSymmetryBoundaryLayer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 A. R. Ansari,A. F. HegartyandG. I. Shishkin AnAlgorithmBasedonOrthogonalPolynomialVectors forToeplitzLeastSquaresProblems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 M. VanBarel, G. Heinig andP. Kravanja FromSensitivityAnalysistoRandomFloatingPointArithmetics¿ ApplicationtoSylvesterEquations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 A. Barraud, S. LesecqandN. Christov ConstructionofSeminumericalSchemes: ApplicationtotheArti cialSatelliteProblem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 R. Barrio StabilityAnalysisofParallelEvaluationofFiniteSeries ofOrthogonalPolynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 R. Barrio andP. Yalamov OnSolvingLarge-ScaleWeightedLeastSquaresProblems. . . . . . . . . . . . . . . . . . 59 V. Baryamureeba AHybridNewton-GMRESMethodforSolvingNonlinearEquations . . . . . . . 68 S. Bellavia, M. Macconi andB. Morini ComparativeAnalysisofMarchingAlgorithms forSeparableEllipticProblems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 G. Bencheva InexactNewtonMethodsandMixedNonlinearComplementaryProblems . . 84 L. Bergamaschi and G. Zilli Skew-CirculantPreconditionersforSystemsofLMF-BasedODECodes . . . . 93 D. Bertaccini andM. K. Ng NewFamiliesofSymplecticRunge¿KuttäNystr¿omIntegrationMethods . . 102 S. Blanes, F. Casas andJ. Ros VIII Table ofContents ConvergenceofFiniteDi erenceMethodforParabolicProblem withVariableOperator. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 D. Bojovi¿ c FiniteVolumeDi erenceSchemefor aSti EllipticReaction-Di usionProbleSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 812 pp. Englisch.