Springer springer mär 2003 (168 resultados)

Buch. Condición: Neu. Neuware -Algebra fulfills a definite need to provide a self-contained, one volume, graduate level algebra text that is readable by the average graduate student and flexible enough to accomodate a wide variety of instructors and course contents. The guiding philosophical principle throughout the text is that the material should be presented in the maximum usable generality consistent with good pedagogy. Therefore it is essentially self-contained, stresses clarity rather than brevity and contains an unusually large number of illustrative exercises. The book covers major areas of modern algebra, which is a necessity for most mathematics students in sufficient breadth and depth. 504 pp. Englisch.…

Buch. Condición: Neu. Neuware -Algebra fulfills a definite need to provide a self-contained, one volume, graduate level algebra text that is readable by the average graduate student and flexible enough to accomodate a wide variety of instructors and course contents. The guiding philosophical principle throughout the text is that the material should be presented in the maximum usable generality consistent with good pedagogy. Therefore it is essentially self-contained, stresses clarity rather than brevity and contains an unusually large number of illustrative exercises. The book covers major areas of modern algebra, which is a necessity for most mathematics students in sufficient breadth and depth. 504 pp. Englisch.…

Buch. Condición: Neu. Neuware -'Algebra' fulfills a definite need to provide a self-contained, one volume, graduate level algebra text that is readable by the average graduate student and flexible enough to accommodate a wide variety of instructors and course contents. It contains an unusually large number of illustrative exercises.…

Buch. Condición: Neu. Neuware - Algebra fulfills a definite need to provide a self-contained, one volume, graduate level algebra text that is readable by the average graduate student and flexible enough to accomodate a wide variety of instructors and course contents. The guiding philosophical principle throughout the text is that the material should be presented in the maximum usable generality consistent with good pedagogy. Therefore it is essentially self-contained, stresses clarity rather than brevity and contains an unusually large number of illustrative exercises. The book covers major areas of modern algebra, which is a necessity for most mathematics students in sufficient breadth and depth.…

Buch. Condición: Neu. Neuware -'Algebra' fulfills a definite need to provide a self-contained, one volume, graduate level algebra text that is readable by the average graduate student and flexible enough to accommodate a wide variety of instructors and course contents. It contains an unusually large number of illustrative exercises.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.…

Buch. Condición: Neu. Neuware -'Algebra' fulfills a definite need to provide a self-contained, one volume, graduate level algebra text that is readable by the average graduate student and flexible enough to accommodate a wide variety of instructors and course contents. It contains an unusually large number of illustrative exercises. 504 pp. Englisch.…

Kombiprodukt. Condición: Neu. Neuware - Did you know that the Grand Bank earthquake of 1929 triggered a huge submarine mass movement which broke submarine cables over a distance of up to 1000 km from its source and generated a tsunami which devastated a small village in Newfoundland killing 27 people The same happened in Papua New Guinea in 1998 with more than 2000 casualties. Submarine mass movements of various sizes and styles are shaping the sea floor and are of concern for many facets of human activities both onshore and offshore. These include the development of natural resources, energy and communication transport, coastal infrastructures and communities. This book provides a world-wide perspective of submarine mass movements and their consequences. This has been made possible by assembling excellent contributions from active researchers, groups, or institutions, thus providing full coverage of the many scientific and engineering aspects of this type of marine and coastal geo-hazard. It covers fundamental as well as site specific studies from many areas including the Atlantic and Pacific oceans, inner seas like the Mediterranean Sea, and fjords using the most recent technologies from multibeam sonar imaging techniques, 3D seismic analysis, slope stability analysis, to debris flow and tsunami modeling.Audience: This book is of interest to any researcher in the field of marine and coastal geo-hazards. It will be useful for planners, scientists and engineers involved in the development of offshore and near-shore resources and also to those in charge of the management and mitigation of coastal hazards. For graduate students, this book provides an up-to-date vision of the process of submarine mass movements and their consequences from both a scientific and an engineering standpoint, and it includes a unique collection of the existing literature on marine geo-hazards.CD-Rom included This volume contains a CD-Rom which in addition to an electronically searchable version of the contributions, has full colour versions of figures which are printed in black and white in the book.…

