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

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Natural language & machine translation

Buy Now

Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Paperback, 1st ed. 2021) Loot Price: R2,644
Discovery Miles 26 440
Repayment Terms: R248 pm x 12*
Add to cart
Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark,...

Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Paperback, 1st ed. 2021)

Fritz Henglein, Sharon Shoham, Yakir Vizel

Series: Lecture Notes in Computer Science, 12597

 (sign in to rate)
Loot Price R2,644 Discovery Miles 26 440 | Repayment Terms: R248 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event due to the COVID-19 pandemic. The 23 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. The papers presented in this volume were organized in the following topical sections: hyperproperties and infinite-state systems; concurrent and distributed systems; checking; synthesis and repair; applications; and decision procedures.

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 12597
Release date: 2021
First published: 2021
Editors: Fritz Henglein • Sharon Shoham • Yakir Vizel
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 604
Edition: 1st ed. 2021
ISBN-13: 978-3-03-067066-5
Categories: Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
Books > Computing & IT > Applications of computing > Artificial intelligence > Natural language & machine translation
LSN: 3-03-067066-X
Barcode: 9783030670665

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Stone Age Code - From Monkey Business to AI (Hardcover): Shane Neeley
Stone Age Code - From Monkey Business to…
Shane Neeley Hardcover R577 R486 Discovery Miles 4 860
The Business Case for AI - A Leader's Guide to AI Strategies, Best Practices & Real-World Applications (Hardcover): Kavita...
The Business Case for AI - A Leader's…
Kavita Ganesan Hardcover R998 R824 Discovery Miles 8 240
AI Art - Poetry - A Style Transfer Photo Anthology with Poems by (human & non-human) Poets (Hardcover): Shane Neeley
AI Art - Poetry - A Style Transfer Photo…
Shane Neeley Hardcover R1,264 Discovery Miles 12 640
Foundation Models for Natural Language Processing - Pre-trained Language Models Integrating Media (Hardcover, 1st ed. 2023):...
Foundation Models for Natural Language…
Gerhard PaaƟ, Sven Giesselbach Hardcover R1,325 R861 Discovery Miles 8 610
Python Programming for Computations - Python For Everyone (Hardcover): Computer Language
Python Programming for Computations…
Computer Language Hardcover R1,216 R984 Discovery Miles 9 840
Annotation, Exploitation and Evaluation of Parallel Corpora - Tc3 1 (Hardcover): Silvia Hansen-Schirra, Sambor Grucza
Annotation, Exploitation and Evaluation…
Silvia Hansen-Schirra, Sambor Grucza Hardcover R951 Discovery Miles 9 510
Fit-For-Market Translator and Interpreter Training in a Digital Age (Hardcover): Rita Besznyak
Fit-For-Market Translator and…
Rita Besznyak Hardcover R1,721 Discovery Miles 17 210
Handbook of Research on Recent Developments in Intelligent Communication Application (Hardcover): Siddhartha Bhattacharyya,...
Handbook of Research on Recent…
Siddhartha Bhattacharyya, Nibaran Das, … Hardcover R9,426 Discovery Miles 94 260
Modern Computational Models of Semantic Discovery in Natural Language (Hardcover): Jan Ika, Frantii?1/2ek Da?Ena
Modern Computational Models of Semantic…
Jan Ika, Frantii?1/2ek Da?Ena Hardcover R5,630 Discovery Miles 56 300
Neural Networks for Natural Language Processing (Hardcover): Sumathi S., Janani M
Neural Networks for Natural Language…
Sumathi S., Janani M Hardcover R6,765 Discovery Miles 67 650
Human Information Processing in Speech Quality Assessment (Hardcover, 1st ed. 2022): Stefan Uhrig
Human Information Processing in Speech…
Stefan Uhrig Hardcover R2,496 Discovery Miles 24 960
Natural Language Processing in Artificial Intelligence-NLPinAI 2020 (Hardcover, 1st ed. 2021): Roussanka Loukanova
Natural Language Processing in…
Roussanka Loukanova Hardcover R4,967 Discovery Miles 49 670

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners