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
École normale supérieure
Skills you'll gain: Theoretical Computer Science, Combinatorics, Algorithms, Graph Theory, Computational Thinking, Operations Research, Mathematical Modeling, Probability
Skills you'll gain: JUnit, Test Driven Development (TDD), Version Control, Git (Version Control System), GitHub, Performance Tuning, Unit Testing, Data Structures, Development Testing, Algorithms, Program Development, Software Testing, Java, Test Case, Computer Programming, Debugging
University of Colorado Boulder
Skills you'll gain: Post-Production, Adobe Creative Cloud, Media Production, Editing, Writing and Editing, Data Import/Export, Graphic and Visual Design, Multimedia, Storytelling, Scripting, Timelines, Writing, File Management, Creativity, Quality Assurance
University of Leeds
Skills you'll gain: Programming Principles, Computational Logic, Python Programming, Computer Programming, Automation, Web Development, Algorithms, Debugging, Development Environment
Duke University
Skills you'll gain: Generative AI, PyTorch (Machine Learning Library), Natural Language Processing, Open Source Technology, Tensorflow, Artificial Intelligence and Machine Learning (AI/ML), MLOps (Machine Learning Operations), Applied Machine Learning, Cloud Development, Containerization, Application Deployment, Performance Tuning
- Status: Free
National Taiwan University
Skills you'll gain: Statistical Visualization, Matplotlib, Web Scraping, Business Logic, Machine Learning, Data Visualization Software, Business Analytics, Python Programming, Business Economics, User Interface (UI) Design, Computational Thinking, Computer Programming, Object Oriented Programming (OOP), Data Analysis
Tableau Learning Partner
Skills you'll gain: Exploratory Data Analysis, Tableau Software, Statistical Visualization, Data Analysis, Descriptive Statistics, Predictive Analytics, Data Processing, Box Plots, Statistical Analysis, Data Cleansing, Scatter Plots, Data Visualization Software, Trend Analysis, Analytics, Histogram, Data Transformation, Business Analytics, Data Manipulation, Regression Analysis, Correlation Analysis
- Status: Free
Skills you'll gain: Time Series Analysis and Forecasting, Exploratory Data Analysis, Feature Engineering, Statistical Analysis, Forecasting, Regression Analysis, Python Programming, Data Analysis, Predictive Modeling, Matplotlib, Pandas (Python Package), Scikit Learn (Machine Learning Library), Machine Learning Algorithms, Data Cleansing, Data Transformation
University of California, Santa Cruz
Skills you'll gain: Time Series Analysis and Forecasting, Forecasting, R Programming, Bayesian Statistics, Advanced Analytics, Statistical Modeling, Statistical Analysis, Statistical Methods, Statistical Inference, Regression Analysis, Data Analysis, Probability Distribution
Wesleyan University
Skills you'll gain: Regression Analysis, Statistical Methods, Statistical Analysis, Statistical Modeling, Data Analysis, Correlation Analysis, SAS (Software), Scatter Plots, Statistical Programming, Statistical Hypothesis Testing
Coursera Project Network
Skills you'll gain: Postman API Platform, OAuth, Application Programming Interface (API), API Design, Performance Testing, Security Testing, Software Testing, Restful API, Test Tools, Authentications, Authorization (Computing)
- Status: Free
Indian Institute for Human Settlements
Skills you'll gain: Innovation, Environmental Issue, Social Sciences, Policy Analysis, Socioeconomics, Systems Thinking, Emerging Technologies, Technology Strategies, Cultural Diversity, Qualitative Research, Research Methodologies
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Approximation Algorithms Part I: École normale supérieure
- Data Structures and Algorithms: Amazon
- Bring Your Story to Life – Video Post-Production: University of Colorado Boulder
- An Introduction to Programming using Python: University of Leeds
- Open Source LLMOps Solutions: Duke University
- 用 Python 做商管程式設計(三)(Programming for Business Computing in Python (3)): National Taiwan University
- Data Analysis with Tableau: Tableau Learning Partner
- Regression & Forecasting for Data Scientists using Python: EDUCBA
- Bayesian Statistics: Time Series Analysis: University of California, Santa Cruz
- Regression Modeling in Practice: Wesleyan University