Results for "linear+temporal+logic+specifications"
Status: NewStatus: PreviewUniversitat Politècnica de València
Skills you'll gain: Linear Algebra, Algebra, Geometry, General Mathematics, Applied Mathematics, Arithmetic
Status: Free TrialJohns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Advanced Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Modeling, Engineering Analysis, Mathematical Theory & Analysis, Numerical Analysis, Geometry, Data Transformation, Applied Machine Learning, Dimensionality Reduction, Markov Model, Probability
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Reliability, Software Systems, Performance Tuning, Embedded Software, Control Systems, Hardware Architecture, Systems Architecture, Software Design, Debugging, Software Architecture, Verification And Validation, System Design and Implementation, Linux, System Programming, Code Review, Performance Testing, Electrical and Computer Engineering, Real Time Data
Status: Free TrialSkills you'll gain: Problem Solving, Vocabulary, Logical Reasoning, Critical Thinking, Data Literacy, Arithmetic, Decision Making, Deductive Reasoning, Data Analysis, Analytical Skills, Complex Problem Solving, Grammar, English Language, Case Studies, Literacy, Learning Strategies, Applied Mathematics, Data-Driven Decision-Making, Quantitative Research, Estimation
Status: NewSkills you'll gain: Retrieval-Augmented Generation, Large Language Modeling, Hugging Face, MLOps (Machine Learning Operations), OpenAI, Prompt Engineering, Model Deployment, AWS SageMaker, Extract, Transform, Load, Embeddings, Data Pipelines, CI/CD, Vector Databases, Model Evaluation
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Verification And Validation, Electronic Systems, Embedded Systems, Electronics Engineering, Application Specific Integrated Circuits, Electronic Hardware, Electronics, Systems Design, Software Design, Program Development, Integrated Development Environments, System Design and Implementation, Computer Architecture, Eclipse (Software), Computational Logic, Hardware Architecture, Software Development, Computer Engineering
What brings you to Coursera today?
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computer Programming, Pseudocode, Algorithms, Computer Science, Formal Learning, Software Engineering, Program Development, Data Science, Analysis, Debugging, Technical Analysis
Status: Free TrialSkills you'll gain: Field-Programmable Gate Array (FPGA), Electronic Systems, Hardware Design, Application Specific Integrated Circuits, Electronics Engineering, Serial Peripheral Interface, Computational Logic, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Electronic Hardware, Electronic Components, Internet Of Things, Embedded Systems, Electronics, Theoretical Computer Science, Diagram Design, Programmable Logic Controllers, Computer Engineering
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Verification And Validation, Systems Design, Software Design, Computational Logic, Computer Engineering, Embedded Systems, Hardware Architecture, Simulations, Test Automation
Status: NewStatus: PreviewUniversitat Politècnica de València
Skills you'll gain: Taxonomy, Deductive Reasoning, Applied Mathematics
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Data Structures, Graph Theory, Natural Language Processing, Logical Reasoning, Formal Learning
What brings you to Coursera today?
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Basic Math: Algebra: Universitat Politècnica de València
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- Real-Time Embedded Systems:Â University of Colorado Boulder
- Job & Exam Aptitude Mastery: Reasoning | DI | Verbal | Quant:Â Board Infinity
- LLM Engineer’s Handbook: Packt
- FPGA Design for Embedded Systems:Â University of Colorado Boulder
- Model Checking with SAT and SMT :Â University of Colorado Boulder
- Formal Languages and Applications:Â Birla Institute of Technology & Science, Pilani
- Chip based VLSI design for Industrial Applications:Â L&T EduTech
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
