Phase Diagrams and Ceramic Processes, Anna E. McHale

Автор: Anna E. McHale
Название: Phase Diagrams and Ceramic Processes
ISBN: 0412131919 ISBN-13(EAN): 9780412131912
Издательство: Springer
Рейтинг:
Цена: 18237.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Considers the equilibrium phase diagram, its thermodynamic basis and interpretation as effecting processing decisions in raw materials selection and processes before firing. This book discusses long-term environmental and thermal equilibration.

Автор: Rolf Drechsler; Bernd Becker
Название: Binary Decision Diagrams
ISBN: 0792381939 ISBN-13(EAN): 9780792381938
Издательство: Springer
Рейтинг:
Цена: 20516.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Discusses aspects of Binary Decision Diagrams (BDDs) with respect to minimization and implementation of a package. This book is intended for newcomers to Binary Decision Diagrams (BDDs) and for researchers and practitioners who need to implement them.

Автор: Naijun Zhan; Shuling Wang; Hengjun Zhao
Название: Formal Verification of Simulink/Stateflow Diagrams
ISBN: 3319470140 ISBN-13(EAN): 9783319470146
Издательство: Springer
Рейтинг:
Цена: 14025.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

Автор: Shin-ichi Minato
Название: Binary Decision Diagrams and Applications for VLSI CAD
ISBN: 1461285585 ISBN-13(EAN): 9781461285588
Издательство: Springer
Рейтинг:
Цена: 13677.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD).

Автор: Rolf Drechsler; Bernd Becker
Название: Binary Decision Diagrams
ISBN: 1441950478 ISBN-13(EAN): 9781441950475
Издательство: Springer
Рейтинг:
Цена: 17096.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With increasing number of applications, also in non CAD areas, classical methods to handle BDDs are being improved and new questions and problems evolve and have to be solved.

Автор: Dionisio da Silva Biron; Venina dos Santos; Mara Z
Название: Ceramic Membranes Applied in Separation Processes
ISBN: 3319586033 ISBN-13(EAN): 9783319586038
Издательство: Springer
Рейтинг:
Цена: 13415.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers diverse types of ceramic membranes applied in separation processes. The authors present the preparation methods and well as the main application of ceramic membranes. Modules, microfiltration and ultrafiltration are topics described within the text. The final chapter focuses on water and wastewater treatment by membranes separation processes.

Автор: Nikolai N. Ledentsov
Название: Growth Processes and Surface Phase Equilibria in Molecular Beam Epitaxy
ISBN: 3540657940 ISBN-13(EAN): 9783540657941
Издательство: Springer
Рейтинг:
Цена: 17684.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text considers the main growth-related phenomena occurring during epitaxial growth, such as thermal etching, doping, segregation of the main elements and impurities, coexistence of several phases at the crystal surface and segregation-enhanced diffusion.

Автор: Nikolai N. Ledentsov
Название: Growth Processes and Surface Phase Equilibria in Molecular Beam Epitaxy
ISBN: 3642085075 ISBN-13(EAN): 9783642085079
Издательство: Springer
Рейтинг:
Цена: 17684.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: W.D. Comper; W.T. Ford; M. Kaneko; B.N. Preston; M
Название: Solar Energy-Phase Transfer Catalysis-Transport Processes
ISBN: 3662152967 ISBN-13(EAN): 9783662152966
Издательство: Springer
Рейтинг:
Цена: 6097.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Guo
Название: Morphotropic Phase Boundary Perovskites, High Strain Piezoelectrics, and Dielectric Ceramics - Ceramic Transactions V136
ISBN: 157498151X ISBN-13(EAN): 9781574981513
Издательство: Wiley
Рейтинг:
Цена: 17574.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the Symposium on Dielectric Materials and Multilayer Electronic Devices and the Symposium on Morphotropic Phase Boundary Phenomena and Perovskite Materials, held April 28 - May 1, 2002, in St.