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"
Skills you'll gain: Earned Value Management, Scheduling, Project Schedules, Project Performance, Project Controls, Project Management Software, Project Coordination, Project Portfolio Management, Change Control, User Accounts, Work Breakdown Structure, Resource Management, Administration, Data Management, Data Import/Export
Coursera Project Network
Skills you'll gain: Data Pipelines, Microsoft SQL Servers, Microsoft Azure, Database Management, Data Warehousing, Data Integration, Data Maintenance, Extract, Transform, Load
Skills you'll gain: React.js, JavaScript Frameworks, Unit Testing, UI Components, Development Testing, Front-End Web Development, User Interface (UI), Data Sharing
University of California San Diego
Skills you'll gain: Technical Communication, Digital Transformation, Cloud Computing, Computational Thinking, Big Data, Hypertext Markup Language (HTML), Cloud Storage, Data Science, Artificial Intelligence and Machine Learning (AI/ML), Amazon Web Services, SQL, Databases
Johns Hopkins University
Skills you'll gain: Generative AI, OpenAI, ChatGPT, Data Ethics, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Natural Language Processing, Deep Learning, Theoretical Computer Science, Computational Logic, Verification And Validation
University of Colorado Boulder
Skills you'll gain: Statistical Hypothesis Testing, Correlation Analysis, Statistical Analysis, Statistical Software, Statistical Methods, Probability & Statistics, Statistical Visualization, Data Analysis, Data Visualization, R Programming, Statistics, Regression Analysis, Variance Analysis, Data-Driven Decision-Making, Descriptive Statistics, Sampling (Statistics)
Skills you'll gain: Programming Principles, Development Environment, Integrated Development Environments, Computational Logic, Data Structures, Software Development, Computer Programming, Data Management, Debugging, Arithmetic
University of Minnesota
Skills you'll gain: Health Systems, Statistical Analysis, Systems Thinking, Statistical Software, Data Analysis, Box Plots, Health Care, Data Ethics, Social Sciences, Research Methodologies, Correlation Analysis, Social Justice, Patient Education and Support, Heat Maps, Policy Analysis, Scatter Plots, Economics, Policy, and Social Studies, Research, Epidemiology, Regression Analysis
Coursera Project Network
Skills you'll gain: Hypertext Markup Language (HTML), Web Content Accessibility Guidelines, HTML and CSS, Semantic Web, Web Content, Information Architecture, Web Design, Web Development
- 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
Microsoft
Skills you'll gain: Microsoft Development Tools, Microsoft Azure, Serverless Computing, Cloud Development, Cloud Applications, Microsoft Visual Studio, Event-Driven Programming, Cloud API, Application Programming Interface (API), Event Monitoring, Application Deployment, GitHub, Business Process Automation
Alibaba Cloud Academy
Skills you'll gain: Docker (Software), Containerization, Application Deployment, Kubernetes, Terraform, Prometheus (Software), Cloud Computing, Performance Tuning, Application Performance Management, Cloud Management, Cloud Applications, DevOps, Performance Testing, Cloud Infrastructure, Database Management, Infrastructure as Code (IaC), Systems Administration, Redis, Cloud Platforms, Database Administration
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Oracle Primavera P6 PPM Professional Advanced Features: Packt
- Azure Data Factory : Implement SCD Type 1: Coursera Project Network
- Building User Interfaces Using Functional React Components: NIIT
- Teaching Impacts of Technology: Workplace of the Future: University of California San Diego
- Generative AI: Johns Hopkins University
- Data Driven Decision Making: University of Colorado Boulder
- Foundations of Solidity and Smart Contract Development: Packt
- Social Determinants of Health: Data to Action: University of Minnesota
- HTML for Beginners: Getting Started: Coursera Project Network
- MATLAB을 사용한 프로그래밍 소개: Vanderbilt University