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
National Taiwan University
Skills you'll gain: Operations Research, Mathematical Modeling, Process Optimization, Business Modeling, Industrial Engineering, Business Analytics, Production Planning, Inventory Management System, Microsoft Excel, Scheduling, Linear Algebra
Universidad Nacional Autónoma de México
Skills you'll gain: Bayesian Network, Program Development, Computational Logic, Game Theory, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Algorithms, Computational Thinking, Creativity, Engineering Software, Markov Model, Software Development, Theoretical Computer Science, Generative AI, Decision Support Systems, Applied Machine Learning, Data Ethics, Problem Management, Social Sciences, Bioinformatics
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Systems Design, Application Specific Integrated Circuits, Computational Logic, Computer Architecture, Digital Design, Computer Hardware, Hardware Architecture, Verification And Validation, Other Programming Languages
Skills you'll gain: Work Breakdown Structure, Calendar Management, Project Schedules, Project Management Software, Timelines, Scheduling, Project Management, Project Planning, Relationship Management, Data Visualization, Data Import/Export
- Status: Free
Universidad de los Andes
Skills you'll gain: Mathematics Education, Arithmetic, Geometry, Systems Of Measurement, Graphing, Algebra
Google
Skills you'll gain: Adobe XD, User Experience Design, Usability Testing, Figma (Design Software), Responsive Web Design, Wireframing, Information Architecture, User Experience, Prototyping, UI/UX Research, Presentations, Design Reviews, User Story, Storyboarding, Mockups, Ideation, Software Documentation, User Research, User Centered Design, Web Design
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
Kennesaw State University
Skills you'll gain: Process Capability, Team Management, Statistical Process Controls, Exploratory Data Analysis, Six Sigma Methodology, Probability & Statistics, Process Analysis, Statistical Analysis, Lean Six Sigma, Process Mapping, Correlation Analysis, Data Analysis, Data Collection, Regression Analysis, Process Improvement, Quality Improvement, Business Process, Graphing
California Institute of the Arts
Skills you'll gain: Information Architecture, Persona (User Experience), UI/UX Strategy, User Experience Design, Web Design, Wireframing, User Research, Mockups, Usability Testing, Agile Methodology, Waterfall Methodology
- Status: Free
Nanjing University
Skills you'll gain: Language Interpretation, Translation, and Studies, Language Competency, Vocabulary, English Language, Writing and Editing, Grammar, Cultural Sensitivity
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Regression Analysis, Statistical Analysis, Statistical Modeling, Statistical Inference, Business Analytics, Microsoft Excel, Estimation, Data Analysis, Data Transformation
University of Michigan
Skills you'll gain: Finite Element Methods, Differential Equations, Engineering Analysis, Numerical Analysis, Mathematical Modeling, Mathematical Theory & Analysis, Advanced Mathematics, Applied Mathematics, Linear Algebra, C++ (Programming Language), Calculus, Open Source Technology
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Operations Research (1): Models and Applications:Â National Taiwan University
- Introducción a la inteligencia artificial: Universidad Nacional Autónoma de México
- Sistemas Digitales: De las puertas lógicas al procesador: Universitat Autònoma de Barcelona
- Oracle Primavera P6 – Project Setup and Basic Management: Packt
- Contenido de las matemáticas de primaria: Universidad de los Andes
- Google UX Design (PT):Â Google
- Automated Reasoning: Symbolic Model Checking:Â EIT Digital
- Six Sigma Advanced Define and Measure Phases:Â Kennesaw State University
- Web Design: Strategy and Information Architecture:Â California Institute of the Arts
- Translation in Practice:Â Nanjing University