Filter by
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.
- Edition
- -
- ISBN/ISSN
- 978-3-319-10623-6
- Collation
- VIII, 220
- Series Title
- -
- Call Number
- -
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…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19740-1
- Collation
- IX, 450
- Series Title
- -
- Call Number
- -
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…
- Edition
- -
- ISBN/ISSN
- 9781487531577
- Collation
- -
- Series Title
- -
- Call Number
- 300
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography