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 Colorado Boulder
Skills you'll gain: SQL, Database Management, Query Languages, Relational Databases, Database Design, Database Theory, Data Analysis, Data Manipulation, Data Modeling, Data Integrity
EDHEC Business School
Skills you'll gain: Investment Management, Portfolio Management, Investments, Asset Management, Risk Analysis, Financial Modeling, Risk Management, Financial Analysis, NumPy, Python Programming, Simulations, Pandas (Python Package), Correlation Analysis, Matplotlib
Skills you'll gain: Generative AI, ChatGPT, Leadership, Strategic Decision-Making, Business Strategy, Forecasting, Digital Transformation, Employee Engagement, Adaptability, Change Management, Ethical Standards And Conduct
Macquarie University
Skills you'll gain: Business Strategy, Design Thinking, Supply Chain, Strategic Thinking, Business Strategies, Supply Chain Planning, Business Ethics, Supply Chain Management, Corporate Sustainability, Customer Analysis, Emerging Technologies, Organizational Strategy, Strategic Sourcing, Environmental Social And Corporate Governance (ESG), Governance, Transportation, Supply Chain, and Logistics, Innovation, Business Modeling, Business Transformation, Business Management
University of California, Davis
Skills you'll gain: jQuery, Javascript and jQuery, Javascript, Data Validation, HTML and CSS, Scripting, JSON, Event-Driven Programming, JavaScript Frameworks, UI Components, Web Development Tools, Web Development, Front-End Web Development, User Interface (UI), Interactive Design, Application Programming Interface (API), Object Oriented Programming (OOP), Programming Principles, Integrated Development Environments, Program Development
Kennesaw State University
Skills you'll gain: Network Security, Incident Response, Vulnerability Management, Cybersecurity, Contingency Planning, Cyber Governance, Cyber Attacks, Disaster Recovery, Computer Security Incident Management, Cyber Security Policies, Security Management, Firewall, Network Monitoring, Cyber Security Strategy, Crisis Management, Vulnerability Assessments, Cyber Security Assessment, Cyber Risk, Network Protocols, Risk Management
Skills you'll gain: Keras (Neural Network Library), Reinforcement Learning, Unsupervised Learning, Deep Learning, Tensorflow, Generative AI, Artificial Neural Networks, Artificial Intelligence, Time Series Analysis and Forecasting, Computer Vision, Natural Language Processing, Performance Tuning
DeepLearning.AI
Skills you'll gain: Image Analysis, Tensorflow, Computer Vision, JSON, Applied Machine Learning, Javascript, Artificial Neural Networks, Deep Learning, Data Processing, Real Time Data, Web Applications, Machine Learning
University of California, Santa Cruz
Skills you'll gain: Bayesian Statistics, Statistical Modeling, Statistical Methods, Markov Model, Statistical Analysis, Regression Analysis, R Programming, Simulations, Statistical Inference, Probability, Probability Distribution, Algorithms
Google Cloud
Skills you'll gain: Natural Language Processing, MLOps (Machine Learning Operations), Tensorflow, Reinforcement Learning, Computer Vision, Google Cloud Platform, Keras (Neural Network Library), Systems Design, Image Analysis, Hybrid Cloud Computing, Applied Machine Learning, Systems Architecture, Performance Tuning, Artificial Intelligence and Machine Learning (AI/ML), Deep Learning, Artificial Neural Networks, Machine Learning, Machine Learning Algorithms, Distributed Computing, Unsupervised Learning
Coursera Project Network
Skills you'll gain: Microsoft Excel, Project Management Software, Spreadsheet Software, Timelines, Project Coordination, Productivity Software, Data Validation
University of Illinois Urbana-Champaign
Skills you'll gain: Mergers & Acquisitions, Private Equity, Investment Banking, Financial Statement Analysis, Business Valuation, Equities, Financial Forecasting, Financial Analysis, Capital Markets, Financial Modeling, Corporate Accounting, Financial Accounting, Corporate Tax, Accounting, Price Negotiation, Corporate Finance, Income Statement, Balance Sheet, Investments, Corporate Strategy
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- The Structured Query Language (SQL):Â University of Colorado Boulder
- Introduction to Portfolio Construction and Analysis with Python:Â EDHEC Business School
- Use Generative AI as Your Thought Partner:Â Coursera
- Strategising: Management for Global Competitive Advantage:Â Macquarie University
- JavaScript for Beginners:Â University of California, Davis
- Managing Cybersecurity:Â Kennesaw State University
- Deep Learning with Keras and Tensorflow:Â IBM
- Browser-based Models with TensorFlow.js:Â DeepLearning.AI
- Bayesian Statistics: Techniques and Models:Â University of California, Santa Cruz
- Advanced Machine Learning on Google Cloud:Â Google Cloud