Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
teaching [2013/05/03 19:49] – etanter | teaching [2018/01/31 11:16] – [Courses] folmedo |
---|
* [[https://wiki.dcc.uchile.cl/TallerMindstorms/doku.php|Taller de Proyecto Lego Mindstorms]] | * [[https://wiki.dcc.uchile.cl/TallerMindstorms/doku.php|Taller de Proyecto Lego Mindstorms]] |
* [[teaching:cc3002|Programming Methodology (CC3002)]] | * [[teaching:cc3002|Programming Methodology (CC3002)]] |
* [[teaching:cc4101|Programming Languages (CC4101/CC54A)]] | * [[teaching:cc4101|Programming Languages (CC4101)]] |
* [[teaching:CC4301| Arquitectura de Computadores (CC4301)]] | * [[teaching:CC4301| Arquitectura de Computadores (CC4301)]] |
* [[teaching:cc5104|Programming Languages II (CC5104/CC71Y)]] | * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]] |
* [[teaching:cc5111|Programación Avanzada en Scala (CC5111/CC74A)]] | |
* [[teaching:cc6403|Seminario Calidad y Evolución de Software (CC6403)]] | * [[teaching:cc6403|Seminario Calidad y Evolución de Software (CC6403)]] |
* [[teaching:cc68s|Software Quality and Software Evolution (CC68S)]] | |
* [[teaching:CC71P|Objects and Aspects (CC6101/CC71P)]] | * [[teaching:CC71P|Objects and Aspects (CC6101/CC71P)]] |
| * [[teaching:cc71y|Programming Languages II (CC71Y)]] |
| * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]] |
| * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]] |