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"
Pontificia Universidad Católica del Perú
Skills you'll gain: Human Computer Interaction, Prototyping, Usability, User Experience, User Interface (UI) Design, Interaction Design, User Centered Design, Human Factors, User Research, Design Thinking, Information Architecture
Skills you'll gain: Data Structures, Java, Programming Principles, Algorithms, Computer Programming, Object Oriented Programming (OOP)
Microsoft
Skills you'll gain: Microsoft Development Tools, Microsoft Azure, Serverless Computing, Cloud Development, Cloud Applications, Event-Driven Programming, Cloud API, Application Programming Interface (API), Microservices, Event Monitoring, GitHub, Business Process Automation
Universidad Nacional Autónoma de México
Skills you'll gain: Thermal Management, Process Engineering, Chemical Engineering, Energy and Utilities, Engineering Design Process, Engineering Calculations, Control Systems, Cost Estimation, Mathematical Modeling, Simulation and Simulation Software
Howard University
Skills you'll gain: Regression Analysis, Predictive Modeling, Statistical Modeling, Supervised Learning, Scikit Learn (Machine Learning Library), Applied Mathematics, Machine Learning Methods, Linear Algebra, Small Data, Statistical Analysis, NumPy
Deep Teaching Solutions
Skills you'll gain: Deductive Reasoning, Critical Thinking, Cognitive flexibility, Problem Solving, Analytical Skills, Creative Thinking, Independent Thinking, Strategic Thinking, Innovation, Decision Making, Verbal Communication Skills, Communication
Skills you'll gain: Blockchain, Programming Principles, Secure Coding, Development Environment, Integrated Development Environments, Data Structures, Development Testing, Debugging
Skills you'll gain: Algorithms, IBM Cloud, Python Programming, Theoretical Computer Science, Artificial Intelligence and Machine Learning (AI/ML), Computer Programming, Computational Thinking, Jupyter, Emerging Technologies, Linear Algebra, Simulations
Queen Mary University of London
Skills you'll gain: Data Analysis, Statistical Analysis, Correlation Analysis, Quantitative Research, Regression Analysis, Content Performance Analysis, Marketing Analytics, Probability & Statistics, Trend Analysis, Data Cleansing, Digital Marketing, Exploratory Data Analysis, Market Research, Return On Investment
- Status: Free
The Hong Kong University of Science and Technology
Skills you'll gain: Research Design, Social Sciences, Research, Surveys, Qualitative Research, Statistical Analysis, Data Collection, Higher Education, Correlation Analysis, Sample Size Determination, Ethical Standards And Conduct, Probability & Statistics, Regression Analysis
- Status: New
University of Michigan
Skills you'll gain: Geographic Information Systems, Geospatial Mapping, Spatial Data Analysis, Datamaps, Spatial Analysis, Data Storytelling, Environmental Monitoring, Heat Maps, Forecasting, Trend Analysis
Scrimba
Skills you'll gain: Python Programming, Programming Principles, Data Structures, Computational Thinking
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Fundamentos de UX para el desarrollo de software: Pontificia Universidad Católica del Perú
- Java: Linear Data Structures and Trees:Â Codio
- Build Serverless Applications:Â Microsoft
- In core nuclear fuel management: Universidad Nacional Autónoma de México
- Building Regression Models with Linear Algebra:Â Howard University
- Critical Thinking & Logic: Real-World Skills:Â Deep Teaching Solutions
- Foundations of Solidity and Smart Contract Development:Â Packt
- Quantum Computing with Qiskit and Advanced Algorithms:Â Packt
- Analysis and Interpretation of Data:Â Queen Mary University of London
- Social Science Approaches to the Study of Chinese Society Part 2:Â The Hong Kong University of Science and Technology