springer berlin heidelberg springer berlin heidelberg okt 2003 (208 risultati)

Taschenbuch. Condizione: Neu. Neuware -The volume develops the foundations of differential geometry so as to include finite-dimensional spaces with singularities and nilpotent functions, at the same level as is standard in the elementary theory of schemes and analytic spaces. The theory of differentiable spaces is developed to the point of providing a handy tool including arbitrary base changes (hence fibred products, intersections and fibres of morphisms), infinitesimal neighbourhoods, sheaves of relative differentials, quotients by actions of compact Lie groups and a theory of sheaves of Fréchet modules paralleling the useful theory of quasi-coherent sheaves on schemes. These notes fit naturally in the theory of C^infinity-rings and C^infinity-schemes, as well as in the framework of Spallek¿s C^infinity-standard differentiable spaces, and they require a certain familiarity with commutative algebra, sheaf theory, rings of differentiable functions and Fréchet spaces.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Buch. Condizione: Neu. Neuware -Disparate perceptions and conceptual frameworks of environment and the relationship between humans and nature often lead to confusion, constraints on co-operation and collaboration and even conflict when society tries to deal with today¿s urgent and complex environment research and policy challenges. Such disparities in perception and 'world view' are driven by many factors. They include differences in culture, religion, ethical frameworks, scientific methodologies and approaches, disciplines, political, social and philosophical traditions, life styles and consumption patterns as well as alternative economic paradigms. Distribution of poverty or wealth between north and south may thus be seen as consequence of the above mentioned disparities, which is a challenge for it¿s universal reasoned evaluation. This volume discusses a wide range of factors influencing 'Environment across Cultures' with a view to identifying ways and means to better understand, reflect and manage such disparities within future global environmental research and policy agendas for bridging the gap between ecology and economy as well as between societies. The book is based upon the results of a scientific symposium on this topic and covers the following sections: Cross Cultural Perception of Environment; Ethics and Nature; Environment, Sustainability and Society. Corresponding contributions were made by well-known scientific authors representing different cultural spheres in accordance with the inter-cultural approach of this effort.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -1 WorkshopTheme Digital multimedia di ers from previous forms of combined media in that the bits that represent text, images, animations, and audio, video and other signals can be treated as data by computer programs. One facet of this diverse data in termsofunderlyingmodelsandformatsisthatitissynchronizedandintegrated, hence it can be treated as integral data records. Such records can be found in a number of areas of human endeavour. Modern medicine generates huge amounts of such digital data. Another - ample is architectural design and the related architecture, engineering and c- struction (AEC) industry. Virtual communities (in the broad sense of this word, which includes any communities mediated by digital technologies) are another example where generated data constitutes an integral data record. Such data may include data about member pro les, the content generated by the virtual community, and communication data in di erent formats, including e-mail, chat records, SMS messages, videoconferencing records. Not all multimedia data is so diverse. An example of less diverse data, but data that is larger in terms of the collected amount, is that generated by video surveillance systems, where each integral data record roughly consists of a set of time-stamped images ¿ the video frames. In any case, the collection of such in- gral data records constitutes a multimedia data set. The challenge of extracting meaningful patterns from such data sets has led to the research and devel- ment in the area of multimedia data mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -o cial program. 444 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, held in Heidelberg, Germany in October 2002. The 20 revised full papers and 6 revised short papers presented together with a keynote paper were carefully reviewed and selected from a total of 105 submissions. The papers are organized in topical sections on self-configuration, peer-to-peer management, self-optimization and performance management, utility management, self-protection and access control, manageability and instrumentation, and context-awareness. 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 5th International Symposium on High Performance Computing (ISHPC¿V) was held in Odaiba, Tokyo, Japan, October 20¿22, 2003. The symposium was thoughtfully planned, organized, and supported by the ISHPC Organizing C- mittee and its collaborating organizations. The ISHPC-V program included two keynote speeches, several invited talks, two panel discussions, and technical sessions covering theoretical and applied research topics in high¿performance computing and representing both academia and industry. One of the regular sessions highlighted the research results of the ITBL project (IT¿based research laboratory, itbl.riken.go.jp/). ITBL is a Japanese national project started in 2001 with the objective of re- izing a virtual joint research environment using information technology. ITBL aims to connect 100 supercomputers located in main Japanese scienti c research laboratories via high¿speed networks. A total of 58 technical contributions from 11 countries were submitted to ISHPC-V. Each paper received at least three peer reviews. After a thorough evaluation process, the program committee selected 14 regular (12-page) papers for presentation at the symposium. In addition, several other papers with fav- able reviews were recommended for a poster session presentation. They are also included in the proceedings as short (8-page) papers. Theprogramcommitteegaveadistinguishedpaperawardandabeststudent paper award to two of the regular papers. The distinguished paper award was given for ¿Code and Data Transformations for Improving Shared Cache P- formance on SMT Processors¿ by Dimitrios S. Nikolopoulos. The best student paper award was given for ¿Improving Memory Latency Aware Fetch Policies for SMT Processors¿ by Francisco J. Cazorla. 588 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -1 WorkshopTheme Data mining as a discipline aims to relate the analysis of large amounts of user data to shed light on key business questions. Web usage mining in particular, a relatively young discipline, investigates methodologies and techniques that - dress the unique challenges of discovering insights from Web usage data, aiming toevaluateWebusability,understandtheinterestsandexpectationsofusersand assess the e ectiveness of content delivery. The maturing and expanding Web presents a key driving force in the rapid growth of electronic commerce and a new channel for content providers. Customized o ers and content, made possible by discovered knowledge about the customer, are fundamental for the establi- ment of viable e-commerce solutions and sustained and e ective content delivery in noncommercial domains. Rich Web logs provide companies with data about their online visitors and prospective customers, allowing microsegmentation and personalized interactions. While Web mining as a domain is several years old, the challenges that characterize data analysis in this area continue to be formidable. Though p- processing data routinely takes up a major part of the e ort in data mining, Web usage data presents further challenges based on the di culties of assigning data streams to unique users and tracking them over time. New innovations are required to reliably reconstruct sessions, to ascertain similarity and di erences between sessions, and to be able to segment online users into relevant groups.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The European Society for Arti cial Intelligence in Medicine (AIME) was - tablished in 1986 with two main goals: 1) to foster fundamental and applied research in the application of Arti cial Intelligence (AI) techniques to medical care and medical research, and 2) to provide a forum for reporting signi cant results achieved at biennial conferences. Additionally, AIME assists medical - dustrials to identify new AI techniques with high potential for integration into new products. A major activity of this society has been a series of international conferences,fromMarseille(FR)in1987toCascais(PT)in2001,heldbiennially over the last 16 years. The AIME conference provides a unique opportunity to present and improve the international state of the art of AI in medicine from both a research and an applicationsperspective.Forthispurpose,theAIMEconferenceincludesinvited lectures, contributed papers, system demonstrations, tutorials and workshops. The present volume contains the proceedings of the AIME 2003 conference, the ninthconferenceonArti cialIntelligenceinMedicineinEurope,heldinCyprus, October 18¿22, 2003. In the AIME 2003 conference announcement, we encouraged authors to s- mit original contributions to the development of theory, techniques, and - plications of AI in medicine, including the evaluation of health care programs. Theoretical papers should include a prospective part about possible applications to medical problems solving. Technical papers should describe the novelty of the proposed approach, its assumptions and pros and cons compared to other alt- native techniques. Application papers should present su cient information to allow the evaluation of the practical bene ts of the proposed system or meth- ology. 408 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -No symposium of this size can be organized without the help of many dedicated persons. EUSAI was organized by Philips Research in close cooperation with the ITEA Ambience project. Many people were involved in this joint effort and we are greatly indebted to them for their valuable contribution to the organization of EUSAI. Special thanks in this respect go to Ad de Beer for taking care of the local arrangements and to Maurice Groten for guaranteeing the financial budget. EUSAI has succeeded in bringing together a wealth of information on the research progress in ambient intelligence, and we are confident that these proceedings will contribute to the realization of the truly great concept that ambient intelligence provides. Eindhoven, Emile Aarts August 2003 Rene Collier Evert van Loenen Boris de Ruyter Le nouveau poème électronique On the occasion of the 1958 World¿s Fair in Brussels, Le Corbusier designed for the Philips company a pavilion (see photograph below) that was later referred to as the neglected building by Le Corbusier, since it was dismantled after the fair. In his visually compelling book, Treib [1996] brought this object back to life, and positioned it as an ephemeral structure that exhibited a landmark multimedia production. The nearly two million visitors to the pavilion were exposed to a media show rather than to the typical display of consumer products. 452 pp. Englisch.

