Formal Methods in Software Development
Master Degree in Computer Science
Academic year 2021/2022 (lecturers: Salvo and Melatti)
Academic year 2020/2021 (lecturers: Salvo and Melatti)
Academic year 2019/2020 (lecturers: Salvo and Melatti)
Academic years preceding 2019/2020 (lecturers: Labella and Mari)
Topic revision: r122 - 2021-09-08 - IgorMelatti
MFS Web
Create New Topic
Index
Search
Changes
Notifications
Statistics
Preferences
- Algebra
- Algoritmi
- Architetture
- Basi di Dati
- Calcolo
- Metodi mat. per l'inf. (ex. Logica)
- Programmazione
- Reti
- Sistemi operativi
- Altri corsi
- Automi, Calcolabilitą
e Complessitą
- Apprendimento Automatico
- Economia Aziendale
- Elaborazione Immagini
- Fisica 2
- Grafica 3D
- Informatica Giuridica
- Laboratorio di Sistemi Interattivi
- Linguaggi di Programmazione 3° anno Matematica
- Linguaggi e Compilatori
- Sistemi Informativi
- Tecniche di Sicurezza dei Sistemi
- Automi, Calcolabilitą
- Percorsi di studio
- Corsi
- Algoritmi Avanzati
- Algoritmica
- Algoritmi e Strutture Dati
- Algoritmi per le reti
- Architetture degli elaboratori 3
- Architetture avanzate e parallele
- Autonomous Networking
- Big Data Computing
- Business Intelligence
- Calcolo Intensivo
- Complessitą
- Computer Systems and Programming
- Concurrent Systems
- Crittografia
- Elaborazione del Linguaggio Naturale
- Estrazione inf. dal web
- Fisica 3
- Gamification Lab
- Information Systems
- Ingegneria degli Algoritmi
- Interazione Multi Modale
- Metodi Formali per il Software
- Methods in Computer Science Education: Analysis
- Methods in Computer Science Education: Design
- Prestazioni dei Sistemi di Rete
- Prog. avanzata
- Internet of Things
- Sistemi Centrali
- Reti Wireless
- Sistemi Biometrici
- Sistemi Distribuiti
- Sistemi Informativi Geografici
- Sistemi operativi 3
- Tecniche di Sicurezza basate sui Linguaggi
- Teoria della
Dimostrazione
- Verifica del software
- Visione artificiale
- Algoritmi Avanzati
- Attivitą complementari
- Commissioni
- Corsi esterni
- Sistemi Operativi (Matematica)
- Perl e Bioperl
- ECDL
- Fondamenti 1
(NETTUNO)
- Tecniche della Programmazione 1° modulo
(NETTUNO)
- Seminars in Artificial Intelligence and Robotics: Natural Language Processing
- Informatica generale
- Informatica
- Informatica per Statistica
- Laboratorio di Strumentazione Elettronica e Informatica
- Sistemi Operativi (Matematica)
- Progetti
Site map
AA web
More...
RSS Feed
Account 
 |
 |
Questo sito usa cookies, usandolo ne accettate la presenza. (CookiePolicy)
Torna al Dipartimento di Informatica 
|
|
|
|
Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback