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"
DeepLearning.AI
Skills you'll gain: Generative AI, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Artificial Intelligence, Applied Machine Learning, Scalability, Natural Language Processing, Machine Learning Methods, Application Deployment, Reinforcement Learning, User Feedback, Performance Tuning, Application Performance Management
University of Leeds
Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, Test Planning, Verification And Validation, Acceptance Testing, Functional Testing, Usability Testing, Performance Testing, Software Development Life Cycle
University of Michigan
Skills you'll gain: Relational Databases, Database Design, SQL, Databases, Web Scraping, Data Modeling, Database Management, Data Visualization Software, Object Oriented Programming (OOP), Data Processing, Data Storage, Python Programming, Application Programming Interface (API)
DeepLearning.AI
Skills you'll gain: Natural Language Processing, Supervised Learning, Markov Model, Text Mining, Dimensionality Reduction, Artificial Intelligence, Keras (Neural Network Library), Artificial Neural Networks, PyTorch (Machine Learning Library), Machine Learning, Deep Learning, Data Processing, Feature Engineering, Algorithms, Tensorflow, Computer Programming, Machine Learning Methods, Unstructured Data, Regression Analysis, Bayesian Statistics
Michigan State University
Skills you'll gain: Design Elements And Principles, Peer Review, Graphic and Visual Design, Post-Production, Project Planning, Color Theory, Digital Design, Constructive Feedback, File Management, Adobe Creative Cloud, Creativity, Creative Design, Project Management, Storytelling, Content Creation, Aesthetics, Electronic Media, Editing, Liberal Arts, Writing
Amazon Web Services
Skills you'll gain: AWS Identity and Access Management (IAM), Amazon CloudWatch, Amazon DynamoDB, Amazon Web Services, Cloud Computing, Amazon S3, Scalability, Cloud Infrastructure, Amazon Elastic Compute Cloud, Cloud Security, Serverless Computing, Cloud Storage, Databases, Virtual Private Networks (VPN), Load Balancing, General Networking, Virtual Machines, Containerization
Duke University
Skills you'll gain: Databricks, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, Extract, Transform, Load, OpenAI, AWS SageMaker, Performance Tuning, Scalability, Data Transformation, Data Infrastructure, Microsoft Azure, MLOps (Machine Learning Operations), Amazon Web Services, Natural Language Processing, PyTorch (Machine Learning Library), Risk Management Framework, Artificial Intelligence
University of Michigan
Skills you'll gain: Unified Modeling Language, JSON, Object Oriented Programming (OOP), Software Design, Debugging, Object Oriented Design, Data Processing, Unit Testing, Data Import/Export, Restful API, Python Programming, Image Analysis, Data Manipulation, Jupyter, Data Structures, Software Engineering, Application Programming Interface (API), Computer Programming, File Management, Functional Design
Vanderbilt University
Skills you'll gain: Data Storytelling, ChatGPT, Excel Macros, Excel Formulas, Microsoft Excel, Data Visualization, Spreadsheet Software, Data Analysis, Presentations, Generative AI, Artificial Intelligence, Data Cleansing, Data Import/Export, Data Integration, Productivity Software, Data Transformation, Data Validation, Creative Thinking, Creative Problem-Solving, Natural Language Processing
The Hong Kong University of Science and Technology
Skills you'll gain: Software Design Patterns, Systems Development Life Cycle, Software Architecture, Software Development Life Cycle, Software Quality Assurance, Engineering Software, Software Design, Process Driven Development, Software Engineering, Quality Assurance, Systems Development, Systems Analysis, Software Design Documents, Object Oriented Design, Systems Design, Maintainability, Systems Architecture, Unified Modeling Language
Macquarie University
Skills you'll gain: Pivot Tables And Charts, Data Storytelling, Data Presentation, Power BI, Excel Formulas, Data Analysis Expressions (DAX), Data Visualization Software, Data Visualization, Interactive Data Visualization, Microsoft Excel, Spreadsheet Software, Dashboard, Data Modeling, Data Cleansing, Data Manipulation, Excel Macros, Infographics, Data Transformation, Data Validation, Data Warehousing
University at Buffalo
Skills you'll gain: Blockchain, Cryptography, Transaction Processing, Network Protocols, FinTech, Virtual Environment, Data Integrity, Emerging Technologies, Data Security, Data Validation
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Generative AI with Large Language Models:Â DeepLearning.AI
- Foundations of Software Testing and Validation:Â University of Leeds
- Using Databases with Python:Â University of Michigan
- Natural Language Processing:Â DeepLearning.AI
- Photography Basics and Beyond: From Smartphone to DSLR:Â Michigan State University
- AWS Cloud Technical Essentials:Â Amazon Web Services
- Large Language Model Operations (LLMOps):Â Duke University
- Python 3 Programming:Â University of Michigan
- ChatGPT + Excel: AI-Enhanced Data Analysis & Insight:Â Vanderbilt University
- Software Engineering: Software Design and Project Management:Â The Hong Kong University of Science and Technology