Buch. Condición: Neu. Neuware - In 1984, N. Karmarkar published a seminal paper on algorithmic linear programming. During the subsequent decade, it stimulated a huge outpouring of new algorithmic results by researchers world-wide in many areas of mathematical programming and numerical computation. This book gives an overview of the resulting, dramatic reorganization that has occurred in one of these areas: algorithmic differentiable optimization and equation-solving, or, more simply, algorithmic differentiable programming. The book is aimed at readers familiar with advanced calculus, numerical analysis, in particular numerical linear algebra, the theory and algorithms of linear and nonlinear programming, and the fundamentals of computer science, in particular, computer programming and the basic models of computation and complexity theory.'Very fine monograph.filled with great insights.'-Joseph F. Traub, Columbia University. …

Buch. Condición: Neu. Neuware - Contemporary international aid consists of a wide range of various support programs, where the end-result in many cases not only reflects the needs of the recipient country, but also the interests of the donor country. In Science and Politics of Foreign Aid - Swedish Environmental Support to the Baltic States it is shown that this particular support has been directed primarily towards areas of joint concern, such as air pollution and effluents to the Baltic Sea. Environmental problems with primarily local effects have, to a large extent, been neglected in the Swedish support program. The requirement on the Baltic recipient countries to finance a specific fraction of each joint program with local resources has furthermore drained the local national environmental budgets from resources, making it very difficult for these countries to mitigate various local environmental hazards by themselves. In contrast to many previous foreign aid studies where various donor country biases often are suggested but not empirically validated, this book gives an in-depth view of how a particular support program is influenced by specific and self-interested considerations.…

Buch. Condición: Neu. Neuware - This volume forms the edited proceedings of the Sixth International Symposium on Communications Interworking, held in Perth, Western Australia, from 13-16 October, 2002. In total, 39 research papers were submitted for consideration, and after full refereeing by international referees, 27 papers from authors in 11 countries were accepted for publication. Invited keynote addresses were presented by Dr Hugh Bradlow, Chief Technology Offleer for Telstra Corporation, Australia, and Dr Sathya Rao, Director ofTelscom A.G., Switzerland. The symposium brought together 60 active international researchers and telecommunications engineers to discuss the important questions as to whether there is a convergence of all communications, including real-time communications, over the Internet Protocol (IP), and whether existing IP technology is capable of supporting this convergence, or whether it requires further development of that technology. The papers selected to appear in this volume make an important and timely contribution to this debate. Specific symposium paper sessions were held to present and discuss ernerging research on the topics of converged networking, real-time communications over IP, quality of service, routing and metrics, ernerging issues in mobile networks, differentiated services, and wireless networking.…

Buch. Condición: Neu. Neuware - Silicon, the leading material in microelectronics during the last four decades, also promises to be the key material in the future. Despite many claims that silicon technology has reached fundamental limits, the performance of silicon microelectronics continues to improve steadily. The same holds for almost all the applications for which Si was considered to be unsuitable. The main exception to this positive trend is the silicon laser, which has not been demonstrated to date. The main reason for this comes from a fundamental limitation related to the indirect nature of the Si band-gap. In the recent past, many different approaches have been taken to achieve this goal: dislocated silicon, extremely pure silicon, silicon nanocrystals, porous silicon, Er doped Si-Ge, SiGe alloys and multiquantum wells, SiGe quantum dots, SiGe quantum cascade structures, shallow impurity centers in silicon and Er doped silicon. All of these are abundantly illustrated in the present book.…

