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
- -
- Series Title
- -
- Call Number
- -
VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE Internationa…
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …
- Edition
- -
- ISBN/ISSN
- 978-3-319-25279-7
- Collation
- -
- Series Title
- -
- Call Number
- -
VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE Intern…
This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul, Turkey, in October 2013. The 11 papers included in the book were carefully reviewed and selected from the 48 full papers presented at the conference. An extended version of a previously unpublished …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23799-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Russia-China Relations: Emerging Alliance or Eternal Rivals?
This open access book examines Russia-China relations across a variety of civilian and military areas of cooperation. Leading experts in the field present empirical case studies covering a wide range of strategic cooperation areas between Russia and China, such as technological, military, economic and political cooperation. The contributing authors shed new light on Chinese and Russian strategi…
- Edition
- Ed. 1
- ISBN/ISSN
- 9783030970123, 9783030970123
- Collation
- 315
- Series Title
- Global Power Shift
- Call Number
- 327 RUS r
Give peace a chance: on violence and warfare in prehistory and why it matters
How is it possible that people kill each other? And above all: how is it possible that people who are able to peacefully live with each other at one moment, can kill each other at another one? These are fundamental questions about the human condition – questions that religions, philosophers and scientists have been wanting to solve since times immemorial and that continue to fascinate us toda…
- Edition
- Ed. 1
- ISBN/ISSN
- 9789082948134
- Collation
- 65
- Series Title
- -
- Call Number
- 303.66 FAN g
From Empire to Republic: Post-World War I Austria
After the dissolution of the Austro-Hungarian Monarchy, Austria transformed itself from an empire to a small Central European country. Formerly an important player in international affairs, the new republic was quickly sidelined by the European concert of powers. The enormous losses of territory and population in Austria’s post-Habsburg state of existence, however, did not result in a politic…
- Edition
- -
- ISBN/ISSN
- 9781608010257
- Collation
- -
- Series Title
- -
- Call Number
- -
Proceedings of Fourth International Conference on Soft Computing for Problem …
* Menyajikan literatur yang kaya dan otentik di bidang kecerdasan komputasi, * Diskusi tentang berbagai aplikasi industri, teknik, dan ilmiah dari komputasi yang diilhami ilmuan, * Makalah yang diundang dari para penemu / pencetus teknik komputasi bagi pembaca untuk memahami konsep-konsep kunci. --> Teks yang disediakan membahas SocProS, yang merupakan singkatan dari ' Soft Computing for Proble…
- Edition
- 336
- ISBN/ISSN
- 978-81-322-2220-0
- Collation
- -
- Series Title
- Kemajuan dalam Sistem Cerdas dan Komputasi
- Call Number
- 005.3 DAS s
Proceedings of Fourth International Conference on Soft Computing for Problem …
* Menyajikan literatur yang kaya dan otentik di bidang kecerdasan komputasi, * Diskusi tentang berbagai aplikasi industri, teknik, dan ilmiah dari komputasi yang diilhami ilmuan, * Makalah yang diundang dari para penemu / pencetus teknik komputasi bagi pembaca untuk memahami konsep-konsep kunci. --> Teks yang disediakan membahas SocProS, yang merupakan singkatan dari ' Soft Computing for Proble…
- Edition
- 335
- ISBN/ISSN
- 978-81-322-2217-0
- Collation
- -
- Series Title
- Kemajuan dalam Sistem Cerdas dan Komputasi
- Call Number
- 005.3 DAS s
Proceedings of Fifth International Conference on Soft Computing for Problem S…
* Menyediakan konten yang kaya dan otentik, * literatur di bidang kecerdasan komputasi untuk membantu hal-hal baru, * Membahas temuan terbaru tentang berbagai aplikasi industri, teknik, dan ilmiah dari komputasi lunak, * Menyajikan makalah yang diundang dari para penemu / pencetus teknik komputasi. --> Merupakan suatu kebanggaan bahwa Rangkaian Konferensi Internasional Tahunan, yang disebut 'So…
- Edition
- 437
- ISBN/ISSN
- 978-981-10-0451-3
- Collation
- -
- Series Title
- Kemajuan dalam Sistem Cerdas dan Komputasi
- Call Number
- 005.3 PAN s
Proceedings of Fifth International Conference on Soft Computing for Problem S…
* Menyediakan konten yang kaya dan otentik, * literatur di bidang kecerdasan komputasi untuk membantu hal-hal baru, * Membahas temuan terbaru tentang berbagai aplikasi industri, teknik, dan ilmiah dari komputasi lunak, * Menyajikan makalah yang diundang dari para penemu / pencetus teknik komputasi. --> Merupakan suatu kebanggaan bahwa Rangkaian Konferensi Internasional Tahunan, yang disebut 'So…
- Edition
- 436
- ISBN/ISSN
- 978-981-10-0448-3
- Collation
- -
- Series Title
- Kemajuan dalam Sistem Cerdas dan Komputasi
- Call Number
- 005.3 PAN s
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography