Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "regular and omega-regular specifications"
Stanford University
Skills you'll gain: Algorithms, Graph Theory, Data Structures, Theoretical Computer Science, Computational Thinking, Mathematical Theory & Analysis, Analysis, Probability, Design Strategies
University of Colorado Boulder
Skills you'll gain: Embedded Software, Embedded Systems, Debugging, Data Structures, System Programming, Microarchitecture, C (Programming Language), Hardware Architecture, Computer Architecture, Integrated Development Environments, Software Design, Maintainability, System Configuration, Peripheral Devices
University of Pennsylvania
Skills you'll gain: Return On Investment, Finance, Capital Budgeting, Financial Modeling, Financial Analysis, Financial Planning, Corporate Finance, Business Valuation, Capital Expenditure, Financial Management, Cost Benefit Analysis, Risk Modeling, Asset Management, Cash Flows, Cash Flow Forecasting
- Status: Free
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Vibrations, Mechanics, Mechanical Engineering, Engineering Analysis, Machine Controls, Engineering Calculations, Differential Equations, Linear Algebra, Mathematical Modeling
Cisco Learning and Certifications
Skills you'll gain: MITRE ATT&CK Framework, Incident Response, Cyber Threat Hunting, Key Management, Data Security, Threat Modeling, Computer Security Incident Management, File Systems, Threat Detection, Endpoint Security, Cryptography, Network Security, Distributed Denial-Of-Service (DDoS) Attacks, Linux, Malware Protection, Encryption, Cyber Threat Intelligence, Incident Management, Information Systems Security, Threat Management
- Status: Free
University of Toronto
Skills you'll gain: Psychology, Human Development, Learning Theory, Mental Health, Culture, Behavior Management, Social Sciences, Scientific Methods, Creativity, Experimentation
Rice University
Skills you'll gain: Self-Awareness, Mental Health, Mental Concentration, Stress Management, Personal Development, Resilience, Persistence, Overcoming Obstacles, Patience, Goal Setting, Open Mindset, Emotional Intelligence, Critical Thinking
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Scala Programming, Apache Spark, Apache Hadoop, User Interface (UI), Distributed Computing, Programming Principles, Big Data, Software Design, Data Structures, Software Design Patterns, Functional Design, Data Manipulation, Object Oriented Programming (OOP), Heat Maps, Data Visualization Software, Interactive Data Visualization, Computer Programming, Data Processing, Performance Tuning, Algorithms
- Status: Free
Yale University
Skills you'll gain: Personal Development, Stress Management, Classroom Management, Student Engagement, Cultural Responsiveness, Education and Training, Empathy, Self-Awareness, Social Skills, Cultural Diversity, Relationship Building
Skills you'll gain: Software Development Life Cycle, Development Environment, Software Engineering, Software Architecture, Software Design, Programming Principles, Unified Modeling Language, Agile Methodology, Software Development, Scrum (Software Development), Web Development, Cloud Development, Integrated Development Environments, Application Development, Back-End Web Development, Front-End Web Development, Computer Programming, Python Programming
- Status: Free
Georgia Institute of Technology
Skills you'll gain: User Experience Design, Prototyping, User Centered Design, Usability, Requirements Analysis, User Interface (UI), Interaction Design, Usability Testing, User Research
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Machine Learning Algorithms, Deep Learning, Systems Development, Simulations, Solution Architecture, Markov Model, Supervised Learning, Artificial Neural Networks, Applied Machine Learning, Performance Testing, Algorithms, Statistical Methods, Pseudocode, Linear Algebra, Probability Distribution
In summary, here are 10 of our most popular regular and omega-regular specifications courses
- Divide and Conquer, Sorting and Searching, and Randomized Algorithms: Stanford University
- Embedded Software and Hardware Architecture: University of Colorado Boulder
- Introduction to Corporate Finance: University of Pennsylvania
- Introduction to Basic Vibrations: Korea Advanced Institute of Science and Technology(KAIST)
- Cybersecurity Operations Fundamentals: Cisco Learning and Certifications
- Introduction to Psychology: University of Toronto
- Mindfulness and Well-being: Foundations: Rice University
- Functional Programming in Scala: École Polytechnique Fédérale de Lausanne
- Managing Emotions in Times of Uncertainty & Stress: Yale University
- Introduction to Software Engineering: IBM