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"
Howard University
Skills you'll gain: Data Wrangling, Linear Algebra, Regression Analysis, Data Manipulation, NumPy, Predictive Modeling, Dimensionality Reduction, Data Science, Applied Mathematics, Python Programming, Statistical Modeling, Mathematical Software, Supervised Learning, Data Visualization Software, Jupyter, Data Analysis, Scikit Learn (Machine Learning Library), Machine Learning Methods, Numerical Analysis, Algebra
The Hong Kong University of Science and Technology
Skills you'll gain: Integral Calculus, Engineering Calculations, Calculus, Engineering Analysis, Engineering, Geometry, Advanced Mathematics, Mechanical Engineering, Applied Mathematics, Electrical Engineering, Physics, Derivatives
University of Colorado Boulder
Skills you'll gain: Machine Controls, Control Systems, Basic Electrical Systems, Electrical Engineering, Power Electronics, Three-Phase, Torque (Physics), Electrical Equipment, Embedded Software, Electronics, Electrical Wiring, Design Specifications, System Requirements, Laboratory Experience, Electronic Components, Technical Standard
Johns Hopkins University
Skills you'll gain: Calculus, Applied Mathematics, Data Modeling, Estimation, Graphing, Mathematical Modeling, Numerical Analysis, Algebra, Trigonometry, Cost Estimation, Mathematical Software, Linear Algebra, Operations Research, Data Analysis, Advanced Mathematics, Mathematical Theory & Analysis, Derivatives, Geometry
Coursera Project Network
Skills you'll gain: Correlation Analysis, Seaborn, Data Cleansing, Data Visualization, Statistical Analysis, Data Manipulation, Data Analysis, Exploratory Data Analysis, Pandas (Python Package), Data Integration, Infectious Diseases
Vanderbilt University
Skills you'll gain: Android Studio, Android Development, Object Oriented Programming (OOP), Java Programming, Java, Mobile Development, Data Structures, Integrated Development Environments, Computer Programming, Development Environment, Debugging, Algorithms
University of Michigan
Skills you'll gain: Data Structures, 3D Modeling, Computational Logic, Visualization (Computer Graphics), Design, Python Programming, Animations, Scripting, Computer Programming, Automation
University of Maryland, College Park
Skills you'll gain: Security Engineering, Computer Hardware, Hardware Architecture, Threat Modeling, Threat Detection, Cybersecurity, Application Specific Integrated Circuits, Cryptography, Encryption, Emerging Technologies, Authentications, System Design and Implementation, Computational Logic
- Status: Free
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Integral Calculus, Calculus, Trigonometry, Algebra, Differential Equations, Linear Algebra, Derivatives
Universidade Estadual de Campinas
Skills you'll gain: Logical Reasoning, Deductive Reasoning, Liberal Arts, Persuasive Communication, Research, Statistics, Media and Communications, Appeals, Probability & Statistics
- Status: Free
National Taiwan University
Skills you'll gain: Information Systems, Information Management, Business Logic, Data Structures, Transportation Operations, Production Planning, Operations Management, Business Operations, Inventory Control, Logistics, Algorithms, Programming Principles, Computer Programming, Python Programming, Decision Making
- Status: Free
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, System Software, Systems Design, Software Architecture
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Linear Algebra for Data Science Using Python: Howard University
- Vector Calculus for Engineers: The Hong Kong University of Science and Technology
- Motors and Motor Control Circuits: University of Colorado Boulder
- Differential Calculus through Data and Modeling: Johns Hopkins University
- COVID19 Data Analysis Using Python: Coursera Project Network
- Java for Android: Vanderbilt University
- Design Computing: 3D Modeling in Rhinoceros with Python/Rhinoscript: University of Michigan
- Hardware Security: University of Maryland, College Park
- Basic Mathematics: Birla Institute of Technology & Science, Pilani
- Pensamento Crítico, Lógica e Argumentação: Universidade Estadual de Campinas