Filter by
Tools and Algorithms for the Construction and Analysis of Systems; 29th Inter…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume i…
- Edition
- -
- ISBN/ISSN
- 978-3-031-30823-9
- Collation
- 1 online resource (XXIII, 708 Pages)
- Series Title
- -
- Call Number
- 005.1 SAN t
Tools and Algorithms for the Construction and Analysis of Systems; 29th Inter…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume i…
- Edition
- -
- ISBN/ISSN
- 978-3-031-30820-8
- Collation
- 1 online resource (XXIV, 604 Pages)
- Series Title
- -
- Call Number
- 005.1 SAN t
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…
- Edition
- 1
- ISBN/ISSN
- 9783031308239
- Collation
- XXIII, 708
- Series Title
- -
- Call Number
- -
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…
- Edition
- 1
- ISBN/ISSN
- 9783031308208
- Collation
- XXIV, 604
- Series Title
- -
- Call Number
- -
Cooperative Radio Communications for Green Smart Environments
Front Cover ; Half Title Page ; River Publishers Series In Communications ; Title Page -- Cooperative Radio Communications For Green Smart Environments ; Copyright Page ; Contents ; Preface ; Acknowledgments ; List Of Contributors ; List Of Figures ; List Of Tables ;
- Edition
- -
- ISBN/ISSN
- 9781003337720
- 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
- Edition
- -
- ISBN/ISSN
- 978-3-319-10623-6
- Collation
- -
- Series Title
- -
- Call Number
- -
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…
- Edition
- -
- ISBN/ISSN
- 9781849649032
- Collation
- -
- Series Title
- -
- Call Number
- -
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 …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
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 …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- 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
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography