Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "linear temporal logic specifications"
- Status: Free
Duke University
Skills you'll gain: Probability, Bayesian Statistics, General Mathematics, Calculus, Graphing, Statistics, Data Science, Data Analysis, Plot (Graphics), Algebra, Geometry, Arithmetic, Derivatives
Hebrew University of Jerusalem
Skills you'll gain: Computer Architecture, Computer Hardware, Computational Logic, Computer Programming, System Design and Implementation, Technical Design, Software Design, Program Development, Debugging, Verification And Validation, Development Environment
Macquarie University
Skills you'll gain: Excel Formulas, Microsoft Excel, Excel Macros, Data Validation, Spreadsheet Software, Data Analysis Expressions (DAX), Data Modeling, Financial Forecasting, Predictive Modeling, Financial Modeling, Workflow Management, Data Integrity, Business Modeling, Automation, Process Optimization
University of California, Davis
Skills you'll gain: Search Engine Optimization, Web Analytics and SEO, Keyword Research, Content Strategy, Digital Marketing, Content Performance Analysis, Content Creation, Artificial Intelligence, Information Architecture, User Experience
Skills you'll gain: Supervised Learning, Applied Machine Learning, Regression Analysis, Machine Learning, Statistical Machine Learning, Predictive Modeling, Statistical Modeling, Scikit Learn (Machine Learning Library), Feature Engineering, Artificial Intelligence and Machine Learning (AI/ML), Performance Metric
- Status: Free
Johns Hopkins University
Skills you'll gain: Risk Modeling, Operations Research, Regression Analysis, Microsoft Excel, Business Analytics, Risk Analysis, Business Process Modeling, Business Modeling, Data Modeling, Resource Allocation, Statistical Analysis, Process Optimization, Financial Analysis, Predictive Analytics, Transportation Operations, Complex Problem Solving, Linear Algebra
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Scala Programming, Programming Principles, Object Oriented Programming (OOP), Functional Design, Computer Programming, Data Structures, Integrated Development Environments, Javascript, Algorithms
- Status: Free
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Differential Equations, Mathematical Modeling, Applied Mathematics, Calculus, Linear Algebra, Vibrations, Mechanics
- 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, Predictive Analytics, Probability, Linear Algebra, Peer Review
University of Colorado Boulder
Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Reliability, Embedded Software, Performance Tuning, Systems Architecture, Hardware Architecture, Software Architecture, Verification And Validation, Software Design, Debugging, System Design and Implementation, Hardware Design, System Programming, Software Systems, Linux, Operating Systems, OS Process Management, Performance Testing, Software Documentation
Skills you'll gain: Field-Programmable Gate Array (FPGA), Application Specific Integrated Circuits, Computational Logic, Computer Architecture, Hardware Design, Electronics Engineering, Electronics, Programmable Logic Controllers, Electronic Systems, Semiconductors, Electronic Components, Data Storage, Data Storage Technologies
University of Colorado Boulder
Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Agentic systems, Verification And Validation, Mathematical Modeling, Control Systems, Linear Algebra, Computer Science, Applied Mathematics
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Data Science Math Skills:Â Duke University
- Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course):Â Hebrew University of Jerusalem
- Excel Skills for Business: Intermediate II:Â Macquarie University
- Google SEO Fundamentals:Â University of California, Davis
- Supervised Machine Learning: Regression:Â IBM
- Business Analytics with Excel: Elementary to Advanced:Â Johns Hopkins University
- Functional Programming Principles in Scala: École Polytechnique Fédérale de Lausanne
- Differential Equations Part I Basic Theory:Â Korea Advanced Institute of Science and Technology(KAIST)
- Econometrics: Methods and Applications:Â Erasmus University Rotterdam
- Real-Time Embedded Systems:Â University of Colorado Boulder