Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:ias:ay_1920:main [2019/09/19 16:37] luca |
didattica:magistrale:ias:ay_1920:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| * [[didattica:magistrale:svl:ay_1920:main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester | * [[didattica:magistrale:svl:ay_1920:main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester | ||
| * [[didattica:magistrale:lcp:ay_1920:main|Logic and Constraint Programming]] (6 ECTS) - 2nd Semester | * [[didattica:magistrale:lcp:ay_1920:main|Logic and Constraint Programming]] (6 ECTS) - 2nd Semester | ||
| + | |||
| + | **Group II Choice** (6 ECTS) - 1st or 2nd Semester: | ||
| + | * [[didattica:magistrale:toc:ay_1920:main|Theory of Complexity]] (6 ECTS) - 1st semester | ||
| + | * [[didattica:magistrale:qnm:ay_1920:main|Queueing Networks: Modeling]] (6 ECTS) - 1st semester | ||
| + | * [[didattica:magistrale:com:ay_1920:main|Compilers]] (6 ECTS) - 1st semester | ||
| + | * [[didattica:magistrale:qns:ay_1920:main|Queueing Networks: Simulation]] (6 ECTS) - 2nd semester | ||
| + | * [[didattica:magistrale:atse:ay_1920:main|Advanced Topics in Software Engineering]] (6 ECTS) - 2nd semester | ||
| + | * [[didattica:magistrale:nf:ay_1920:main|Networking Fundamentals (CISCO I-II)]] (6 ECTS) - 1st and 2nd semester - this course can be chosen only if it was not selected as free choice during the BSc in Computer Science (Laurea triennale in Informatica) | ||
| </WRAP> | </WRAP> | ||
