Ditemukan 314 dokumen yang sesuai dengan query
This book presents the work done by the RILEM Technical Committee 227-HPB (Physical properties and behaviour of High-Performance Concrete at high temperature). It contains the latest research results on the behaviour of high-performance concretes at high temperature.
The book presents the state of the art of experimental data on High-Performance concretes...
Switzerland: Springer Cham, 2019
e20502595
eBooks Universitas Indonesia Library
Ray, Sandip, author
This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy verification. The authors focus on a promising security architecture for implementing...
Switzerland: Springer Cham, 2019
e20502835
eBooks Universitas Indonesia Library
Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 7 of the Proceedings of the 2018 SEM Annual Conference & Exposition on Experimental and Applied Mechanics, the seventh volume of eight from the Conference, brings together contributions to this important area of research and engineering. The...
Switzerland: Springer Cham, 2019
e20502836
eBooks Universitas Indonesia Library
The book reports on advanced topics in the areas of wearable robotics research and practice. It focuses on new technologies, including neural interfaces, soft wearable robots, sensors and actuators technologies, and discusses important regulatory challenges, as well as clinical and ethical issues. Based on the 4th International Symposium on Wearable...
Switzerland: Springer Cham, 2019
e20502861
eBooks Universitas Indonesia Library
Providing a comprehensive overview of hot stamping (also known as ‘press hardening’), this book examines all essential aspects of this innovative metal forming method, and explores its various uses. It investigates hot stamping from both technological and business perspectives, and outlines potential future developments. Individual chapters explore topics such as...
Switzerland: Springer Cham, 2019
e20502825
eBooks Universitas Indonesia Library
This book presents the second volume of Piola’s original Italian text together with the English-language translation and comments, showing convincingly that Gabrio Piola’s work must still be regarded as a modern theory. Gabrio Piola’s work has had an enormous impact on the development of applied mathematics and continuum mechanics. As...
Switzerland: Springer Cham, 2019
e20502826
eBooks Universitas Indonesia Library
Iordache, Octavian, author
This book focuses on new developments in polytopic projects, particularly on implementation domains and case studies, as well as high-dimensional methodology. Polytopic projects are based on a general reference architecture inspired and shared by the functional organization of organisms and enterprises as informational and cognitive systems, the scientific and engineering...
Switzerland: Springer Cham, 2019
e20502834
eBooks Universitas Indonesia Library
Banerjee, Amal, author
This book presents a seamless and unified scheme for automating very complicated calculations required to design, evaluate performance characteristics of, and implement broadband and narrow band impedance matching sub-circuits. The results of these automated calculations (the component values of the impedance matching sub-circuit) are formatted as text SPICE(Simulation Program...
Switzerland: Springer Cham, 2019
e20502824
eBooks Universitas Indonesia Library
This proceedings volume chronicles the papers presented at the 35th CIB W78 2018 Conference: IT in Design, Construction, and Management, held in Chicago, IL, USA, in October 2018. The theme of the conference focused on fostering, encouraging, and promoting research and development in the application of integrated information technology (IT)...
Switzerland: Springer Cham, 2019
e20502830
eBooks Universitas Indonesia Library
Russinoff, David M., author
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to...
Switzerland: Springer Cham, 2019
e20502864
eBooks Universitas Indonesia Library
