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
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
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
- 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
Skills you'll gain: Supervised Learning, Regression Analysis, Machine Learning Algorithms, Machine Learning, Predictive Modeling, Classification And Regression Tree (CART), Statistical Modeling, Scikit Learn (Machine Learning Library), Feature Engineering, Pandas (Python Package), 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
Columbia University
Skills you'll gain: Project Schedules, Project Risk Management, Scheduling, Construction Management, Timelines, Lean Methodologies, Construction, Project Management Software, Work Breakdown Structure, Resource Allocation, Probability & Statistics
- 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
University of Colorado Boulder
Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Performance Tuning, Embedded Software, Hardware Architecture, Software Design, Debugging, Software Architecture, Verification And Validation, System Design and Implementation, Linux, Code Review, Systems Engineering, Software Systems, System Programming, System Software, Systems Architecture, Systems Design, Real Time Data, Performance Testing
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
University of Illinois Urbana-Champaign
Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Data Structures, Verification And Validation, Computer Architecture, Algorithms, Computer Engineering, Programming Principles, Mathematical Software, Graph Theory, Software Development Tools
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Data Science Math Skills:Â Duke University
- Excel Skills for Business: Intermediate II:Â Macquarie University
- Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course):Â Hebrew University of Jerusalem
- Econometrics: Methods and Applications:Â Erasmus University Rotterdam
- 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
- Construction Scheduling:Â Columbia University
- Differential Equations Part I Basic Theory:Â Korea Advanced Institute of Science and Technology(KAIST)
- Real-Time Embedded Systems:Â University of Colorado Boulder