Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language tha...

Dominic Meng-Hsuan Yang examines one of the least understood migrations in modern East Asia - the human exodus from China to Taiwan when Chiang Kai-shek's regime collapsed in 1949. Peeling back layers of Cold War ideological constructs, he tells a very different story from the conventional Chinese civil war historiography that focuses on debating the reasons for Communist success and Nationalist failure. Yang lays bare the traumatic aftermath of the Chinese Communist Revolution for the hun...

Filling the urgent need for a professional book that specifies the applications of nanoelectrochemistry for the monitoring of persistent toxic substances, this monograph clearly describes the design concept, construction strategies and practical applications of PTS sensing interfaces based on nanoelectrochemical methods. The comprehensive and systematic information not only provides readers with the fundamentals, but also inspires them to develop PTS monitoring sensors based on functional ...

This book constitutes the proceedings of the First International Conference on Spatial Data and Intelligence, SpatialDI 2020, which was held on May 8-9, 2020. The conference was planned to take place in Shenzhen, China, and changed to an online format due to the COVID-19 pandemic.The 21 full papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: traffic management; data science; and visualization scie...

This five-volume set, constitutes the refereed proceedings of the 21st International Conference on Advanced Data Mining and Applications, ADMA 2025, held in Kyoto, Japan, during October 22–24, 2025.

This book constitutes refereed proceedings of the 8th China National Conference on Big Data and Social Computing, BDSC 2023, held in Urumqi, China, from July 15–17, 2023.The 23 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 141 submissions. The papers in the volume are organized according to the following topical headings: Digital Technology and Sustainable Development; Social Network and Group Behavior; Digital infrastr...

This five-volume set, constitutes the refereed proceedings of the 21st International Conference on Advanced Data Mining and Applications, ADMA 2025, held in Kyoto, Japan, during October 22–24, 2025.

This five-volume set, constitutes the refereed proceedings of the 21st International Conference on Advanced Data Mining and Applications, ADMA 2025, held in Kyoto, Japan, during October 22–24, 2025.

This five-volume set, constitutes the refereed proceedings of the 21st International Conference on Advanced Data Mining and Applications, ADMA 2025, held in Kyoto, Japan, during October 22–24, 2025.

This monograph provides a comprehensive exploration of new tools for modelling, analysis, and control of networked dynamical systems. Expanding on the authors’ previous work, this volume highlights how local exchange of information and cooperation among neighboring agents can lead to emergent global behaviors in a given networked dynamical system.Divided into four sections, the first part of the book begins with some preliminaries and the general networked dynamical model that is u...

This book takes the technological revolution and industrial changes as the background. The timeline uses the timeline to explain the path of changes in standard concepts since the millennium, showing the scientific system and gradually becoming the focus of the people. This book refers to the classics of a number of standard theories, introduces a number of standards and its theoretical content, and combines the industrial observation experience and typical cases accumulated by the author ...

This wide-ranging interdisciplinary collection—the first of its kind—invites us to reconsider the politics and scope of the Roots phenomenon of the 1970s. Alex Haley’s 1976 book was a publishing sensation, selling over a million copies in its first year and winning a National Book Award and a special Pulitzer Prize. The 1977 television adaptation was more than a blockbuster miniseries—it was a galvanizing national event, drawing a record-shattering viewership, earning thirty-eight...