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"
University of Michigan
Skills you'll gain: Unified Modeling Language, JSON, Object Oriented Programming (OOP), Software Design, Debugging, Object Oriented Design, Data Processing, Unit Testing, Data Import/Export, Restful API, Python Programming, Image Analysis, Data Manipulation, Jupyter, Data Structures, Software Engineering, Application Programming Interface (API), Computer Programming, File Management, Functional Design
University of California San Diego
Skills you'll gain: Data Structures, Graph Theory, Algorithms, Network Routing, Debugging, Network Model, Bioinformatics, Advanced Mathematics, Operations Research, Data Storage, Development Testing, Software Testing, Theoretical Computer Science, Computational Thinking, Network Analysis, Programming Principles, Computer Programming, Epidemiology, C++ (Programming Language), Infectious Diseases
University of Pennsylvania
Skills you'll gain: Risk Modeling, Financial Statements, Probability Distribution, Mathematical Modeling, Statistical Modeling, Portfolio Management, Regression Analysis, Business Modeling, Financial Modeling, Risk Management, Quantitative Research, Presentations, Decision Making, Data Visualization, Microsoft PowerPoint, Predictive Modeling, Investment Management, Spreadsheet Software, Google Sheets, Excel Formulas
Columbia University
Skills you'll gain: Project Schedules, Construction Management, Construction Estimating, Project Finance, Cost Estimation, Project Risk Management, Bidding, Building Information Modeling, Scheduling, Cost Control, Environment Health And Safety, Risk Management, Project Closure, Lean Methodologies, Project Controls, Real Estate, Cash Flows, Business Transformation, Innovation, Architecture and Construction
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Machine Learning Algorithms, Deep Learning, Systems Development, Simulations, Solution Architecture, Feature Engineering, Markov Model, Supervised Learning, Artificial Neural Networks, Applied Machine Learning, Performance Testing, Algorithms, Statistical Methods, Pseudocode, Linear Algebra
- Status: Free
Yale University
Skills you'll gain: Positive Behavior Support, Goal Setting, Resilience, Self-Awareness, Behavioral Economics, Emotional Intelligence, Mental Health, Psychology, Social Skills, Time Management
Macquarie University
Skills you'll gain: Microsoft Excel, Dashboard, Excel Formulas, Spreadsheet Software, Data Visualization, Excel Macros, Data Validation, Data Analysis Expressions (DAX), Data Cleansing, Data Modeling, Business Intelligence, Predictive Modeling, Financial Modeling, Data Management, Microsoft 365, Consolidation, Data Integrity, Data Entry, Business Reporting, Productivity Software
University of Pennsylvania
Skills you'll gain: Mathematical Modeling, Statistical Modeling, Regression Analysis, Business Modeling, Financial Modeling, Business Mathematics, Predictive Modeling, Probability, Operations Research, Business Process Modeling, Business Risk Management, Statistical Analysis, Probability Distribution, Simulation and Simulation Software
DeepLearning.AI
Skills you'll gain: Generative AI, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Artificial Intelligence, Applied Machine Learning, Scalability, Natural Language Processing, Machine Learning Methods, Application Deployment, Reinforcement Learning, User Feedback, Performance Tuning, Application Performance Management
University of Michigan
Skills you'll gain: Hypertext Markup Language (HTML), Web Design, Web Content Accessibility Guidelines, Usability, Web Development, Semantic Web, Cloud Hosting, Web Servers, Data Validation
Skills you'll gain: Data Storytelling, Requirements Elicitation, Business Process Modeling, Business Analysis, Data Presentation, Process Analysis, Resource Allocation, Data Visualization, Interactive Data Visualization, Stakeholder Management, Process Optimization, Business Requirements, Requirements Management, Data Modeling, Risk Analysis, Requirements Analysis, Excel Formulas, Microsoft Excel, Data Cleansing, Analysis
Skills you'll gain: MySQL, Database Design, Version Control, Database Management Systems, MySQL Workbench, Extract, Transform, Load, Stored Procedure, Data Modeling, Data Structures, SQL, Database Theory, Unix Commands, Relational Databases, Databases, Git (Version Control System), Object Oriented Programming (OOP), Database Management, Database Development, Unit Testing, Algorithms
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Python 3 Programming:Â University of Michigan
- Data Structures and Algorithms:Â University of California San Diego
- Business and Financial Modeling:Â University of Pennsylvania
- Construction Management:Â Columbia University
- Reinforcement Learning:Â University of Alberta
- The Science of Well-Being:Â Yale University
- Excel Skills for Business:Â Macquarie University
- Fundamentals of Quantitative Modeling:Â University of Pennsylvania
- Generative AI with Large Language Models:Â DeepLearning.AI
- Introduction to HTML5:Â University of Michigan