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: Technical Communication, Digital Transformation, Cloud Computing, Computational Thinking, Big Data, Hypertext Markup Language (HTML), Cloud Storage, Data Science, Artificial Intelligence and Machine Learning (AI/ML), Amazon Web Services, SQL, Databases
University of Michigan
Skills you'll gain: Prototyping, Ideation, Engineering Design Process, Design Strategies, Human Centered Design, Conceptual Design, Systems Engineering, Social Justice, Socioeconomics, Product Engineering, Innovation, Engineering Practices, Diversity Equity and Inclusion Initiatives, Design Specifications, Cultural Responsiveness, Creativity, Product Requirements, Ethical Standards And Conduct, Cost Benefit Analysis
Skills you'll gain: Programming Principles, Development Environment, Integrated Development Environments, Computational Logic, Data Structures, Software Development, Computer Programming, Data Management, Debugging, Arithmetic
- Status: Free
DeepLearning.AI
Skills you'll gain: ChatGPT, Generative AI, Artificial Intelligence, System Design and Implementation, Software Design Documents, Computer Architecture, Open Source Technology, Record Keeping
Skills you'll gain: Cryptography, Encryption, Algorithms, Development Environment, Linear Algebra, Computer Programming Tools, Theoretical Computer Science, Programming Principles, Computer Science, Computational Thinking, Software Installation, Simulations, Software Versioning, Test Case, Application Frameworks
Microsoft
Skills you'll gain: Microsoft Development Tools, Microsoft Azure, Serverless Computing, Cloud Development, Cloud Applications, Microsoft Visual Studio, Event-Driven Programming, Cloud API, Application Programming Interface (API), Event Monitoring, Application Deployment, GitHub, Business Process Automation
University of Colorado Boulder
Skills you'll gain: Statistical Hypothesis Testing, Correlation Analysis, Statistical Analysis, Statistical Software, Statistical Methods, Probability & Statistics, Statistical Visualization, Data Analysis, Data Visualization, R Programming, Statistics, Regression Analysis, Variance Analysis, Data-Driven Decision-Making, Descriptive Statistics, Sampling (Statistics)
Coursera Project Network
Skills you'll gain: Hypertext Markup Language (HTML), Web Content Accessibility Guidelines, HTML and CSS, Semantic Web, Web Content, Information Architecture, Web Design, Web Development
Skills you'll gain: Transaction Processing, Hybrid Cloud Computing, IBM Cloud, Cloud-Based Integration, Cloud Applications, Midrange Computer, Application Servers, Application Development, Application Programming Interface (API), Business Logic, Maintainability
Skills you'll gain: React.js, JavaScript Frameworks, Unit Testing, UI Components, Development Testing, Front-End Web Development, User Interface (UI), Data Sharing
- Status: Free
Vanderbilt University
Skills you'll gain: Programming Principles, Computer Programming, Matlab, Debugging, Linear Algebra, Software Development Tools, Mathematical Software, Computer Science, Development Environment, Scripting, User Interface (UI), Scripting Languages, Data Structures, Arithmetic, File Management
- Status: Free
Illinois Tech
Skills you'll gain: Machine Learning Algorithms, Statistical Analysis, Data Analysis, Exploratory Data Analysis, Statistical Methods, Probability & Statistics, Data Cleansing, Analytics, Machine Learning, Data Science, Regression Analysis, Data Quality, Predictive Modeling, Python Programming, Feature Engineering, Scikit Learn (Machine Learning Library), Classification And Regression Tree (CART), Performance Metric
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Teaching Impacts of Technology: Workplace of the Future: University of California San Diego
- Introduction to Socially Engaged Design : University of Michigan
- Foundations of Solidity and Smart Contract Development: Packt
- LLMs as Operating Systems: Agent Memory: DeepLearning.AI
- Practical Quantum Computing with IBM Qiskit for Beginners: Packt
- Build Serverless Applications: Microsoft
- Data Driven Decision Making: University of Colorado Boulder
- HTML for Beginners: Getting Started: Coursera Project Network
- How to Modernize applications with IBM CICS: IBM
- Building User Interfaces Using Functional React Components: NIIT