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

Results for "quantitative model checking"


  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Natural Language Processing with Attention Models

    Skills you'll gain: Natural Language Processing, Transfer Learning, Recurrent Neural Networks (RNNs), PyTorch (Machine Learning Library), Applied Machine Learning, Keras (Neural Network Library), Embeddings, Model Evaluation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    1.1K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Machine Learning Foundations

    Skills you'll gain: Model Evaluation, Unsupervised Learning, Dimensionality Reduction, Data Preprocessing, Python Programming, Recurrent Neural Networks (RNNs), Reinforcement Learning

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Everyday Excel, Part 1

    Skills you'll gain: Microsoft Excel, Excel Formulas, Data Management, Data Visualization, Spreadsheet Software, Data Validation, Data Cleansing, Data Analysis Expressions (DAX), Data Integrity, Productivity Software, Problem Solving

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

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Analyze Business Data Using Advanced Power BI Techniques

    Skills you'll gain: Data Modeling, Analytical Skills, Analysis, Data Management, Business Reporting, Data Manipulation, Security Awareness

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Salesforce Data Architecture & Integration

    Skills you'll gain: Data Architecture, Salesforce, Salesforce Object Query Language (SOQL), Salesforce Development, Scalability, Data Integration, Data Migration, Data Quality, Database Design, Data Modeling, Web Services, Restful API, Application Programming Interface (API), Data Security, Governance, Simple Object Access Protocol (SOAP), Dashboard, Event Monitoring

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    G

    Google Cloud

    Implantação e escalonamento de modelos de IA com o Cloud Run

    Skills you'll gain: Model Deployment, Cloud Deployment, Google Cloud Platform, Serverless Computing, Generative AI, Application Deployment, Containerization, Machine Learning Methods, Performance Tuning, Scalability

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Design and Build Custom Neural Networks

    Skills you'll gain: Network Architecture, Artificial Neural Networks, Network Planning And Design, Performance Testing, Deep Learning

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Master Sqoop for Data Transfer in Hadoop Ecosystems

    Skills you'll gain: Apache Hadoop, Apache Hive, Extract, Transform, Load, Data Pipelines, Data Import/Export, Data Migration, Data Integration, MySQL, SQL, Relational Databases, Data Processing, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Plan and Score Content

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Financial Forecasts: Learn from Errors

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Getting started with Google Workspace

    Skills you'll gain: Google Docs, Gmail, Google Sheets, Google Workspace, Presentations, Calendar Management, Spreadsheet Software, File Management, Excel Formulas, Email Security, Collaborative Software, Data Visualization, Data Validation, Document Management, Setting Appointments, Meeting Facilitation, Sales Presentations, Data Analysis Expressions (DAX), Productivity Software, Version Control

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

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Financial Analyst: AI, Excel, and Power BI Skills

    Skills you'll gain: Financial Modeling, Financial Forecasting, Financial Statement Analysis, Risk Modeling, Capital Budgeting, Risk Management, Financial Auditing, Data Cleansing, Financial Data, Portfolio Risk, Financial Analysis, Data Storytelling, Descriptive Statistics, Risk Analysis, Budgeting, Credit Risk, Predictive Modeling, Power BI, Microsoft Excel, Data Visualization

    Intermediate · Professional Certificate · 3 - 6 Months

1…484950…403

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

  • Natural Language Processing with Attention Models: DeepLearning.AI
  • Machine Learning Foundations: Packt
  • Everyday Excel, Part 1: University of Colorado Boulder
  • Analyze Business Data Using Advanced Power BI Techniques: EDUCBA
  • Salesforce Data Architecture & Integration: Coursera
  • Implantação e escalonamento de modelos de IA com o Cloud Run: Google Cloud
  • Design and Build Custom Neural Networks: Coursera
  • Master Sqoop for Data Transfer in Hadoop Ecosystems: EDUCBA
  • Plan and Score Content: Coursera
  • Financial Forecasts: Learn from Errors: 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