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 Illinois Urbana-Champaign
Skills you'll gain: 3D Modeling, Design Software, Design Thinking, Hardware Troubleshooting, Conceptual Design, Visualization (Computer Graphics), Computer Hardware, Manufacturing Processes, Emerging Technologies, Manufacturing and Production, Mechanical Design, Computer Graphics, Design, Innovation, Product Design, Digital Design, Community Development, Business Transformation, Industrial Design, Prototyping
University of California, Davis
Skills you'll gain: Version Control, Hypertext Markup Language (HTML), GitHub, Git (Version Control System), HTML and CSS, Cascading Style Sheets (CSS), Web Design and Development, Web Development, Web Design, Web Content, Front-End Web Development, Web Servers, Image Analysis, Semantic Web, Performance Tuning, Cloud Hosting
Google
Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Descriptive Statistics, Probability & Statistics, Data Analysis, Statistical Analysis, Probability Distribution, Statistical Methods, Advanced Analytics, Analytics, Statistics, Statistical Inference, Probability, Statistical Programming, A/B Testing, Python Programming
Universidad Nacional Autónoma de México
Skills you'll gain: Business Valuation, Fixed Asset, Financial Statement Analysis, Financial Statements, Financial Management, Corporate Finance, Capital Budgeting, Performance Measurement, Business Mathematics, Financial Data, Financial Modeling, Mergers & Acquisitions, Investment Management, Financial Analysis, Finance, Portfolio Management, Budgeting, Financial Market, Equities, Balance Sheet
University of Michigan
Skills you'll gain: Stored Procedure, Database Design, SQL, Relational Databases, NoSQL, PostgreSQL, Database Architecture and Administration, Database Systems, Database Theory, Database Management, Data Modeling, Databases, JSON, Scalability, Database Management Systems, Distributed Computing, Cloud Applications, Data Manipulation, Text Mining, Query Languages
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
- Status: Free
Universiteit Leiden
Skills you'll gain: Self-Awareness, Mental Health Therapies, Personal Development, Open Mindset, Mental Health, Social Justice, Mental Concentration, Psychology, Stress Management, Social Sciences, Cultural Diversity, Environment and Resource Management, Trauma Care, Ethical Standards And Conduct
DeepLearning.AI
Skills you'll gain: Disaster Recovery, Data Analysis, Jupyter, Exploratory Data Analysis, Data Ethics, Image Analysis, Emergency Response, Artificial Intelligence, Machine Learning, Predictive Modeling, Applied Machine Learning, Mitigation, Text Mining, Environmental Monitoring, Natural Language Processing, Information Privacy, Artificial Neural Networks, Deep Learning, Data Processing, Computer Vision
Skills you'll gain: Databricks, Unsupervised Learning, PySpark, Microsoft Azure, Apache Spark, Scikit Learn (Machine Learning Library), MLOps (Machine Learning Operations), PyTorch (Machine Learning Library), Exploratory Data Analysis, Deep Learning, Data Visualization, Applied Machine Learning, Regression Analysis, Data Science, Predictive Modeling, Image Analysis, Pandas (Python Package), Artificial Intelligence and Machine Learning (AI/ML), Big Data, Cloud Computing
DeepLearning.AI
Skills you'll gain: Computer Vision, Tensorflow, Image Analysis, Keras (Neural Network Library), Deep Learning, Artificial Neural Networks, Visualization (Computer Graphics), Machine Learning
Duke University
Skills you'll gain: Financial Modeling, Blockchain, FinTech, Entrepreneurial Finance, Financial Market, Business Valuation, Risk Management, Excel Formulas, Market Data, Emerging Technologies, Cryptography, Risk Analysis, Fundraising and Crowdsourcing, Financial Analysis, Due Diligence, Probability Distribution, Investments, Private Equity, Financial Regulation, Financial Data
Skills you'll gain: Responsive Web Design, Cascading Style Sheets (CSS), HTML and CSS, Bootstrap (Front-End Framework), Debugging, UI Components, Web Development Tools, Front-End Web Development, Web Design, Semantic Web, Hypertext Markup Language (HTML), Browser Compatibility, Web Development, Web Content Accessibility Guidelines, User Interface (UI), Data Validation
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- 3D Printing and Additive Manufacturing:Â University of Illinois Urbana-Champaign
- Introduction to Web Development:Â University of California, Davis
- The Power of Statistics:Â Google
- Finanzas corporativas: Universidad Nacional Autónoma de México
- PostgreSQL for Everybody:Â University of Michigan
- Custom Models, Layers, and Loss Functions with TensorFlow:Â DeepLearning.AI
- De-Mystifying Mindfulness:Â Universiteit Leiden
- AI for Good:Â DeepLearning.AI
- Microsoft Azure Data Scientist Associate (DP-100) Exam Prep:Â Microsoft
- Advanced Computer Vision with TensorFlow:Â DeepLearning.AI