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 Minnesota
Skills you'll gain: Software Design Patterns, Software Engineering, Application Security, Object Oriented Design, Software Architecture, Software Quality (SQA/SQC), Threat Modeling, Maintainability, Code Review, Quality Assurance, Continuous Integration, CI/CD, Software Technical Review, Test Driven Development (TDD), Software Development Tools, Software Documentation, Version Control
Skills you'll gain: Keras (Neural Network Library), Deep Learning, Unsupervised Learning, Artificial Neural Networks, PyTorch (Machine Learning Library), Artificial Intelligence and Machine Learning (AI/ML), Tensorflow, Computer Vision, Natural Language Processing
University of Colorado Boulder
Skills you'll gain: Power Electronics, Electronic Systems, Electrical Engineering, Basic Electrical Systems, Electrical and Computer Engineering, Simulations, Mathematical Modeling, Engineering Analysis
University of Virginia
Skills you'll gain: Entrepreneurship, Philanthropy, Corporate Sustainability, Stakeholder Engagement, Business Ethics, Stakeholder Management, Environmental Social And Corporate Governance (ESG), Environmental Issue, Business Modeling, Business Strategy, Business, Business Transformation, Profit and Loss (P&L) Management, Company, Product, and Service Knowledge, Employee Engagement, Value Propositions
Multiple educators
Skills you'll gain: Tensorflow, Keras (Neural Network Library), Machine Learning, Google Cloud Platform, Machine Learning Algorithms, Applied Machine Learning, Financial Trading, Reinforcement Learning, Supervised Learning, Data Pipelines, Time Series Analysis and Forecasting, Statistical Machine Learning, Technical Analysis, Deep Learning, Portfolio Management, Securities Trading, Artificial Intelligence and Machine Learning (AI/ML), Market Data, Financial Market, Artificial Neural Networks
- Status: Free
The George Washington University
Skills you'll gain: Patient Safety, Health Care Administration, Continuous Quality Improvement (CQI), Safety Training, Health Systems, Health Care, Leadership, Medical Science and Research, Systems Thinking, Collaboration, Change Management, Systems Of Measurement, Problem Solving, Communication
Columbia University
Skills you'll gain: Financial Market, Securities (Finance), Derivatives, Mathematical Modeling, Applied Mathematics, Capital Markets, Securities Trading, Futures Exchange, Equities, Finance, Financial Modeling, Probability, Risk Management, Portfolio Management, Cash Flows
Rice University
Skills you'll gain: Capital Budgeting, Cash Flows, Financial Analysis, Finance, Business Valuation, Return On Investment, Financial Management, Corporate Finance, Financial Modeling, Investments, Financial Market, Risk Management, Equities
Duke University
Skills you'll gain: Microsoft Excel, Excel Formulas, Probability Distribution, Business Risk Management, Predictive Modeling, Regression Analysis, Business Analytics, Statistical Methods, Forecasting, Data Analysis, Probability, Classification And Regression Tree (CART), Financial Analysis, Performance Metric
University of Alberta
Skills you'll gain: Object Oriented Design, Unified Modeling Language, Software Design, Object Oriented Programming (OOP), Java, Maintainability, Software Architecture, Programming Principles, Android Development, Technical Design, Conceptual Design
DeepLearning.AI
Skills you'll gain: Natural Language Processing, PyTorch (Machine Learning Library), Keras (Neural Network Library), Deep Learning, Tensorflow, Machine Learning Methods, Artificial Intelligence, Text Mining, Data Processing
University of Colorado Boulder
Skills you'll gain: Data Governance, Analytics, Business Analytics, Data Storage, Data Management, Big Data, Databases, Business Intelligence, Data Analysis, Relational Databases, Data Quality, SQL, Organizational Structure, Cloud Computing, Data Manipulation
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Engineering Practices for Building Quality Software:Â University of Minnesota
- Introduction to Deep Learning & Neural Networks with Keras:Â IBM
- Introduction to Power Electronics:Â University of Colorado Boulder
- New Models of Business in Society:Â University of Virginia
- Machine Learning for Trading:Â New York Institute of Finance
- Leading Healthcare Quality and Safety:Â The George Washington University
- Introduction to Financial Engineering and Risk Management:Â Columbia University
- Finance for Non-Finance Professionals:Â Rice University
- Mastering Data Analysis in Excel:Â Duke University
- Object-Oriented Design:Â University of Alberta