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: Hypertext Markup Language (HTML), Web Content Accessibility Guidelines, HTML and CSS, Semantic Web, Web Content, Information Architecture, Web Design, Web Development
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
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
Skills you'll gain: React.js, JavaScript Frameworks, Unit Testing, UI Components, Development Testing, Front-End Web Development, User Interface (UI), Data Sharing
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
University of Pennsylvania
Skills you'll gain: Statistical Machine Learning, Statistical Methods, Python Programming, Statistical Modeling, Supervised Learning, Machine Learning, Regression Analysis, Statistical Analysis, Classification And Regression Tree (CART), Applied Machine Learning, Machine Learning Algorithms, Data Science, Statistical Inference, Predictive Modeling, Probability & Statistics, Dimensionality Reduction
Skills you'll gain: Cryptography, Encryption, Algorithms, Development Environment, Linear Algebra, Computer Programming Tools, Theoretical Computer Science, Programming Principles, Computer Science, Computational Thinking, Software Installation, Simulations, Software Versioning, Test Case, Application Frameworks
Coursera Project Network
Skills you'll gain: Amazon Web Services, Amazon S3, Information Architecture, Web Analytics and SEO, Data Management
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
Skills you'll gain: Splunk, Data Modeling, Role-Based Access Control (RBAC), System Monitoring, Incident Response, User Accounts, Security Information and Event Management (SIEM), Authorization (Computing), Machine Learning, Event Monitoring, Systems Administration, Performance Tuning, Data Visualization, Threat Detection, Identity and Access Management, Exploratory Data Analysis, Anomaly Detection, Continuous Monitoring, Correlation Analysis, Data Analysis
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 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
In summary, here are 10 of our most popular linear temporal logic specifications courses
- HTML for Beginners: Getting Started:Â Coursera Project Network
- Development and Operation on Alibaba Cloud:Â Alibaba Cloud Academy
- Social Determinants of Health: Data to Action:Â University of Minnesota
- Building User Interfaces Using Functional React Components:Â NIIT
- Build Serverless Applications:Â Microsoft
- Machine Learning Essentials:Â University of Pennsylvania
- Practical Quantum Computing with IBM Qiskit for Beginners:Â Packt
- Build your first Search Engine using AWS Kendra:Â Coursera Project Network
- Oracle Primavera P6 PPM Professional Advanced Features:Â Packt
- Splunk Administration and Advanced Topics:Â EDUCBA