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
Vanderbilt University
Skills you'll gain: Programming Principles, Computer Programming, Matlab, Debugging, Linear Algebra, Software Development Tools, Mathematical Software, Computer Science, Development Environment, Scripting, User Interface (UI), Scripting Languages, Data Structures, Arithmetic, File Management
Skills you'll gain: Regression Analysis, Data Cleansing, R Programming, Data Manipulation, Statistical Analysis, Advanced Analytics, Statistical Machine Learning, Classification And Regression Tree (CART), Random Forest Algorithm, Data Transformation, Statistical Modeling, Exploratory Data Analysis, Applied Machine Learning, Feature Engineering, Predictive Modeling, Dimensionality Reduction
- Status: New
Skills you'll gain: Server Side, Restful API, Docker (Software), Responsive Web Design, Containerization, HTML and CSS, Cloud Platforms, Application Deployment, API Design, Cloud Applications, CI/CD, Back-End Web Development, Node.JS, Kubernetes, Web Design and Development, Databases, Database Management, User Interface (UI) Design, Web Content Accessibility Guidelines, Bootstrap (Front-End Framework)
Politecnico di Milano
Skills you'll gain: Business Modeling, Corporate Sustainability, Environmental Social And Corporate Governance (ESG), Digital Transformation, Systems Thinking, Business Transformation, Business Strategies, Business Economics, Product Lifecycle Management, Environment and Resource Management, Finance, Policy Analysis, Emerging Technologies
- Status: Free
The Chinese University of Hong Kong
Skills you'll gain: Operations Research, Applied Mathematics, Algorithms, Mathematical Modeling, Combinatorics, Computational Logic, Graph Theory, Advanced Mathematics, Computational Thinking, Performance Tuning, Programming Principles, Program Development, Theoretical Computer Science, Linear Algebra
University of Colorado Boulder
Skills you'll gain: Statistical Analysis, Matplotlib, Regression Analysis, Statistical Modeling, Data Analysis, Pandas (Python Package), Anomaly Detection, Time Series Analysis and Forecasting, Data Visualization Software, Python Programming, Data Integration, Data Collection, Data Manipulation, Application Programming Interface (API)
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Scala Programming, Other Programming Languages, Computer Programming, Programming Principles, Theoretical Computer Science, Software Design, Computational Logic
Yunus Social Business Fund Bengaluru
Skills you'll gain: Business Valuation, Return On Investment, Financial Analysis, Business Risk Management, Capital Budgeting, Risk Analysis, Environmental Social And Corporate Governance (ESG), Financial Modeling, Portfolio Management, Corporate Finance, Cash Flows, Investments, Correlation Analysis, Probability & Statistics
University of Colorado Boulder
Skills you'll gain: Simulation and Simulation Software, Vibrations, Process Control, Simulations, Mechanics, Angular, Engineering Calculations, Engineering Analysis, Torque (Physics), Mechanical Engineering, Mathematical Modeling, Advanced Mathematics, Linear Algebra, Differential Equations, Applied Mathematics, Calculus
Coursera Project Network
Skills you'll gain: Statistical Hypothesis Testing, Correlation Analysis, Six Sigma Methodology, R Programming, Statistical Analysis, Statistical Methods, Regression Analysis, Probability & Statistics, Data Analysis
University of Colorado System
Skills you'll gain: Estimation, Advanced Mathematics, Mathematical Modeling, Matlab, Linear Algebra, Statistical Methods, Predictive Analytics, Predictive Modeling, Applied Mathematics, Time Series Analysis and Forecasting, Probability & Statistics
- Status: New
Skills you'll gain: Spring Framework, Hibernate (Java), Spring Boot, Model View Controller, Java Platform Enterprise Edition (J2EE), Web Development, Java, Application Security, Authentications, Application Deployment, Database Management, Authorization (Computing), Transaction Processing
In summary, here are 10 of our most popular linear temporal logic specifications courses
- MATLAB을 사용한 프로그래밍 소개: Vanderbilt University
- Regression Analysis for Statistics & Machine Learning in R: Packt
- Holistic Web Development: Responsive UIs, Logic, Deployment: Board Infinity
- Circular business models fostering sustainability: Politecnico di Milano
- 离散优化算法篇 Solving Algorithms for Discrete Optimization: The Chinese University of Hong Kong
- Modeling Climate Anomalies with Statistical Analysis: University of Colorado Boulder
- Programming Languages Ⅱ: Korea Advanced Institute of Science and Technology(KAIST)
- Risk, Return and Valuation: Yunus Social Business Fund Bengaluru
- Attitude Control with Momentum Exchange Devices: University of Colorado Boulder
- RStudio for Six Sigma - Hypothesis Testing: Coursera Project Network