Tools and Algorithms for the Construction and Analysis of Systems: 29th Inter…

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this v…

Tools and Algorithms for the Construction and Analysis of Systems: 29th Inter…

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this v…

University-Community Partnerships for Transformative Education

Edition

-

ISBN/ISSN

9783031605833

Collation

-

Series Title

-

Call Number

-

Onward Migration and Multi-Sited Transnationalism

Edition

-

ISBN/ISSN

9783031125034

Collation

-

Series Title

-

Call Number

-

Blockchain and Crypto Currency

Edition

-

ISBN/ISSN

9789811533761

Collation

-

Series Title

-

Call Number

-

Carbon Pricing in Japan

Edition

-

ISBN/ISSN

9789811569647

Collation

-

Series Title

-

Call Number

-

Green Hydrogen Production by Water Electrolysis

Edition

-

ISBN/ISSN

-

Collation

-

Series Title

-

Call Number

-

Development of the Global Film Industry : Industrial Competition and Cooperat…

ABSTRACT The global film industry has witnessed significant transformations in the past few years. Regions outside the USA have begun to prosper while non-traditional production companies such as Netflix have assumed a larger market share and online movies adapted from literature have continued to gain in popularity. How have these trends shaped the global film industry? This book answers this…

East Asian integration : goods, services and investment

Edition

-

ISBN/ISSN

9780429433603

Collation

-

Series Title

-

Call Number

-

Krisenmanagement am Beispiel der Flüchtlingslage 2015/2016

In diesem Open-Access-Buch werden Erfahrungen zur Zusammenarbeit und zum Wissensmanagement verschiedenster staatlicher, gemeinnütziger und privater Akteure in der Flüchtlingslage 2015/16 aufbereitet, mit praxisnahen Beispielen angereichert und um Übungen zur Vorbereitung auf zukünftige Lagen ergänzt. Die damalige Lage stellte die Beteiligten vor große Herausforderungen, sowohl im Hinblick…