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,514
Discovery Miles 25 140
Repayment Terms: R236 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,514 Discovery Miles 25 140 | Repayment Terms: R236 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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
Promotions
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..

Constructions at Work - The nature of generalization in language (Hardcover): Adele Goldberg
Constructions at Work - The nature of…
Adele Goldberg Hardcover R2,010 Discovery Miles 20 100
Stone Age Code - From Monkey Business to AI (Hardcover): Shane Neeley
Stone Age Code - From Monkey Business to…
Shane Neeley Hardcover R531 R496 Discovery Miles 4 960
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,213 Discovery Miles 12 130
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 R884 Discovery Miles 8 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 R919 Discovery Miles 9 190
Handbook of Research on Recent Developments in Intelligent Communication Application (Hardcover): Siddhartha Bhattacharyya,...
Handbook of Research on Recent…
Siddhartha Bhattacharyya, Nibaran Das, … Hardcover R9,028 Discovery Miles 90 280
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,368 Discovery Miles 53 680
Fit-For-Market Translator and Interpreter Training in a Digital Age (Hardcover): Rita Besznyak
Fit-For-Market Translator and…
Rita Besznyak Hardcover R1,645 Discovery Miles 16 450
Neural Networks for Natural Language Processing (Hardcover): Sumathi S., Janani M
Neural Networks for Natural Language…
Sumathi S., Janani M Hardcover R6,405 Discovery Miles 64 050
Eyetracking and Applied Linguistics (Hardcover): Silvia Hansen-Schirra, Sambor Grucza
Eyetracking and Applied Linguistics
Silvia Hansen-Schirra, Sambor Grucza Hardcover R835 Discovery Miles 8 350
Natural Interaction with Robots, Knowbots and Smartphones - Putting Spoken Dialog Systems into Practice (Hardcover, 2014 ed.):...
Natural Interaction with Robots…
Joseph Mariani, Sophie Rosset, … Hardcover R6,913 R6,484 Discovery Miles 64 840
Natural Language Processing with Python Quick Start Guide - Going from a Python developer to an effective Natural Language...
Natural Language Processing with Python…
Nirant Kasliwal Paperback R780 Discovery Miles 7 800

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