Buch. Condición: Neu. Neuware - Royal Instructions for Scientific Exploration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 The French Gardener Overseas . . . . . . . . . . . . . . . . . . . ; . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 The Voyage of La Perouse: Part 1, From Brest to Monterey Bay . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 Part 2, From Monterey Bay to Botany Bay . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 Adventures and Misadventures: The Bizarre Story of the Dupetit-Th9uars Brothers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 The Voyage of Entrecasteaux: Part 1, Genesis and Preparation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Part 2, From Brest to Tasmania . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 Part 3, New Caledonia to Ambon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139 Part 4, Esperance Bay . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153 Part 5, Tasmania Revisisted . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161 Part 6, On to New Caledonia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177 Part 7, Its Woeful End . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ~ . . . . . . . . . . . . 189 Internment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199 From Explorer to Closet Botanist . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209 Epilogue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227 General Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233 Plant Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237 Introduction-I INTRODUCTION he title of this book is meant to signal at the outset its confines, both its T inclusions and what is beyond its scope. This volume does not stand alone, neither in splendid nor terrifying isolation, but as the third volume in a trilogy meant to be a commentary on the botanophilia that captured the literate public in 18th-century France, the very time that botany was becoming established as a science independent from medicine and herbal ism. Even though the components of that phenomenon have been examined indi vidually by earlier scholars, a synthesis of them, founded upon a reliable command of the history of botany, has been wanting.…

Buch. Condición: Neu. Neuware.

Buch. Condición: Neu. Neuware - The Second International Workshop on Cooperative Internet Computing (CIC2002) has brought together researchers, academics, and industry practitioners who are involved and interested in the development of advanced and emerging cooperative computing technologies. Cooperative computing is an important computing paradigm to enable different parties to work together towards a pre defined non-trivial goal. It encompasses important technological areas like computer supported cooperative work, workflow, computer assisted design and concurrent programming. As technologies continue to advance and evolve, there is an increasing need to research and develop new classes of middlewares and applications to leverage on the combined benefits of Internet and web to provide users and programmers with highly interactive and robust cooperative computing environment. It is the aim of this forum to promote close interactions and exchange of ideas among researchers, academics and practitioners on the state-of-the art researches in all of these exciting areas. We have partnered with Kluwer Acedamic Press this year to bring to you a book compilation of the papers that were presented at the CIC2002 workshop. The importance of the research area is reflected both in the quality and quantity of the submitted papers, where each paper was reviewed by at least three PC members. As a result, we were able to only accept 14 papers for full presentation at the workshop, while having to reject several excellent papers due to the limitations of the program schedule. …

Buch. Condición: Neu. Neuware - Currency Crises in Emerging Markets, prepared by Warsaw-based Center for Social and Economic Research (CASE), discusses various aspects of currency crises in emerging-market economies: The definitions and theoretical models of currency crises, the causes, management and propagation (contagion effect) of crises, their economic, social and policy consequences, the role of international financial institutions, and crisis prevention. In addition, five case studies of currency crises in Central and Eastern Europe are presented.…

Buch. Condición: Neu. Neuware - Welcome to 1M 2003, the eighth in a series of the premier international technical conference in this field. As IT management has become mission critical to the economies of the developed world, our technical program has grown in relevance, strength and quality. Over the next few years, leading IT organizations will gradually move from identifying infrastructure problems to providing business services via automated, intelligent management systems. To be successful, these future management systems must provide global scalability, for instance, to support Grid computing and large numbers of pervasive devices. In Grid environments, organizations can pool desktops and servers, dynamically creating a virtual environment with huge processing power, and new management challenges. As the number, type, and criticality of devices connected to the Internet grows, new innovative solutions are required to address this unprecedented scale and management complexity. The growing penetration of technologies, such as WLANs, introduces new management challenges, particularly for performance and security. Management systems must also support the management of business processes and their supporting technology infrastructure as integrated entities. They will need to significantly reduce the amount of adventitious, bootless data thrown at consoles, delivering instead a cogent view of the system state, while leaving the handling of lower level events to self-managed, multifarious systems and devices. There is a new emphasis on 'autonomic' computing, building systems that can perform routine tasks without administrator intervention and take prescient actions to rapidly recover from potential software or hardware failures.…

