Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "model checking"
Skills you'll gain: PySpark, Apache Spark, Unsupervised Learning, Data Processing, Distributed Computing, Predictive Modeling, Big Data, Feature Engineering, Machine Learning, Machine Learning Algorithms, Supervised Learning, Regression Analysis
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Resilience, Crisis Intervention, Emergency Response, Emotional Intelligence, Mental Health, Compassion, Stress Management, Empathy, Psychology, Behavioral Health, Cultural Sensitivity, Communication
Skills you'll gain: 3D Modeling, Virtual Environment, Augmented and Virtual Reality (AR/VR), Visualization (Computer Graphics), Computer Graphics, Graphical Tools, File Management, Interactive Design, User Interface (UI), Simulations, Aesthetics, Color Theory, Design Elements And Principles
Skills you'll gain: Incident Response, Cybersecurity, Human Factors (Security), Security Awareness, Continuous Monitoring, Cyber Security Strategy, Cyber Governance, Crisis Management, Computer Security Awareness Training, Culture Transformation, Threat Management, Threat Detection, Organizational Change, Communication Planning, Employee Engagement
- Status: Free
Coursera Instructor Network
Skills you'll gain: Technical Management, Generative AI, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Applied Machine Learning, Natural Language Processing, Performance Tuning, Solution Design
Illinois Tech
Skills you'll gain: Database Management Systems, Database Design, Database Architecture and Administration, Databases, Database Application, Relational Databases, SQL, Data Modeling, Query Languages, Data Manipulation, Data Security
Skills you'll gain: Network Security, Ansible, Infrastructure Security, Network Administration, YAML, Cybersecurity, Wireless Networks, Network Infrastructure, Identity and Access Management, JSON, Extensible Markup Language (XML), Software-Defined Networking, Authorization (Computing), Data Modeling, Authentications, Automation, Application Programming Interface (API), Encryption
SkillUp EdTech
Skills you'll gain: Data Governance, Data Mining, Data Analysis, Data Management, Data-Driven Decision-Making, Statistical Analysis, Data Security, Data Transformation, Data Validation, Test Tools
Skills you'll gain: Agile Project Management, Agile Methodology, Sprint Retrospectives, Team Leadership, Employee Coaching, Team Building, Timelines, Sprint Planning, Continuous Improvement Process, CI/CD, Test Driven Development (TDD), Risk Management
University of Colorado System
Skills you'll gain: Matlab, Estimation, Engineering Calculations, Numerical Analysis, Performance Tuning, Mathematical Modeling, Simulation and Simulation Software, Differential Equations, Engineering Analysis, System Implementation, Probability Distribution
Skills you'll gain: Application Deployment, Image Analysis, Google Cloud Platform, Computer Vision, Anomaly Detection, Applied Machine Learning, MLOps (Machine Learning Operations), Predictive Analytics
- Status: Free
Coursera Project Network
Skills you'll gain: Artificial Intelligence, Text Mining, Generative AI, Natural Language Processing, Python Programming, Application Programming Interface (API), Semantic Web, Systems Integration, Analysis, Software Installation
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Machine Learning with PySpark: Edureka
- Primeros. Auxilios Psicológicos. DANA 2024. Afectados: Universitat Autònoma de Barcelona
- Blender 3 to Unreal Engine 5 — Dungeon Modular Kitbash: Packt
- The Cybersecurity Culture Blueprint: A Proactive Approach: LearnQuest
- Leveraging Llama2 for Advanced AI Solutions: Coursera Instructor Network
- Data Modeling and Applications: Illinois Tech
- Network Security, Automation, and Exam Preparation: Packt
- Practice Test for CompTIA Data+ Certification: SkillUp EdTech
- Advanced Agile Practices and Continuous Improvement: Packt
- Nonlinear Kalman Filters (and Parameter Estimation): University of Colorado System