This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submis…
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
With the changing landscape of the transport sector, there are also alternative powertrain systems on offer that can run independently of or in conjunction with the internal combustion (IC) engine. This shift has actually helped the industry gain traction with the IC Engine market projected to grow at 4.67% CAGR during the forecast period 2019-2025. It continues to meet both requirements and ch…
Although many organizations see the need to transform and to reinvent themselves, for far too many leaders, "change" and "failure" are virtual synonyms. In fact, most organizational change efforts fail. But that needn’t be the case, and help is at hand. Leading Positive Organizational Change, an alternative way to think about organizational change and development, is a strategic, learnable di…
Volume 2 of History of Construction Cultures contains papers presented at the 7ICCH – Seventh International Congress on Construction History, held at the Lisbon School of Architecture, Portugal, from 12 to 16 July, 2021. The conference has been organized by the Lisbon School of Architecture (FAUL), NOVA School of Social Sciences and Humanities, the Portuguese Society for Construction History …
Buku ini berpendapat bahwa revolusi industri keempat, proses percepatan otomatisasi manufaktur tradisional dan praktik industri melalui teknologi digital, akan semakin meminggirkan Afrika dalam komunitas internasional. Dalam buku ini, penulis berpendapat bahwa penjarahan Afrika yang dimulai dengan modal manusia dan kemudian sumber daya alam, kini terus berlanjut tanpa henti melalui penjarahan d…
Pengajaran bahasa Spanyol yang dimediasi teknologi menawarkan gambaran luas tentang penelitian terkini dan strategi pengajaran mengenai integrasi teknologi dalam pengajaran dan pembelajaran bahasa Spanyol. Terstruktur dalam tiga belas bab penting, buku ini merupakan peta jalan yang dirancang bagi para profesional bahasa untuk secara efektif menggabungkan teknologi ke dalam lingkungan pembelajar…
ABSTRACT 14th International Conference on Turbochargers and Turbocharging addresses current and novel turbocharging system choices and components with a renewed emphasis to address the challenges posed by emission regulations and market trends. The contributions focus on the development of air management solutions and waste heat recovery ideas to support thermal propulsion systems leading t…
ICICS-2020 is the third conference initiated by the School of Electronics and Electrical Engineering at Lovely Professional University that explored recent innovations of researchers working for the development of smart and green technologies in the fields of Energy, Electronics, Communications, Computers, and Control. ICICS provides innovators to identify new opportunities for the social and e…
Buku ini menawarkan eksplorasi interdisipliner yang sesungguhnya tentang pola keterlibatan kita dengan politik, berita, dan informasi dalam lingkungan informasi pilihan tinggi saat ini. Dengan mengemukakan gagasan bahwa lingkungan informasi pilihan tinggi dapat berkontribusi pada peningkatan mispersepsi dan penolakan pengetahuan daripada pengetahuan publik yang lebih besar, buku ini menawarkan …