Buch. Condición: Neu. Neuware - This volume contains selected manuscripts of the papers presented at the 4th International Conference on Integrated Design and Manufacturing in Mechanical Engineering - IDMME 2002 held in Clermont-Ferrand, France, at the Institut Franyais de Mecanique A vancee (French Institute for Advanced Mechanics), May 14-16,2002. Following the first three IDMME conferences (held in Nantes in 1966, in Compiegne in 1998 and in Montreal in 2000), the purpose of IDMME 2002 conference was to present recent developments in the integration and the optimization of product design and manufacturing systems. The initiative and the organization of the conference exists thanks to the French national network AIP-PRIMECA (AlP - Ateliers Inter Etablissements de Productique I Inter-Institute Productics Workshops and PRIMECA - Pole de Ressources Informatiques pour la MECAnique I Computer Resource Pole for Mechanics). The conference benefited from the scientific sponsoring of AFM - Association Franyaise de Mecanique (French Association of Mechanical Engineering), ASME - American Society of Mechanical Engineering, CIRP - College International pour l'Etude Scientifique des Techniques de Production Mecanique (International Institution for Production Engineering Research), CSMA - Computational Structural Mechanics Association, IFToMM - International Federation for the Theory of Machines and Mechanisms, SCGM/CSME - Societe Canadienne de Genie Mecanique I Canadian Society of Mechanical Engineering.…

Buch. Condición: Neu. Neuware - This volume, the sixth in the IBAGS series, summarizes major contributions in clinical and basic research on the basal ganglia. The sixth meeting of the Society was held on Cape Cod, in the state of Massachusetts, USA, in October, 1998. Altogether 16 countries were represented by 227 participants. This volume contains papers contributed by participants. The focus of the sixth triennial IBAGS meeting, and of this volume, was to bring to gether leaders in basic and clinical science to address two sets of still-persisting questions in the field. The first set focuses on the functions of the basal ganglia in health and disease: What are the core functions of the basal ganglia and cortico-basal ganglia loops How are these core functions disrupted in disorders affecting the basal ganglia How do we account for the broad range of behaviors affected by basal ganglia disorders and for the increasing evidence that the basal ganglia influence cognitive as well as motor functions These issues are addressed in the first five sections of the current volume, which summarize advances in the study of basal ganglia disorders based on studies in humans (Section 1), new results obtained with experimental animal models of basal ganglia disorders (Section 2), results of experiments on information coding in the basal ganglia (Section 3) and new information about functions of the basal ganglia related to learning and adaptive motor control (Section 4).…

Buch. Condición: Neu. Neuware - In large parts of the developed and developing worlds soil tillage by plough or hoe is the main cause of land degradation leading to stagnating or even declining production levels and increasing production cost. It causes the soil to become more dense and compacted, the organic matter content to be reduced and water runoff and soil erosion to increase. It also leads to droughts becoming more severe and the soil becoming less fertile and less responsive to fertiliser. This book brings together the key notes lectures and other outstanding contributions of the I World Congress on Conservation Agriculture and provides an updated view of the environment and economic advantages of CA and of its implementation in diferent areas of the World. …

