====== Intelligent and Adaptive Systems (IAS) ====== **1st year** (students enrolled in 2019-2020) **Compulsory Exams - Group I** (30 ECTS): * [[didattica:magistrale:frs:ay_1920:main|Fundamentals of Reactive Systems]] (6 ECTS) - 1st Semester * [[didattica:magistrale:dcc:ay_1920:main|Distributed Calculus and Coordination]] (6 ECTS) - 1st Semester * [[didattica:magistrale:ml:ay_1920:main|Machine Learning]] (6 ECTS) - 1st 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 **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) **2nd year** (students enrolled in 2018-2019) **Compulsory Exams - Group I** (12 ECTS): * [[didattica:magistrale:pas:ay_1920:main|Performance Analysis and Simulation)]] (6 ECTS) - 1st Semester * [[didattica:magistrale:masl:ay_1920:main|Multiagent Systems Lab]] (6 ECTS) - 1st Semester