• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Quantitative Model Checking

Results for "quantitative model checking"


  • E

    EDUCBA

    Build and Deploy Chatbots Using Dialogflow

    Skills you'll gain: Context Management, Artificial Intelligence, Performance Testing, Natural Language Processing, Integration Testing, Web Services, Business Logic, Data Validation, System Configuration

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Toronto

    GIS Data Acquisition and Map Design

    Skills you'll gain: Geographic Information Systems, Geospatial Mapping, Data Mapping, Spatial Data Analysis, Data Visualization, Metadata Management, Quantitative Research, Spatial Analysis, Typography, Data Manipulation, Data Modeling, Design Elements And Principles, Data Import/Export

    4.9
    Rating, 4.9 out of 5 stars
    ·
    726 reviews

    Beginner · Course · 1 - 3 Months

  • E

    EDUCBA

    Analyze and Automate Pivot Table Problem Solutions

    Skills you'll gain: Business Reporting, Project Documentation, Issue Tracking, Data Presentation, Data Validation, Data Visualization Software

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Geospatial Foundations & Python Tooling

    Skills you'll gain: Spatial Data Analysis, Geographic Information Systems, GIS Software, Geospatial Information and Technology, Spatial Analysis, Geospatial Mapping, Data Validation, Metadata Management, Geostatistics, Technical Documentation, Query Languages, SQL, Data Import/Export, Global Positioning Systems, Graphic and Visual Design, Data Quality, PostgreSQL, Data Wrangling, Data Mapping, Python Programming

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Crunch Vectors with GeoPandas

    Skills you'll gain: Spatial Data Analysis, Spatial Analysis, Geographic Information Systems, Geospatial Mapping, Data Validation, Geospatial Information and Technology, Geostatistics, Data Wrangling, Geometric Dimensioning And Tolerancing

    Beginner · Course · 1 - 4 Weeks

  • M

    Microsoft

    Data Analytics and Machine Learning for Big Data

    Skills you'll gain: Apache Spark, MLOps (Machine Learning Operations), Large Language Modeling, Keras (Neural Network Library)

    Intermediate · Course · 1 - 3 Months

  • K

    KodeKloud

    Data Engineering Essentials

    Skills you'll gain: MLOps (Machine Learning Operations), Apache Kafka, Apache Airflow, Apache Spark, Extract, Transform, Load, Data Lakes, Data Pipelines, Distributed Computing, Real Time Data, DevOps, Big Data, Data Preprocessing, Feature Engineering, Model Deployment, CI/CD, Pandas (Python Package), Data Transformation

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Illinois Urbana-Champaign

    3D Printing and Additive Manufacturing

    Skills you'll gain: 3D Modeling, Design Thinking, Autodesk, Design Software, 3D Assets, Creative Thinking, Intellectual Property, Conceptual Design, Hardware Troubleshooting, Computer-Aided Design, Visualization (Computer Graphics), Product Design, Computer Hardware, Innovation, Solution Design, Manufacturing Processes, Computer Graphics, Prototyping, Emerging Technologies, Business Transformation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    2.5K reviews

    Beginner · Specialization · 3 - 6 Months

  • A

    Alex Genadinik

    Active Listening For Professionals

    Skills you'll gain: Active Listening, Social Skills, Emotional Intelligence, Professional Development, Rapport Building, Interpersonal Communications, Personal Development, Empathy, Relationship Building, Constructive Feedback, Communication, Non-Verbal Communication

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Design Scalable AI Systems and Components

    Skills you'll gain: Systems Design, Architectural Drawing, Artificial Intelligence and Machine Learning (AI/ML), Design Specifications

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Alberta

    Design Patterns

    Skills you'll gain: Model View Controller, Software Design Patterns, Software Design, Unified Modeling Language, Object Oriented Design, Code Review, Software Architecture, Programming Principles, Maintainability, Java, Application Design

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.4K reviews

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    KI-Modelle mit Cloud Run bereitstellen und skalieren

    Skills you'll gain: Cloud Deployment, Model Deployment, Serverless Computing, Google Cloud Platform, Generative AI, Containerization, Artificial Intelligence, Cloud Storage, Performance Tuning

    Beginner · Course · 1 - 4 Weeks

1…545556…393

In summary, here are 10 of our most popular quantitative model checking courses

  • Build and Deploy Chatbots Using Dialogflow: EDUCBA
  • GIS Data Acquisition and Map Design: University of Toronto
  • Analyze and Automate Pivot Table Problem Solutions: EDUCBA
  • Geospatial Foundations & Python Tooling: Coursera
  • Crunch Vectors with GeoPandas: Coursera
  • Data Analytics and Machine Learning for Big Data: Microsoft
  • Data Engineering Essentials: KodeKloud
  • 3D Printing and Additive Manufacturing: University of Illinois Urbana-Champaign
  • Active Listening For Professionals: Alex Genadinik
  • Design Scalable AI Systems and Components: Coursera

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok