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 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
- Status: Free
Duke University
Skills you'll gain: Innovation, Entrepreneurship, Team Building, Business Modeling, Environmental Issue, New Business Development, Business Strategy, Corporate Sustainability, Business Development, Business, Market Opportunities, Investments
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
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
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
- 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
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
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: SAS (Software), Data Import/Export, Data Validation, Data Access, Data Manipulation, Data Cleansing, Exploratory Data Analysis, Data Analysis, SQL, Data Presentation, Microsoft Excel, Descriptive Statistics
- Status: Free
HEC Paris
Skills you'll gain: Ideation, Project Implementation, Innovation, Entrepreneurship, Visionary, Business Modeling, Creative Problem-Solving, Project Management, Adaptability, Empowerment, Initiative and Leadership, Self-Awareness, Personal Development, Action Oriented
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Introduction to Web Development:Â University of California, Davis
- Renewable Energy and Green Building Entrepreneurship:Â Duke University
- Finanzas corporativas: Universidad Nacional Autónoma de México
- Custom Models, Layers, and Loss Functions with TensorFlow:Â DeepLearning.AI
- AI for Good:Â DeepLearning.AI
- De-Mystifying Mindfulness:Â Universiteit Leiden
- PostgreSQL for Everybody:Â University of Michigan
- Microsoft Azure Data Scientist Associate (DP-100) Exam Prep:Â Microsoft
- Advanced Computer Vision with TensorFlow:Â DeepLearning.AI
- Entrepreneurial Finance: Strategy and Innovation:Â Duke University