Buch. Condizione: Neu. Neuware -Natural Computing is concerned with computation that is taking place in Nature. The investigation of computations in living cells is one of the central and fastest growing areas of research in this field. Gene assembly in ciliates (unicellular organisms) is a splendid example of such computations, and it is fascinating from both the biological and the computational viewpoints. As a matter of fact, both biology and the science of computation have benefited from the interdisciplinary research on the computational nature of gene assembly ¿ this work has helped to clarify important biological aspects of gene assembly, yielded novel insights into the nature of computation, and broadened our understanding of what computation is about.This monograph gives an accessible account of both the biology and the formal analysis of the gene assembly process. It can be used as a textbook for either graduate courses or seminars.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Buch. Condizione: Neu. Neuware -Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Buch. Condizione: Neu. Neuware -At the beginning of the 1990s research started in how to combine soft comput ing with reconfigurable hardware in a quite unique way. One of the methods that was developed has been called evolvable hardware. Thanks to evolution ary algorithms researchers have started to evolve electronic circuits routinely. A number of interesting circuits - with features unreachable by means of con ventional techniques - have been developed. Evolvable hardware is quite pop ular right now; more than fifty research groups are spread out over the world. Evolvable hardware has become a part of the curriculum at some universi ties. Evolvable hardware is being commercialized and there are specialized conferences devoted to evolvable hardware. On the other hand, surprisingly, we can feel the lack of a theoretical background and consistent design methodology in the area. Furthermore, it is quite difficult to implement really innovative and practically successful evolvable systems using contemporary digital reconfigurable technology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Fast Software Encryption is now a 10-year-old workshop on symmetric crypt- raphy, including the design and cryptanalysis of block and stream ciphers, as well as hash functions. The rst FSE workshop was held in Cambridge in 1993, followed by Leuven in 1994, Cambridge in 1996, Haifa in 1997, Paris in 1998, Rome in 1999, New York in 2000, Yokohama in 2001, and Leuven in 2002. This Fast Software Encryption workshop, FSE 2003, was held February 24¿ 26, 2003 in Lund, Sweden. The workshop was sponsored by IACR (International Association for Cryptologic Research) and organized by the General Chair, Ben Smeets, in cooperation with the Department of Information Technology, Lund University. Thisyearatotalof71papersweresubmittedtoFSE2003.Afteratwo-month reviewing process, 27 papers were accepted for presentation at the workshop. In addition, we were fortunate to have in the program an invited talk by James L. Massey. The selection of papers was di cult and challenging work. Each submission was refereed by at least three reviewers. I would like to thank the program c- mittee members, who all did an excellent job. In addition, I gratefully ackno- edge the help of a number of colleagues who provided reviews for the program committee. They are: Kazumaro Aoki, Alex Biryukov, Christophe De Canni` ere, Nicolas Courtois, Jean-Charles Faug` ere, Rob Johnson, Pascal Junod, Joseph Lano, Marine Minier, Elisabeth Oswald, H avard Raddum, and Markku-Juhani O. Saarinen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 29th International Workshop on Graph-Theoretic Concepts in Computer Science(WG2003)washeldintheMennorodeconferenceCenterinElspeet,The Netherlands.TheworkshopwasorganizedbytheCenterforAlgorithmicSystems of the Institute of Information and Computing Sciences of Utrecht University. The workshop took place June 19¿21, 2003. The 72 participants of WG 2003 came from universities and research institutes from 18 di erent countries and ve di erent continents. The workshop looks back at a long tradition. It was rst held in 1975, and has been held 20 times in Germany, twice in Austria, and once in Italy, Slo- kia, Switzerland, and the Czech Republic, and has now been held for the third time in The Netherlands. The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computerscience,orbyextractingnewproblemsfromapplications.Itisdevoted to the theoretical and practical aspects of graph concepts in computer science. The goal is to present recent research results and to identify and explore - rections of future research. The talks given at the workshop showed how recent research results from algorithmic graph theory can be used in computer science and which graph-theoretic questions arise from new developments in computer science. 404 pp. Englisch.

