Arm Education

Armv8-M Architecture Fundamentals

36 ratings at Coursera

Comprehensive exploration of Armv8-M architecture, covering programmers' model, assembly programming, memory model, protection, and exception handling for embedded systems developers.

• Coursera
• 13 hours 39 minutes
• On-Demand
• Free Online Course (Audit)

Automated Reasoning: Symbolic Model Checking

26 ratings at Coursera

Explore symbolic model checking using CTL and BDDs to verify properties of transition systems, enabling efficient analysis of large state spaces in automated reasoning.

• Coursera
• 13 hours 11 minutes
• On-Demand
• Free Online Course (Audit)

Building a RISC-V CPU Core

17 ratings at edX

Create a RISC-V CPU with modern open source circuit design tools, methodologies, and microarchitecture, all from your browser.

• edX
• 7 weeks, 1-2 hours a week
• On-Demand
• Free Online Course (Audit)

System Validation (4): Modelling Software, Protocols, and other behaviour

12 ratings at Coursera

Explore advanced modeling techniques for software, protocols, and behaviors. Learn to create efficient, analyzable models using formal methods and linear processes.

• Coursera
• 4 hours 9 minutes
• On-Demand
• Free Online Course (Audit)

System Validation (3): Requirements by modal formulas

13 ratings at Coursera

Aprenda a especificar requisitos formais para sistemas usando lógica modal e fórmulas fixas, permitindo análise automatizada e garantia de comportamento correto em sistemas embarcados.

• Coursera
• 3 hours 56 minutes
• On-Demand
• Free Online Course (Audit)

System Validation (2): Model process behaviour

10 ratings at Coursera

Explore process behavior modeling, focusing on protocols and distributed algorithms. Learn to analyze system properties and manage complexity in behavioral models.

• Coursera
• 4 hours 49 minutes
• On-Demand
• Free Online Course (Audit)

Arm Education

Computer Architecture Essentials on Arm

9 ratings at edX

Explore microprocessor architecture, from basics to advanced concepts like pipelining and superscalar processors. Gain insights from Arm engineers and hands-on experience through simulation tools.

• edX
• 6 weeks, 3-6 hours a week
• On-Demand
• Free Online Course (Audit)

Introduction to RISC-V

6 ratings at edX

Discover various aspects of RISC-V, including technical aspects, specifications and the community ecosystem.

• edX
• 7 weeks, 2-3 hours a week
• On-Demand
• Free Online Course (Audit)

General Computer Science Lessons

Comprehensive overview of computer science, information technology, and general technology concepts, with practical exercises and a final test.

• Study.com
• 8 hours
• On-Demand
• Paid Course

MTTC Computer Science (050): Practice & Study Guide

Comprehensive preparation for the MTTC Computer Science exam, covering key topics from computing history to programming languages through video lessons and interactive quizzes.

• Study.com
• 17 hours
• On-Demand
• Paid Course

Coursera Instructor Network

Ace the Computer Science Interview: Strategies for Success

Comprehensive strategies for acing computer science interviews, covering key concepts, coding techniques, and communication skills to help you confidently secure your dream tech role.

• Coursera
• 1 hour 36 minutes
• On-Demand
• Paid Course

Microcredential

Introduction to Computer Science

Learn Python basics, data structures, and computational logic. Develop foundational programming skills and understand how computers work, enhancing problem-solving abilities across various fields.

• edX
• 14 weeks, 2-3 hours a week
• On-Demand
• Paid Course

OAE Computer Information Science (010): Study Guide & Practice

Comprehensive preparation for Ohio's Computer Information Science educator exam, covering architecture, software, networks, programming, and classroom applications.

• Study.com
• 14 hours
• On-Demand
• Paid Course

Computer Science: Help and Review

Engage with key computer science concepts including databases, Python programming, and network system design in this comprehensive review.

• Study.com
• 4 hours 24 minutes
• On-Demand
• Paid Course

Degree

Online Master of Science in Computer Science (OMSCS)

We offer the first online Master of Science in Computer Science from an accredited university that students can earn exclusively through the "massive online" format and for a fraction of the normal cost.

• Independent
• On-Demand
• $7,000.00
• 29 courses