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: Generative AI, Application Deployment, Data Wrangling, Project Planning, Data Governance, Governance, Exploratory Data Analysis, Applied Machine Learning, Data Visualization, Data-Driven Decision-Making, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Natural Language Processing
Skills you'll gain: Data Modeling, Database Design, Data Warehousing, Extract, Transform, Load, MySQL Workbench, Tableau Software, Databases, Database Management, Operational Databases, Data Architecture, Data Analysis, SQL, Data Migration, Data Visualization Software
Skills you'll gain: Prototyping, Virtual Environment, Virtual Reality, Augmented and Virtual Reality (AR/VR), User Interface (UI), Usability, Storytelling, Computer Graphics, Human Computer Interaction, User Interface and User Experience (UI/UX) Design, Visualization (Computer Graphics), User Story, Artificial Intelligence, Interaction Design, System Design and Implementation, 3D Modeling
The Open University
Skills you'll gain: Stakeholder Engagement, Corporate Sustainability, Business Modeling, Environmental Social And Corporate Governance (ESG), Business Valuation, Systems Thinking, Value Propositions, Design Thinking, Entrepreneurship, Verification And Validation, Business Strategies, Process Validation, Presentations
Skills you'll gain: Unsupervised Learning, Time Series Analysis and Forecasting, Supervised Learning, Machine Learning, Machine Learning Algorithms, Data Processing, Feature Engineering, Artificial Intelligence, Deep Learning, Classification And Regression Tree (CART), Regression Analysis
Skills you'll gain: Command-Line Interface, OpenAI, Key Management, Rust (Programming Language), Application Programming Interface (API), Artificial Intelligence, Development Environment, Verification And Validation, Development Testing, Server Side, Debugging, Solution Architecture, Software Development
Skills you'll gain: Google Cloud Platform, Generative AI, Marketing Analytics, Customer Analysis, Customer Insights, Customer Data Management, Advanced Analytics, Analytics, Business Intelligence, Business Analytics, Predictive Modeling, Unstructured Data, Marketing Strategies, Data Analysis, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Forecasting
Skills you'll gain: Text Mining, Scatter Plots, Data Visualization Software, Generative AI, Histogram, Performance Tuning, Data Analysis, Natural Language Processing, Artificial Intelligence
- Status: Free
The Hong Kong University of Science and Technology
Skills you'll gain: Server Side, Restful API, Ajax, Node.JS, Full-Stack Web Development, Web Applications, Web Servers, Web Development, Model View Controller, Javascript, JavaScript Frameworks, PHP (Scripting Language), Authentications, JSON, Hypertext Markup Language (HTML), Software Architecture, Application Development, Real Time Data
Skills you'll gain: Spring Framework, GitHub, Git (Version Control System), Spring Boot, Version Control, Restful API, Object-Relational Mapping, Hibernate (Java), Java, JUnit, Authentications, Postman API Platform, User Accounts, API Design, JSON, Database Management Systems, Application Performance Management, Model View Controller, Software Documentation
Coursera Project Network
Skills you'll gain: Finite Element Methods, Simulations, Engineering Analysis, Numerical Analysis, 3D Modeling, Scientific Visualization, Technical Communication, Cloud Computing
University of Lausanne
Skills you'll gain: Health Systems, Systems Thinking, Simulation and Simulation Software, Systems Analysis, Mathematical Modeling, Environment, Time Series Analysis and Forecasting
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Data Science and Machine Learning H2O.ai Platforms:Â H2O.ai
- Modelado de datos avanzado:Â Meta
- Unreal Engine — Ultimate Survival Horror Course: Packt
- From prototyping to validating business models:Â The Open University
- NVIDIA: Fundamentals of Machine Learning:Â Whizlabs
- Advanced Rust Programming and AutoGPT Development:Â Packt
- Gemini for Data Scientists and Analysts - Bahasa Indonesia:Â Google Cloud
- NVIDIA: Prompt Engineering and Data Analysis:Â Whizlabs
- Learning Server-side Programming through Game Development:Â The Hong Kong University of Science and Technology
- Zero to Hero: Master Java SpringBoot & JPA with Projects:Â Packt