Springer mai 1996 (205 risultati)
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 156,28
EUR 62,20 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Neuware - Digital signal processing has become an integral part of observational seismology. Seismic waveforms and the parameters commonly extracted from them are strongly influenced by the effects of numerous filters, both within the earth and within the recording system. With the advent of numerou…s software tools for the processing of digital seismograms, seismologists have unprecedented power in extracting information from seismic records. These tools are often based on sophisticated theoretical aspects of digital signal processing which, to be used properly, need to be understood. This book is aimed at observational seismologists and students in geophysics trying to obtain a basic understanding of those aspects of digital signal processing that are relevant to the interpretation of seismograms. It covers the basic theory of linear systems, the design and analysis of simple digital filters, the effect of sampling and A/D conversion, the calculation of `true ground motion', and the effects of seismic recording systems on parameters extracted from digital seismograms. It contains numerous examples and exercises together with their solutions.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 162,93
EUR 62,62 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. This common structure can be exploited in the search for particular proofs. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structu…re of a proof at the level of primitive inferences, a tactic [11] provides the guarantee part of the proof. In contrast, a method provides a more declarative explanation of the proof by means of preconditions. Each method has associated effects. The execution of the effects simulates the application of the corresponding tactic. Theorem proving in the proof planning framework is a two-phase process: 1. Tactic construction is by a process of method composition: Given a goal, an applicable method is selected. The applicability of a method is determined by evaluating the method's preconditions. The method effects are then used to calculate subgoals. This process is applied recursively until no more subgoals remain. Because of the one-to-one correspondence between methods and tactics, the output from this process is a composite tactic tailored to the given goal. 2. Tactic execution generates a proof in the object-level logic. Note that no search is involved in the execution of the tactic. All the search is taken care of during the planning process. The real benefits of having separate planning and execution phases become appar ent when a proof attempt fails.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 222,67
EUR 63,52 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - The success of first and second generation wireless systems has paved the way for further research opportunities towards the next generation systems. The two standards GSM and IS-95 based on TDMA and CDMA respectively, have deeply influenced our system-level understanding, bringing new perspectiv…es on the problems associated with wireless networks and potential for innovations. This volume presents the proceedings of the second workshop on multiaccess, mobility and teletraffic for personal communications held in May 1996 in Paris, France where some important subjects on the next generation systems have been treated. These include topics dealing with information theoretic aspects, channel modeling, diversity, interference control, resource allocation, power control, packet multi-access, stochastic modeling of mobility and traffic, and wireless network control. The selected topics in this workshop and their presented set of solutions reflect the richness of the problems in wireless communications. Indeed, development of theoretical frameworks with considerable attention to the peculiar environment of wireless communications has been the prime objective of this workshop. To elaborate, consider the problem of multi-access methods which remains a challenge for researchers. A complete evaluation of an access scheme must consider different aspects such as propagation, interference, mobility and traffic modeling. Some common bases, paradigms and models are needed. For example, today, we do not have a common archetype like the A WGN channel as in classical statistical communication. Clearly, there is a need for justified assumptions and models.
Lingua: Inglese
Editore: Springer Us Mai 1996 1996
Serie: IFIP Advances in Information and Communication Technology, Libro 8 di 292. Libro 8 di 292 - IFIP Advances in Information and Communication Technology
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 247,94
EUR 63,47 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - Knowledge-Intensive CAD clarifies and elaborates the concepts of knowledge-intensive design and CAD. In today's advanced manufacturing environment, CAD systems should not only assist designers and engineers during product design, but also in design information for use in later stages of the proce…ss such as production, distribution and operation. This book focuses on the sharing of knowledge across life-cycle stages and organizational boundaries.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 303,66
EUR 64,67 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - This book presents a state-of-the-art review of current perspectives in information systems security in view of the information society of the 21st century. It will be essential reading for information technology security specialists, computer professionals, EDP managers, EDP auditors, managers,…researchers and students working on the subject.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 303,66
EUR 64,36 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Neuware - In the past decade, indirect (Doppler) imaging techniques have opened up a whole new discipline in stellar astronomy, providing increasingly detailed photometric, magnetic, and chemical inhomogeneity images of stellar surfaces. Furthermore, new optical interferometers are already being use…d with sophisticated interferometer techniques to image stellar surface structures more directly, and in the future the ESO VLT Interferometer and other instruments will extend these capabilities enormously. These developments are highlighted in the first two sections of this book. The large number of recent results, ground-based and space-based, and the lack of a generally accepted dynamo theory with predictive power for the stars and the Sun, result in an ever-growing complexity of interpretation of individual results. The IAU Symposium 176 on `Stellar Surface Structure' consequently focused on spatially resolved stellar observations throughout the H-R diagram, from O- and B-stars to late M-stars. Two further sections in this book summarize the current observational data on surface inhomogeneities in stellar photospheres, chromospheres, and coronae. Finally, a special section is devoted to next generation model atmospheres.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 303,66
EUR 62,93 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - This book describes how domain knowledge can be used in the design of interactive systems. It includes discussion of the theories and models of domain, generic domain architectures and construction of system components for specific domains. It draws on research experience from the Information Sys…tems, Software Engineering and Human Computer Interaction communities.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 303,66
EUR 63,70 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Since I first published Management of Foreign Exchange Risk (Lexington Books, 1978), financial innovation-spurred, in part, by exploding volatility in currency prices-has revolutionized the theory and praxis of foreign exchange risk management. Old-fashioned forward contracts have surrendered mar…ket share to currency swaps and options as well as to their perpetually multiplying derivatives. Interestingly, forex derivatives now provide a low cost and highly efficient method of transferring risk from the firms that are exposed to risk but which would rather not be (i. e. , risk-hedgers) to those which are not exposed but which-in exchange for a fee-would assume some exposure to risk (i. e. , risk bearers). Perhaps more importantly, foreign exchange risk management, which was once a fairly mechanical task confmed to the international treasury function, is now permeating global strategic management. Indeed, since the demise of the Bretton Woods system of pegged exchange rates, the cost of forex hedging instruments has fallen so dramatically that firms can readily avail themselves of hedging products which can reduce unwanted risk, thereby potentially gaining a competitive advantage over rivals that do not. Management and Control of Foreign Exchange Risk has grown out of a fundamental revision of my earlier work published almost 20 years ago. In the process, my thinking about risk and its mathematics has greatly benefitted from my association with John Cozzolino and Charles Tapiero.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 324,84
EUR 68,18 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Renowned researchers summarize the current knowledge on ammonoid paleobiology. The book begins with a description of the systematic position of the Ammonoidea within the Cephalopoda, providing the phylogenetic framework for the rest of the book. Following discussions include soft- and hard-part m…orphology of ammonoids, rate of growth and ontogeny, and taphonomy and ecology. Closing chapters explore the distribution of ammonoids in time and space as well as their extinction at the end of the Cretaceous. With its diverse viewpoints and new material, this resource will benefit researchers and graduate students in paleontology, marine biology, and evolutionary biology.
Lingua: Inglese
Editore: Springer Us Mai 1996 1996
Serie: Cancer Treatment and Research, Libro 102 di 180. Libro 102 di 180 - Cancer Treatment and Research
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 417,04
EUR 63,34 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - Leukemia is a malignant disease which continues to play a cutting edge role in the discovery of new basic knowledge about the malignant process and about the potential for controlling these malignant diseases. Molecular Genetics and Therapy of Leukemia presents contributions by leading investigat…ors and scientific contributors to such topics as chromosome 16, chromosome 5, the BCL-2 gene, 11q23 breakpoint leukemias, the p-53 suppressor gene and oncogene, hematopoietic stem cells, cytokines, detection of minimal residual disease in acute lymphoblastic leukemia, autologous marrow transplantation, the retinoblastoma gene, allogeneic bone marrow transplant and chemotherapy of acute lymphoblastic leukemia.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 417,04
EUR 63,99 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Mathematical morphology (MM) is a powerful methodology for the quantitative analysis of geometrical structures. It consists of a broad and coherent collection of theoretical concepts, nonlinear signal operators, and algorithms aiming at extracting, from images or other geometrical objects, inform…ation related to their shape and size. Its mathematical origins stem from set theory, lattice algebra, and integral and stochastic geometry. MM was initiated in the late 1960s by G. Matheron and J. Serra at the Fontainebleau School of Mines in France. Originally it was applied to analyzing images from geological or biological specimens. However, its rich theoretical framework, algorithmic efficiency, easy implementability on special hardware, and suitability for many shape- oriented problems have propelled its widespread diffusion and adoption by many academic and industry groups in many countries as one among the dominant image analysis methodologies. The purpose of Mathematical Morphology and its Applications to Image and Signal Processing is to provide the image analysis community with a sampling from the current developments in the theoretical (deterministic and stochastic) and computational aspects of MM and its applications to image and signal processing. The book consists of the papers presented at the ISMM'96 grouped into the following themes: Theory Connectivity Filtering Nonlinear System Related to Morphology Algorithms/Architectures Granulometries, Texture Segmentation Image Sequence Analysis Learning Document Analysis Applications.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 475,64
EUR 66,53 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Molecular Physics and Hypersonic Flows bridges the gap between the fluid dynamics and molecular physics communities, emphasizing the role played by elementary processes in hypersonic flows. In particular, the work is primarily dedicated to filling the gap between microscopic and macroscopic treat…ments of the source terms to be inserted in the fluid dynamics codes. The first part of the book describes the molecular dynamics of elementary processes both in the gas phase and in the interaction with surfaces by using quantum mechanical and phenomenological approaches. A second group of contributions describes thermodynamics and transport properties of air components, with special attention to the transport of internal energy. A series of papers is devoted to the experimental and theoretical study of the flow of partially ionized gases. Subsequent contributions treat modern computational techniques for 3-D hypersonic flow. Non-equilibrium vibrational kinetics are then described, together with the coupling of vibration-dissociation processes as they affect hypersonic flows. Special emphasis is given to the interfacing of non-equilibrium models with computational fluid dynamics methods. Finally, the last part of the book deals with the application of direct Monte Carlo methods in describing rarefied flows.
Lingua: Inglese
Editore: Springer, Berlin, Birkhäuser Basel, Birkhäuser Mai 1996 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 37,44
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Geodynamics concerns the dynamics of the earth's global motion, of the earth's interior motion and its interaction with surface features, together with the mechanical processes in the deformation and rupture of geological structure…s. Its final object is to determine the driving mechanism of these motions. It is highly interdisciplinary. In providing the basic geological, geophysical infromation required for a comprehensive mechanical analysis, there are also many mechanical problems involved, which means the problem is coupled intricately with geophysics, rock mechanics, seismology, structural geology, etc. This is Part II of the Proceedings of an IUTAM/IASPEI Symposium on Mechanics Problems in Geodynamics held in Beijing, September 1994. It discusses different aspects of mechanics problems in geodynamics involving the earth's rotation, tectonic analyses of various parts of the world, mineral physics and flow in the mantle, seismic source studies and wave propagation and application of the DDA method in tectonic analysis. 338 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,14
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We have arranged this review text in an order that makes clinical sense. We have assumed that the student has had considerable experience with the field of psychiatry via didactic courses, clinical rotations or both. The first chap…ter is an introduction to psychiatry, noting significant persons and events in the growth of the field. Chapter two focuses on general diagnostic categories and the major intervention strategies that are used in the field. Chapter three presents patient management in detail so that in the later chapters, as disorders are being pre sented, the student can have the management strategies clearly in mind. Chapters four through twelve review each of the major psychiatric disorders in detail and provide suggestions regarding the etiology and appropriate treatment of the disorder. Chapter thirteen focuses on the special problems of children. That is, while children can have most of the same disorders as adults, there are disor ders that are diagnosed in childhood that are different from those of adults. Chapter fourteen focuses on special issues in the practice of psychiatry such as sleep issues, forensic psychiatry, AIDS, etc. Chapter fifteen is devoted to psychiat ric emergencies in both adults and children. This is a review text and should not be substituted for more complete texts. The authors do not recommend that this book be used as a course text except in those academic offerings that are specifically directed to an overview of psychiatry. 264 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -processes; (3) ensure the integrity of ecosys The theory and practice of ecosystem manage tems; and (4) advocate the sustainable use of ment is pivotal to the debate over how to sustain the health and productivity of our envi natur…al resources. In this book, each of these ronment. In particular, the role of ecosystems four topics is addressed by a set of eight key in preserving biological diversity, their contri journal articles. The first article in each section bution to economic growth, and their influence provides an overview, followed by case histo ries and a concluding paper which is a commen on human well-being is highly controversial tary on the difficulty of the issue or assesses its (Lubchenco et al. 1991). Traditional resource management does not protect natural values future direction. An article by Risser provides a (Sax 1993) or provide for the sustainable pro closing synthesis to this collection. duction of goods and services (Barnes 1993). The authors of the articles in Part 1-Under Yet a number of researchers and managers stand Diversity - speak to the current problems further question the ability of science to pro and directions in the conservation of biological vide sufficiently powerful tools for the under diversity. Tilman and Downing argue that standing and implementation of ecosystem preservation of native biodiversity is essential management (Clark 1996). 480 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1996 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains revised refereed papers selected from the presentations at the First International Workshop on Graphics Recognition, held in University Park, PA, USA, in August 1995.The 23 full papers included are divided into s…ections on low-level processing, vectorization and segmentation of scanned graphics documents; symbol and diagram recognition, map processing, interpretation of engineering drawings. Each section contains both survey articles to assess the state of the art, and research papers presenting novel results. One section is devoted to a contest held to determine the best algorithm for detection of dashed lines in drawings. The final chapter summarizes the conclusions and recommendations of the discussions held during the workshop. 324 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The goal of this book is to provide an extensive collection of results which generalize classical real analysis. Besides discussing density, approximate continuity, and approximate derivatives in detail, culminating with the Denjoy…-Saks-Young Theorem, the authors also present an interesting example due to Ruziewicz onan infinite number of functions with the same derivative (not everywhere finite) but the difference of any two is not a constant and Sierpinski's theorem on the extension of approximate continuity to nonmeasurable functions. 272 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A highly readable text designed for beginning and intermediate C programmers. While focusing on the programming language, the book emphasises stylistic issues and software engineering principles so as to develop programs that are r…eadable, maintainable, portable, and efficient. The software engineering techniques discussed throughout the text are illustrated in a C interpreter, whose source listing is provided on diskette, and highlighted 'bug alerts' offer tips on the common errors made by novice programmers. Can be used as the primary course textbook or as the main reference by programmers intent on learning C. 528 pp. Englisch.
Lingua: Inglese
Editore: SPRINGER NATURE Mai 1996 1996
Serie: St Antony's, Libro 72 di 241. Libro 72 di 241 - St Antony's
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Fashionable new theories tend to reject universal reason in favour of pluralism and locality. Marxism, Mysticism and Modern Theory examines some of these theories and argues that they are the mystified expression of the current pol…itical and economic impasse. Today's relativistic outlook reveals a minimalist and atomized viewpoint - a retreat from the goal of rational understanding. Marxism, Mysticism and Modern Theory sets out, in this critique, the case for developing a new humanism to extend rationality. 189 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1996 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a refereed collection of thoroughly revised full papers based on the contributions accepted for presentation at the International Workshop on Studies of Software Design, held in conjunction with the 1993 Internat…ional Conference on Software Engineering, ICSE'93, in Baltimore, Maryland, in May 1993.The emphasis of the 13 papers included is on methods for studying, analyzing, and comparing designs and design methods; the topical focus is primarily on the software architecture level of design and on techniques suitable for dealing with large software systems. The book is organized in sections on architectures, tools, and design methods and opens with a detailed introduction by the volume editor. 200 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In real applications most experimental situations are influenced by a large number of different factors. In these settings the design of an experiment leads to challenging optimization problems, even if the underlying relationship…can be described by a linear model. Based on recent research, this book introduces the theory of optimum designs for complex models and develops general methods of reduction to marginal problems for large classes of models with relevant interaction structures. 136 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B… Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics. 244 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This manual comprises a range of techniques for research workers in the fields of cell and molecular biology, physiology, plant breeding and propagation, and genetic engineering. 212 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This comprehensive state-of-the-art book is the first devoted to the important and timely issue of evaluating NLP systems. It addresses the whole area of NLP system evaluation, including aims and scope, problems and methodology.The… authors provide a wide-ranging and careful analysis of evaluation concepts, reinforced with extensive illustrations; they relate systems to their environments and develop a framework for proper evaluation. The discussion of principles is completed by a detailed review of practice and strategies in the field, covering both systems for specific tasks, like translation, and core language processors. The methodology lessons drawn from the analysis and review are applied in a series of example cases. A comprehensive bibliography, a subject index, and term glossary are included. 252 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1996 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a competitive world, research in manufacturing systems plays an important role in creating, updating and improving the technologies and management practices of the economy. This volume presents some of the most recent results in… stochastic manufacturing systems. Experts from the fields of applied mathematics, engineering and management sciences review and substantially update the recent advances in the control and optimization of manufacturing systems. Recent Advances in Control and Optimization of Manufacturing Systems consists of eight chapters divided into three parts which focus on Optimal Production Planning, Scheduling and Improvability and Approximate Optimality and Robustness. This book is intended for researchers and practitioners in the fields of systems theory, control and optimization, and operation management as well as in applied probability and stochastic processes. 240 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1996 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th Annual Symposium on Combinatorial Pattern Matching, CPM '96, held in Laguna Beach, California, USA, in June 1996.The 26 revised full papers included were selected from a tot…al of 48 submissions; also included are two invited papers. Combinatorial pattern matching has become a full-fledged area of algorithmics with important applications in recent years. The book addresses all relevant aspects of combinatorial pattern matching and its importance in information retrieval, pattern recognition, compiling, data compression, program analysis, and molecular biology and thus describes the state of the art in the area. 408 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a thoroughly refereed collection of revised full papers selected from the presentations at the First East-West International Conference on Multimedia, Hypermedia, and Virtual Reality, MHVR'94, held in Moscow, R…ussia, in September 1994.The 22 full papers presented in the book were selected from a total of 76 initial submissions and have been carefully updated for publication. Also included are two invited papers and summaries by the session chairpersons. The volume is organized in chapters on hypermedia models and architectures, enhancing multimedia support, new technologies for virtual reality, hypermedia and multimedia for group collaboration, hypermedia and multimedia for learning, and personalized hypermedia. 328 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in S…eptember 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed. 304 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,59
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference, IPCO V, held in Vancouver, British Columbia, Canada, in June 1996.The 36 revised papers included in the book were sele…cted from a total of 99 submissions; they highlight recent developments in theory, computation, and applications of integer programming and combinatorial optimization. The volume is organized in sections on integer programming theory and models, network flow algorithms, approximation algorithms, semi-definite methods, matrix models, set systems and submodularity, scheduling, probabilistic methods, polyhedral methods, and the traveling salesman problem. 524 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,55
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Extracellular matrix (ECM) turnover is a widespread but in completely understood process. Many studies have been con ducted with the aim of discovering the general mechanisms which produce and maintain the ECM in tissues. Wound re…pair in animals has always been a suitable 'tool' for exploring these mechanisms. In such a pathologic event, the different components of the healing system can be readily observed since they are exaggerated. It has now become clear that the regulation of protease/inhibitor activity is one of the most im portant steps in maintaining the integrity of ECM in the normal as well as in the pathologic state. As far as the repair process is concerned, a failure in such regulation may result in abnormal wound healing ranging from nonhealing wounds to hyper trophic scarring. Experimental findings have been directly applied in clinical practice. For example, the importance of debridement in nor mal and especially in poorly healing wounds has become much clearer in the recent past. Different methods have been proposed to obtain an optimal wound bed in order to perform skin transplantation. Both mechanical and physical debridement procedures un doubtedly offer some advantages and are essential when extensive third degree burns have to be treated. On the other hand, pain, excessive blood loss, and overall broad and indi scriminate debridement are common negative side effects. Thus, many enzymic formulations have been proposed and used in practice by clinicians all over the world. 128 pp. Englisch.
