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"
Skills you'll gain: Data Cleansing, Sampling (Statistics), Data Integrity, Data Quality, Data Validation, Sample Size Determination, Data Analysis, Data Manipulation, SQL, Data Transformation, Spreadsheet Software
Google Cloud
Skills you'll gain: Feature Engineering, Prompt Engineering, Google Cloud Platform, Generative AI, Tensorflow, Keras (Neural Network Library), MLOps (Machine Learning Operations), Cloud Infrastructure, Artificial Intelligence and Machine Learning (AI/ML), Data Pipelines, Dataflow, Cloud Platforms, Data Management, Data Governance, Workflow Management, Application Deployment, Deep Learning, Applied Machine Learning, Machine Learning, Predictive Modeling
IESE Business School
Skills you'll gain: Financial Statement Analysis, Financial Statements, Income Statement, Corporate Finance, Accounting, Cash Flows, Operational Analysis, Financial Accounting, Capital Budgeting, Financial Modeling, Financial Reporting, Financial Analysis, Balance Sheet, Financial Management, Generally Accepted Accounting Principles (GAAP), Operating Expense, Financial Market, Forecasting, Business Valuation, Equities
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Pivot Tables And Charts, Regression Analysis, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Analysis, Statistical Modeling, Excel Formulas, Data Analysis, Data Presentation, Statistics, Business Analysis, Statistical Methods, Sample Size Determination, Statistical Inference
Skills you'll gain: Network Security, Hardening, Network Protocols, Cloud Security, Network Architecture, Intrusion Detection and Prevention, TCP/IP, Vulnerability Assessments, Computer Networking, Cyber Attacks, Network Infrastructure, Firewall, Cloud Computing, Virtual Private Networks (VPN)
University of California San Diego
Skills you'll gain: Apache Spark, Apache Hadoop, Data Integration, Exploratory Data Analysis, Big Data, Graph Theory, Data Pipelines, Database Design, Data Modeling, Regression Analysis, Applied Machine Learning, Data Presentation, Scalability, Data Mining, Data Processing, Statistical Analysis, Data Management, NoSQL, Database Management Systems, Network Analysis
Skills you'll gain: Systems Development Life Cycle, Unified Modeling Language, Systems Engineering, Software Systems, Systems Design, Systems Architecture, Systems Analysis, Systems Integration, Simulations, Solution Architecture, Requirements Analysis, Verification And Validation
Duke University
Skills you'll gain: Data Storytelling, Database Design, Dashboard, MySQL, Relational Databases, SQL, Tableau Software, Business Analytics, Business Metrics, Data Visualization Software, Analytics, Data Visualization, Business Process Improvement, Business Intelligence, Financial Modeling, Microsoft Excel, Business Process, Probability Distribution, Business Risk Management, Predictive Modeling
Skills you'll gain: Malware Protection, Identity and Access Management, Incident Response, Cybersecurity, Computer Security Incident Management, Network Security, Threat Management, Threat Detection, Cyber Attacks, Authentications, Distributed Denial-Of-Service (DDoS) Attacks, Security Awareness, Security Controls, Infrastructure Security, Authorization (Computing), Multi-Factor Authentication
- Status: New
Vanderbilt University
Skills you'll gain: Prompt Engineering, ChatGPT, Generative AI, Crisis Management, Productivity, Incident Response, AI Personalization, OpenAI, Artificial Intelligence, Personalized Service, Large Language Modeling, Business Ethics, Information Privacy, Personally Identifiable Information, Cross-Functional Collaboration, Threat Detection, Expense Management, Threat Modeling, Creative Thinking, Cyber Security Strategy
DeepLearning.AI
Skills you'll gain: Generative AI, Tensorflow, Computer Vision, Image Analysis, Deep Learning, Keras (Neural Network Library), Applied Machine Learning, Artificial Neural Networks, Artificial Intelligence and Machine Learning (AI/ML), Feature Engineering, Distributed Computing, Computer Graphics, Unsupervised Learning, Network Model, Visualization (Computer Graphics), Network Architecture, Performance Tuning, Machine Learning Methods, API Design, Object Oriented Programming (OOP)
- Status: Free
Stanford University
Skills you'll gain: Game Theory, Strategic Decision-Making, Mathematical Modeling, Graph Theory, Bayesian Statistics, Behavioral Economics, Probability, Economics, Markov Model, Algorithms
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Process Data from Dirty to Clean:Â Google
- Machine Learning on Google Cloud:Â Google Cloud
- Think like a CFO:Â IESE Business School
- Business Statistics and Analysis:Â Rice University
- Connect and Protect: Networks and Network Security:Â Google
- Big Data:Â University of California San Diego
- Introduction to Model-Based Systems Engineering:Â Siemens
- Excel to MySQL: Analytic Techniques for Business:Â Duke University
- Introduction to Cybersecurity Tools & Cyberattacks:Â IBM
- Generative AI Cybersecurity & Privacy for Leaders:Â Vanderbilt University