Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
- Status: Free
Stanford University
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Business Logic, Applied Mathematics
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
The Hong Kong University of Science and Technology
Skills you'll gain: Differential Equations, Linear Algebra, Matlab, Engineering Calculations, Engineering Analysis, Numerical Analysis, Finite Element Methods, Integral Calculus, Mechanical Engineering, Calculus, Algebra, Applied Mathematics, Mathematical Modeling, Civil Engineering, Advanced Mathematics, Computational Thinking, Engineering, Mathematical Theory & Analysis, Simulation and Simulation Software, Geometry
Georgia Institute of Technology
Skills you'll gain: Basic Electrical Systems, Electronic Components, Electrical Engineering, Engineering Analysis, Engineering Calculations, Physics, Applied Mathematics, Schematic Diagrams, Calculus, Mathematical Modeling
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Hardware, Electronic Systems, Embedded Systems, Systems Design, Application Specific Integrated Circuits, Embedded Software, Semiconductors, Schematic Diagrams, Technical Design, System Programming, Electrical and Computer Engineering, System Design and Implementation, Software Development, Integrated Development Environments, Functional Design, Verification And Validation, Software Design, Computer Architecture
Duke University
Skills you'll gain: Databricks, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, Extract, Transform, Load, OpenAI, AWS SageMaker, Performance Tuning, Scalability, Data Transformation, Data Infrastructure, Microsoft Azure, MLOps (Machine Learning Operations), Amazon Web Services, Natural Language Processing, PyTorch (Machine Learning Library), Risk Management Framework, Artificial Intelligence
University of Colorado Boulder
Skills you'll gain: Embedded Software, Embedded Systems, Debugging, Data Structures, System Programming, Microarchitecture, C (Programming Language), Hardware Architecture, Computer Architecture, Integrated Development Environments, Software Design, Maintainability, System Configuration, Peripheral Devices
- Status: Free
Universidad de Palermo
Skills you'll gain: Algebra, Arithmetic, General Mathematics, Applied Mathematics, Graphing
Columbia University
Skills you'll gain: Project Schedules, Project Risk Management, Scheduling, Risk Management, Construction Management, Timelines, Lean Methodologies, Architecture and Construction, Milestones (Project Management), Project Management, Project Planning, Project Management Software, Resource Allocation, Dependency Analysis
- Status: Free
DeepLearning.AI
Skills you'll gain: ChatGPT, OpenAI, Generative AI, Natural Language Processing, Application Development, Application Frameworks, Data Import/Export
Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronic Systems, Application Specific Integrated Circuits, Hardware Design, Serial Peripheral Interface, Computational Logic, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Hardware Architecture, Electronic Components, Power Electronics, Internet Of Things, Embedded Systems, Electronic Hardware, Electrical and Computer Engineering, Microarchitecture, Computer Hardware, Network Protocols
Skills you'll gain: Field-Programmable Gate Array (FPGA), Application Specific Integrated Circuits, Computational Logic, Computer Architecture, Hardware Design, Electronic Hardware, Hardware Architecture, Microarchitecture, Electronic Systems, Computer Hardware, Semiconductors, Computer Engineering, Electronic Components, Functional Design, Verification And Validation, Data Storage, Data Storage Technologies
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Introduction to Logic: Stanford University
- Hardware Description Languages for FPGA Design: University of Colorado Boulder
- Mathematics for Engineers: The Hong Kong University of Science and Technology
- Linear Circuits 1: DC Analysis: Georgia Institute of Technology
- FPGA Design for Embedded Systems: University of Colorado Boulder
- Large Language Model Operations (LLMOps): Duke University
- Embedded Software and Hardware Architecture: University of Colorado Boulder
- Matemática Preuniversitaria: Universidad de Palermo
- Construction Scheduling: Columbia University
- Functions, Tools and Agents with LangChain: DeepLearning.AI