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 Pennsylvania
Skills you'll gain: Business Analytics, Descriptive Analytics, Predictive Analytics, Analytics, Demand Planning, Data-Driven Decision-Making, Operational Analysis, Business Operations, Risk Analysis, Forecasting, Operations Management, Risk Management, Business Modeling, Simulation and Simulation Software, Process Optimization, Decision Making, Decision Tree Learning, Microsoft Excel, Probability Distribution
DeepLearning.AI
Skills you'll gain: Tensorflow, Deep Learning, Keras (Neural Network Library), Artificial Neural Networks, Artificial Intelligence and Machine Learning (AI/ML), Network Model, Network Architecture, Machine Learning
University of California San Diego
Skills you'll gain: Graph Theory, Algorithms, Network Routing, Programming Principles, Data Structures, Network Analysis, Network Model, Computer Programming
Skills you'll gain: Business Intelligence, Data Modeling, Dashboard, Database Design, Extract, Transform, Load, Data Integration, Stakeholder Engagement, Data Warehousing, Databases, Data Presentation, Performance Tuning, Data Pipelines, Database Systems, Data Visualization Software, Business Reporting, Data Integrity, Business Analytics, Real Time Data, Requirements Elicitation, Scalability
University of Colorado System
Skills you'll gain: Database Design, Data Warehousing, Relational Databases, Data Visualization, Decision Support Systems, Business Intelligence, Data Modeling, Business Intelligence Software, Database Management Systems, Databases, Dashboard, Business Process Management, SQL, Star Schema, Data Governance, Data Presentation, Oracle Databases, Data Integration, Extract, Transform, Load, Data Visualization Software
Skills you'll gain: Exploratory Data Analysis, Unsupervised Learning, Supervised Learning, Feature Engineering, Generative AI, Dimensionality Reduction, Reinforcement Learning, Artificial Intelligence and Machine Learning (AI/ML), Data Cleansing, Applied Machine Learning, Data Access, Deep Learning, Data Analysis, Regression Analysis, Machine Learning, Statistical Analysis, Statistical Inference, Machine Learning Algorithms, Classification And Regression Tree (CART), Scikit Learn (Machine Learning Library)
Johns Hopkins University
Skills you'll gain: JavaScript Frameworks, Unit Testing, Ajax, Cloud Applications, Web Applications, Front-End Web Development, Javascript, Model View Controller, Software Architecture, UI Components
University of Colorado Boulder
Skills you'll gain: Excel Macros, Peer Review, Visual Basic (Programming Language), Programming Principles, Data Import/Export, Microsoft Excel, Computer Programming, Project Design, Spreadsheet Software, Simulations, Automation, Algorithms, UI Components, Debugging, Data Management, User Interface (UI), Data Cleansing, Data Validation
- Status: Free
Skills you'll gain: Systems Analysis, Verification And Validation, Computational Logic, Data Modeling, Programming Principles, Software Design, Software Architecture, Theoretical Computer Science, Network Protocols, Algorithms
Skills you'll gain: Software Development Life Cycle, Development Environment, Software Engineering, Software Architecture, Software Design, Programming Principles, Unified Modeling Language, Agile Methodology, Software Development, Scrum (Software Development), Web Development, Cloud Development, Integrated Development Environments, Application Development, Back-End Web Development, Front-End Web Development, Computer Programming, Python Programming
University of California San Diego
Skills you'll gain: Data Modeling, Data Infrastructure, Databases, Data Architecture, Big Data, Data Management, Database Management Systems, Real Time Data, NoSQL, Database Design, Data Processing, Data Storage, Relational Databases, Scalability, Virtual Environment
University of Michigan
Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Statistical Modeling, Statistical Inference, Statistical Methods, Bayesian Statistics, Data Visualization, Statistics, Matplotlib, Statistical Visualization, Statistical Software, Probability & Statistics, Statistical Analysis, Jupyter, Statistical Programming, Regression Analysis, Data Visualization Software, Predictive Modeling, Exploratory Data Analysis, Data Analysis
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Operations Analytics:Â University of Pennsylvania
- Custom Models, Layers, and Loss Functions with TensorFlow:Â DeepLearning.AI
- Algorithms on Graphs:Â University of California San Diego
- Google Business Intelligence:Â Google
- Data Warehousing for Business Intelligence:Â University of Colorado System
- IBM Machine Learning:Â IBM
- Single Page Web Applications with AngularJS:Â Johns Hopkins University
- Excel/VBA for Creative Problem Solving:Â University of Colorado Boulder
- System Validation (4): Modelling Software, Protocols, and other behaviour:Â EIT Digital
- Introduction to Software Engineering:Â IBM