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

Edition

-

ISBN/ISSN

978-3-031-30822-2

Collation

-

Series Title

-

Call Number

-

Tools and Algorithms for the Construction and Analysis of Systems

Edition

-

ISBN/ISSN

978-3-031-30819-2

Collation

-

Series Title

-

Call Number

-

Validation of Evolving Software

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book

Sans Papiers: The Social and Economic Lives of Young Undocumented Migrants

Undocumented migration is a huge global phenomenon, yet little is known about the reality of life for those involved. Sans Papiers combines a contemporary account of the theoretical and policy debates with an in-depth exploration of the lived experiences of undocumented migrants in the UK from Zimbabwe, China, Brazil, Ukraine and Turkish Kurdistan. Built around their voices, the book provides t…

Lenin and the Making of the Soviet State A Brief History with Documents

Vladimir Ilich Lenin (1870 - 1924) led the first successful revolt against market-based liberal democracy and founded the Soviet State in 1917, serving as the new nation s chief architect and sole ruler for the next five years. This collection of primary sources allows readers to learn about Lenin through his own words and emphasizes Lenin s actions rather than his ideology. Jeffrey Brooks and …

The Bible in Buffalo Country Oenpelli Mission 1925–1931

Arriving in the remote Arnhem Land Aboriginal settlement of Oenpelli (Gunbalanya) in 1925, Alf and Mary Dyer aimed to bring Christ to a former buffalo shooting camp and an Aboriginal population many whites considered difficult to control. The Bible in Buffalo Country: Oenpelli Mission 1925–1931 represents a snapshot of the tumultuous first six years of the Church Missionary Society's mission …

Theory and Practice of Gearing and Transmissions In Honor of Professor Faydo…

This book brings together papers from all spheres of mechanical engineering related to gears and transmissions, from fundamentals to advanced applications, from academic results in numerical and experimental research, to new approaches to gear design and aspects of their optimization synthesis and to the latest developments in manufacturing. Furthermore, this volume honours the work of Faydor L…

Validation of Evolving Software

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.

Theory and Practice of Gearing and Transmissions In Honor of Professor Faydo…

This book brings together papers from all spheres of mechanical engineering related to gears and transmissions, from fundamentals to advanced applications, from academic results in numerical and experimental research, to new approaches to gear design and aspects of their optimization synthesis and to the latest developments in manufacturing. Furthermore, this volume honours the work of Faydor L…

Scholars in Exile: The Ukranian Intellectual World in Interwar Czechoslovakia

Throughout the 1920s and 30s Prague was the intellectual center of Ukrainian émigrés in Europe, not least because of significant financial support from the Czechoslovak government and its first president, Tomáš Garrigue Masaryk, for émigré students and intellectuals. On the basis of extensive archival research in Ottawa, Prague, and Kyiv, Zavorotna outlines the continuation of Ukrainian s…