Library Working Hours During Recess
Monday to Friday	09:00 AM - 07:00 PM
Saturday	09:00 AM - 05:00 PM
Sundays & Holidays	Closed

Patron Checkouts
Patrons	No. of Books Issued	Loan Period	Overdue Charges
Faculty	25	6 months	Nil
Students	10	2 Weeks	Re. 1 Per Book Per Day
Research Scholars	15	30 Days	Nil
Staff	5	30 Days	Nil

Normal view MARC view ISBD view

Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Dang Van Hung, Oleg Sokolsky.

Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings - Cham Springer 2020

ISBN: 9783030591526

Subjects--Topical Terms:
Artificial intelligence. Special purpose computers. Architecture, Computer. Natural language processing (Computer science). Data structures (Computer science). Artificial Intelligence. Special Purpose and Application-Based Systems. Computer System Implementation. Natural Language Processing (NLP). Data Structures and Information Theory.

Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)