Buch. Condizione: Neu. Neuware -Applied Mathematics: Body & Soul is a mathematics education reform project developed at Chalmers University of Technology and includes a series of volumes and software. The program is motivated by the computer revolution opening new possibilitites of computational mathematical modeling in mathematics, science and engineering. It consists of a synthesis of Mathematical Analysis (Soul), Numerical Computation (Body) and Application. Volumes I-III present a modern version of Calculus and Linear Algebra, including constructive/numerical techniques and applications intended for undergraduate programs in engineering and science. Further volumes present topics such as Dynamical Systems, Fluid Dynamics, Solid Mechanics and Electro-Magnetics on an advanced undergraduate/graduate level.The authors are leading researchers in Computational Mathematics who have written various successful books.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book is about solving partial differential equations (PDEs). Such equa tions are used to model a wide range ofphenomena in virtually all fields ofsci ence and technology. Inthe last decade, the general availability of extremely powerful computers has shifted the focus in computational mathematics from simplified model problems to much more sophisticated models resembling in tricate features of real life. This change challenges our knowledge in computer science and in numerical analysis. The main objective ofthe present book is to teach modern,advanced tech niques for numerical PDE solution. The book also introduces several models arising in fields likefinance, medicine, material technology, and geology. Inor der to read this book, you must have a basic knowledge of partial differential equations and numerical methods for solving such equations. Furthermore, some background in finite element methods is required. You do not need to know Diffpack, although this programming environment is used in examples throughout the text. Basically, this book is about models, methods, and how to implement the methods. For the implementation part it is natural for us to use Diffpack as the programming environment, because making a PDE solver in Diffpack requires little amount of programming and because Diff pack has support for the advanced numerical methods treated in this book. Most chapters have a part on models and methods, and a part on imple mentation and Diffpack programming. The exposition is designed such that readers can focus only on the first part, if desired.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 684 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The C.I.M.E. session on Dynamical Systems, held in Cetraro (Italy), June 19-26, 2000, focused on the latest developments in several important areas in dynamical systems, with full development and historical context. The lectures of Chow and Mallet-Paret focus on the area of lattice differential systems, the lectures of Conto and Galleotti treat the classical problem of classification of orbits for two-dimensional autonomous systems with polynomial right sides, the lectures of Nussbaum focus on applications of fixed point theorems to the problem of limiting profiles for the solutions of singular perturbations of delay differential equations, and the lectures of Johnson and Mantellini deal with the existence of periodic and quasi-periodic orbits to non-autonomous systems. The volume will be of interest to researchers and graduate students working in these areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003.The 26 revised full papers and 5 revised short papers presented together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages. 448 pp. Englisch.

