You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
With the development of structural materials, more and more new materials and construction methods are applied to infrastructure construction in order to achieve carbon neutrality and emission peak. Nowadays, people have more and more strict requirements for the comfort, safety and resistance to environmental disasters of infrastructure. Therefore, the static and dynamic performance of new structures and materials under complex environment and load becomes more and more important in construction and design of infrastructure engineering. Modern civil engineering has been developing towards intelligence. Both construction technology and material technology are developing towards a more intelli...
This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023. The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Software is the essential enabler for the new economy and science. It creates new markets and new directions for a more reliable, flexible, and robust society. It empowers the exploration of our world in ever more depth. However, software often falls short behind our expectations. Current software methodologies, tools, and techniques remain expensive and not yet reliable for a highly changeable and evolutionary market. Many approaches have been proven only as case-by-case oriented methods. This book presents a number of new trends and theories in the direction in which we believe software science and engineering may develop to transform the role of software and science in tomorrow's informat...
The 12-volume set CCIS 2564-2575, together with the 28-volume set LNCS/LNAI/LNBI 15842-15869, constitutes the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The 523 papers presented in these proceedings books were carefully reviewed and selected from 4032 submissions. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was "Advanced Intelligent Computing Technology and Applications".
Selected, peer reviewed papers from the 3rd International Conference on Advanced Design and Manufacturing Engineering (ADME 2013), 13-14 July, 2013, Anshan, China
Includes data for the Ann Arbor, Dearborn, and Flint campuses.
None