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 Maryland, College Park
Skills you'll gain: Brainstorming, Innovation, Ideation, Agile Product Development, Problem Solving, Agile Methodology, Complex Problem Solving, Requirements Analysis, User Requirements Documents, Root Cause Analysis, User Story, Business Risk Management, Empathy
Skills you'll gain: Tensorflow, Deep Learning, Keras (Neural Network Library), NumPy, Matplotlib, Python Programming, Artificial Neural Networks, Pandas (Python Package), Data Science, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Supervised Learning, Data Manipulation, Regression Analysis
Erasmus University Rotterdam
Skills you'll gain: Corporate Sustainability, Environmental Social And Corporate Governance (ESG), Mergers & Acquisitions, Corporate Finance, Risk Analysis, Governance, Corporate Strategy, Capital Budgeting, Financial Management, Financial Modeling, Capital Markets, Business Ethics, Financial Analysis, Business Valuation
Google Cloud
Skills you'll gain: Feature Engineering, Dataflow, Tensorflow, Data Processing, Data Transformation, Keras (Neural Network Library), Machine Learning, Data Modeling, Deep Learning, Statistical Methods
Google Cloud
Skills you'll gain: Data Cleansing, Exploratory Data Analysis, Data Manipulation, Data Transformation, Data Quality, Data Analysis, Data Validation, Google Cloud Platform
Skills you'll gain: ASP.NET, .NET Framework, Software Design Patterns, Maintainability, Software Design, C# (Programming Language), Software Architecture, Authentications, Application Programming Interface (API), Testability, Restful API, Unit Testing, Software Development, Integration Testing, User Interface (UI), Application Security, Object-Relational Mapping, Front-End Web Development, Database Development, Data Validation
Skills you'll gain: Open Web Application Security Project (OWASP), Application Security, Threat Modeling, Secure Coding, DevSecOps, Encryption, Security Engineering, Security Testing, Cryptography, Cloud Security, Risk Management Framework, DevOps, Cloud API, Vulnerability Scanning, Data Security, Threat Detection, CI/CD, Code Review, Authentications, Authorization (Computing)
Skills you'll gain: Identity and Access Management, SQL, Data Import/Export, Google Cloud Platform, Data Warehousing, Database Design, Data Processing, Database Architecture and Administration, Data Architecture, Data Modeling, Real Time Data
Skills you'll gain: Threat Modeling, IT Security Architecture, Secure Coding, Application Security, Security Testing, Security Strategy, Security Engineering, Threat Management, Software Architecture, Software Development Methodologies, Software Development Life Cycle, Systems Architecture, Software Testing, Penetration Testing, Business Risk Management, Compliance Management
- Status: Free
Coursera Instructor Network
Skills you'll gain: OpenAI, Generative AI, Technical Communication, MLOps (Machine Learning Operations), Artificial Intelligence, Natural Language Processing, Performance Tuning, Applied Machine Learning
- Status: Free
Google Cloud
Skills you'll gain: Natural Language Processing, Artificial Neural Networks, Deep Learning, Machine Learning Methods, Artificial Intelligence
Skills you'll gain: 3D Modeling, Computer Graphics, Virtual Environment, Visualization (Computer Graphics), Post-Production, Augmented and Virtual Reality (AR/VR), Virtual Reality, Computer Graphic Techniques, User Interface (UI), Multimedia, Design Elements And Principles, Simulations
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Agile Innovation and Problem Solving Skills:Â University of Maryland, College Park
- Deep Learning - Crash Course 2023:Â Packt
- Sustainable Corporate Finance:Â Erasmus University Rotterdam
- Feature Engineering en Français: Google Cloud
- Dataprep: Qwik Start:Â Google Cloud
- ASP.NET Core - SOLID and Clean Architecture (.NET 5 and Up):Â Packt
- Fundamentals of Secure Software:Â Packt
- BigQuery Fundamentals for Snowflake Professionals:Â Google Cloud
- Designing Robust Information System Security Architectures:Â LearnQuest
- OpenAI: Consistent Response Strategies:Â Coursera Instructor Network