Buch. Condizione: Neu. Neuware -In the framework of the Diderot Mathematical Forum (DMF) of the European Mathematical Society (EMS), December 19-20, 1997, a Videoconference was held linking three teams of specialists in Amsterdam, Madrid and Venice respectively. The general subject of this videoconference, the second one of the DMF series, was Mathematics and Environment and more specifically, Problems related to Water.This volume contains the texts of the Madrid site contributions with important, new and unpublished, examples on the modeling, mathematical and numerical analysis and treatment of the associated control problems of relevant questions arising in Oceanography and Environment. 124 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The rst major revision of the Uni ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly, attention is being paid to the use of specialized languages, often pro les of UML, appropriate for di erent purposes; this is one way to make UML less overwh- ming. Accordingly, the focus of the UML conference is gradually expanding from UML to software modeling in general. Simultaneously, model-driven development is being pursued as a way of - creasing the bene ts from modeling throughout the software development p- cess. Gradually, it is developing from a set of slogans into a reality. Many of the papers in this volume are concerned, directly or indirectly, with how to make modeling, rather than coding, the heart of software development, and how to realize the resulting bene ts of higher-level thinking. Much work remains to be done. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 1st International Conference on ¿Applied Cryptography and Network Se- rity¿ (ACNS 2003) was sponsored and organized by ICISA (International C- munications and Information Security Association), in cooperation with MiAn Pte. Ltd. and the Kunming government. It was held in Kunming, China in - tober 2003. The conference proceedings was published as Volume 2846 of the Lecture Notes in Computer Science (LNCS) series of Springer-Verlag. The conference received 191 submissions, from 24 countries and regions; 32 of these papers were accepted, representing 15 countries and regions (acceptance rate of 16.75%). In this volume you will nd the revised versions of the - cepted papers that were presented at the conference. In addition to the main track of presentations of accepted papers, an additional track was held in the conference where presentations of an industrial and technical nature were given. These presentations were also carefully selected from a large set of presentation proposals.This new international conference series is the result of the vision of Dr. Yongfei Han. The conference concentrates on current developments that advance the - eas of applied cryptography and its application to systems and network security. The goal is to represent both academic research works and developments in - dustrial and technical frontiers. We thank Dr. Han for initiating this conference and for serving as its General Chair. 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompo ne- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci cation and veri cation techniques supporting the concepts of reusability and modi ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5¿8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Buch. Condizione: Neu. Neuware -Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these needs, early design phases nowadays include verification of given specifications against system descriptions to find potential design errors as early as possible.This book is devoted to the foundation of the most popular formal methods for the specification and verification of reactive systems. In particular, the µ-calculus, omega-automata, and temporal logics are covered in full detail; their relationship and state-of-the-art verification procedures based on these formal approaches are presented. Furthermore, the advantages and disadvantages of the formalisms from particular points of view are analyzed. Most results are given with detailed proofs, so that the presentation is almost self-contained.This book is targeted to advanced students, lecturers and researchers in the area of formal methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch.

