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"
Coursera Project Network
Skills you'll gain: Generative AI, Development Environment, Software Development Tools, Artificial Intelligence, Python Programming, Computer Programming, Interactive Design
Skills you'll gain: Data Structures, Algorithms, Java, Theoretical Computer Science, Programming Principles, Performance Tuning, Computer Programming
Fundação Instituto de Administração
Skills you'll gain: Quantitative Research, Marketing Analytics, Market Analysis, Market Research, Exploratory Data Analysis, Strategic Marketing, Forecasting, Data Analysis, Predictive Modeling, Time Series Analysis and Forecasting, Customer Analysis, Statistical Modeling, Statistical Analysis, Statistical Methods, Correlation Analysis, Regression Analysis, Unsupervised Learning, Variance Analysis
Skills you'll gain: Power BI, Data Ethics, Data Visualization Software, Data Analysis, Statistical Analysis, Correlation Analysis, Business Intelligence, Advanced Analytics, Data Analysis Expressions (DAX), Data-Driven Decision-Making, Exploratory Data Analysis, Trend Analysis, Time Series Analysis and Forecasting, Scatter Plots, Forecasting, Geospatial Information and Technology, Root Cause Analysis
- Status: Free
DeepLearning.AI
Skills you'll gain: Generative AI, Performance Tuning, Tensorflow, PyTorch (Machine Learning Library), Applied Machine Learning
University of Colorado Boulder
Skills you'll gain: Data Science, R Programming, Statistical Machine Learning, Advanced Analytics, Dimensionality Reduction, Statistical Modeling, Statistical Analysis, Statistical Methods, Sampling (Statistics), Regression Analysis, Statistical Inference, Predictive Modeling, Applied Mathematics
- Status: Free
Universidad Austral
Skills you'll gain: Data Visualization, Data Visualization Software, Tableau Software, Visual Design, Exploratory Data Analysis, Data Storytelling, Data Presentation, Data Ethics, Graphic and Visual Design, Design Elements And Principles, Color Theory, Analysis, Information Architecture, Human Factors
Skills you'll gain: Blockchain, Secure Coding, Application Security, Data Structures, Programming Principles, Software Design Patterns, Development Environment, Cybersecurity, Integrated Development Environments, Computational Logic, Web Development Tools, Data Management, Code Review, Cryptography, Debugging, Object Oriented Programming (OOP), Application Development, Software Development, Computer Programming, Transaction Processing
LearnKartS
Skills you'll gain: Salesforce, Data Import/Export, Dashboard, Salesforce Development, Application Deployment, Data Cleansing, User Accounts, Workflow Management, Business Reporting, Customer Relationship Management, Management Reporting, Data Management, Identity and Access Management, Release Management, Data Quality, Data Integration, Authorization (Computing), Change Management, Configuration Management, Business Process Automation
University of Michigan
Skills you'll gain: Prototyping, Ideation, Engineering Design Process, Design Strategies, Human Centered Design, Conceptual Design, Systems Engineering, Social Justice, Socioeconomics, Product Engineering, Innovation, Engineering Practices, Diversity Equity and Inclusion Initiatives, Design Specifications, Cultural Responsiveness, Creativity, Product Requirements, Ethical Standards And Conduct, Cost Benefit Analysis
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
The Hong Kong University of Science and Technology
Skills you'll gain: Web Analytics and SEO, Semantic Web, Algorithms, Analytics, Text Mining, Information Architecture, Natural Language Processing, User Research, Data Structures, Applied Machine Learning, Statistical Methods
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Gen AI for Software Development: Code Generation for Python:Â Coursera Project Network
- Java: Non-Linear Data Structures:Â Codio
- Análise de Dados Quantitativos: Fundação Instituto de Administração
- Visualization for Data Analysis with Power BI:Â Microsoft
- Quantization Fundamentals with Hugging Face:Â DeepLearning.AI
- Resampling, Selection and Splines:Â University of Colorado Boulder
- Principios esenciales de diseño en Tableau: Universidad Austral
- Solidity Mastery: Foundations to Advanced Smart Contracts:Â Packt
- Salesforce Admin and App Builder:Â LearnKartS
- Introduction to Socially Engaged Design :Â University of Michigan