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

Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Paperback, 1st ed. 2020) Loot Price: R1,475
Discovery Miles 14 750
Repayment Terms: R138 pm x 12*
Add to cart
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3,...

Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Paperback, 1st ed. 2020)

Maurice H. ter Beek, Dejan Nickovic

Series: Lecture Notes in Computer Science, 12327

 (sign in to rate)
Loot Price R1,475 Discovery Miles 14 750 | Repayment Terms: R138 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 12327
Release date: September 2020
First published: 2020
Editors: Maurice H. ter Beek • Dejan Nickovic
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 289
Edition: 1st ed. 2020
ISBN-13: 978-3-03-058297-5
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Computer programming > Programming languages > General
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-058297-3
Barcode: 9783030582975

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