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
- -
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
Tactical Publishing: Using Senses, Software, and Archives in the Twenty-First…
How to level up to the next transformative phase of publishing—with a critical methodology that transcends the dichotomy of paper and digital media production. Publishing is experiencing one of the most transformative phases in its history. In Tactical Publishing, a sequel to Post-Digital Print, Alessandro Ludovico explores the forces driving this historical phase, highlighting the tremend…
- Edition
- -
- ISBN/ISSN
- 9780262375016
- Collation
- -
- Series Title
- -
- Call Number
- 004 LUD t
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following t…
- Edition
- Ed. 1
- ISBN/ISSN
- 9783031131882, 9783031131882
- Collation
- 549
- Series Title
- Lecture Notes in Computer Science, 13372
- Call Number
- 006.3 COM c
Scaling a Software Business: The Digitalization Journey
software development; process management; collaboration; software-driven innovation
- Edition
- -
- ISBN/ISSN
- 9783319531168
- Collation
- -
- Series Title
- -
- Call Number
- -
Unifying Theories of Programming 5th International Symposium, UTP 2014, Sing…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14806-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Understanding Network Hacks Attack and Defense with Python
This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively protect against them. Through Python code samples the reader learns to code tools on subjects such as password sniffing, ARP poisoning, DNS spoofing, SQL injection, Google harvesting and Wifi hacking. Furthermore the reader will be introduced to defense methods such as…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44437-5
- 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