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
University of Colorado Boulder
Skills you'll gain: Image Analysis, Computer Vision, Computer Graphics, Deep Learning, Computer Science, Data Ethics, Applied Machine Learning, Artificial Intelligence, Data Processing, Linear Algebra
Board Infinity
Skills you'll gain: Query Languages, Performance Tuning, Data Processing, Distributed Computing, Data Storage, Software Architecture, Information Architecture, Scalability, Algorithms
Howard University
Skills you'll gain: Correlation Analysis, Business Analysis, Spreadsheet Software, Microsoft Excel, Financial Modeling, Business Modeling, Risk Analysis, Complex Problem Solving, Data Analysis
Universidad de los Andes
Skills you'll gain: Mathematics Education, Arithmetic, Systems Of Measurement, Geometry
Coursera Project Network
Skills you'll gain: Wireframing, Figma (Design Software), Prototyping, User Centered Design, User Flows, User Interface (UI), UI Components, Information Architecture
SkillUp EdTech
Skills you'll gain: Root Cause Analysis, Correlation Analysis, Regression Analysis, Statistical Methods, Data Collection, Descriptive Statistics, Probability & Statistics, Statistical Analysis, Process Analysis, Lean Six Sigma, Data Analysis, Process Improvement, Statistical Inference, Process Capability, Statistical Process Controls, Pareto Chart
University of Maryland, College Park
Skills you'll gain: Executive Presence, Persuasive Communication, Influencing, Communication, Virtual Teams, Leadership, Media and Communications, Stakeholder Communications, Project Management, Program Management, Emotional Intelligence, Strategic Communication, Non-Verbal Communication, Presentations, Team Building
Coursera Project Network
Skills you'll gain: Generative AI, Development Environment, Software Development Tools, Artificial Intelligence, Python Programming, Computer Programming, Interactive Design
University of California San Diego
Skills you'll gain: Algorithms, Programming Principles, Computational Thinking, Pseudocode, Computer Programming, Code Review, Software Documentation, Debugging
Skills you'll gain: Computational Thinking, Pseudocode, Algorithms, Programming Principles, Computer Programming, Computational Logic, Logical Reasoning
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
- Introduction to Computer Vision:Â University of Colorado Boulder
- Executing Full Text Queries with Elasticsearch:Â Board Infinity
- Solving Business Problems with Spreadsheet Modeling:Â Howard University
- Educación Matemática para profesores de infantil. Curso 2: Universidad de los Andes
- Crea wireframes digitales con Figma:Â Coursera Project Network
- Data Collection and Root Cause Analysis:Â SkillUp EdTech
- Persuasion and Presence for Program and Project Managers:Â University of Maryland, College Park
- Gen AI for Software Development: Code Generation for Python:Â Coursera Project Network
- Computational Thinking for K-12 Educators Capstone:Â University of California San Diego