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: New
Corporate Finance Institute
Skills you'll gain: Regression Analysis, Correlation Analysis, Statistical Modeling, Statistical Analysis, Predictive Modeling, Data Analysis, Scikit Learn (Machine Learning Library), Microsoft Excel, Supervised Learning, Pandas (Python Package)
University of Colorado Boulder
Skills you'll gain: Matplotlib, Seaborn, Data Visualization, Data-Driven Decision-Making, Exploratory Data Analysis, Data Presentation, Data Visualization Software, Descriptive Statistics, Pandas (Python Package), Data Analysis, Statistics, Statistical Analysis, Technical Communication, Data Manipulation, Box Plots, Scatter Plots, Correlation Analysis, Histogram
- Status: NewStatus: Free
Coursera Instructor Network
Skills you'll gain: Hardware Design, Engineering Design Process, Electronic Hardware, Design, Semiconductors, Computer-Aided Design, Electronic Systems, Electronic Components, Verification And Validation, Simulation and Simulation Software, Open Source Technology, Schematic Diagrams
- 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
Coursera Project Network
Skills you'll gain: HTML and CSS, Cascading Style Sheets (CSS), Hypertext Markup Language (HTML), Web Design, Web Development, UI Components, Front-End Web Development, Information Architecture
L&T EduTech
Skills you'll gain: Structural Engineering, Structural Analysis, Construction Estimating, Civil Engineering, Engineering Calculations, Engineering Documentation, Engineering Drawings, Technical Documentation, Cost Estimation
- Status: New
University of Michigan
Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Statistical Inference, Probability & Statistics, NumPy, Probability, Probability Distribution, Statistical Analysis, Data Analysis, Exploratory Data Analysis, Histogram, Scatter Plots, Regression Analysis, Pandas (Python Package), Linear Algebra, Python Programming
- 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
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
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Regression Analysis - Fundamentals & Practical Applications: Corporate Finance Institute
- Data Understanding and Visualization: University of Colorado Boulder
- Introduction to Chip Design with Open-Source EDA Tools: Coursera Instructor Network
- MATLAB을 사용한 프로그래밍 소개: Vanderbilt University
- Regression Analysis for Statistics & Machine Learning in R: Packt
- Design Restaurant Menu Website using HTML and CSS on VScode: Coursera Project Network
- Design and Detailing of RCC elements: L&T EduTech
- Statistics with Python Using NumPy, Pandas, and SciPy: University of Michigan
- Holistic Web Development: Responsive UIs, Logic, Deployment: Board Infinity
- Circular business models fostering sustainability: Politecnico di Milano