Computer Aided Verification; 32nd International Conference, CAV 2020, Los Ang…

Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…

Computer Aided Verification; 32nd International Conference, CAV 2020, Los Ang…

Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…

Urban Inequality and Segregation in Europe and China

This open access book explores new research directions in social inequality and urban segregation. With the goal of fostering an ongoing dialogue between scholars in Europe and China, it brings together an impressive team of international researchers to shed light on the entwined processes of inequality and segregation, and the implications for urban development. Through a rich collection of e…

Data Science-Based Full-Lifespan Management of Lithium-Ion Battery : Manufact…

This open access book comprehensively consolidates studies in the rapidly emerging field of battery management. The primary focus is to overview the new and emerging data science technologies for full-lifespan management of Li-ion batteries, which are categorized into three groups, namely (i) battery manufacturing management, (ii) battery operation management, and (iii) battery reutilization ma…

Concrete-Polymer Composites in Circular Economy : Proceedings of the 17th Int…

This open access book presents the proceedings of the 17th International Congress of Polymers in Concrete 2023 (ICPIC 2023), held under the theme "Cement-Polymer Composite in Circular Economy". It provides multidisciplinary and contemporary knowledge on the application of polymers both in and on concrete, covering topics from the modification of concrete compositions with modern admixtures and …

The Future of China’s Development and Globalization

Edition

-

ISBN/ISSN

978-981-99-7511-2

Collation

-

Series Title

-

Call Number

-

China and the World in a Changing Context

Edition

-

ISBN/ISSN

978-981-16-8085-4

Collation

-

Series Title

-

Call Number

-

Soft Power and Great-Power Competition

Edition

-

ISBN/ISSN

9789819907144

Collation

-

Series Title

-

Call Number

-

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…

he open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topi…

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following t…