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"
Xi'an Jiaotong University
Skills you'll gain: Program Development, Operating Systems, Debugging, Microsoft Visual Studio, Computer Hardware, Computer Science, C# (Programming Language), Computer Architecture, Object Oriented Programming (OOP), Programming Principles, Integrated Development Environments, Computational Logic, Computer Programming, System Design and Implementation
- Status: New
Skills you'll gain: Usability Testing, Figma (Design Software), Responsive Web Design, User Experience Design, UI/UX Research, Prototyping, Software Design Documents, User Interface (UI) Design, UI Components, Animations
L&T EduTech
Skills you'll gain: Pump Stations, Blueprint Reading, Process Flow Diagrams, Hydraulics, Plumbing, Building Codes, Engineering Drawings, Safety Assurance, Structural Analysis, Design Specifications, Engineering Calculations, Technical Standard
Skills you'll gain: Matplotlib, Data Visualization, Linear Algebra, NumPy, Seaborn, Pandas (Python Package), Machine Learning, Scikit Learn (Machine Learning Library), Supervised Learning, Python Programming, Jupyter, Data Analysis, Data Manipulation, Classification And Regression Tree (CART), Regression Analysis, Data Structures
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Differential Equations, Applied Mathematics, Advanced Mathematics, Calculus, Linear Algebra, Engineering Analysis, Mathematical Theory & Analysis
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Microarchitecture, Computer Architecture, Computational Logic, Computer Systems, Computer Science, Programming Principles, Embedded Systems, Computer Hardware, Digital Design, Data Storage, Algorithms
University of Colorado System
Skills you'll gain: Clinical Data Management, Clinical Research, Data Quality, Health Informatics, Biostatistics, Time Series Analysis and Forecasting, Data Analysis, Data Modeling, Data Science, Analytics, Statistical Reporting, R Programming, SQL
- Status: Free
The Chinese University of Hong Kong
Skills you'll gain: Statistical Modeling, Statistical Analysis, SPSS, SAS (Software), Regression Analysis, Analysis, Correlation Analysis, Statistical Methods, Data Analysis Software, Data Modeling
University of Colorado Boulder
Skills you'll gain: New Product Development, Product Development, Design Thinking, Engineering Management, Product Management, Market Research, Prototyping, Conceptual Design, Innovation, Product Requirements, Target Market, Mockups, Wireframing, Leadership and Management, Leadership, Creativity, Customer Insights
- Status: Free
Coursera Project Network
Skills you'll gain: TypeScript, Computational Logic, Other Programming Languages, Programming Principles, Data Structures
- Status: NewStatus: Free
Coursera Instructor Network
Skills you'll gain: Electronics, Electronics Engineering, Electronic Hardware, Electrical Engineering, Schematic Diagrams, Electronic Components, Computer-Aided Design, Design Software, Engineering Documentation, Design Specifications, Open Source Technology
Skills you'll gain: Splunk, Data Modeling, Role-Based Access Control (RBAC), System Monitoring, Incident Response, User Accounts, Security Information and Event Management (SIEM), Machine Learning, Systems Administration, Performance Tuning, Data Visualization, Threat Detection, Anomaly Detection, Correlation Analysis, Data Analysis, Authentications, Data Collection, Configuration Management
In summary, here are 10 of our most popular linear temporal logic specifications courses
- 系统平台与C#程序基础: Xi'an Jiaotong University
- High-Fidelity Design and User Testing with Figma: Coursera
- Fire Hydrant System: L&T EduTech
- Python Fundamentals and Data Science Essentials: Packt
- Differential Equations Part II Series Solutions: Korea Advanced Institute of Science and Technology(KAIST)
- Introduction to Computing Systems: Birla Institute of Technology & Science, Pilani
- Advanced Clinical Data Science: University of Colorado System
- Structural Equation Model and its Applications | 结构方程模型及其应用 (粤语): The Chinese University of Hong Kong
- Managing the New Product Development Process: University of Colorado Boulder
- TypeScript Operators: Coursera Project Network