springer berlin heidelberg springer berlin heidelberg mär 2003 (70 risultati)

Buch. Condizione: Neu. Neuware -In 1994, the idea for this project (we were not then thinking about a book) arose in a context of growing publicity surrounding prizes like the D- ing Award, the Malcolm Baldrige Award, and the European Quality Award, prompting us to ask: ¿Could we de ne what world-class manufacturing is It¿s got to be more than managing processes. Are the US and Japan really in the lead, as so many examples suggest ¿ Xavier de Groote, our colleague in the Operations Management group at INSEAD, made a major contribution to the formulation of the rst version of our framework, the rst questi- naire, and the rst edition of the Industrial Excellence Award (IEA) in 1995. He witnessed the crowning of the rst winner, STMP Laval (which became Solvay Automotive soon afterwards and later Ingeny following its merger with Plastic Omnium). The answer to our initial questions can be found in this book. While the journey took seven years and was far from easy, we believe we have made some progress. We have awarded the IEA annually since 1995 in France, and in Germany since 1997. In the course of this effort, we have analyzed questionnaires from hundreds of plants, visited 100 of them, and given prizes to 30. We did not know what we might discover when we rst approached this undertaking but we came away deeply impressed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Condizione: Neu. Neuware -Companies and financial institutions are employing operational information systems in an efficient way. While they have consolidated a strong level of knowledge in management information systems, there is still a lack of knowledge on the right way to apply customer relationship management (CRM) systems under a business perspective. Most of the companies are still having problems in evaluating how CRM can meet with the expected results. The level of complexity is perceived both under a technological and organizational point of view. A complete innovation process and heavy change management initiatives should be ensured in order to have effective and successful systems. This book offers a solid theoretical and practical perspective on how to face CRM projects, describing the most appropriate technologies and organizational issues that have to be considered. Some explaining cases have been included as well.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Buch. Condizione: Neu. Neuware -Economists and political scientists have recently begun to study formally how conftict and the possibility of conftict affects resource allocation and economic performance.! For example, an extensive empiricalliterature suggests that conftict and political instability adversely affects economic development and that higher 2 inequality causes poor economic performance by inducing increased conftict. In this paper I argue that a serious ftaw in this research has taken too individu 3 alistic a view of conftict. While the approach of methodological individualism is attractive, in reality individuals act not purely in isolation, but also as part of larger social groupings and networks. I therefore try to consider how these models of conftict may be extended to this type of situation and thus attempt to place individuals within a larger social setting to see how this alters our intuitions about conftict and its economic and political determinants and implications. But what groups are relevant Individuals belong to many overlapping and cross cutting groups in society. While traditional Marxist analysis stressed dass groupings so that workers associated with workers and capitalists with capitalists, more recent literature (see Wright, 1985) has stressed the diversity of social groupings. Rather than associate along dass lines one might associate along gender, religious, or perhaps ethnic lines. Many strands of research have show how thinking of groups in this heterogeneous way can iIluminate both economic 4 and political behavior.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Finland) Young-Chu Cho (KTICOM, Korea) Irwin Jacobs (Qualcomm, USA) In-Sik Oh (Motorola, Korea) Janos Fugedi (Ericsson, Sweden) John C.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -ETAPS2003wasthesixthinstanceoftheEuropeanJointConferencesonTheory andPracticeofSoftware.ETAPSisanannualfederatedconferencethatwases- blishedin1998bycombininganumberofexistingandnewconferences.Thisyear it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 14 - tellite workshops (AVIS, CMCS, COCV, FAMAS, Feyerabend, FICS, LDTA, RSKD, SC, TACoS, UniGra, USE, WITS, and WOOD), eight invited lectures (not including those that are speci c to the satellite events), and several tu- rials. We received a record number of submissions to the ve conferences this year: over 500, making acceptance rates fall below 30% for every one of them. Congratulations to all the authors who made it to the nal program! I hope that all the other authors still found a way of participating in this exciting event, and I hope you will continue submitting. A special event was held to honor the 65th birthday of Prof. Wlad Turski, one of the pioneers of our young science. The deaths of some of our ¿fathers¿ in the summer of 2002 ¿ Dahl, Dijkstra and Nygaard ¿ reminded us that Software Science and Technology is, perhaps, no longer that young. Against this sobering background, it is a treat to celebrate one of our most prominent scientists and his lifetime of achievements. It gives me particular personal pleasure that we are able to do this for Wlad during my term as chairman of ETAPS. 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003.The 20 revised full regular papers and one tool demonstration paper presented together with two invited papers were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on register allocation, language constructs and their implementation, type analysis, Java, pot pourri, and optimization. 352 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents 10 chapters on various aspects of intelligent information agents contributed by members of the respective AgentLink special interest group.The papers are organized in three parts on agent-based information systems, adaptive information agents, and coordination of information agents. Also included are a comprehensive introduction and surveys for each of the three parts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Buch. Condizione: Neu. Neuware -In recent years, the importance of Internet and World Wide Web (WWW) technologies in manufacturing industries has been rising very rapidly in a global context, the impact of which is deemed most profound ever since the Industrial Revolution. The waving interests in the electronic commerce and electronic business (e-commerce / e-business) have spread, from the heartland (product development) to the battlefield (shop floor), of manufacturing enterprises. The number of web applications is ever on the rise, and many practitioners are keen on trying these remote systems through web browsers to support their decisi- making activities. Indeed, product design and manufacture professionals will soon be able to benefit from such remote services and supports commercially available on the Internet. The practice and performance of product development and realization are expected to make immense progress. Web applications in product design and manufacture signals the beginning of a new era of the digital manufacturing enterprise. However, many loopholes are found in the development and application processes because of domain complexity and technology sophistication, thus generating new challenges to both the developers and practitioners. A simple example is the difference in the user interfaces between web applications and traditional applications. Indeed, abundant issues need to be resolved before the full launch of digital manufacturing can come into being.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -AndreasPrinz DieterHogrefe CliveJervis EdelSherratt EkkartRudolph DanielAmyot UweGl¿ asser RolvBraek ThomasWeigert ChrisLoftus SusanneGraf BobProbert ReinhardGotzhein SjoukeMauw Table of Contents SDL CoSDL¿AnExperimentalLanguageforCollaborationSpeci cation . . . . 1 Frank R¿ öler, Birgit Geppert, Reinhard Gotzhein URN:TowardsaNewStandardfortheVisual DescriptionofRequirements. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Daniel Amyot, Gunter Mussbacher ExpressionofTimeandDurationConstraintsinSDL . . . . . . . . . . . . . . . . . 38 Susanne Graf SDLTimeExtensionsfromaSemanticPointofView. . . . . . . . . . . . . . . . . . 53 Andreas Prinz MicroProtocolDesign:TheSNMPCaseStudy. . . . . . . . . . . . . . . . . . . . . . . 61 Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible ImplementationofUMTSProtocolLayersforthe RadioAccessInterface. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 Javier Col as, J. M. P erez, Javier Poncela, J. T. Entrambasaguas Object-OrientedSpeci cationofProtocolsforReusability. . . . . . . . . . . . . . 90 Andreas Prinz, Mario Schwarz RapidDevelopmentofNetworkSoftwareviaSDL/SocketInterfaces . . . . . 103 Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan Williams UnderstandingExistingSoftwarewithUseCaseMapScenarios. . . . . . . . . 124 Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher TechniquesforAbstractingSDLSpeci cations. . . . . . . . . . . . . . . . . . . . . . . . 141 Sergiy Boroday, Roland Groz, Alex Petrenko, Yves-Marie Quemener Model-BasedGenerationofSDLSpeci cationsforthe EarlyPrototypingofReactiveSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158 Andreas Metzger, Stefan Queins MSC and TTCN AutomaticGenerationofConformanceTestsfrom MessageSequenceCharts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The proceedings of the Israeli GAFA seminar on Geometric Aspect of Functional Analysis during the years 2001-2002 follow the long tradition of the previous volumes. They continue to reflect the general trends of the Theory. Several papers deal with the slicing problem and its relatives. Some deal with the concentration phenomenon and related topics. In many of the papers there is a deep interplay between Probability and Convexity. The volume contains also a profound study on approximating convex sets by randomly chosen polytopes and its relation to floating bodies, an important subject in Classical Convexity Theory. All the papers of this collection are original research papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These are the proceedings of CT-RSA 2003, the Cryptographers¿ Track at RSA Conference 2003. The proceedings of CT-RSA 2001 and CT-RSA 2002 were published in Springer-Verlag¿s Lecture Notes in Computer Science series as LNCS 2020 and LNCS 2271, respectively. The Cryptographers¿ Track is one of the many parallel tracks of the RSA Conference. With many thousands of participants, the RSA Conference is the largest security and cryptography event of the year. There were 97 submitted contributions this year, of which 26, or 27%, were selected for presentation. The program also included two invited talks by Tom Berson (¿Cryptography After the Bubble: How to Make an Impact on the World¿) and by Adi Shamir (¿RSA Shortcuts¿). All submissions were reviewed by at least three members of the program committee. I am very grateful to the 21 members of the program committee for their hard and e cient work in assembling the program. My thanks also go to the 78 external referees who helped in the review process in their area of exp- tise: Gail-Joon Ahn, Toru Akishita, Kazumaro Aoki, Gildas Avoine, Joonsang Baek, Olivier Benoit, Alex Biryukov, Alexandra Boldyreva, Antoon Bosselaers, Emmanuel Bresson, Eric Brier, Brice Canvel, Dario Catalano, Chien Yuan Chen, Donghyeon Cheon, Jung Hee Cheon, Olivier Chevassut, Kilsoo Chun, Mathieu Ciet, Christophe Clavier, Jean-S¿ebastien Coron, Reza Curtmola, Christophe De Canni`ere, Jean-Fran¿cois Dhem, Xuhua Ding, Pierre-Alain Fouque, Jacques Fournier, Fabien Germain, Jovan Dj. Goli¿c, Philippe Golle, Louis Granboulan, Jorge Guajardo, D. J.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Buch. Condizione: Neu. Neuware -Counting is one of the basic elementary mathematical activities. It comes with two complementary aspects: to determine the number of elements of a set - and to create an ordering between the objects of counting just by counting them over. For finite sets of objects these two aspects are realized by the same type of num bers: the natural numbers. That these complementary aspects of the counting pro cess may need different kinds of numbers becomes apparent if one extends the process of counting to infinite sets. As general tools to determine numbers of elements the cardinals have been created in set theory, and set theorists have in parallel created the ordinals to count over any set of objects. For both types of numbers it is not only counting they are used for, it is also the strongly related process of calculation - especially addition and, derived from it, multiplication and even exponentiation - which is based upon these numbers. For fuzzy sets the idea of counting, in both aspects, looses its naive foundation: because it is to a large extent founded upon of the idea that there is a clear distinc tion between those objects which have to be counted - and those ones which have to be neglected for the particular counting process.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -selection process, and to thank all our subreferees for their invaluable contributions to this process.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments. 436 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Schwerpunkte dieses Lehrbuchs sind der Entwurf und die Entwicklung einfacher Datenbankanwendungen. Zunächst wird am Beispiel typischer Datenstrukturen und Algorithmen die Verwaltung unverbundener Dateien behandelt. Anschließend folgt, ausgehend von Beispielen zur Datenbankverwaltung in weitverbreiteten Softwarepaketen, eine Einführung in den Entwurf von Datenbanken. Abfragen in QBE, SQL und XBase-ähnlichen Befehlssprachen veranschaulichen deklarative und prozedurale Abfragesprachen. Ein Fallbeispiel verdeutlicht die Anwendungsentwicklung in prozeduralen Datenbanksprachen der vierten Generation. Der letzte Teil diskutiert Client/Server-, verteilte und objektorientierte Datenbanksysteme. Verweise auf eine realistische Musteranwendung begleiten die theoretischen Ausführungen. Die beiliegende CD-ROM enthält deshalb neben rechnerpraktischen Beispielen, Aufgaben und Lösungen eine realistische Anwendung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Dieses Buch führt in die grundlegenden Analysebereiche der Makroökonomik ein und bietet darüber hinaus eine Erweiterung und Vertiefung in wichtigen Teilgebieten der makroökonomischen Theorie und Politik. Umfassend werden die gesamtwirtschaftlichen Zusammenhänge im Rahmen des volkswirtschaftlichen Rechnungswesens und insbesondere mit Hilfe theoretischer Ansätze verdeutlicht, die ökonomischen Probleme moderner Volkswirtschaften auf nationaler und internationaler Ebene analysiert sowie die Möglichkeiten und Grenzen der Wirkungen der staatlichen Beschäftigungs- und Konjunkturpolitik, der Geldpolitik und der Lohnpolitik dargelegt. Für die 5. Auflage ist das Buch vollständig überarbeitet worden. Alle Kapitel wurden unter Berücksichtigung von neueren Entwicklungen in Theorie, Politik und Methodik auf einen aktuellen Stand gebracht - z.B. im Hinblick auf die neue Systematik der Volkswirtschaftlichen Gesamtrechnungen sowie der neuen geldpolitischen Ordnung im Europäischen Währungssystem.Angesichts der nach wie vor ungelösten Arbeitsmarktprobleme hat die Analyse der Angebotsseite einer Volkswirtschaft ein größeres Gewicht erhalten, wobei sowohl die Ursachen von Arbeitslosigkeit als auch die beschäftigungspolitischen Maßnahmen zu ihrer Bekämpfung auf theoretischer Basis eingehend untersucht werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Deutsch.

Buch. Condizione: Neu. Neuware -Die sich gerade entwickelnde Web-Services-Technologie wird in den kommenden Jahren neue Formen wirtschaftlicher Interaktion ermöglichen. Geschäftsprozesse, Unternehmen und Marktstrukturen werden sich daher nachhaltig ändern. 'Collaborative Business' wird zur Realität. Das vorliegende Buch erläutert erstmals nicht aus technologischer Perspektive, sondern aus Management-Sicht, wie sich Firmen auf diese geänderten Rahmenbedingungen einstellen können. Ökonomische Gesetzmäßigkeiten, Markterhebungen und erste Erfahrungen internationaler Unternehmen bieten Entscheidern verlässliche Hilfestellungen auf dem Weg in eine neue Wirtschaftswelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Der zweite Band dieses Lehrbuchs der Analysis umfaßt den Stoff des zweiten Semesters eines mathematischen Grundstudiums für Studierende der Mathematik, Physik und Informatik. Der klare und übersichtliche Aufbau berücksichtigt, daß schon frühzeitig die mathematischen Hilfsmittel erörtert werden, die zum Verständnis der physikalischen Grundvorlesungen unerläßlich sind. In Verbindung mit Band 1 ist so ein Leitfaden für das Studium der Analysis entstanden, der das in den ersten beiden Studiensemestern zu erwerbende mathematische Grundwissen umfaßt. Ausführliche Beweise und Erläuterungen sowie zahlreiche Beispiele und interessante Übungsaufgaben eignen es sehr gut für das Selbststudium. Ein klarer und übersichtlicher Aufbau und eine geschickte Gliederung des Stoffes ermöglichen, das erste Studium auf Kernbereiche zu beschränken. Geometrische Intuition und historische Motivation in Verbindung mit einer maßvollen Abstraktion kennzeichnen diese moderne Einführung in die Analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Deutsch.

Buch. Condizione: Neu. Neuware -Der Bekanntheitsgrad des Begriffs 'Virtuelles Unternehmen' ist rasant gestiegen, doch ist das Verständnis dieser Organisationsform nach wie vor unterentwickelt. Mit Virtuellen Unternehmen zum Erfolg leistet hier einen wertvollen Beitrag: Das Buch schließt Wissenslücken und schlägt zugleich eine Brücke zwischen Wissenschaft und Praxis. Das Buch bietet unter anderem einen praxisnahen, schnellen und zuverlässigen 'Quick-Check für Manager aus Fallstudien und zahlreichen Praxisinterviews abgeleitete Erfolgsfaktoren und -voraussetzungen Virtueller Unternehmensieben Managementthesen, die die Eigenschaften Virtueller Unternehmen kompakt vermitteln.Manager erhalten damit wichtige Instrumente an die Hand, um rasch und fundiert über die Gründung und Ausgestaltung eines Virtuellen Unternehmens zu entscheiden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Stochastische Methoden finden in der Informatik zahlreiche Einsatzfelder, insbesondere in der Bio- und Medizinischen Informatik. Ziel des Buches ist es eine Einführung in die Grundlagen der Stochastik zu geben, wobei viele Anwendungsbeispiele für die notwendigen Theorie motivieren und diese illustriert. Über weite Strecken konzentriert sich das Buch auf die für die Informatik besonders wichtigen diskreten Modelle.Besonderes Augenmerk wird auch darauf gelegt, die Brücke zur Numerik zu schlagen, weshalb z.B. exakte Konfidenzintervalle sehr ausführlich behandelt werden.Um dem immer wichtiger werdenden Gebiet der Bioinformatik Rechnung zu tragen, werden entsprechende Beispiele (z.B. Hardy-Weinberg-Gesetz, medizinische Tests, Sequenzvergleiche) und Methoden (exponentielle Schranken, EM-Algorithmus) behandelt, so dass auch Informatiker mit Nebenfach Medizin und Biologie das Buch mit Gewinn lesen können.Hinweise zu weiterführender Literatur runden das Buch ab.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch.

Buch. Condizione: Neu. Neuware -John T. Addison and Paul J. J. Welfens Because inflation seems moribund in OECD countries, stubborn unemployment became the top policy priority of the 1990s. Unemployment has increased in many countries, reaching critical levels for unskilled and young workers in most continental EU countries. Europe's employment performance has continued to lag that in North America. The U. S. in particular achieved a remarkable combination of low inflation and full employment in the late 1990s, at a time when the EU suf fered from record unemployment rates, even if inflation was remarkably low. Since the 1980s, the consensus view among economists is that structural unem ployment plays a much more important role than cyc1ical unemployment in Europe, but that labour costs (wage costs plus nonwage costs) are also part of Europe's labour market problem. Most EU countries rely on a pay-as-you-go pub lic pension system. Contribution rates gradually increased in the 1980s and 1990s, when the share of young workers in overall employment was dec1ining and life expectancy increasing. Rising nonwage costs from the pension system are but one important feature of labour markets in Europe. Given the remarkable dynamics of labour markets, new entry into the labour force, labour turnover, and changes in employment characteristics, one has to also search for other factors behind sus tained unemployment. High unemployment is critical for EU countries, where one can point to rela tively few positive developments after 1975. The U. K.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Buch. Condizione: Neu. Neuware -This volume, in a sense, aims at reflecting the qualities of the honoree and it does so in two respects. On the one hand, it covers a great variety of subdisciplines of economics. On the other hand, the book ranges from theoretical and mathematical economics to hands-on applied analyses of economic-policy issues. All essays are driven by the aspiration to better understand the economy and to draw relevant conclusions for economic policy. The book is divided into five parts dealing with the German economy, European economic issues, global markets, international trade theory and policy, and natural resources and the environment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Buch. Condizione: Neu. Neuware -Many inhomogeneous systems involve domains of well-de ned phases se- rated by a distinct interface. If they are driven out of equilibrium one phase will grow at the cost of the other. Examples are phase separation by sp- odal decomposition or nucleation and subsequent growth of the nucleus in the nourishing phase [139]. Another example which has often been discussed as a paradigmatic problem is that of dendritic solidi cation [29, 64, 79, 199]. The phenomenological description of these phenomena involves the de - tion of a precisely located interfacial surface on which boundary conditions are imposed. One of those boundary conditions typically yields a normal - locity at which the interface is moving. This is the so-calledsharp interface approach, adopted both in analytical and numerical studies for a variety of contexts involving a moving boundary. The origin of such a description is - ten transparent, being obtained by symmetry arguments and common sense.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Computer Vision Systems, ICVS 2003, held in Graz, Austria, in April 2003.The 51 revised full papers presented were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on cognitive vision, philosophical issues in cognitive vision, cognitive vision and applications, computer vision architectures, performance evaluation, implementation methods, architecture and classical computer vision, and video annotation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 564 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -ETAPS 2003 was the sixth instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was establishedin1998bycombininganumberofexistingandnewconferences.This yearitcomprised veconferences(FOSSACS,FASE,ESOP,CC,TACAS),14- tellite workshops (AVIS, CMCS, COCV, FAMAS, Feyerabend, FICS, LDTA, RSKD, SC, TACoS, UniGra, USE, WITS and WOOD), eight invited lectures (not including those that are speci c to the satellite events), and several tu- rials. We received a record number of submissions to the ve conferences this year: over 500, making acceptance rates fall below 30% for every one of them. Congratulations to all the authors who made it to the nal program! I hope that all the other authors still found a way of participating in this exciting event and I hope you will continue submitting. A special event was held to honour the 65th birthday of Prof. Wlad Turski, one of the pioneers of our young science. The deaths of some of our ¿fathers¿ in thesummerof2002¿Dahl,DijkstraandNygaard¿remindedusthatSoftwa re Science and Technology is, perhaps, no longer that young. Against this sobering background, it is a treat to celebrate one of our most prominent scientists and his lifetime of achievements. It gives me particular personal pleasure that we are able to do this for Wlad during my term as chairman of ETAPS. 628 pp. Englisch.

Buch. Condizione: Neu. Neuware -Interesting and new specific results of current theoretical and experimental work in various fields at the frontier of particle scattering and X-ray diffraction are reviewed in this volume. Special emphasis is placed on the study of the microstructure of solids, crystals and liquids, both classically and quantum mechanically. This gives the reader essential insights into the dynamics and properties of these states of matter. The authors address students interested in the physics of quantum solids, crystallography and material science as well as physical chemistry and computational physics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -V VII X Table of Contents Table of Contents XI XII Table of Contents A. Taware and G. Tao: Control of Sandwich Nonlinear Systems, LNCIS 288, pp. 1-8, 2003. Springer-Verlag Berlin Heidelberg 2003 A. Taware and G. Tao: Control of Sandwich Nonlinear Systems, LNCIS 288, pp. 9-16, 2003. Springer-Verlag Berlin Heidelberg 2003 x(t), pilot valve piston position Return Pressure Source Return Load M, b y(t) A. Taware and G. Tao: Control of Sandwich Nonlinear Systems, LNCIS 288, pp. 17-28, 2003. Springer-Verlag Berlin Heidelberg 2003 load displacement, y(t) 3 2 1 0 1 2 3 0 10 20 30 40 50 60 70 80 90 100 solid without DZ, dotted with DZ Load displacement, y(t) 0.4 0.2 0 0.2 0.4 0.6 0.8 10 20 30 40 50 60 70 80 90 100 solid without DZ, dotted with DZ, dashdot compensated Load displacement, y(t) 3 2 1 0 1 2 3 0 10 20 30 40 50 60 70 80 90 100 Control input, x(t) 0.8 0.6 0.4 0.2 0 0.2 0.4 0.6 0 10 20 30 40 50 60 70 80 90 100 solid without DZ, dotted with DZ, dashdot compensated Load displacement, y(t) 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8 0 10 20 30 40 50 60 70 80 90 100 solid without DZ, dotted with DZ, dashdot compensated A. Taware and G. Tao: Control of Sandwich Nonlinear Systems, LNCIS 288, pp. 29-54, 2003. Springer-Verlag Berlin Heidelberg 2003Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The refereed proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2003, held in Aalborg, Denmark in July 2003.The 47 revised full papers presented together with 2 invited survey articles were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on foundations of uncertainty concepts, Bayesian networks, algorithms for uncertainty inference, learning, decision graphs, belief functions, fuzzy sets, possibility theory, default reasoning, belief revision and inconsistency handling, logics, and tools. 628 pp. Englisch.

Buch. Condizione: Neu. Neuware -In many fields of modern mathematics specialised scientific software becomes increasingly important. Hence, tremendous effort is taken by numerous groups all over the world to develop appropriate solutions.This book contains surveys and research papers on mathematical software and algorithms. The common thread is that the field of mathematical applications lies on the border between algebra and geometry. Topics include polyhedral geometry, elimination theory, algebraic surfaces, Gröbner bases, triangulations of point sets and the mutual relationship. This diversity is accompanied by the abundance of available software systems which often handle only special mathematical aspects. Therefore the volume's other focus is on solutions towards the integration of mathematical software systems. This includes low-level and XML based high-level communication channels as well as general framework for modular systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3¿5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART¿97), Berkeley, California, USA (HSCC¿98), Nijmegen, The Neth- lands (HSCC¿99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the nal versions of these papers appear in this volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.