Filter by
Verification, Model Checking, and Abstract Interpretation 16th International…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Vector Generalized Linear and Additive Models With an Implementation in R
This book presents a greatly enlarged statistical framework compared to generalized linear models (GLMs) with which to approach regression modelling. Comprising of about half-a-dozen major classes of statistical models, and fortified with necessary infrastructure to make the models more fully operable, the framework allows analyses based on many semi-traditional applied statistics models to be …
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2818-7
- 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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography