springer netherlands jan 1993 (29 results)

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Integral representations of holomorphic functions play an important part in the classical theory of functions of one complex variable and in multidimensional com plex analysis (in the later case, alongside with integration over the whole boundary aD of a domain D we frequently encounter integration over the Shilov boundary 5 = S(D)). They solve the classical problem of recovering at the points of a do main D a holomorphic function that is sufficiently well-behaved when approaching the boundary aD, from its values on aD or on S. Alongside with this classical problem, it is possible and natural to consider the following one: to recover the holomorphic function in D from its values on some set MeaD not containing S. Of course, M is to be a set of uniqueness for the class of holomorphic functions under consideration (for example, for the functions continuous in D or belonging to the Hardy class HP(D), p ~ 1). 320 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A comprehensive manual dealing with the molecular aspects of plant molecular biology, which is designed both as a teaching aid for advanced laboratory courses and as a guide for laboratory research. Subjects covered include the introduction of genes into plants, assays of gene activity, plant nucleic acid extraction and characterization procedures, and the use of selectable and screenable markers in transgenic plants. Special emphasis is placed on the use of Agrobacterium tumefaciens to introduce genes into plants, but other gene introduction techniques are also presented. Each chapter, written by experts in the field, includes a discussion of the background to each technique, detailed protocols, media and solution formulas, and an extensive bibliography. 128 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thomas White, in the quatercentenary of his birth, is due for historical rehabilitation. English Catholic priest, philosopher, theologian, and scientist, he was a renowned and notorious figure in his own day; and, though long forgot ten, his work exemplifies aspects of major current concern to historians of ideas: in particular, the significance of the newly-revived sceptical philosophy; the complexity ofthe transition from scholasticism to the new philosophy; and the whole role of'minor', non-canonical figures in the historyofthought. White's writings embrace theology, politics, and natural philosophy, or science'; and in all these three areas, his work, after centuries of comparative neglect, has slowly been resurfacing. His theological significance received intermittent recognition through the eighteenth, nineteenth, and early-twentieth centuries; but more recently his great importance as leader of a whole 'Blackloist' faction of English Catholics has become increasingly clear. Condemned by co-religionists in his own time as a dangerous heretic, he has been assessed by modem scholars as an anticipator of twentieth-century trends in Catholic theology, and even as 'probably, after John Henry Newman, the most original thinker as yet producedby modem English Catholicism.'2 Blackloism implied not only a theological, but also a political position; and that position was clarified and publicised by White in his single political treatise, The Grounds of Obedience and Government, published in the mid 1650s. His provocative stance was widely misunderstood and misinterpreted, and was soon anyway rendered untenable by the restoration of the monarchy. 212 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In multivariate statistical analysis, elliptical distributions have recently provided an alternative to the normal model. Most of the work, however, is spread out in journals throughout the world and is not easily accessible to the investigators. Fang, Kotz, and Ng presented a systematic study of multivariate elliptical distributions, however, they did not discuss the matrix variate case. Recently Fang and Zhang have summarized the results of generalized multivariate analysis which include vector as well as the matrix variate distributions. On the other hand, Fang and Anderson collected research papers on matrix variate elliptical distributions, many of them published for the first time in English. They published very rich material on the topic, but the results are given in paper form which does not provide a unified treatment of the theory. Therefore, it seemed appropriate to collect the most important results on the theory of matrix variate elliptically contoured distributions available in the literature and organize them in a unified manner that can serve as an introduction to the subject. The book will be useful for researchers, teachers, and graduate students in statistics and related fields whose interests involve multivariate statistical analysis. Parts of this book were presented by Arjun K Gupta as a one semester course at Bowling Green State University. Some new results have also been included which generalize the results in Fang and Zhang. Knowledge of matrix algebra and statistics at the level of Anderson is assumed. However, Chapter 1 summarizes some results of matrix algebra. 344 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The explosive development of information science and technology puts in new problems involving statistical data analysis. These problems result from higher re quirements concerning the reliability of statistical decisions, the accuracy of math ematical models and the quality of control in complex systems. A new aspect of statistical analysis has emerged, closely connected with one of the basic questions of cynergetics: how to 'compress' large volumes of experimental data in order to extract the most valuable information from data observed. De tection of large 'homogeneous' segments of data enables one to identify 'hidden' regularities in an object's behavior, to create mathematical models for each seg ment of homogeneity, to choose an appropriate control, etc. Statistical methods dealing with the detection of changes in the characteristics of random processes can be of great use in all these problems. These methods have accompanied the rapid growth in data beginning from the middle of our century. According to a tradition of more than thirty years, we call this sphere of statistical analysis the 'theory of change-point detection. ' During the last fifteen years, we have witnessed many exciting developments in the theory of change-point detection. New promising directions of research have emerged, and traditional trends have flourished anew. Despite this, most of the results are widely scattered in the literature and few monographs exist. A real need has arisen for up-to-date books which present an account of important current research trends, one of which is the theory of non parametric change--point detection. 222 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From mulching to greenhouses, the air space between the cover and the soil surface is the key to the classification of climates under cover. The same mechanism governs environments produced by the various covers. This book describes and analyses all the different environments from mulching to greenhouses. The relationship between plants and environment is another important topic in the book. Stress is placed on the link between quantitative phenomena and qualitative analyses. Most phenomena involved are nonlinear and non-steady-state. An approach called System Dynamics is used, and simulation models developed in the simulation language CSMP are fully used. The subjects covered are of relevance to graduate students, to scientists and researchers in agriculture and biological sciences and, of course, to agricultural organizations in both the developing and developed countries. 172 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The u.s. government bulks large in the nation's financial markets. The huge volume of government-issued and -sponsored debt affects the pricing and volume ofprivate debt and, consequently, resource allocation between competing alternatives. What is often not fully appreciated is the substantial influence the federal government wields overresource allocation through its provisionofcreditandrisk-bearing services to the private economy. Because peopleand firms generally seekto avoid risk, atsomeprice they are willing to pay another party to assume the risk they would otherwise face. Insurance companies are a class of private-sector firms one commonly thinks of as providing these services. As the federal government has expanded its presence in the U.S. economy during this century, it has increasingly developed programs aimed at bearing risks that the private sector either would not take on at any price, or would take on but atapricethoughtto besogreatthatmostpotentialbeneficiarieswouldnotpurchase the coverage. Today, roughly three-fifths of all nonfederal credit outstanding is 1 assisted by some form of federal program. The federal government provides insurance of many private pension plans through the Pension Benefit Guaranty Corporation, subsidizesand implicitly guarantees the liabilitiesofseveral agencies dominating secondary loan markets (for example, the Federal National Mortgage Association, Federal Home Loan Mortgage Corporation, and Student Loan Mar ketingAssociation),andeithermakesdirectloansorguaranteesprivatelygenerate d loans through a varietyofcreditprograms to farmers, exporters, home purchasers, and others. 204 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For many years physics and mathematics have had a fruitful influence on one another. Classical mechanics and celestial mechanics have produced very deep problems whose solutions have enhanced mathematics. On the other hand, mathematics itself has found interesting theories which then (sometimes after many years) have been reflected in physics, confirming the thesis that nothing is more practical than a good theory. The same is true for the younger physical discipline -of quantum mechanics. In the 1930s two events, not at all random, became: The mathematical back grounds of both quantum mechanics and probability theory. In 1936, G. Birkhoff and J. von Neumann published their historical paper 'The logic of quantum mechanics', in which a quantum logic was suggested. The mathematical foundations of quantum mechanics remains an outstanding problem of mathematics, physics, logic and philosophy even today. The theory of quantum logics is a major stream in this axiomatical knowledge river, where L(H), the system of all closed subspaces of a Hilbert space H, due to J. von Neumann, plays an important role. When A.M. Gleason published his solution to G. Mackey's problem showing that any state (= probability measure) corresponds to a density operator, he probably did not anticipate that his solution would become a cornerstone of ax iomati cal theory of quantum mechanics nor that it would provide many interesting applications to mathematics. 346 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the last few decades the ideas, methods, and results of the theory of Boolean algebras have played an increasing role in various branches of mathematics and cybernetics. This monograph is devoted to the fundamentals of the theory of Boolean constructions in universal algebra. Also considered are the problems of presenting different varieties of universal algebra with these constructions, and applications for investigating the spectra and skeletons of varieties of universal algebras. For researchers whose work involves universal algebra and logic. 362 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'Et moi, . , si favait su comment eo reveoir. je One service mathematics has rendered the n'y serais point all6.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded nonsense'. Tbe series is divergent; therefore we may be EricT. Bell ajle to do something with it O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and nonlineari tL es abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sci ences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One ser vice topology has rendered mathematical physics . .'; 'One service logic has rendered computer science . .'; 'One service category theory has rendered mathematics . .'. All arguably true. And all statements obtainable this way form part of the raison d' etre of this series. 600 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From mulching to greenhouses, the air space between the cover and the soil surface is the key to the classification of climates under cover. The same mechanism governs environments produced by the various covers. This book describes and analyses all the different environments from mulching to greenhouses. The relationship between plants and environment is another important topic in the book. Stress is placed on the link between quantitative phenomena and qualitative analyses. Most phenomena involved are nonlinear and non-steady-state. An approach called System Dynamics is used, and simulation models developed in the simulation language CSMP are fully used. The subjects covered are of relevance to graduate students, to scientists and researchers in agriculture and biological sciences and, of course, to agricultural organizations in both the developing and developed countries. 172 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book identifies the likely causes of high inflation and assesses the available policy options for preventing or curing it. The approach consists of making hypotheses about the economic motivation of individuals, developing a model assessing the results. 252 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This series presents some tools of applied mathematics in the areas of proba bility theory, operator calculus, representation theory, and special functions used currently, and we expect more and more in the future, for solving problems in math ematics, physics, and, now, computer science. Much of the material is scattered throughout available literature, however, we have nowhere found in accessible form all of this material collected. The presentation of the material is original with the authors. The presentation of probability theory in connection with group represen tations is new, this appears in Volume I. Then the applications to computer science in Volume II are original as well. The approach found in Volume III, which deals in large part with infinite-dimensional representations of Lie algebras/Lie groups, is new as well, being inspired by the desire to find a recursive method for calcu lating group representations. One idea behind this is the possibility of symbolic computation of the matrix elements. In this volume, Representations and Probability Theory, we present an intro duction to Lie algebras and Lie groups emphasizing the connections with operator calculus, which we interpret through representations, principally, the action of the Lie algebras on spaces of polynomials. The main features are the connection with probability theory via moment systems and the connection with the classical ele mentary distributions via representation theory. The various systems of polynomi als that arise are one of the most interesting aspects of this study. 244 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1. Remarks on the Current Status of the Problematic. The literature treating the relationship between the phenomenologies of Husserl and Heidegger has not been kind to Husserl. Heidegger's 'devastating' phenomenologically ontological critique of traditional epistemology and ontology, advanced under the rubric of 'fundamental ontology' in Being and Time, has almost been universallyl received, despite the paucity of its references to Husserl, as sounding the death knell for Husserl's original formulation of phenomenology. The recent publication of Heidegger's lectures from the period surrounding his composition of Being and Time, lectures that contain detailed references and critical analyses of Husserl's phenomenology, and which, in the words of one respected commentator, Rudolf Bernet, 'offer at long last, insight into the principal sources of fundamental ontology,'2 will, if 3 the conclusions reached by the same commentator are any indication, serve only to reinforce the perception of Heidegger's phenomenological /I superiority' over Husserl. This is not to suggest that the tendency toward Heidegger partisan ship in the literature treating the relationship of his phenomenology to Husserl's has its basis in extra-philosophical or extra-phenome nological concerns and considerations. Rather, it is to draw attention to the undeniable 'fact' that Heidegger's reformulation of Husserl's phenomenology has cast a 'spell' over all subsequent discussions of the basic problems and issues involved in what has become known as their 'controversy. 324 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is a selection of essays from the Japanese-American Joint Seminar on Phenomenology held in the suburbs of Sanda-city (Japan) October 24-27, 1989, under the auspices of the Center for Advanced Research in Phenomenology, Inc. Florida Atiantic University and the Phenomenological Association of Japan. Professor Eiichi Shimomisse played a particularly impartant role in the organizational processes. The theme of the conference was 'Japanese and Western Phenomenology. ' This seminar marks the first attempt to organize, on a comparatively large scale, a cooperative research meeting in phenomenology (perhaps for the first time even in philosophy in general) between Japan and the English speaking West. Eighteen phenomenologists from the United States, Canada, and Australia and about thirty Japanese colleagues attended the meeting. Revised vers ions of aimost all the papers that were read and discussed in the sessions are inc1uded. It was not a trifling affair to setHe upon what language we phenome nologists from across the world could use to communicate with each other at this conference. As many of the Japanese scholars had studied in Germany and speak better German than English, the official language of the seminar was defined to inc1ude both German and English. So me of the papers, accordingly, were written and read in German. But now they are all rewritten here in English. Not only these papers, but aH the manuscripts written by Japanese authors were edited both grammaticaHy and stylisticaHy by Professor Blosser. 476 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book builds on and extends the previous book: Perfumery: the psychology and biology of fragrance. Thus, a large part of the book reviews the latest evidence on olfaction research which is relevant to the study of perfumery psychology. 368 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nonlinear Optics in Signal Processing covers the applications of nonlinear optics to optical processing in a range of areas including switching, computing, and telecommunications. 440 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This ENCYCLOPAEDIA OF MATHEMATICS aims to be a reference work for all parts of mathe matics. It is a translation with updates and editorial comments of the Soviet Mathematical Encyclopaedia published by 'Soviet Encyclopaedia Publishing House' in five volumes in 1977-1985. The annotated translation consists of ten volumes including a special index volume. There are three kinds of articles in this ENCYCLOPAEDIA. First of all there are survey-type articles dealing with the various main directions in mathematics (where a rather fme subdivi sion has been used). The main requirement for these articles has been that they should give a reasonably complete up-to-date account of the current state of affairs in these areas and that they should be maximally accessible. On the whole, these articles should be understandable to mathematics students in their first specialization years, to graduates from other mathematical areas and, depending on the specific subject, to specialists in other domains of science, en gineers and teachers of mathematics. These articles treat their material at a fairly general level and aim to give an idea of the kind of problems, techniques and concepts involved in the area in question. They also contain background and motivation rather than precise statements of precise theorems with detailed definitions and technical details on how to carry out proofs and constructions. The second kind of article, of medium length, contains more detailed concrete problems, results and techniques. 552 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Methods in Comparative Plant Ecology: A laboratory manual is a sister book to the widely acclaimed Comparative Plant Ecology by Grime, Hodgson and Hunt. It contains details on some 90 critical concise diagnostic techniques by over 40 expert contributors. In one volume it provides an authoritative bench-top guide to diagnostic techniques in experimental plant ecology. 276 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thermal harm is one of the most traumatizing assaults on man and his environment. Whether suffered by living beings as burn injury, or sustained by societal structures as fire damage, the resulting physical pain and material loss can be extremely distressing both to the person and to society. The health professions and in particular burn specialists have been continually developing effective means of combating burn disease and promoting rehabili tation of the victims, especially in mass casualty situations. In parallel, various levels of the community have been mobilizing fire prevention and fire-fighting mechanisms that protect society and the environment from the ever-increasing hazards of fire disasters. It is therefore surprising that, while aiming at the same objective, the two sectors have rarely come together; doctor has rarely worked with fire chief. Yet both disciplines have so much to learn from and contribute to each other's efforts. The Mediterranean Burns Club is a professional organization that brings together persons concerned with burn therapy and fire safety in all forms, especially in the countries of the Mediterranean basin. It is honoured to have been identified by the United Nations as a premier scientific body in its field within the programme of the International Decade for Natural Disaster Reduction. It is therefore natural that it should have initiated an international gathering of specialists engaged in burns as a surgical, clinical problem, and of counterparts dealing with fires as a societal, disaster management problem. 356 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume illustrates some of the significant aspects of magmatic activity from Devonian (408 million years ago) to early Permian (270 million years ago) times in SW England. This period covers the progressive development of the Variscan mountain-building episode, from initial basin formation to final deformation and the subsequent development of a fold mountain belt - the Variscan Orogen. Both extrusive (volcanic) and intrusive (plutonic) rocks are found in the orogen, and chart the various stages of its magmatic development. The sites described in this volume are key localities selected for conservation because they are representative of the magmatic history of the orogen from initiation to stabilization. Some of the earliest volcanic activity in the Devonian is represented by submarine basaltic and rhyolitic lavas developed in subsiding basins, caused by the attenuation of the existing continental crust. In some cases, extensive rifting and attendant magmatism produced narrow zones of true oceanic crust, whereas elsewhere basaltic volcanism is related to fractures in the continental crust at the margins of the basins. After the filling of the sedimentary basins, and their deformation caused by crustal shortening (late Carboniferous Period), further activity is manifested by the emplacement of the Cornubian granites and later minor basaltic volcanism in the early Permian. Accounts of the constituent parts of this history have enriched geological literature from the nineteenth century onwards, and have contributed to the advancement and understanding of magmatic and tectonic processes. 272 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nematode interactions are important biological phenomena and of great significance in agriculture. It is a fascinating subject which is multidisciplinary by nature, and concerns any scientist involved with plant health. There have been marked advances in our knowledge of various aspects of the subject in the last two decades. This study area has been the subject of several reviews, but there was no exclusive text on the subject. This has stressed the need to document the information, developing a unifying theme which treated nematode interactions in a holistic manner. This book is about the inter action of plant-parasitic nematodes with other plant pathogens or root symbionts, the nature of their associations, their impact on the host and con sequential interactive effects on the involved organisms. Since nematodes are at the centre of the theme, the responsibility of understanding of other plant pathogens dealt with in this book is largely delegated to the reader. I have limited the book content to interactions with biotic pathogens and root symbionts only, for various reasons. The book embodies 16 chapters, and attempts to present balanced infor mation on various aspects of nematode interactions with other plant pathogens and root symbionts. Some chapters describe general aspects of the subject. Interactions of nematodes with specific groups of organisms are addressed in the remaining chapters. 394 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -To know the work of Jitendra Nath Mohanty even slightly is to commence to appreciate it immensely. Lucidity and sagacity have been its armor; originality and ingenuity have been its strength. And wearing the former and wielding the latter have become so persistent a mark of his work as to suggest that their appeal for Mohanty lies altogether more in the refmed reaches of philosophical craftsmanship than on the coarse ground of intellectual partisanship. The multifaceted character of his work in phenomenology and Indian philosophy has never left us palled by its significance and, as a consequence, has always left us conceding its command on our philosophical discourse. It has fulfilled the most welcomed promise of striking the chords of both imagination and reason by exposing Husserlian phenomenology to the concerns of both the so-called 'analytical' and 'continental' traditions and by exposing the philosophical tradition of Indian thought to the intricacies of Husserl. Although charting and periodizing the body ofMohanty' s work in phenomeno logy may be the function of a memory inconspicuous for originality and liveli ness, they nonetheless offer a precis conspicuous for the variety of topics that Mohanty has both engaged and enriched. Mohanty's career in phenomenology can be characterized by three phases, each concentrating on different themes, but with the latter two also epitomizing a more incisive and deeper discussion of the issues raised in the first. 344 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a cohesive guide to the available methods that can be used in population viability analysis. It is therefore extremely valuable to both the practitioner of conservation biology and the theoretical population biologist. 328 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The eleventh Symposium of the International Research Group on Colour Vision Deficiencies (IRGCVD) was held 20-23 June 1991 in Sydney, Aus tralia, ably hosted by local organizer Stephen Dain. A total of 35 talks and 10 posters were presented. Papers based on 37 of these presentations are included here, in Colour Vision Deficiencies XI. The scientific program featured sessions on three special topics, with each topic highlighted by an invited speaker. The opening session on the Genetics of congenital colour vision deficiencies began with a superb invited lecture by Charles Weitz about his pioneering work on the molecular genetics of tritanopia. The session on the second special topic, Spatial aspects of colour vision, began with the launching of a new IRGCVD tradition, as 1991 Verriest Memorial Award recipient Harry Sperling presented the first Ver riest Memorial Lecture on his recent studies of spatial discrimination of heterochromatic stimuli. Dr. Sperling reported new evidence that certain asymmetries in red-green opponent colour vision can be explained by the spatial organization of colour-opponent retinal neurons. In the third special session, on Occupational aspects of colour vision, Barry Cole took the audi ence on a fascinating tour of the historical development of colour vision standards in his invited lecture entitled 'Does defective colour vision really matter '. In addition to the three special topics, many interesting presentations were given in topical sessions on Variations in normal colour vision, Acquired colour vision deficiencies and Colour vision tests and testing methods. 460 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Symposium on high salinity tolerant plants, held at the University of Al Ain in December 1990, dealt primarily with plants tolerating salinity levels exceeding that of ocean water and which at the same time are promising for utilization in agriculture or forestry. These plants could be very useful for a country like the UAE where fresh water resources are very scarce and the groundwater available at some places is already very salty. More than 60 million woody trees/shrubs have been planted so far and more are planned for the inland plains underlain with brackish groundwater. These species were no solution for the widely barren shoreline of the UAE. Here mangrove species were of potential use, and one species, Avicennia Marina, occurs widely and has been successfully planted for about a decade. Converting the tree plantations into economically useful cropping systems is still a problem requiring much research and development. The book deals in several sections with conventional irrigation systems using marginal water. The species used in these systems are mostly hybrids of conventional crops. The irrigation systems, however, have similar problems as may be expected for irrigation with seawater. Papers show the participants' experiments in this area. The volume serves as a link between scientists working for the improvement of classical irrigation systems and those interested in the application of a new dimension of salinity levels for irrigation water. 472 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fundamental to computer science and that there are important differences that distinguish it from mathematics, which therefore cannot provide a suitable paradigm. Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, `Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry. The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study. This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline. 476 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Acoustic Signal Processing for Ocean Explortion has two major goals: (i) to present signal processing algorithms that take into account the models of acoustic propagation in the ocean and; (ii) to give a perspective of the broad set of techniques, problems, and applications arising in ocean exploration. The book discusses related issues and problems focused in model based acoustic signal processing methods. Besides addressing the problem of the propagation of acoustics in the ocean, it presents relevant acoustic signal processing methods like matched field processing, array processing, and localization and detection techniques. These more traditional contexts are herein enlarged to include imaging and mapping, and new signal representation models like time/frequency and wavelet transforms. Several applied aspects of these topics, such as the application of acoustics to fisheries, sea floor swath mapping by swath bathymetry and side scan sonar, autonomous underwater vehicles and communications in underwater are also considered. 696 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of an international symposium co-sponsored by the History of Chemistry, Polymer, Material Science and Engineering, Polymer Chemistry and Cellulose, Paper and Textile Division of the American Chemical Society on the history of manmade fibres at its 201st national annual meeting in Atlanta in 1991. It contains chapters on a wide range of fibres both from an historical perspective and with a view to outlining new materials and novel uses. 482 pp. Englisch.