Computer Aided Verification: 35th International Conference, CAV 2023, Paris, …

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I…

Fundamental Approaches to Software Engineering: 26th International Conference…

This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 subm…

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …

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 …

Fundamental Approaches to Software Engineering: 25th International Conference…

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…

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …

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 …

Designing Sustainable Technologies, Products and Policies : Sustainable Produ…

Edition

-

ISBN/ISSN

978-3-319-70223-0

Collation

XXXIII, 208

Series Title

-

Call Number

-

Internal combustion engines and powertrain systems for future transport 2019 …

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…

Leading Positive Organizational Change : Energize - Redesign - Gel

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…

Governing Delinquency Through Freedom : Control, Rehabilitation and Desistance

"This book analyses the non-custodial government of young offenders in two major cities in Brazil. In doing so, it delves into the paradox of an institution exerting control over youths while at the same time promoting their autonomy and responsibility. The study sheds light on the specific logics of power, control, and inequality produced by such institutional settings. The book’s analysis i…

History of Construction Cultures Volume 2 : Proceedings of the 7th Internatio…

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 …