Courses from 1000+ universities
Coursera sees headcount decrease and faces lawsuit in 2023, invests in proprietary content while relying on Big 5 partners.
600 Free Google Certifications
Business Intelligence
Programming Languages
Data Analysis
Paleontology: Theropod Dinosaurs and the Origin of Birds
Preparing to Manage Human Resources
Transforming Digital Learning: Learning Design Meets Service Design
Organize and share your learning with Class Central Lists.
View our Lists Showcase
AdaCore is a dedicated e-learning center to teach the Ada language and the use of related technologies.
Learn Ada programming basics, including simple and composite types, statements, and program architecture, from AdaCore University.
Learn AdaCore's SPARK 2014 language, its tools, and techniques for formal verification and program integrity proof in this online course.
This course describes how to develop concurrent application using Ada, in particular through the notion of task and protected object.
Learn Ada programming through small, practical examples with AdaCore University. Write programs and explore the language's capabilities.
This course will describe Ada programming features for developing large applications, including exception handling, type safety, access types, encapsulation, and genericity.
Learn to integrate Ada with C, C++, and Java in this course from AdaCore University, ideal for advanced programmers.
Get personalized course recommendations, track subjects and courses with reminders, and more.