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"
Northwestern University
Skills you'll gain: Machine Controls, Artificial Intelligence, Automation, Manufacturing and Production, Process Control, Mechanical Engineering, Mechanics, Graph Theory, Engineering, Algorithms, Computational Logic, Virtual Environment, Simulation and Simulation Software, Mathematical Modeling, Numerical Analysis, Linear Algebra, Engineering Analysis, Differential Equations
Duke University
Skills you'll gain: Blockchain, FinTech, Emerging Technologies, Cryptography, Financial Regulation, Regulatory Compliance, Encryption, Technology Strategies, Business Logic, Payment Systems, Digital Assets, Feasibility Studies, Transaction Processing, Public Key Cryptography Standards (PKCS), Authentications, Distributed Computing, Network Protocols, Scalability
Microsoft
Skills you'll gain: Microsoft Azure, Serverless Computing, Cloud Development, Microsoft Power Automate/Flow, Event-Driven Programming, Cloud Applications, Business Process Automation, Cloud API, Application Programming Interface (API), Cloud Computing, GitHub
Deep Teaching Solutions
Skills you'll gain: Deductive Reasoning, Logical Reasoning, Critical Thinking, Curiosity, Decision Making, Problem Solving, Analytical Skills, Emotional Intelligence, Creative Thinking, Independent Thinking, Open Mindset, Complex Problem Solving, Strategic Thinking, Lifelong Learning, Growth Mindedness, Behavioral Economics, ChatGPT, Willingness To Learn, Systems Thinking, Innovation
Skills you'll gain: Embedded Software, C (Programming Language), Embedded Systems, Debugging, Peripheral Devices, Integrated Development Environments, Computer Programming Tools, Development Environment, System Programming, Program Development, Hardware Architecture, Systems Architecture, Data Structures, Microarchitecture, Performance Tuning, Computer Architecture, C++ (Programming Language), Data Storage, Computational Logic, Computer Programming
Skills you'll gain: Microarchitecture, Computer Architecture, Computer Hardware, Computer Systems, Embedded Systems, OS Process Management, Data Storage, Computational Logic, Other Programming Languages, C (Programming Language), C# (Programming Language)
Northwestern University
Skills you'll gain: Mathematical Modeling, Mechanical Engineering, Numerical Analysis, Simulations, Engineering, Engineering Analysis, Mechanics, Matlab, Algorithms, Torque (Physics), Differential Equations, Applied Mathematics, Calculus, Linear Algebra
The University of Sydney
Skills you'll gain: Advanced Mathematics, Integral Calculus, Calculus, Mathematical Theory & Analysis, Differential Equations, Applied Mathematics, Engineering Calculations, Mathematical Modeling, Linear Algebra, Physics, Derivatives
Skills you'll gain: Derivatives, Financial Market, Securities (Finance), Finance, Risk Modeling, Mathematical Modeling, Financial Modeling, Risk Management, Mathematics and Mathematical Modeling, Probability, Differential Equations, Applied Mathematics, Probability Distribution, Calculus, Correlation Analysis
L&T EduTech
Skills you'll gain: Engineering Drawings, Plumbing, Construction Engineering, Structural Analysis, Design Specifications, Hydraulics, Mechanical Design, Blueprint Reading, Civil Engineering, Failure Analysis, Manufacturing Standards, Engineering Analysis, Engineering Calculations, Engineering Practices, Mechanical Engineering, Facility Repair And Maintenance, Safety Assurance, Process Flow Diagrams, Process Analysis, Process Engineering
University of Colorado Boulder
Skills you'll gain: Data Storytelling, Data Presentation, Business Analytics, Data Visualization Software, Presentations, Data-Driven Decision-Making, Exploratory Data Analysis, Data Analysis, Business Analysis, Technical Communication, Strategic Decision-Making, Correlation Analysis
- Status: Free
Universidad de los Andes
Skills you'll gain: Arithmetic, Geometry, Mathematics Education, Systems Of Measurement, General Mathematics
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Modern Robotics, Course 4: Robot Motion Planning and Control:Â Northwestern University
- Blockchain Business Models:Â Duke University
- Create Serverless Applications :Â Microsoft
- Critical Thinking: A Brain-Based Guide for the ChatGPT Era:Â Deep Teaching Solutions
- Embedded Software Development with C:Â EDUCBA
- Introduction to Microprocessors:Â Arm
- Modern Robotics, Course 3: Robot Dynamics:Â Northwestern University
- Introduction to Advanced Calculus:Â The University of Sydney
- Pricing Options with Mathematical Models:Â Caltech
- Design of Industrial Piping Systems:Â L&T EduTech