Download or read book Dictionary of Pressure Vessel and Piping Technology written by and published by . This book was released on 1986 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Woerterbuch Der Druckbehaltertechnik und Rohrleitungstechnik written by Leon Jentgen and published by . This book was released on 1987-01-01 with total page 343 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Dictionary of Pressure Vessel and Piping Technoloy W rterbuch Der Druckbeh lter und Rohrleitungstechnik written by Heinz-Peter Schmitz and published by . This book was released on 2010 with total page 1259 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Dictionary of boiler firing systems and flue gas cleaning technology written by Heinz-Peter Schmitz and published by Vulkan-Verlag GmbH. This book was released on 2005 with total page 570 pages. Available in PDF, EPUB and Kindle. Book excerpt: This dictionary contains more than 6.000 terms and numerous explanations to the various technical fields such as shell and water-tube boilers, all types of firing systems for conventional power plants and waste incineration systems, thermal waste treatment systems, grate-firing systems, fluidised-bed systems, pulverising plants and mills including classifiers, burners of oil, gas and pulverized fuel, waste-heat recovery systems, coal handling and ash disposal plants, flue-gas desulphurization plants such as inertial separators, scrubbers, dust removal and filter systems as well as DENOX systems with catalysts, and respective circuit arrangements. Due to the numerous comprehensive and detailed explanation the dictionary's encyclopedic quality is underlined.
Download or read book Dictionary of Non Destructive Testing W rterbuch der Zerst rungsfreien Pr fung written by Jochen Mußmann and published by Vulkan-Verlag GmbH. This book was released on 2012-02-29 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: This new edition of a technical dictionary is an evaluation of the technical terms found in the domes-tic and foreign literature and in standards, guidelines and directives. This dictionary contains more than 2,000 terms mainly with definitions with respect to non-destructive testing methods, such as ultrasonic testing, radiography, X-ray diffraction, visual testing, acoustic emission testing, eddy current testing, magnetic particle testing, penetrant testing, leak testing, general terms of NDT personnel certification and qualification, weld defects etc. This dictionary will be of great help to research workers, scientists, engineers, technicians as well as translators, i.e. anybody dealing with this technical literature. Dieses FDBR-Fachwörterbuchs berücksichtigt die Fachterminologie der in- und ausländischen Literatur sowie von Normen und Richtlinien. Dieses Fachwörterbuch enthält mehr als 2000 Fachbegriffe überwiegend mit Definitionen zu zerstörungsfreien Prüfverfahren wie Ultraschallprüfung, Durchstrahlungsprüfung, Röntgendiffraktometrie, Sichtprüfung, Schallemissionsprüfung, Wirbelstromprüfung, Magnetpulverprüfung, Eindringmittelprüfung, Dichtheitsprüfung sowie allgemeine Begriffe für die Zertifizierung und Qualifizierung von ZfP-Personal Schweißnahtfehler, usw. Dieses sehr handliche und übersichtliche Wörterbuch stellt eine sehr wertvolle Arbeitshilfe für Forscher, Wissenschaftler, Ingenieure und Techniker sowie Übersetzer dar, d.h. für jeden, der sich mit der entsprechenden Fachliteratur auseinanderzusetzen hat.
Download or read book German books in print written by and published by . This book was released on 2003 with total page 1420 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book International Books in Print written by and published by . This book was released on 1986 with total page 1796 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Multigrid Methods III written by HACKBUSCH and published by Birkhäuser. This book was released on 2013-11-22 with total page 394 pages. Available in PDF, EPUB and Kindle. Book excerpt: These proceedings contain a selection of papers presented at the Third European Conference on Multigrid Methods which was held in Bonn on October 1-4, 1990. Following conferences in 1981 and 1985, a platform for the presentation of new Multigrid results was provided for a third time. Multigrid methods no longer have problems being accepted by numerical analysts and users of numerical methods; on the contrary, they have been further developed in such a successful way that they have penetrated a variety of new fields of application. The high number of 154 participants from 18 countries and 76 presented papers show the need to continue the series of the European Multigrid Conferences. The papers of this volume give a survey on the current Multigrid situation; in particular, they correspond to those fields where new developments can be observed. For example, se veral papers study the appropriate treatment of time dependent problems. Improvements can also be noticed in the Multigrid approach for semiconductor equations. The field of parallel Multigrid variants, having been started at the second European Multigrid Conference, is now at the centre of interest.
Download or read book Recent Advances in Qualitative Physics written by Boi Faltings and published by MIT Press. This book was released on 1992 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt: These twenty-eight contributions report advances in one of the most active research areas in artificial intellgence. Qualitative modeling techniques are an essential part of building second generation knowledge-based systems. This book provides a timely overview of the field while also giving some indications about applications that appear to be feasible now or in the near future. Chapters are organized into sections covering modeling and simulation, ontologies, computational issues, and qualitative analysis. Modeling a physical system in order to simulate it or solve particular problems regarding the system is an important motivation of qualitative physics, involving formal procedures and concepts. The chapters in the section on modeling address the problem of how to set up and structure qualitative models, particularly for use in simulation. Ontology, or the science of being, is the basis for all modeling. Accordingly, chapters on ontologies discuss problems fundamental for finding representational formalism and inference mechanisms appropriate for different aspects of reasoning about physical systems. Computational issues arising from attempts to turn qualitative theories into practical software are then taken up. In addition to simulation and modeling, qualitative physics can be used to solve particular problems dealing with physical systems, and the concluding chapters present techniques for tasks ranging from the analysis of behavior to conceptual design.
Download or read book Algebras and Differential Equations written by Sebastian Walcher and published by Hadronic Press. This book was released on 1991 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Free Choice Petri Nets written by Jorg Desel and published by Cambridge University Press. This book was released on 1995-01-12 with total page 256 pages. Available in PDF, EPUB and Kindle. Book excerpt: Petri nets are a model for the analysis of concurrent systems.
Download or read book Dye Lasers 25 Years written by Michael Stuke and published by Springer Science & Business Media. This book was released on 2005-08-05 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt: In Dye Lasers: 25 years, the pioneers and leading experts in the field of dye lasers present the current status and bright future perspectives of dye lasers and their applications in physics and chemistry. Particular topics covered include: new sources of ultrashort pulses, novel aspects of resonator design and imaging for femtosecond lasers, amplification schemes to terawatt intensity regimes, optics and high-resolution spectroscopy of atoms and molecules, and electro-optic and plasma physics applications of ultrashort and ultra-intense laser pulses. Since its invention in 1966, the dye laser has revolutionized many fields of science and technology. Questions of fundamental interest in physics and chemistry can now be answered: it is possible to test fundamental quantum physics in single-atom experiments and regioselective photochemistry in complexes can be monitored directlyusing dye-laser diagnostic methods. In this book the latest results (and most recent references) are presented for new sources of ultrashort pulses from the visible to the VUV, together with experimental details of ultrahigh-resolution spectroscopy of atoms and molecules, laser diagnostics of the dynamics of elementary chemical reactions, and ultrahigh intensity sources for laser target interaction.
Download or read book Parallelization in Inference Systems written by Bertram Fronhöfer and published by Springer. This book was released on 1992 with total page 388 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This volume contains the proceedings of an international workshop on parallelism in inference systems held in Germany in December 1990. The topicof the workshop is still rather young and several papers in the book are overview articles intended to provide a first orientation toward some of the more intensively investigated subtopics. The main part of the book is a compilation of research papers on parallelization in special domains ofinference such as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is a collection of short project summaries received in response to a worldwide email call. The book is intended primarily for researchers working on inference systems who are interested in parallelizing their systems."--PUBLISHER'S WEBSITE.
Download or read book Logic Programming and Automated Reasoning written by Andrei Voronkov and published by Springer Science & Business Media. This book was released on 1992-07 with total page 532 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.
Download or read book Readings in Model based Diagnosis written by Walter Hamscher and published by . This book was released on 1992 with total page 544 pages. Available in PDF, EPUB and Kindle. Book excerpt: This readings book is about artificial intelligence techniques for the diagnosis of engineered systems based on a general purpose model of the internal structure and behavior of the target device.
Download or read book Methods of Programming written by Manfred Broy and published by Springer Science & Business Media. This book was released on 1991-10-23 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.
Download or read book Modular Construction and Partial Order Semantics of Petri Nets written by Walter Vogler and published by Boom Koninklijke Uitgevers. This book was released on 1992-07-22 with total page 270 pages. Available in PDF, EPUB and Kindle. Book excerpt: Petri nets are a well-known model for parallel systems, used for both applications and theoretical studies. They can be used for specification, modelling, and analysis, and offer a graphical representation and a clear view of concurrency. For the design of large systems, modular construction is indispensible, and considerable effort has been spent on studying themodular construction of Petri nets. This book studies the modular construction of nets, and in particular the top-down design of nets by action refinement. Suitable behavior descriptions are presented and special care is taken to justify these descriptions by showing that theyare necessary under reasonable specification requirements. In particular, itis shown that partial-order semantics is necessary to support action refinement.
