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"
- Status: Free
Duke University
Skills you'll gain: Innovation, Entrepreneurship, Team Building, Business Modeling, Environmental Issue, Business Planning, New Business Development, Business Strategy, Corporate Sustainability, Business Development, Entrepreneurial Finance, Business Analysis, Market Opportunities, Investment Management
New York University
Skills you'll gain: Security Engineering, Authentications, Threat Modeling, Network Security, Public Key Infrastructure, Distributed Denial-Of-Service (DDoS) Attacks, Firewall, Cyber Attacks, Cryptography, Infrastructure Security, Cyber Security Strategy, Cybersecurity, Data Encryption Standard, Threat Management, Cyber Risk, IT Security Architecture, Mobile Security, Enterprise Security, Computer Security, Network Architecture
- Status: Free
Erasmus University Rotterdam
Skills you'll gain: Econometrics, Time Series Analysis and Forecasting, Regression Analysis, Data Analysis, Statistical Analysis, Quantitative Research, Statistical Modeling, Statistics, Forecasting, Probability, Linear Algebra, Peer Review
Multiple educators
Skills you'll gain: Tensorflow, Keras (Neural Network Library), Machine Learning, Google Cloud Platform, Machine Learning Algorithms, Applied Machine Learning, Financial Trading, Reinforcement Learning, Supervised Learning, Data Pipelines, Time Series Analysis and Forecasting, Statistical Machine Learning, Technical Analysis, Deep Learning, Portfolio Management, Securities Trading, Artificial Intelligence and Machine Learning (AI/ML), Market Data, Financial Market, Artificial Neural Networks
Google Cloud
Skills you'll gain: Machine Learning, Google Cloud Platform, Machine Learning Algorithms, Applied Machine Learning, Supervised Learning, Time Series Analysis and Forecasting, Financial Trading, Deep Learning, Statistical Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, Securities Trading, Technical Analysis, Predictive Modeling, Financial Forecasting, Quantitative Research, Financial Modeling, Forecasting, Regression Analysis
University at Buffalo
Skills you'll gain: Blockchain, Program Development, Secure Coding, Software Development, Development Environment, Web Development Tools, Software Design, Solution Design, Data Validation
University of Colorado Boulder
Skills you'll gain: Theoretical Computer Science, Algorithms, Data Structures, Graph Theory, Operations Research, Public Key Cryptography Standards (PKCS), Computational Logic, Cryptography, Computational Thinking, Pseudocode, Design Strategies, Combinatorics, Programming Principles, Computer Programming, Computer Science, Encryption, Network Model, Linear Algebra, Analysis, Mathematical Modeling
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
University of Colorado Boulder
Skills you'll gain: Database Design, SQL, Database Management Systems, NoSQL, Relational Databases, Data Warehousing, Database Theory, Database Architecture and Administration, Databases, Database Systems, Data Modeling, Query Languages, MongoDB, Big Data, Apache Cassandra, Data Integrity, Data Access, Data Analysis, Data Manipulation, Data Processing
Columbia University
Skills you'll gain: Portfolio Management, Derivatives, Financial Market, Securities (Finance), Investment Management, Asset Management, Credit Risk, Mortgage Loans, Mathematical Modeling, Applied Mathematics, Capital Markets, Financial Modeling, Securities Trading, Regression Analysis, Market Liquidity, Futures Exchange, Risk Management, Equities, Finance, Market Data
University of Colorado System
Skills you'll gain: Requirements Analysis, User Requirements Documents, Requirements Elicitation, Agile Methodology, Functional Requirement, Software Documentation, System Requirements, Software Development Life Cycle, Agile Software Development, Waterfall Methodology, Technical Communication
Rice University
Skills you'll gain: Growth Mindedness, Stress Management, Resilience, Personal Development, Self-Awareness, Compassion, Positivity, Empathy, Mental Health, Mental Concentration, Interpersonal Communications, Communication, Emotional Intelligence, Relationship Building, Social Justice, Persistence, Overcoming Obstacles, Patience, Goal Setting, Open Mindset
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Renewable Energy and Green Building Entrepreneurship:Â Duke University
- Introduction to Cyber Security:Â New York University
- Econometrics: Methods and Applications:Â Erasmus University Rotterdam
- Machine Learning for Trading:Â Google Cloud
- Introduction to Trading, Machine Learning & GCP:Â Google Cloud
- Smart Contracts:Â University at Buffalo
- Foundations of Data Structures and Algorithms:Â University of Colorado Boulder
- Mergers and Acquisitions:Â University of Illinois Urbana-Champaign
- Databases for Data Scientists:Â University of Colorado Boulder
- Financial Engineering and Risk Management:Â Columbia University