Buch. Condizione: Neu. Neuware -Applied Mathematics: Body & Soul is a mathematics education reform project developed at Chalmers University of Technology and includes a series of volumes and software. The program is motivated by the computer revolution opening new possibilities of computational mathematical modeling in mathematics, science and engineering. It consists of a synthesis of Mathematical Analysis (Soul), Numerical Computation (Body) and Application. Volumes I-III present a modern version of Calculus and Linear Algebra, including constructive/numerical techniques and applications intended for undergraduate programs in engineering and science. Further volumes present topics such as Dynamical Systems, Fluid Dynamics, Solid Mechanics and Electro-Magnetics on an advanced undergraduate/graduate level.The authors are leading researchers in Computational Mathematics who have written various successful books.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Discovery Science, DS 2003, held in Sapporo, Japan in October 2003.The 18 revised full papers and 29 revised short papers presented together with 3 invited papers and abstracts of 2 invited talks were carefully reviewed and selected from 80 submissions. The papers address all current issues in discovery science including substructure discovery, Web navigation patterns discovery, graph-based induction, time series data analysis, rough sets, genetic algorithms, clustering, genome analysis, chaining patterns, association rule mining, classification, content based filtering, bioinformatics, case-based reasoning, text mining, Web data analysis, and more. 524 pp. Englisch.

