Springer springer jun 1997 (258 résultats)

Buch. Etat : Neu. Neuware - List of Figures. List of Tables. List of Examples. Preface. 1. Introduction to Field Programmable Logic Devices. 2. Examples of FPLD Families. 3. Design Tools and Logic Design with FPLDS. 4. Introduction to Design Using AHDL. 5. Design Examples. 6. SIMP - A Simple Custom-Configurable Microprocessor. 7. Designing with Advanced Tools - An Introduction to VHDL. 8. Rapid Prototyping of Computer Systems Using FPLDS - A Case Study. Glossary. Selected Reading. Index.…

Buch. Etat : Neu. Neuware - Social Cognition: Are Primates Smarter than Birds ; P. Marler. Predicting Cognitive Capacity from Natural History: Examples from Four Corvid Species; R.P. Balda, et al. Assessing Body Condition in Birds; M.E. Brown. Avian Chemical Defense; J.P. Dumbacher, S. Pruett-Jones. Past and Current Attempts to Evaluate the Role of Birds as Predators of Insect Pests in Temperate Agriculture; D.A. Kirk, et al. An Evolutionary Approach to Offspring Desertion in Birds; T. Széleky, et al. Index. …

Buch. Etat : Neu. Neuware - These are exciting times for exobiology. The ubiquity of organic molecules in interstellar clouds, comets and asteroids strongly supports a cosmic perspective on the origin of life. Data from both ground-based telescopes and the recently launched Infrared Space Observatory are providing new insight into the complexity of carbon-based chemistry beyond the Earth. Meteorites give us solid evidence for extraterrestrial amino acids, and putative fossil evidence for life in a 3.6 billion-year-old Martian meteorite hints that life in our system might not be the sole prerogative of the Earth. Giant planets have now been discovered orbiting other stars, and although such planets seem unlikely to be habitable themselves, their existence strongly suggests what many astronomers have long believed - that planetary systems are commonplace. All these topics are reviewed in this volume by active researchers. The level is appropriate for graduate students in astronomy, biology, chemistry, earth sciences, physics, and related disciplines. It will also provide a valuable source of reference for active researchers in these fields.…

