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 California San Diego
Skills you'll gain: Graph Theory, Logical Reasoning, Cryptographic Protocols, Combinatorics, Computational Logic, Deductive Reasoning, Cryptography, Probability, Computational Thinking, Encryption, Mathematical Theory & Analysis, Network Analysis, Public Key Cryptography Standards (PKCS), Algorithms, Theoretical Computer Science, Python Programming, Data Structures, Cybersecurity, Computer Programming, Mathematical Modeling
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Systems Design, Electronic Hardware, Electrical and Computer Engineering, Simulation and Simulation Software, Embedded Systems, Verification And Validation, Computer Engineering, Development Testing, Debugging
- Status: Free
The Hong Kong University of Science and Technology
Skills you'll gain: Statistical Inference, Statistical Methods, Pandas (Python Package), Probability & Statistics, Risk Analysis, Statistics, Financial Trading, Financial Data, Data Manipulation, Statistical Analysis, Regression Analysis, Financial Analysis, Jupyter, Financial Modeling, Python Programming, Data Import/Export
Multiple educators
Skills you'll gain: Dashboard, Pseudocode, Jupyter, Algorithms, Data Mining, Pandas (Python Package), Data Visualization Software, Correlation Analysis, Web Scraping, NumPy, R Programming, Probability & Statistics, Predictive Modeling, Big Data, Automation, Computer Programming Tools, GitHub, Data Analysis Software, Machine Learning Algorithms, Unsupervised Learning
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Model Based Systems Engineering, Systems Design, Theoretical Computer Science, Verification And Validation, System Requirements, Systems Architecture, Software Systems, Simulations, Automation, Systems Engineering, Mechanics, Requirements Analysis, Computer Systems, Systems Analysis, Safety Assurance, Linear Algebra, Differential Equations, Algorithms
University of California, Santa Cruz
Skills you'll gain: Time Series Analysis and Forecasting, Bayesian Statistics, R Programming, Forecasting, Statistical Inference, Statistical Modeling, Technical Communication, Data Analysis, Probability, Statistical Machine Learning, Statistical Methods, Statistical Analysis, Advanced Analytics, Microsoft Excel, Markov Model, Probability Distribution, Probability & Statistics, Unsupervised Learning, Regression Analysis, Predictive Modeling
The Hong Kong University of Science and Technology
Skills you'll gain: Differential Equations, Engineering Calculations, Engineering Analysis, Applied Mathematics, Calculus, Numerical Analysis, Mathematical Modeling, Advanced Mathematics, Linear Algebra, Algebra
Rice University
Skills you'll gain: Data Visualization Software, Plot (Graphics), Package and Software Management, Python Programming, Data Cleansing, Programming Principles, Data Processing, Data Manipulation, Software Installation, Development Environment, Computational Logic, Data Structures, File Management, Scripting, Data Storage, Data Import/Export, Scripting Languages, Data Integration, Data Analysis, Computer Programming
- Status: Free
Duke University
Skills you'll gain: Probability, Bayesian Statistics, Calculus, Graphing, Data Science, Algebra, Arithmetic, Derivatives
- Status: [object Object]
Skills you'll gain: Data Storytelling, Business Metrics, Key Performance Indicators (KPIs), Data Management, Data Collection, Data Governance, Bayesian Statistics, Data Analysis, Descriptive Statistics, Statistical Hypothesis Testing, Information Privacy, Data Cleansing, Pandas (Python Package), Data Visualization Software, Statistical Inference, Spreadsheet Software, Correlation Analysis, Google Sheets, Exploratory Data Analysis, Data Manipulation
Rice University
Skills you'll gain: Computational Thinking, Event-Driven Programming, Algorithms, Combinatorics, Graph Theory, Programming Principles, Application Development, Object Oriented Programming (OOP), Data Structures, Theoretical Computer Science, Independent Thinking, Probability, Computer Programming, Interactive Design, Program Development, Big Data, Python Programming, Data Analysis, Probability & Statistics, Computational Logic
- Status: Free
Universidad Nacional Autónoma de México
Skills you'll gain: Algebra, General Mathematics, Arithmetic, Geometry
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Discrete Mathematics for Computer Science: University of California San Diego
- Hardware Description Languages for FPGA Design: University of Colorado Boulder
- Python and Statistics for Financial Analysis: The Hong Kong University of Science and Technology
- Data Science Foundations: IBM
- Foundations of Autonomous Systems: University of Colorado Boulder
- Bayesian Statistics: University of California, Santa Cruz
- Differential Equations for Engineers: The Hong Kong University of Science and Technology
- Introduction to Scripting in Python: Rice University
- Data Science Math Skills: Duke University
- Meta Data Analyst: Meta