Top Model Checking Courses - Learn Model Checking Online

Filter by

Subject
Required

Computer Science(556)

Data Science(532)

Business(477)

Information Technology(279)

Language
Required

The language used throughout the course, in both instruction and assessments.

English(1,970)

Spanish(1,051)

French(964)

Arabic(961)

Learning Product
Required

Guided Projects(180)

Build job-relevant skills in under 2 hours with hands-on tutorials.

Courses(1,655)

Learn from top instructors with graded assignments, videos, and discussion forums.

Projects(88)

Learn a new tool or skill in an interactive, hands-on environment.

Specializations(295)

Get in-depth knowledge of a subject by completing a series of courses and projects.

Professional Certificates(34)

Earn career credentials from industry leaders that demonstrate your expertise.

Degrees(8)

Earn your Bachelor’s or Master’s degree online for a fraction of the cost of in-person learning.

Level
Required

Beginner(982)

Intermediate(974)

Advanced(124)

Mixed(172)

Duration
Required

Less Than 2 Hours(268)

1-4 Weeks(851)

1-3 Months(831)

3-6 Months(302)

1-4 Years(8)

Skills
Required

Data Modeling(309)

Data Analysis(302)

Machine Learning(300)

Applied Machine Learning(283)

Subtitles
Required

English(2,079)

Spanish(1,100)

French(1,016)

Arabic(1,006)

Educator
Required

Coursera Project Network(178)

Google Cloud(176)

Packt(152)

University of Colorado Boulder(107)

Results for "model checking"

Packt
ArcGIS Desktop for Spatial Analysis: Go from Basic to Pro
Skills you'll gain: ArcGIS, GIS Software, Spatial Analysis, Spatial Data Analysis, Geographic Information Systems, Geospatial Mapping, Geospatial Information and Technology, Data Manipulation, Exploratory Data Analysis, Data Presentation, Data Visualization Software, Data Transformation, Data Access
Beginner · Course · 1 - 3 Months
Packt
Advanced Java Concepts and Collections
Skills you'll gain: Selenium (Software), JUnit, Test Automation, Software Testing, Browser Compatibility, Test Data, Test Case, HTML and CSS, Java Programming, Object Oriented Programming (OOP), Data Structures, Debugging
Intermediate · Course · 1 - 3 Months
Eindhoven University of Technology
Lightcap 1: Fundamentals of light's impact
Skills you'll gain: Radiology, Life Sciences, Mental Health, Medical Science and Research, Behavioral Health, Health Care, Science and Research, Anatomy, Research Methodologies
Mixed · Course · 1 - 3 Months
Packt
Blender Essentials for 3D Plant and Vegetation Modeling
Skills you'll gain: 3D Modeling, Computer Graphics, Virtual Reality, Visualization (Computer Graphics), Computer Graphic Techniques, Virtual Environment
Intermediate · Course · 1 - 3 Months
Packt
Fundamentals of Secure Software
Skills you'll gain: Open Web Application Security Project (OWASP), Application Security, Threat Modeling, Secure Coding, DevSecOps, Encryption, Security Engineering, Security Testing, Security Software, Cryptography, Threat Management, Cloud Security, Risk Management Framework, DevOps, Cyber Engineering, Cloud API, Vulnerability Scanning, Security Management, Data Security, Threat Detection
Intermediate · Course · 1 - 3 Months
SkillUp EdTech
Enterprise Data Architecture and Operations
Skills you'll gain: Extract, Transform, Load, Data Architecture, Data Modeling, Data Migration, Data Warehousing, Database Architecture and Administration, Emerging Technologies, Operational Databases, Information Technology Architecture, Data Processing, Data Storage, Data Management, Data Integration, Software Architecture, Data Transformation, Data Governance, Technology Strategies, Scalability
Intermediate · Course · 1 - 4 Weeks
Google Cloud
Build an AI Image Recognition app using Gemini on Vertex AI
Skills you'll gain: Google Cloud Platform, Cloud Applications, Application Development, Generative AI, Cloud API, Artificial Intelligence, Image Analysis, Natural Language Processing
Beginner · Project · Less Than 2 Hours
Google Cloud
Develop GenAI Apps with Gemini and Google Maps
Skills you'll gain: Scripting, Google Cloud Platform, Cloud API, Restful API, API Design, Development Environment, Test Case, Software Installation
Intermediate · Project · Less Than 2 Hours
Intel
Introduction to Learning Remotely
Skills you'll gain: Parent Communication, Student Engagement, Virtual Environment, Stress Management, Teaching, Lesson Planning, Remote Access Systems, Instructional Design, Organizational Skills, Mental Health, Communication, Collaboration, Adaptability, Emotional Intelligence
Beginner · Course · 1 - 4 Weeks
Status: Free
Google Cloud
Introduction to Vertex AI Studio - Bahasa Indonesia
Skills you'll gain: Generative AI, Prototyping, Google Cloud Platform, Usability, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML)
Beginner · Course · 1 - 4 Weeks
Status: Free
Coursera Project Network
MLOps in R: Deploying machine learning models using vetiver
Skills you'll gain: MLOps (Machine Learning Operations), Continuous Deployment, Application Deployment, Tidyverse (R Package), R Programming, Applied Machine Learning, Continuous Monitoring, Predictive Modeling, Hospital Admissions, Docker (Software), Application Programming Interface (API)
Intermediate · Guided Project · Less Than 2 Hours
Google Cloud
Assessing Data Quality with Dataplex
Skills you'll gain: Data Quality, Data Lakes, Data Governance, Data Validation, Google Cloud Platform, Big Data, Query Languages
Beginner · Project · Less Than 2 Hours