Buch. Condizione: Neu. Neuware -Applied Mathematics: Body & Soul is a mathematics education reform project developed at Chalmers University of Technology and includes a series of volumes and software. The program is motivated by the computer revolution opening new possibilities of computational mathematical modeling in mathematics, science and engineering. It consists of a synthesis of Mathematical Analysis (Soul), Numerical Computation (Body) and Application. Volumes I-III present a modern version of Calculus and Linear Algebra, including constructive/numerical techniques and applications intended for undergraduate programs in engineering and science. Further volumes present topics such as Dynamical Systems, Fluid Dynamics, Solid Mechanics and Electro-Magnetics on an advanced undergraduate/graduate level.The authors are leading researchers in Computational Mathematics who have written various successful books.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Buch. Condizione: Neu. Neuware -1 by Karel Van Miert Since the early years of the European Community, competition policy has played a decisive role in the creation of a more prosperous, competitive and integrated European economy. Over the last forty years, the action of European competition authorities has provided numerous examples of the benefits of a sound-working competition environment for consumers and for the European economy as a whole. Competition brings lower prices, fosters technical progress and creativity, and prevents the negative effects of a company abusing its dominant or monopoly position. During my mandate as a Commissioner in charge of competition, I have actively encouraged this strengthening of European competition policy as did my predecessors. As a result, there has been growing public awareness in Europe of the need for free and fair competition as well as the consolidation of the competition policy in the 'acquis communautaire'. European competition policy is now at a tuming turning point in its history. In May 2004, ten countries will join a new European Union composed of twenty-five Member States and 450 million people. This massive accession to the EU is of paramount importance to the European integration and will deeply impact on European competition policy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Condizione: Neu. Neuware -While there is not yet any general theory for granular materials, significant progress has been achieved for dilute systems, also called granular gases. The contributions in this book address both the kinetic approach one using the Boltzmann equation for dissipative gases as well as the less established hydrodynamic description. The last part of the book is devoted to driven granular gases and their analogy with molecular fluids. Care has been taken so as to present the material in a pedagogical and self-contained way and this volume will thus be particularly useful to nonspecialists and newcomers to the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Buch. Condizione: Neu. Neuware -Many physical phenomena are described by nonlinear evolution equation. Those that are integrable provide various mathematical methods, presented by experts in this tutorial book, to find special analytic solutions to both integrable and partially integrable equations. The direct method to build solutions includes the analysis of singularities à la Painlevé, Lie symmetries leaving the equation invariant, extension of the Hirota method, construction of the nonlinear superposition formula. The main inverse method described here relies on the bi-hamiltonian structure of integrable equations. The book also presents some extension to equations with discrete independent and dependent variables.The different chapters face from different points of view the theory of exact solutions and of the complete integrability of nonlinear evolution equations. Several examples and applications to concrete problems allow the reader to experience directly the power of the different machineries involved.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Buch. Condizione: Neu. Neuware -The lattice Boltzmann method (LBM) is a modern numerical technique, very efficient, flexible to simulate different flows within complex/varying geome tries. It is evolved from the lattice gas automata (LGA) in order to overcome the difficulties with the LGA. The core equation in the LBM turns out to be a special discrete form of the continuum Boltzmann equation, leading it to be self-explanatory in statistical physics. The method describes the micro scopic picture of particles movement in an extremely simplified way, and on the macroscopic level it gives a correct average description of a fluid. The av eraged particle velocities behave in time and space just as the flow velocities in a physical fluid, showing a direct link between discrete microscopic and continuum macroscopic phenomena. In contrast to the traditional computational fluid dynamics (CFD) based on a direct solution of flow equations, the lattice Boltzmann method provides an indirect way for solution of the flow equations. The method is characterized by simple calculation, parallel process and easy implementation of boundary conditions. It is these features that make the lattice Boltzmann method a very promising computational method in different areas. In recent years, it receives extensive attentions and becomes a very potential research area in computational fluid dynamics. However, most published books are limited to the lattice Boltzmann methods for the Navier-Stokes equations. On the other hand, shallow water flows exist in many practical situations such as tidal flows, waves, open channel flows and dam-break flows.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.