Algopix Logo
Low Inventory

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Programming and Software Engineering Book 12302)

See customer reviews
Best offer in the last 28 days!Golden Dollar
Marketplace
Price
Low Inventory

Attributes

Release Date
Oct 12, 2020
Authors
Dang Van Hung, Oleg Sokolsky
Contributors
[object Object], [object Object]
Edition
1st ed. 2020
Formats
Kindle eBook
Label
Springer
Content Languages
[object Object]
Number Of Pages
960
Publication Date
2020-10-12
Publisher
Springer
Studio
Springer
Lang
en-US

Product Identifiers

AIDAlgopix unique identifier
AIDUFUA66001
Copied!
ASIN
Upgrade Account
EAN
Upgrade Account
UPC
Upgrade Account

Similar Items

Algopix Similar Product 1 - The Myths of Security What the

The Myths of Security: What the Computer Security Industry Doesn't Want You to Know

Algopix Similar Product 2 - The Future of the Professions How

The Future of the Professions: How Technology Will Transform the Work of Human Experts

Algopix Similar Product 3 - Interactive Storytelling First Joint

Interactive Storytelling: First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008, ... (Lecture Notes in Computer Science (5334))

Algopix Similar Product 4 - Enhanced Building Information Models

Enhanced Building Information Models: Using IoT Services and Integration Patterns (SpringerBriefs in Computer Science)

Algopix Similar Product 5 - Blockchain Basics A NonTechnical

Blockchain Basics: A Non-Technical Introduction in 25 Steps

Algopix Similar Product 6 - Future You Essential Future

Future You: Essential Future Technologies You Need To Know To Survive The Digital Era

Algopix Similar Product 7 - Python for Beginners Master Data

Python for Beginners: Master Data Science, Artificial Intelligence and Machine Learning with this Smart Python Programming Language Guide (Learn Python ... data analysis and machine learning)

Algopix Similar Product 8 - Swarm Intelligence The Morgan Kaufmann

Swarm Intelligence (The Morgan Kaufmann Series in Evolutionary Computation)

Algopix Similar Product 9 - OCAOCP Oracle Database 12c AllinOne

OCA/OCP Oracle Database 12c All-in-One Exam Guide (Exams 1Z0-061, 1Z0-062, & 1Z0-063)

Algopix Similar Product 10 - Internet of Things Information

Internet of Things. Information Processing in an Increasingly Connected World: First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at ... and Communication Technology (548))

Algopix Similar Product 11 - Artificial Intelligence and Intelligent

Artificial Intelligence and Intelligent Systems

Algopix Similar Product 12 - Decoding the Universe How the New

Decoding the Universe: How the New Science of Information Is Explaining Everything in the Cosmos, from Our Brains to Black Holes

Algopix Similar Product 13 - Algebraic Methodology and Software

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science (6486))

Algopix Similar Product 14 - The Hundred-Page Machine Learning Book

The Hundred-Page Machine Learning Book

Algopix Similar Product 15 - RealTime Systems Design Principles

Real-Time Systems: Design Principles for Distributed Embedded Applications (Real-Time Systems Series)

Algopix Similar Product 16 - Information Technology in Disaster Risk

Information Technology in Disaster Risk Reduction: 4th IFIP TC 5 DCITDRR International Conference, ITDRR 2019, Kyiv, Ukraine, October 9–10, 2019, ... and Communication Technology (575))

Algopix Similar Product 17 - Decode and Conquer Answers to Product

Decode and Conquer: Answers to Product Management Interviews

Algopix Similar Product 18 - Machine Learning with Spark and Python

Machine Learning with Spark and Python: Essential Techniques for Predictive Analytics

Algopix Similar Product 19 - Genetic Algorithms in Java Basics

Genetic Algorithms in Java Basics

Algopix Similar Product 20 - CyberParks The Interface Between

CyberParks – The Interface Between People, Places and Technology: New Approaches and Perspectives (Lecture Notes in Computer Science (11380))

As an affiliate partner with eBay, Amazon, and Walmart, we earn from qualifying purchases. This means that we may receive a commission when you purchase products through links on our site. This does not affect the price you pay and helps us continue to provide valuable content. We appreciate your support.