Loot.co.za: Shop online in South Africa for Books, DVDs, CDs, games, electronics, computers, office, stationery, toys, and much more

Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Showing 1 - 6 of 6 matches in All Departments

Organic Photovoltaics and Related Electronics - From Excitons to Devices: Volume 1270 (Hardcover, New)

Venkat Bommisetty, Sean E. Shaheen, Niyazi Serdar Sariciftci, K. S. Narayan, Gary Rumbles, …

R3,572 Discovery Miles 35 720

Add to cart

Ships in 10 - 15 working days

The MRS Symposium Proceeding series is an internationally recognised reference suitable for researchers and practitioners.

Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Paperback, 1st ed. 2017)

Deepak D'Souza, K. Narayan Kumar

R3,066 Discovery Miles 30 660

Add to cart

Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.