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"
University of Colorado Boulder
Skills you'll gain: Statistical Analysis, Matplotlib, Regression Analysis, Statistical Modeling, Data Analysis, Pandas (Python Package), Anomaly Detection, Time Series Analysis and Forecasting, Data Visualization Software, Python Programming, Data Integration, Data Collection, Data Manipulation, Application Programming Interface (API)
Skills you'll gain: Server Side, Restful API, Docker (Software), Responsive Web Design, Containerization, HTML and CSS, Cloud Platforms, Application Deployment, API Design, Cloud Applications, CI/CD, Back-End Web Development, Node.JS, Kubernetes, Web Design and Development, Databases, Database Management, User Interface (UI) Design, Web Content Accessibility Guidelines, Bootstrap (Front-End Framework)
University of Colorado Boulder
Skills you'll gain: Correlation Analysis, Data Visualization, Descriptive Statistics, Statistical Analysis, Statistical Software, Quantitative Research, Probability & Statistics, Data Analysis, Analysis, Exploratory Data Analysis, Data Quality, R Programming, Regression Analysis, Statistical Methods, Systems Analysis, Verification And Validation, Data Validation, Statistics, Statistical Hypothesis Testing
Coursera Project Network
Skills you'll gain: Statistical Hypothesis Testing, Correlation Analysis, Six Sigma Methodology, R Programming, Statistical Analysis, Statistical Methods, Regression Analysis, Probability & Statistics, Data Analysis
Skills you'll gain: HVAC, Building Services Engineering, Thermal Management, System Requirements, Process Control, Equipment Design, Environmental Monitoring, Mechanical Design, Technical Standard, Control Panels, Facility Management, Continuous Monitoring, Reliability, Engineering Calculations
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Computational Logic, Systems Design, Functional Design, Hardware Design, Mathematical Modeling, Theoretical Computer Science, Systems Architecture, Computer Architecture, Simulation and Simulation Software, Electrical and Computer Engineering, Software Architecture, Algorithms
Universidad Nacional Autónoma de México
Skills you'll gain: Thermal Management, Waste Minimization, Plant Operations and Management, Mechanical Design, Production Process, Manufacturing Processes, Process Engineering, Engineering Design Process, Facility Management, Design Specifications, Engineering Calculations, Manufacturing and Production, Safety Assurance, Environment and Resource Management, Cost Estimation, Natural Resource Management, Mathematical Modeling, Simulation and Simulation Software
Coursera Project Network
Skills you'll gain: HTML and CSS, Cascading Style Sheets (CSS), Hypertext Markup Language (HTML), Web Design, Web Development, UI Components, Front-End Web Development, Information Architecture
L&T EduTech
Skills you'll gain: Architectural Drawing, Building Information Modeling, Cost Estimation, Construction Estimating, Structural Engineering, Engineering Plans And Specifications, Engineering Drawings, Construction Engineering, Design Specifications, Civil and Architectural Engineering, Visualization (Computer Graphics), Civil Engineering, Safety Assurance, Engineering Calculations
Skills you'll gain: Penetration Testing, Cyber Security Assessment, Vulnerability Assessments, Infrastructure Security, Distributed Denial-Of-Service (DDoS) Attacks, Application Security, Cloud Security, Network Security, Internet Of Things, Wireless Networks, Application Programming Interface (API), Business Logic
Coursera Project Network
Skills you'll gain: Time Series Analysis and Forecasting, Data Visualization Software, Statistical Visualization, Plot (Graphics), Box Plots, Anomaly Detection, Heat Maps, Data Analysis, Spatial Data Analysis, Exploratory Data Analysis, Data Processing
Skills you'll gain: Typography, Graphic and Visual Design, Graphic Design, Visual Design, Digital Design, Adobe Photoshop, Adobe Illustrator, Design, Design Reviews, Storytelling, User Centered Design, Color Theory
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Modeling Climate Anomalies with Statistical Analysis:Â University of Colorado Boulder
- Holistic Web Development: Responsive UIs, Logic, Deployment:Â Board Infinity
- Measurement Systems Analysis:Â University of Colorado Boulder
- RStudio for Six Sigma - Hypothesis Testing:Â Coursera Project Network
- Cutting-edge Technology in Air Conditioning System:Â L&T EduTech
- Introduction to Modeling for Formal Verification:Â University of Colorado Boulder
- Nuclear fuel management: a practical approach: Universidad Nacional Autónoma de México
- Design Restaurant Menu Website using HTML and CSS on VScode:Â Coursera Project Network
- Design of Formwork System:Â L&T EduTech
- Advanced Penetration Techniques:Â Packt