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"
Deep Teaching Solutions
Skills you'll gain: Critical Thinking, Decision Making, Emotional Intelligence, Behavioral Economics, ChatGPT, Systems Thinking, Deductive Reasoning
University of California San Diego
Skills you'll gain: Debugging, Object Oriented Programming (OOP), Java Programming, Java, Program Development, Integrated Development Environments, Programming Principles, Software Design, Computational Thinking, Computer Programming, Cultural Responsiveness, Test Case, Computational Logic, Algorithms, Data Structures
University of Colorado Boulder
Skills you'll gain: Embedded Software, Embedded Systems, Electronic Systems, Electronic Hardware, Machine Controls, Hardware Design, Equipment Design, Design Specifications, Power Electronics, Electronic Components, Electrical Wiring, Torque (Physics), Engineering Calculations, Physics
Peking University
Skills you'll gain: C (Programming Language), Programming Principles, Computer Science, Computer Architecture, Theoretical Computer Science, Computer Programming, Computational Logic, Data Structures, Algorithms
Status: NewSkills you'll gain: Test Automation, Authentications, Continuous Integration, Software Testing, CI/CD, Behavior-Driven Development, Test Tools, Test Execution Engine, Application Programming Interface (API), Test Case, Test Data, GitHub, Cascading Style Sheets (CSS), Debugging
Status: NewDeepLearning.AI
Skills you'll gain: Pandas (Python Package), Data Visualization, Time Series Analysis and Forecasting, Matplotlib, Data Visualization Software, Statistical Inference, Statistical Analysis, Seaborn, Data Analysis, Statistical Methods, Exploratory Data Analysis, Descriptive Statistics, Probability & Statistics, Data Manipulation, Programming Principles, Python Programming, Regression Analysis, Computer Programming
The Hong Kong University of Science and Technology
Skills you'll gain: Physics, Semiconductors, Experimentation, Advanced Mathematics, Mechanics, Linear Algebra, Physical Science, Quantitative Research, Differential Equations, Information Architecture, Science and Research, Applied Mathematics
École Polytechnique
Skills you'll gain: Differential Equations, Advanced Mathematics, Integral Calculus, Calculus, Mathematical Theory & Analysis, Derivatives
University of Colorado Boulder
Skills you'll gain: Vibrations, Mechanics, Torque (Physics), Engineering Calculations, Engineering Analysis, Differential Equations, Mechanical Engineering, Structural Analysis, Mathematical Modeling, Simulation and Simulation Software, Applied Mathematics, Linear Algebra, Physics, Calculus
Status: FreeÉcole Polytechnique Fédérale de Lausanne
Skills you'll gain: Object Oriented Programming (OOP), Java Programming, Java, Object Oriented Design, Software Design
Status: FreeInstituto Tecnológico de Aeronáutica
Skills you'll gain: Matlab, Systems Design, Mathematical Modeling, Systems Analysis, Performance Testing, Simulations, Performance Tuning
University of Colorado Boulder
Skills you'll gain: Post-Production, Adobe Creative Cloud, Media Production, Editing, Writing and Editing, Data Import/Export, Graphic and Visual Design, Multimedia, Storytelling, Scripting, Timelines, Writing, File Management, Creativity, Quality Assurance
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Critical Thinking for Better Decisions in the ChatGPT Era:Â Deep Teaching Solutions
- Learn to Teach Java:Â University of California San Diego
- Pressure, Force, Motion, and Humidity Sensors :Â University of Colorado Boulder
- 计算导论与Cè¯è¨€åŸºç¡€: Peking University
- Playwright Python and Pytest for Web Automation Testing:Â Packt
- Python for Data Analytics:Â DeepLearning.AI
- Understanding Modern Physics II: Quantum Mechanics and Atoms:Â The Hong Kong University of Science and Technology
- Initiation à la théorie des distributions: École Polytechnique
- Kinetics: Studying Spacecraft Motion:Â University of Colorado Boulder
- Introduction à la programmation orientée objet (en Java): École Polytechnique Fédérale de Lausanne
