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"
IE Business School
Skills you'll gain: Product Lifecycle Management, Marketing Communications, Integrated Marketing Communications, Advertising, Marketing, Brand Strategy, Strategic Decision-Making, Brand Management, Marketing Planning, Branding, Price Negotiation, Marketing Strategies, Retail Management, Data-Driven Decision-Making, Marketing Channel, Product Strategy, Revenue Management, Market Dynamics, Merchandising, Conflict Management
Johns Hopkins University
Skills you'll gain: Regression Analysis, Statistical Analysis, Statistical Modeling, Correlation Analysis, Data Analysis, Statistical Methods, Predictive Modeling, Probability & Statistics, Statistical Inference, Statistical Hypothesis Testing
DeepLearning.AI
Skills you'll gain: Generative AI, Tensorflow, Computer Vision, Image Analysis, Deep Learning, Keras (Neural Network Library), Artificial Neural Networks, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Methods, Distributed Computing, Unsupervised Learning, Network Model, Scalability, Visualization (Computer Graphics), Network Architecture, Performance Tuning, Machine Learning
University of Michigan
Skills you'll gain: Network Analysis, Network Model, Graph Theory, Data Analysis, Predictive Analytics, Exploratory Data Analysis, Applied Machine Learning, Unsupervised Learning
IESE Business School
Skills you'll gain: Financial Statement Analysis, Financial Statements, Income Statement, Corporate Finance, Accounting, Finance, Cash Flows, Operational Analysis, Financial Accounting, Capital Budgeting, Financial Forecasting, Financial Modeling, Financial Reporting, Financial Analysis, Balance Sheet, Financial Management, Generally Accepted Accounting Principles (GAAP), Financial Market, Business Valuation, Equities
University of California San Diego
Skills you'll gain: Big Data, Apache Hadoop, Scalability, Data Processing, Data Science, Distributed Computing, Unstructured Data, Data Analysis, Data Storage
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Automation, Theoretical Computer Science, Systems Analysis, System Requirements, Simulations, Algorithms, Safety and Security
University of Michigan
Skills you'll gain: Django (Web Framework), HTML and CSS, Model View Controller, Hypertext Markup Language (HTML), Application Deployment, Web Applications, Back-End Web Development, Web Servers, SQL, Databases, Network Protocols, Python Programming
University of California, Santa Cruz
Skills you'll gain: Time Series Analysis and Forecasting, Bayesian Statistics, R Programming, Forecasting, Statistical Inference, Statistical Modeling, Technical Communication, Data Analysis, Probability, Statistical Machine Learning, Statistical Methods, Statistical Analysis, Advanced Analytics, Microsoft Excel, Markov Model, Probability Distribution, Probability & Statistics, Unsupervised Learning, Regression Analysis, Predictive Modeling
DeepLearning.AI
Skills you'll gain: Tensorflow, Keras (Neural Network Library), Computer Vision, Image Analysis, Applied Machine Learning, Deep Learning, Artificial Neural Networks, Machine Learning, Supervised Learning, Data Processing, Data Transformation
- Status: Free
The University of Melbourne
Skills you'll gain: Debugging, Mathematical Modeling, Operations Research, Combinatorics, Graph Theory, Algorithms, Data Structures
University of Illinois Urbana-Champaign
Skills you'll gain: Management Accounting, Operations Management, Marketing, Process Improvement, Marketing Management, Organizational Strategy, Performance Measurement, Marketing Planning, Supply Chain Management, Product Strategy, Operational Analysis, Business Operations, Cost Accounting, Supply Chain Planning, Integrated Marketing Communications, Strategic Marketing, Marketing Strategy and Techniques, Variance Analysis, Statistical Process Controls, Accounting Systems
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Marketing Mix Implementation:Â IE Business School
- Regression Models:Â Johns Hopkins University
- TensorFlow: Advanced Techniques:Â DeepLearning.AI
- Applied Social Network Analysis in Python:Â University of Michigan
- Think like a CFO:Â IESE Business School
- Introduction to Big Data:Â University of California San Diego
- Verification and Synthesis of Autonomous Systems:Â University of Colorado Boulder
- Web Application Technologies and Django:Â University of Michigan
- Bayesian Statistics:Â University of California, Santa Cruz
- Convolutional Neural Networks in TensorFlow:Â DeepLearning.AI