Buch. Condición: Neu. Neuware - In 2002, the International Conference on Computer Aided Design (ICCAD) celebrates its 20th anniversary. This book commemorates contributions made by ICCAD to the broad field of design automation during that time. The foundation of ICCAD in 1982 coincided with the growth of Large Scale Integration. The sharply increased functionality of board-level circuits led to a major demand for more powerful Electronic Design Automation (EDA) tools. At the same time, LSI grew quickly and advanced circuit integration became widely avail able. This, in turn, required new tools, using sophisticated modeling, analysis and optimization algorithms in order to manage the evermore complex design processes. Not surprisingly, during the same period, a number of start-up com panies began to commercialize EDA solutions, complementing various existing in-house efforts. The overall increased interest in Design Automation (DA) re quired a new forum for the emerging community of EDA professionals; one which would be focused on the publication of high-quality research results and provide a structure for the exchange of ideas on a broad scale. Many of the original ICCAD volunteers were also members of CANDE (Computer-Aided Network Design), a workshop of the IEEE Circuits and Sys tem Society. In fact, it was at a CANDE workshop that Bill McCalla suggested the creation of a conference for the EDA professional. (Bill later developed the name).…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains papers presented at the NATO Advanced Research Workshop (ARW) Dynamic Interactions in Quantum Dot Systems held at Hotel Atrium in Puszczykowo, near Poznan, Poland, May 16-19,2002. The term low-dimensional systems, which is used in the title of this volume, refers to those systems which contain at least one dimension that is intermediate between those characteristic ofatoms/molecules and those ofthe bulk material. Depending on how many dimensions lay within this range, we generally speak of quantum wells, quantum wires, and quantum dots. As such an intermediate state, some properties of low-dimensional systems are very different to those of their molecular and bulk counterparts. These properties generally include optical, electronic, and magnetic properties, and all these are partially covered in this book. The main goal of the workshop was to discuss the actual state of the art in the broad area ofnanotechnology. The initial focus was on the innovative synthesis of nanomaterials and their properties such as: quantum size effects, superparamagnetism, or field emission. These topics lead us into the various field based interactions including plasmon- magnetic spin- and exciton coupling. The newer, more sophisticated methods for characterization of nanomaterials were discussed, as well as the methods for possible industrial applications. In general, chemists and physicists, as well as experts on both theory and experiments on nanosized regime structures were brought together, to discuss the general phenomena underlying their fields ofinterest from different points ofview. 348 pp. Englisch. …

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 212 pp. Englisch.…

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

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 272 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 284 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains papers presented at the NATO Advanced Research Workshop (ARW) Dynamic Interactions in Quantum Dot Systems held at Hotel Atrium in Puszczykowo, near Poznan, Poland, May 16-19,2002. The term low-dimensional systems, which is used in the title of this volume, refers to those systems which contain at least one dimension that is intermediate between those characteristic ofatoms/molecules and those ofthe bulk material. Depending on how many dimensions lay within this range, we generally speak of quantum wells, quantum wires, and quantum dots. As such an intermediate state, some properties of low-dimensional systems are very different to those of their molecular and bulk counterparts. These properties generally include optical, electronic, and magnetic properties, and all these are partially covered in this book. The main goal of the workshop was to discuss the actual state of the art in the broad area ofnanotechnology. The initial focus was on the innovative synthesis of nanomaterials and their properties such as: quantum size effects, superparamagnetism, or field emission. These topics lead us into the various field based interactions including plasmon- magnetic spin- and exciton coupling. The newer, more sophisticated methods for characterization of nanomaterials were discussed, as well as the methods for possible industrial applications. In general, chemists and physicists, as well as experts on both theory and experiments on nanosized regime structures were brought together, to discuss the general phenomena underlying their fields ofinterest from different points ofview.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 212 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume surveys a broad range of topics in applied mathematicsranging from kinetic theory of gases and theoretical fluid mechanicsto the biophysics of vision. Each article is written by a leadinginternational researcher in the area. The volume should be useful forgraduate students and researchers in applied mathematics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 460 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Keynote.- Symbiosis of Static Analysis and Program Testing.- Software Components.- An Ontology for Software Component Matching.- A Description Language for Composable Components.- A Logical Basis for the Specification of Reconfigurable Component-Based Systems.- An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems.- Mobile Computing.- Composing Specifications of Event Based Applications.- A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.- Spatial Security Policies for Mobile Agents in a Sentient Computing Environment.- Aspect and Object-Oriented Programming.- Towards UML-Based Formal Specifications of Component-Based Real-Time Software.- Modelling Recursive Calls with UML State Diagrams.- Pipa: A Behavioral Interface Specification Language for Aspect.- PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features.- Distributed and Web Applications.- Model-Based Development of Web Applications Using Graphical Reaction Rules.- Modular Analysis of Dataflow Process Networks.- Software Measurements.- Foundations of a Weak Measurement-Theoretic Approach to Software Measurement.- An Information-Based View of Representational Coupling in Object-Oriented Systems.- Formal Verification.- A Temporal Approach to Specification and Verification of Pointer Data-Structures.- A Program Logic for Handling Java Card's Transaction Mechanism.- Monad-Independent Hoare Logic in HASCASL.- Visual Specifications of Policies and Their Verification.- Analysis and Testing.- Automatic Model Driven Animation of SCR Specifications.- Probe Mechanism for Object-Oriented Software Testing.- Model Checking Software via Abstraction of Loop Transitions.- Model Integrationsand Extensions.- Integration of Formal Datatypes within State Diagrams.- Xere: Towards a Natural Interoperability between XML and ER Diagrams.- Detecting Implied Scenarios Analyzing Non-local Branching Choices.- Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 424 pp. Englisch.…