Author: Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
2000 Operating Section Pre-print Proceedings
Author: AGA Operating Section Pre-print Proceedings 1998
Author: Ray B. KilloughOperating Section pre-print proceedings
Author: American Gas Association. Operating SectionPublisher:
ISBN:
Category : Gas industry
Languages : en
Pages : 0
Book Description
AGA Operating Section Pre-print Proceedings 1997
Author: Gary C. YoungbloodAGA Operating Section Pre-print Proceedings 2002
Author: American Gas Association Operating SectionPublisher:
ISBN:
Category :
Languages : en
Pages : 262
Book Description
American Gas Association 1999 Operating Section Preprint Proceedings
Author: AGA Operating Section Pre-print Proceedings 1997
Author: American Gas AssociationPublisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Tools and Algorithms for the Construction and Analysis of Systems
Author: Tomáš VojnarPublisher: Springer
ISBN: 303017462X
Category : Computers
Languages : en
Pages : 433
Book Description
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
Nuclear Graphite
Author: R. E. NightingalePublisher: Academic Press
ISBN: 1483258483
Category : Technology & Engineering
Languages : en
Pages : 566
Book Description
Nuclear Graphite focuses on the development and uses of nuclear graphite, including machining practices, manufacture, nuclear properties and structure, radiation, and electrical resistance. The selection first discusses the applications of graphite in the nuclear industry, machining practices, and manufacture. Discussions focus on early, current, and future applications of graphite, impregnation, graphitization, purification, general machining techniques, and equipment and methods in the nuclear industry. The book then examines the structure and nuclear and properties of graphite. The text evaluates radiation-induced structural and dimensional changes; radiation effects on electrical and thermal properties; and radiation effects on mechanical properties. Topics include radiation effects on crystal structure, electrical resistance, thermoelectric power, magnetoresistance, coefficient of friction, irradiation under stress, and elastic moduli of nuclear graphite. The book also ponders on stored energy, annealing radiation effects, and gas-graphite systems. The selection is a dependable source of data for readers interested in the applications of nuclear graphite.
Encyclopedia of Library and Information Science
Author: Allen KentPublisher: CRC Press
ISBN: 9780824720421
Category : Language Arts & Disciplines
Languages : en
Pages : 448
Book Description
"The Encyclopedia of Library and Information Science provides an outstanding resource in 33 published volumes with 2 helpful indexes. This thorough reference set--written by 1300 eminent, international experts--offers librarians, information/computer scientists, bibliographers, documentalists, systems analysts, and students, convenient access to the techniques and tools of both library and information science. Impeccably researched, cross referenced, alphabetized by subject, and generously illustrated, the Encyclopedia of Library and Information Science integrates the essential theoretical and practical information accumulating in this rapidly growing field."