Buch. Etat : Neu. Neuware - This book consists of a significant and valuable reappraisal of Hegel's Phenomenology of Spirit by a number of outstanding, international Hegel scholars. Key questions and issues are discussed. No other book on the Phenomenology brings together penetrating articles by renowned Hegel scholars, and no previous book has included responses to articles by equally celebrated scholars. The result is that this book is unique in providing a wealth of insights into the Phenomenology of Spirit from a variety of perspectives. Among the crucial issues of interpretation which are tackled in this book are Hegel's concept of truth (the focus of Professor H.S. Harris's incisive opening article), the relationship between the Phenomenology and Hegel's system (discussed by Professor Rüdiger Bubner), the master-slave dialectic, the unhappy consciousness and conscience. Experienced Hegel scholars and students new to Hegel will benefit from the format of the book in which distinguished scholars comment upon the key and contentious aspects of the main articles. Crucial issues of interpretation are highlighted clearly.…

Buch. Etat : Neu. Neuware - Mechanical engineering. an engineering discipline borne of the needs of the in dustrial revolution. is once again asked to do its substantial share in the call for industrial renewal. The general call is urgent as we face profound issues of produc tivity and competitiveness that require engineering solutions. among others. The Mechanical Engineering Series features graduate texts and research monographs intended to address the need for information in contemporary areas of mechanical engineering. The series is conceived as a comprehensive one that covers a broad range of concentrations important to mechanical engineering graduate education and re search. We are fortunate to have a distinguished roster of consulting editors on the advisory board. each an expert in one the areas of concentration. The names of the consulting editors are listed on the facing page of this volume. The areas of concentration are: applied mechanics; biomechanics; computational mechan ics; dynamic systems and control; energetics; mechanics of materials; processing; thermal science; and tribology.…

Buch. Etat : Neu. Neuware - Human Face Recognition Using Third-Order Synthetic Neural Networks explores the viability of the application of High-order synthetic neural network technology to transformation-invariant recognition of complex visual patterns. High-order networks require little training data (hence, short training times) and have been used to perform transformation-invariant recognition of relatively simple visual patterns, achieving very high recognition rates. The successful results of these methods provided inspiration to address more practical problems which have grayscale as opposed to binary patterns (e.g., alphanumeric characters, aircraft silhouettes) and are also more complex in nature as opposed to purely edge-extracted images - human face recognition is such a problem. Human Face Recognition Using Third-Order Synthetic Neural Networks serves as an excellent reference for researchers and professionals working on applying neural network technology to the recognition of complex visual patterns.…

Buch. Etat : Neu. Neuware - Autonomous agents or multiagent systems are computational systems in which several computational agents interact or work together to perform some set of tasks. These systems may involve computational agents having common goals or distinct goals. Real-Time Search for Learning Autonomous Agents focuses on extending real-time search algorithms for autonomous agents and for a multiagent world. Although real-time search provides an attractive framework for resource-bounded problem solving, the behavior of the problem solver is not rational enough for autonomous agents. The problem solver always keeps the record of its moves and the problem solver cannot utilize and improve previous experiments. Other problems are that although the algorithms interleave planning and execution, they cannot be directly applied to a multiagent world. The problem solver cannot adapt to the dynamically changing goals and the problem solver cannot cooperatively solve problems with other problem solvers. This book deals with all these issues. Real-Time Search for Learning Autonomous Agents serves as an excellent resource for researchers and engineers interested in both practical references and some theoretical basis for agent/multiagent systems. The book can also be used as a text for advanced courses on the subject.…

Buch. Etat : Neu. Neuware - Zinc has an important role in human physiology due to its involvement in numerous enzymatic reactions and its other functions as part of hormones and structural proteins. As a consequence a wide variety of symptoms may occur in different states of zinc deficiency. Several diseases of the digestive tract can lead to zinc deficiency and consequently to deficiency symptoms. This book, the proceedings of an International Falk Workshop held in Freiburg, Germany, on 27 October 1996, aims at a dialogue between basic researchers and gastroenterologists in order to improve the understanding of the role of zinc in disorders of the digestive tract. Based on lectures on the role of zinc in cell biology, the pathophysiology of zinc deficiency and consequently the possibilities of zinc substitution in these disorders is discussed. It is hoped that this book will initiate fruitful discussions and collaborations leading to a better knowledge of the role of this trace element in gastroenterology.…

Buch. Etat : Neu. Neuware - As of today, Evolutionary Computing and Fuzzy Set Computing are two mature, wen -developed, and higbly advanced technologies of information processing. Bach of them has its own clearly defined research agenda, specific goals to be achieved, and a wen setUed algorithmic environment. Concisely speaking, Evolutionary Computing (EC) is aimed at a coherent population -oriented methodology of structural and parametric optimization of a diversity of systems. In addition to this broad spectrum of such optimization applications, this paradigm otTers an important ability to cope with realistic goals and design objectives reflected in the form of relevant fitness functions. The GA search (which is often regarded as a dominant domain among other techniques of EC such as evolutionary strategies, genetic programming or evolutionary programming) delivers a great deal of efficiency helping navigate through large search spaces. The main thrust of fuzzy sets is in representing and managing nonnumeric (linguistic) information. The key notion (whose conceptual as weH as algorithmic importance has started to increase in the recent years) is that of information granularity. It somewhat concurs with the principle of incompatibility coined by L. A. Zadeh. Fuzzy sets form a vehic1e helpful in expressing a granular character of information to be captured. Once quantified via fuzzy sets or fuzzy relations, the domain knowledge could be used efficiently very often reducing a heavy computation burden when analyzing and optimizing complex systems.…

Buch. Etat : Neu. Neuware - It has been almost 15 years since the fIrst reports appeared indicating that adenosine exerted a .protective effect in ischemic and reperfused myocardium. Numerous experimental studies have shown that adenosine (both exogenous and endogenous adenosine) delays the onset of ischemic contracture, modulates myocardial metabolism during ischemia, attenuates reversible postischemic ventricular dysfunction (myocardial stunning), and reduces myocardial infarct size. Initial studies on adenosine's cardioprotective effect were based on its ability to stimulate postischemic ATP resynthesis, increase coronary blood flow, and reduce heart rate. Although these actions of adenosine are undoubtedly benefIcial to the ischemic/reperfused heart, it now appears that adenosine's cardioprotective effect may be exclusive of these properties. The immense growth in the number of articles on adenosine cardioprotection in the last several years has been related in large part to the hypothesis that adenosine plays a role in ischemic preconditioning. Ischemic preconditioning is the phenomenon in which a brief period of ischemia (and reperfusion) prior to a more prolonged occlusion reduces myocardial infarct size. This form of myocardial protection has received much interest because ischemic preconditioning has been shown to be the most potent means of reducing infarct size in all animal models thus far tested. In fact prior to studies implicating adenosine's role in ischemic preconditioning, adenosine's infarct reducing effect was not well recognized.…

Buch. Etat : Neu. Neuware - Section I: Controlled Fusion: Soon! (E. Teller). Comments on the Feasibility of Achieving Scientific Breakeven with a Plasma Focus Machine (J.S. Brzosko et al.). SelfColliding Beams as an Alternative Fusion System for DHe3 Reactors (N. Rostoker, M. Binderbauer). Target Physics for Inertial Fusion Energy (J.M. MartinezVal et al.). Spherical Pinch Research: Historical Background, Achievements, and Projections (F. Giammanco et al.). Section II: Perspectives of Advanced Confinement Programs (B. Coppi). Present Status of FieldReversed Configurations (J. Slough). Ignition Physics and the Ignitor Project (F. Pegoraro). The Inertial Electrostatic Confinement Approach to Fusion Power (G.H. Miley). The D3He Dipole Fusion Reactor (M.E. Mauel). OpenEnded Magnetic Confinement Systems for Fusion (R.F. Post, D.D. Ryutov). Formation, Compression, and Acceleration of Magnetized Plasmas (J.H. Degnan). Prospects of Magnetic Electrostatic Plasma Confinement (T.J. Dolan). Analysis of the Fusion Breakeven Conditions for DT Plasmas of Prescribed Temperature Evolution (E. Panarella). Section III: Progress in Inertial Fusion Research (C. Yamanaka). HeavyIon Driven Inertial Fusion Energy (R.O. Bangerter, T.J. Fessenden). XRay Driven Implosions on the Nova Laser (J.D. Kilkenny et al.). Present Status and Future Prospects of Laser Fusion Research at Osaka (C. Yamanaka). Magnetized Target Fusion: An Overview of the Concept (R.C. Kirkpatrick, M.A. Sweeney). Thermonuclear Fusion in a Staged Pinch (H.U. Rahman et al.). Novel Staged ZPinch Concept as a Super Radiant XRay Source for ICF (V.M. Bystritskii et al.). Section IV: Fusion, the Competition, and the Prospects for Alternative Fusion Concepts (L.J. Perkins et al.). Ideas for Future RFP Experiments (J.A. Phillips et al.). Dense ZPinches for Fusion (D. Scudder, J. Shlachter). Assessment of FieldReversedConfiguration Stability (R.E. Siemon). MuonCatalyzed Fusion in 1996 (S.E. Jones). Experimental Investigation of the Muon Catalyzed Fusion in Mixtures of Hydrogen Isotopes (V.M. Bystritsky). Magnetoelectric Toroidal Confinement (J.R. Roth). Ball Lightning: What Nature is Trying to Tell the Fusion Community (J.R. Roth). Fusion Implications of FreeFloating Plasmak(R) Magnetoplasmoids (P.M. Koloc). Section V: Alternate Fusion Concepts (N. Rostoker). Inertial Fusion Driven by Intense Cluster Ion Beams (C. Deutsch). Inertial Fusion Energy: An Approach to Low Maintenance and Cost of Electricity, and the Role of the National Ignition Facility Testing the Target Physics (B.G. Logan). Magnetized Target Fusion: An Ultrahigh Energy Approach in an Unexplored Parameter Space (R.C. Kirkpatrick et al.). Section VI: Concluding Remarks (E. Panarella). Section VII: Report of the Evaluators (E.C. Creutz et al.). Index.…

Buch. Etat : Neu. Neuware - This volume consitutes a summary of several years' multi-disciplinary research by a group of Swedish researchers. The project 'Sweden's Technological Systems and Future Development Potential' was initiated by the Swedish National Board for Industrial and Technical Development (NUTEK) and has been carried out at the Department of Industrial Management and Economics at Chalmers University of Technology in Gothenburg, the Research Policy Institute at the University of Lund, the Industrial Institute for Economic and Social Research (lUI) in Stockholm, and the Department of Industrial Economics and Management at the Royal Insitute of Technology, Stockholm, under the direction of Bo Carlsson, Case Western Reserve University, Cleveland, Ohio. The project group decided early on to focus fIrst on the technological system for factory automation - a relatively mature system of great importance to Swedish industry and in which Sweden has reached a leading position internationally - and then to shift the attention to other systems in various stages of development and with varying Swedish strength. The work on factory automation resulted in numerous papers and publications, summarized in a volume published in 1995 (Technological Systems and Economic Performance: The Case of Factory Automation, ed. Bo Carlsson. Dordrecht.…

Buch. Etat : Neu. Neuware - Chemical modification of polymers by reactive modifiers is no longer an academic curiosity but a commercial reality that has delivered a diverse range of speciality materials for niche markets: reactively grafted styrenic alloys, maleated polyolefins, super-tough nylons, silane modified and moisture-cured polyolefins, and thermoplastic elastomers, are but few exam ples of commercial successes. Although the approach of reactive modification of polymers has been largely achieved either in solution or in the solid state (through in situ reactions in polymer melts), it is the latter route that has attracted most attention in the last two decades owing to its flexibility and cost-effective ness. This route, referred to as reactive processing, focuses on the use of suitable reactive modifier(s) and the adoption of conventional polymer processing machinery, an extruder or a mixer, as a chemical reactor, to perform in situ targeted reactions for chemical modification of preformed polymers. This relatively simple, though scientifically highly challenging, approach to reactive modification offers unique opportunities in exploiting various reactive modifiers for the purpose of altering and transforming in a controlled manner the properties of preformed commercial polymers into new/speciality materials with tailor-made properties and custom-designed performance for target applications. Such an economically attractive route constitutes a radical diversion away from the traditional practices of manufacturing new polymers from monomers which involves massive in vestments in sophisticated technologies and chemical plants. …

Buch. Etat : Neu. Neuware - This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods.…

Buch. Etat : Neu. Neuware - This volume brings together and expands on a body of research that I began in the early 1960s and have continued up to the present. It deals mainly with shiftwork-work that is performed during other than normal daytime hours. Shiftwork is a characteristic of economic life in the United States and abroad that has increased in importance over the years; according to the Bureau of Labor Statistics, one out of five full-time and part-time employees in the United States works on shifts. My interest in this field concerns fixed capital, specifically, changes in weekly hours worked by capital over long periods of time, and the signifi cance of those changes in the measurement oflong-run productivity change. In studies of growth, the measurement of capital input-by capital stocks or the services yielded by those stocks-typically makes no allowance for the changing hours worked by capital. Capital services are assumed to be propor tional to the stocks. Consequently, in analyses of output growth in a growth accounting framework, the effect of longer capital hours is a component of multifactor or total factor productivity growth.…

Buch. Etat : Neu. Neuware - New to the Second Edition: offers the latest developments in standards activities (JPEG-LS, MPEG-4, MPEG-7, and H.263) provides a comprehensive review of recent activities on multimedia enhanced processors, multimedia coprocessors, and dedicated processors, including examples from industry. Image and Video Compression Standards: Algorithms and Architectures, Second Edition presents an introduction to the algorithms and architectures that form the underpinnings of the image and video compressions standards, including JPEG (compression of still-images), H.261 and H.263 (video teleconferencing), and MPEG-1 and MPEG-2 (video storage and broadcasting). The next generation of audiovisual coding standards, such as MPEG-4 and MPEG-7, are also briefly described. In addition, the book covers the MPEG and Dolby AC-3 audio coding standards and emerging techniques for image and video compression, such as those based on wavelets and vector quantization. Image and Video Compression Standards: Algorithms and Architectures, Second Edition emphasizes the foundations of these standards; namely, techniques such as predictive coding, transform-based coding such as the discrete cosine transform (DCT), motion estimation, motion compensation, and entropy coding, as well as how they are applied in the standards. The implementation details of each standard are avoided; however, the book provides all the material necessary to understand the workings of each of the compression standards, including information that can be used by the reader to evaluate the efficiency of various software and hardware implementations conforming to these standards. Particular emphasis is placed on those algorithms and architectures that have been found to be useful in practical software or hardware implementations. Image and Video Compression Standards: Algorithms and Architectures,Second Edition uniquely covers all major standards (JPEG, MPEG-1, MPEG-2, MPEG-4, H.261, H.263) in a simple and tutorial manner, while fully addressing the architectural considerations involved when implementing these standards. As such, it serves as a valuable reference for the graduate student, researcher or engineer. The book is also used frequently as a text for courses on the subject, in both academic and professional settings.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -VJver forty years ago Gordon R. Willey (1953b:361) stated that '[t]he objectives of archeology . . . are approached by the study and manipulation of three basic factors: form, space, and time. ' A few years later, Albert C. Spaulding (1960b:439) repeated this thought using different words: '[AJrchaeology can be defined minimally as the study of the interrelation ship of form, temporal locus, and spatial locus exhibited by artifacts. In other words, archaeologists are always concerned with these interrelation ships, whatever broader interests they may have, and these interrelation ships are the special business of archaeology. ' Many of the means Americanist archaeologists use to examine formal variation in artifacts and the distribution of that variation across space and through time were formulated early in the twentieth century. The analytical tenets, or principles, underlying the various methods and techniques were formalized and axiomatized in later years such that by the 1930s they con stituted the first formal paradigm for Americanist archaeology a paradigm commonly termed culture history. This paradigm began with a very specific goal to document the history of the development of prehistoric cultures in the Americas. Although it fell from favor in the 1960s, many of its central tenets were carried over to newer paradigms and thus continue to be fun damental within Americanist archaeology. With Willey's and Spaulding's conceptions as our guide, we elsewhere reprinted (Lyman et al. 288 pp. Englisch.…

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The first edition of this definitive text ran to 24 chapters. The second edition, reflecting the explosive growth of interest in echo-enhancement, contains 44. The first section deals with some of the most important emerging issues and technologies and covers harmonic imaging, the use of echo-enhancers to provide quantitative information, and the application of enhanced power Doppler to tissue imaging. The second, on contrast echocardiography, explores the use of echo-enhancement during transesophageal imaging. One chapter describes the use of contrast-enhancement transesophageal imaging to determine coronary flow reserve and another gives a detailed account of the application of the technique to the evaluation of left ventricular function. Other authors describe the intraoperative use of contrast echocardiography and discuss the potential of myocardial contrast echocardiography to replace thallium scintigraphy. Another chapter covers the emerging technique of transient response imaging and its role in the assessment of myocardial perfusion, and two chapters are devoted to three-dimensional contrast echocardiographic assessment of myocardial perfusion. Use of echo-enhancement in the evaluation of peripheral circulation is discussed in chapters on carotid and peripheral arterial flow imaging and others that describe renal and hepatic vascular imaging. The newer applications of echo-enhancement outside the cardiovascular system are described in three chapters devoted to the visualization of tumour vasculature. The final chapters look to the future and cover the imaging of intramyocardial vasculature, the development of site-specific agents and the emergence of the new acoustically active agents. 698 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents 71 articles dealing with models and methods of data analysis and classification, statistics and stochastics, information systems and text analysis as well as manifold applications. These articles are se lected from about 160 papers presented at the 20th Annual Conference of the Gesellschaft fUr Klassifikation. This conference was organized by R. Klar, at the Abteilung fiir Medizinische Informatik of the University of Freiburg from March 6 to 8, 1996. Based on the submitted and revised papers eight sections have been arranged, where the number of papers in the sections is given in parentheses: 1. Data Analysis and Classification (10) 2. Neural Networks and Pattern Recognition (4) 3. Statistical Models and Methods (11) 4. Information Systems: Design and Implementation (7) 5. Text Analysis and Information Retrieval (10) 6. Applications in Medicine (15) 7. Applications in Economics and Social Sciences (7) 8. Applications in Archaeology, Biology, Linguistics and Dialectometry (7) This grouping doesn't separate strictly, but it shows how theoretical aspects, applications and interdisciplinarities are interrelated in many respects. For convenience of the reader the contents of this volumne is briefly summarized. 1. Data Analysis and Classification This section presents ten articles dealing with different problems of data analysis and classification, especially with several aspects of multidimen sional scaling (MDS), three-way data analysis, stochastic aspects in cluster ing and regression of ordinal data. The survey article of M. W. Trosset considers an approach to define and classify MDS problems as optimization problems. 708 pp. Englisch. …

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop documentation of the ECAI'96 Workshop on Dialogue Processing in Spoken Language Systems, held in Budapest, Hungary, in August 1996, during ECAI'96.The volume presents 16 revised full papers including a detailed introduction and survey paper by the volume editors. The papers are organized in sections on foundations of spoken language dialogue systems, dialogue systems and prosodic aspects of spoken dialogue processing, spoken dialogue systems-design and implementation, and evaluation of systems. The book reports on work being pursued both in academia and in industry as a crucial issue in speech processing. 236 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Today, as the large international genome sequence projects are gaining a great amount of public attention and huge sequence data bases are created it be comes more and more obvious that we are very limited in our ability to access functional data for the gene products - the proteins, in particular for enzymes. Those data are inherently very difficult to collect, interpret and standardize as they are highly distributed among journals from different fields and are often sub ject to experimental conditions. Nevertheless a systematic collection is essential for our interpretation of the genome information and more so for possible appli cations of that knowledge in the fields of medicine, agriculture, etc . Recent pro gress on enzyme immobilization, enzyme production, enzyme inhibition, coen zyme regeneration and enzyme engineering has opened up fascinating new fields for the potential application of enzymes in a large range of different areas. It is the functional profile of an enzyme that enables a biologist of physician to analyze a metabolic pathway and its disturbance; it is the substrate specificity of an enzyme which tells an analytical biochemist how to design an assay; it is the stability, specificity and efficiency of an enzyme which determines its usefulness in the biotechnical transformation of a molecule. And the sum of all these data will have to be considered when the designer of artificial biocatalysts has to choose the optimum prototype to start with. 1112 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ada 95, the enhanced version of the Ada programming language, is now in place and has attracted much attention in the community since the International Standard ISO/IEC 8652:1995(E) for the language was approved in 1995. The Ada 95 Rationale comes in four parts. The introductory part is a general discussion of the scope and objectives of Ada 95 and its major technical features. The second part contains a more detailed step by step account of the core language. The third part consists of several annexes addressing the predefined environment and specialized application areas. Finally, the three appendices of the fourth part are devoted to the upward compatibility with Ada 83, a few changes since the drafts of thestandard were made public, and a summary of requirements. 484 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others. 436 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -14 contributions present mathematical models for different imaging techniques in medicine and nondestructive testing. The underlying mathematical models are presented in a way that also newcomers in the field have a chance to understand the relation between the special applications and the mathematics needed for successfully treating these problems. The reader gets an insight into a modern field of scientific computing with applications formerly not presented in such form, leading from the basics to actual research activities. 228 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents many types of tidal phenomena. The contributions evolved from a seminar in Oberwolfach, Black Forest, where German experts on tidal research met in October 1994 to present their views and experience to interested graduate students and scientists in an informal way. The seminar focused on earth tides, tides of the atmosphere and the oceans, including solar-induced variations of the magnetic field and climate, and tidal phenomena in the planetary system and universe. This book has an introductory character, but some contributions describe the state of the art in tidal research. 412 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area. 504 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Going beyond the superficial treatments found in 'coffee-table' astronomy books, this book provides comprehensive treatment of astronomy in depth, offering comprehensible explanations of how and why things are as they are. Comprehensive in its coverage, the book includes self-study questions at the end: of each chapter. 356 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First International Conference on Scale-Space Theory for Computer Vision, Scale-Space '97, held in Utrecht, The Netherlands, in July 1997.The volume presents 21 revised full papers selected from a total of 41 submissions. Also included are 2 invited papers and 13 poster presentations. This book is the first comprehensive documentation of the application of Scale-Space techniques in computer vision and, in the broader context, in image processing and pattern recognition. 384 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The precise determination of the figure of the earth and its exterior gravitational field requires the solution of the geodetic boundary value problem (GBVP). Recently, a whole series of new measurement techniques has became available, in particular air- and spaceborne methods. They will make its solution much more complete and accurate and will contribute to a better understanding of ocean circulation and of the earth's interior. The book consists of contributions from leading scientists presented at an international summer school. It covers all aspects of the solution of the GBVP, from a mathematical basis via geodetic modeling to its relationship with advanced measurements. It provides three foundations to determine the geoid at a 1-cm precision level. 620 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book consists of the refereed proceedings of the 15th British National Conference on Databases, BNCOD 15, held in London, in July 1997.The 12 revised full papers presented were selected from more than 30 submissions. Also included are 10 poster presentations and the invited lecture on The Role of Intelligent Software Agents in Advanced Information Systems by Larry Kerschberg. The papers are organized in topical sections on transaction processing, optimization, object-orientation and the Internet, and database integration. 252 pp. Englisch.…