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"
Universidad de los Andes
Skills you'll gain: Scope Management, Project Scoping, Feasibility Studies, Work Breakdown Structure, Requirements Management, Cost Estimation, Project Management, Cost Management, Estimation, Project Management Life Cycle, Project Portfolio Management, Project Schedules, Project Planning, Strategic Planning, Timelines, Crisis Management, Project Controls, Earned Value Management, Problem Management, Project Documentation
Johns Hopkins University
Skills you'll gain: Algebra, Arithmetic, Mathematical Modeling, Graphing, Probability & Statistics, Calculus
University of Colorado Boulder
Skills you'll gain: Vibrations, Mechanics, Torque (Physics), Linear Algebra, Numerical Analysis, Engineering Calculations, Simulations, Engineering Analysis, Mechanical Engineering, Trigonometry, Physics, Mathematical Modeling, Visualization (Computer Graphics), Differential Equations, Simulation and Simulation Software, 3D Modeling, Structural Analysis, Applied Mathematics, Advanced Mathematics, Systems Of Measurement
University of Washington
Skills you'll gain: Classification And Regression Tree (CART), Applied Machine Learning, Supervised Learning, Predictive Modeling, Text Mining, Machine Learning Algorithms, Feature Engineering, Data Cleansing, Scalability, Machine Learning, Natural Language Processing, Regression Analysis, Real Time Data, Probability & Statistics, Algorithms
University of Illinois Urbana-Champaign
Skills you'll gain: Machine Learning Algorithms, Jupyter, Tableau Software, Matplotlib, Data Visualization Software, Unsupervised Learning, Data Visualization, Pandas (Python Package), Scikit Learn (Machine Learning Library), Data Manipulation, Machine Learning, Excel Macros, Text Mining, Applied Machine Learning, Time Series Analysis and Forecasting, Data Processing, Statistical Visualization, Analytics, Accounting and Finance Software, Analytical Skills
Skills you'll gain: Database Design, MySQL, IBM DB2, Relational Databases, Databases, Database Management, PostgreSQL, Database Architecture and Administration, SQL, Data Integrity, Data Modeling, Data Manipulation, Data Structures
Skills you'll gain: Supervised Learning, Applied Machine Learning, Regression Analysis, Machine Learning, Predictive Modeling, Classification And Regression Tree (CART), Statistical Modeling, Scikit Learn (Machine Learning Library), Dimensionality Reduction, Feature Engineering, Data Processing, Pandas (Python Package), Data Manipulation, Performance Metric
Skills you'll gain: Power BI, Data Visualization Software, Data Storytelling, Data Modeling, Data Analysis, Business Intelligence, Microsoft Azure, Data Transformation, Data Cleansing, Data Management, Generative AI
Duke University
Skills you'll gain: Financial Modeling, Entrepreneurial Finance, Business Valuation, Excel Formulas, Due Diligence, Investments, Private Equity, Securities (Finance), Entrepreneurship, Cash Flows, Risk Analysis
University at Buffalo
Skills you'll gain: Blockchain, Program Development, Secure Coding, Software Development, Development Environment, Web Development Tools, Software Design, Solution Design, Data Validation
- Status: Free
University of Toronto
Skills you'll gain: Mental Health, Psychiatry, Socioeconomics, Social Sciences, Community and Social Work, Cultural Diversity, Sociology, Psychology, Cultural Sensitivity, Caregiving
DeepLearning.AI
Skills you'll gain: Image Analysis, Tensorflow, Computer Vision, JSON, Applied Machine Learning, Javascript, Artificial Neural Networks, Deep Learning, Data Processing, Real Time Data, Web Applications, Machine Learning
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Programa Especializado en Gerencia de Proyectos Complejos:Â Universidad de los Andes
- Algebra: Elementary to Advanced - Equations & Inequalities:Â Johns Hopkins University
- Spacecraft Dynamics and Control:Â University of Colorado Boulder
- Machine Learning: Classification:Â University of Washington
- Accounting Data Analytics:Â University of Illinois Urbana-Champaign
- Introduction to Relational Databases (RDBMS):Â IBM
- Supervised Machine Learning: Regression:Â IBM
- Microsoft PL-300 Exam Preparation and Practice:Â Microsoft
- Startup Valuation Methods:Â Duke University
- Smart Contracts:Â University at Buffalo