====== List of Courses in alphabetic order (grouped by year) ======


  * **1st year**
    * [[didattica:magistrale:atse:ay_1617:main|Advanced Topics on Software Engineering - Software testing]]
    * [[didattica:magistrale:abit:ay_1617:main|Alignment of Business and IT]]
    * [[didattica:magistrale:bpmf:ay_1617:main|Business Process Management and Flexibility]]
    * [[didattica:magistrale:csd:ay_1617:main|Complex System Design]]
    * [[didattica:magistrale:dcc:ay_1617:main|Distributed Calculus and Coordination]]
    * [[didattica:magistrale:ds:ay_1617:main|Distributed Systems]]
    * [[didattica:magistrale:esa:ay_1617:main|Embedded Systems: Architecture]]
    * [[didattica:magistrale:flc:ay_1617:main|Formal Languages and Compilers]]
    * [[didattica:magistrale:fms:ay_1617:main|Financial Management and Strategy]]
    * [[didattica:magistrale:fmsis:ay_1617:main|Formal Modeling of Software Intensive Systems]]
    * [[didattica:magistrale:its:ay_1617:main|IT Security]]
    * [[didattica:magistrale:ius:ay_1617:main|Internetworking Ubiquitous Systems]]
    * [[didattica:magistrale:kebi:ay_1617:main|Knowledge Engineering and Business Intelligence]]
    * [[didattica:magistrale:kmcd:ay_1617:main|Knowledge Management and Competence Development]]
    * [[didattica:magistrale:nd:ay_1617:main|Network Discovery (CISCO III-IV)]]
    * [[didattica:magistrale:nf:ay_1617:main|Networking Fundamentals (CISCO I-II)]]
    * [[didattica:magistrale:qnm:ay_1617:main|Queuing Network: Modeling]]
    * [[didattica:magistrale:qns:ay_1617:main|Queuing Network: Simulation]]
    * [[didattica:magistrale:rsv:ay_1617:main|Reactive Systems Verification]]
    * [[didattica:magistrale:toc:ay_1617:main|Theory of Complexity]]

  * **2nd year**
    * [[didattica:magistrale:bpdcc:ay_1617:main|Business Process Digitalization and Cloud Computing]]
    * [[didattica:magistrale:cyps:ay_1617:main|Cyber Physical Systems]]
    * [[didattica:magistrale:dsfl:ay_1617:main|Domain Specific Formal Languages]]
    * [[didattica:magistrale:esp:ay_1617:main|Embedded Systems Programming]]
    * [[didattica:magistrale:pm:ay_1617:main|Process Mining]]
    * [[didattica:magistrale:rtpsv:ay_1617:main|Real-time and Probabilistic System Verification]]
    * [[didattica:magistrale:spm:ay_1617:main|Software Project Management]]