Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Programming languages and their computational power: Lambda calculus, "for" and "while" languages.
MAT/01 - Logica Matematica
Classical results: padding lemma, s-m-n theorem, Kleene's normal form, fixed point theorem, Rice's theorem, Rice-Shapiro theorem
MAT/01 - Logica Matematica
m-reductions
MAT/01 - Logica Matematica
Enumeration of programs, Universal programs
MAT/01 - Logica Matematica
Logical characterization of recursive functions: primitive and general recursion.
MAT/01 - Logica Matematica
Problem classes: decidable, undecidable, semi-decidable; Church's Thesis

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
P, NP and NP-Completeness; The search version - finding versus checking; The decision version - proving versus verifying; Polynomial-time Reductions; NP-Completeness.
COM - Complessita'
Introduction and Preliminaries; Computational Tasks; Uniform Models (Turing machines, Time and space complexity, Oracle machines]; Complexity Classes.
COM - Complessita'
Space Complexity: Time versus Space, Logarithmic Space, PSPACE and Games.
COM - Complessita'
Randomness and Counting: Probabilistic Polynomial-Time, Two-sided error and One-sided error.
COM - Complessita'
The Bright Side of Hardness: One-Way Functions, Pseudorandom Generators, Computational Indistinguishability.
COM - Complessita'
Probabilistic Proof Systems: Interactive Proof Systems, The Power of Interactive Proofs, Zero-Knowledge Proof Systems.

Insegnamenti "a scelta" che possono essere selezionati

1. Laboratory of business process management and integration
2. Data and Information Integration
3. Logics for data and knowledge representation
4. Machine learning
5. Organizational information systems
6. Laboratory of service design and engineering
7. Spatial databases
8. Advanced Business Intelligence Techniques
9. Concurrency
10. Advanced networking
11. Distributed systems
12. Web architectures
13. Algorithmic modelling
14. Simulation of biological systems
15. Laboratory of nomadic communications
16. Massive data analytics
17. Natural Language Processing and Information Retrieval
18. Computer-supported co-operative working
19. Requirement engineering
20. Security engineering
21. Signals and systems
22. Laboratory of embedded control systems
23. Real time operating systems and middleware
24. Network security

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Explicit-State Model Checking
L - Logica
Ordered Binary Decision Diagrams
L - Logica
Linear Temporal Logic and Computation Tree Logic
L - Logica
Model checking
L - Logica
Linear Temporal Logic Model Checking
L - Logica
Symbolic Model Checking
L - Logica
Computational Tree Logic Model Checking
L - Logica
SAT-based Model Checking
L - Logica
PSL/sugar
L - Logica
Model checking with timed and hybrid systems
L - Logica
Verification of RTL circuits
L - Logica
Software verification

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Introduction: Data and Knowledge Representation, Languages for Representation
MAT/01 - Logica Matematica
Modeling the World
MAT/01 - Logica Matematica
Propositional Logic: Syntax and semantics, Reasoning, Exercises
MAT/01 - Logica Matematica
The logic of classes: Syntax and semantics, TBox, ABox, Exercises and Applications
MAT/01 - Logica Matematica
First Order Logic: Syntax and semantics, Reasoning, Exercises, Querying DB
MAT/01 - Logica Matematica
Modal Logic

Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Document indexing
* ASC - Algoritmi su Strutture Combinatorie
Graph representation of social networks and their analysis; PageRank, Hits
TAA - Tecniche Algoritmiche Avanzate
Programming in the MapReduce framework
• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Unsupervised learning: hyerarchical clustering, k-means, SOMs
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Supervised learning techniques
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Semi-supervised learning

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
RIP, RIP-2 e i protocolli distance-vector; OSPF e i protocolli link state
* PT - Protocolli
BGP e i protocolli policy-based; Instradamento globale e topologia di Internet
GRC - Gestione di Reti di Calcolatori
Carico di una rete e stabilità; Ammissione delle chiamate;
GRC - Gestione di Reti di Calcolatori
Controllo reattivo della congestione e TCP; Metodi per stabilizzare TCP: mito e realtà; Multicast
* PT - Protocolli
Servizi voce/video su reti a pacchetto; Il trasporto: RTP/RTCP; Lo standard H.323
* PT - Protocolli
Lo standard SIP; Skype e gli approcci P2P; Servizi di IP-TV

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• I - Ingegneria del software
* ASW - Architetture Software
Introduction to the agent paradigm and multi-agent systems
* ASW - Architetture Software
Multi-agent applications and problems
* ASW - Architetture Software
Multi-agent interaction and cooperation (types of interaction, forms of cooperation, methods of cooperation, organization and cooperation)
* ASW - Architetture Software
Agent and multi-agent communication (speech acts, conversation, and KQML);
* ASW - Architetture Software
Collaboration and distribution of tasks (Models of tasks allocation - Centralized, Decentralized and Emergent)
* ASW - Architetture Software
The BDI Architecture; AUML ; FIPA; Agent-Oriented Methodologies (Gaia, Tropos, Prometheous, MAS-CommonKADS, Comparing AO methodologies);

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Groupware and design issues
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Usability & Sociability
TMI - Teorie e Modelli per l'Interazione
Social Networking Platforms
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Groupware Evaluation
* IMW - Ipertesti, Multimedialità e WWW
E-learning
* IMW - Ipertesti, Multimedialità e WWW
Mobility

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Petri Nets
SLP - Semantica dei Linguaggi di Programmazione
Calculus of Communicating Systems (CCS)
SLP - Semantica dei Linguaggi di Programmazione
Operational semantics
SLP - Semantica dei Linguaggi di Programmazione
Bisimulation semantics
L - Logica
Basics of domain theory
L - Logica
Modal and temporal logics

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Datalog, Conjunctive Queries, Query Containment, Chase
BDA - Basi di Dati Avanzate
ER and Relational Model, Dependencies and Constraints, OO Data Modeling, Object Relational Systems
BDA - Basi di Dati Avanzate
Introduction to Information Integration Systems, Information Integration System Components, Mappings
BDA - Basi di Dati Avanzate
Answering Queries Using Views, Schema Integration, Schema Mapping
BDA - Basi di Dati Avanzate
View Updates and Updates Through Views, Semistructured Data and XML, Description Logic, RDF, RDF in Relational
BDA - Basi di Dati Avanzate
Managing Inconsistent Data, Entity Identification, Dataspaces, Keyword Searching Data Exchange

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
Introduction and motivation, Inherent distribution, Distribution as an artifact, Basic abstractions
* FCD - Fondamenti del Calcolo Distribuito
Processes, Communication, Time and timing assumptions, Specifications: liveness and safety, Time and Global States
* FCD - Fondamenti del Calcolo Distribuito
Logical time and logical clocks, Global states, Distributed debugging, Synchronizing physical clocks, Broadcast
* FCD - Fondamenti del Calcolo Distribuito
Best effort, Reliable (Uniform, Regular), Causual, Randomized, Consensus
* FCD - Fondamenti del Calcolo Distribuito
Impossibility of Consensus, Randomized consensus, Failure detectors, Total order broadcast
* FCD - Fondamenti del Calcolo Distribuito
Distributed transactions, Atomic commit, Transaction recovery, Recent developments, Peer-to-Peer Systems

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
TMI - Teorie e Modelli per l'Interazione
Interaction styles and paradigms
TMI - Teorie e Modelli per l'Interazione
Introduction to usability engineering
TMI - Teorie e Modelli per l'Interazione
Elements of cognitive psychology and the psychology of the user: (perception, memory, attention, decision making, problem solving and language, model human processor, distributed cognition) and their implications for design (metaphor, affordance, slip, mistake).
TMI - Teorie e Modelli per l'Interazione
Introduction to user- and task-centred design. Concept of utility, usability, and user-experience.
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
User evaluations: formative, summative, and usability evaluation approaches.
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Elements of user interface (icons, menus, navigation, screen, colour, and typograghy). Practice of interface design

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
BPEL basics
• H - Computazione su rete
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Cloud Computing
PASR - Programmazione di Applicazioni e Servizi di Rete
Process and Service Monitoring / Management
* ARTC - Architettura delle Reti di Calcolatori
Mashups
PASR - Programmazione di Applicazioni e Servizi di Rete
Refresher on SOAP and Restful services
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Cloud Deployment

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
Mathematical background
V - Varie
Linear control design
• B - Algoritmi
AN - Algoritmi Numerici
Modeling the plant
• E - Architetture
AA - Architetture Avanzate
embedded control systems design
AA - Architetture Avanzate
C/C++ language on embedded platforms
AA - Architetture Avanzate
software generation and testing

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Introduction: Wireless Networks Characteristics; general requirements of MAC protocols; MAC protocols: Aloha, CSMA.
* PT - Protocolli
WLAN: 802.11 standard; 802.11b MAC/PHY; 802.11g, 802.11a.
* PT - Protocolli
802.11e and QoS support; 802.11n: high throughput; other extensions.
* ARTC - Architettura delle Reti di Calcolatori
Ad-Hoc Networks and PAN Networks: Bluetooth, Zigbee.
* ARTC - Architettura delle Reti di Calcolatori
Sensor networks, Vehicular Networks.
* PT - Protocolli
Routing in non-stationary networks

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Design, implementation and live deployment of individual services
PASR - Programmazione di Applicazioni e Servizi di Rete
Design, implementation and live deployment of composed service applications
PASR - Programmazione di Applicazioni e Servizi di Rete
Modern service middleware
PASR - Programmazione di Applicazioni e Servizi di Rete
Deployment, tuning and management of middleware platforms
PASR - Programmazione di Applicazioni e Servizi di Rete
Setup of composed service-base application
• I - Ingegneria del software
* ASW - Architetture Software
Service-oriented approach to programming and business process management

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Hardware & Communication architecture
* PT - Protocolli
Medium Access Control
* PT - Protocolli
Routing
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Programming (& Reprogramming) Time synchronization & Localization
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Data Management
* SR - Sicurezza delle Reti
Security

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
The concept of "logical modeling". Classical Logic: Propositional logic, First-order logic (short overview).
L - Logica
Classical Logics Extended: Modal logics, Knowledge, Belief, propositional attitudes
L - Logica
Context Logics: Basics, Properties - Examples.
• M - Rappresentazione della conoscenza
ARC - Acquisizione e Rappresentazione della Conoscenza
Description Logics: DL Basics, Properties.
BC - Basi di Conoscenza
Ontologies (OWL), RelBAC
BC - Basi di Conoscenza
Using Context Logic: propositional attitudes, beliefs, classifications. Using Contextual Description Logics: C-OWL.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Introduction to machine learning: designing a machine learning system, learning settings and tasks, decision trees, k-nearest-neighbour estimation.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Bayesian decision theory, maximum likelihood and Bayesian parameter estimation.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Neural networks: perceptron, multilayer neural networks.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Clustering: k-means, hierarchical clustering.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Kernel Machines: kernels, reproducing kernel Hilbert spaces, representer theorem, support vector machines for classification, regression and ranking, kernel construction, kernels for structured data.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Statistical Learning Theory: PAC learning, consistency, VC dimension, generalization and models comparison. Applications to text categorization and bioinformatics.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• B - Algoritmi
V - Varie
Algorithms for data mining
* ASC - Algoritmi su Strutture Combinatorie
Association rules, sequential patterns
AN - Algoritmi Numerici
Clustering and classification
TAA - Tecniche Algoritmiche Avanzate
Mining of streaming data
• H - Computazione su rete
* PT - Protocolli
Streaming data
PASR - Programmazione di Applicazioni e Servizi di Rete
Mining of web data

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Boolean retrieval, Search Engines, Relevance Feedback & Query Expansion, Document Filtering and Categorization, flat and hierarchical clustering, Latent Semantic Analysis, Web Crawling and the Google algorithm.
* A - Algoritmi fondamentali
Fine-Grained Opinion Mining: automatic review classification, deep opinion analysis, automatic product extraction and review, reputation/social media analysis.
V - Varie
Deep Linguistic Analysis for Question Answering: QA tasks (open, restricted, factoid, non-factoid), NLP Representation, Question Answering Workflow, QA Pipeline, Question Classification and QA reranking.
• M - Rappresentazione della conoscenza
BC - Basi di Conoscenza
Vector space model, Feature Vectors
* SBC - Sistemi Basati su Conoscenza
Document Filtering and Categorization, flat and hierarchical clustering, Latent Semantic Analysis
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Statistical Machine Learning: Kernel Methods, Classification, Clustering, Ranking, Re-Ranking and Regression and hints to practical machine learning.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Security and Privacy, Availability, Autentication, Authorization, Accounting, Access Control, General Introduction (secret keys, public keys, digital signatures)
TIC - Teoria dell'Informazione e Codici
One-Time-Pad, Stream Ciphers (RC4, GSM - A5/1) Block ciphers (DES, RC5, AES), Asymmetric Algorithms (Diffie-Hellman, RSA)
TIC - Teoria dell'Informazione e Codici
Hash functions (SHA-1, MD-5) Digital Watermarking (DVD)
• H - Computazione su rete
* SR - Sicurezza delle Reti
Authentication (NS-PK/AS, Kerberos, GSM), Key-agreement (Diffie-Hellman, Internet Key Exchange), Secure Web Connections (TLS/SSL), Secure Mobile Connections (WTLS), Electronic Payments (SET - Visa Mastercard, Cybercash), Secure Protocols for Mobility(Secure Mobile IP, Dynamic DNS)
* SR - Sicurezza delle Reti
Passive attacks: network scanning (TCP/SYN,UDP)
* SR - Sicurezza delle Reti
Active attacks: IP spoofing, hijacking, cookie, cross-site scripting, Denial of service: ping of death, smurf, land, DDoS e rootkits.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Service-oriented architectures
BDA - Basi di Dati Avanzate
Data warehouse
BDA - Basi di Dati Avanzate
Data integration technologies
• I - Ingegneria del software
V - Varie
Modelling approaches for organizations, standards and reference architectures
V - Varie
Modelling and analysis approaches for business processes
* ASW - Architetture Software
Technologies and architectures for organizational information systems

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• F - Sistemi operativi
MA - Modelli e Architetture di sistemi operativi
Introduction to real-time systems
* GSP - Gestione e Sincronizzazione dei Processi
Real-time sceduling (fixed and dynamic priorities, RM, DM, schedulability analysis, shared resources, ...)
PS - Programmazione di Sistema
Real-time APIs (introduction to POSIX, clocks and timers, managing the concurrency, ...)
PS - Programmazione di Sistema
Introduction to cross-compilers; how to create a boot image for an embedded device
* GSP - Gestione e Sincronizzazione dei Processi
Latency in real-time kernels
* GSP - Gestione e Sincronizzazione dei Processi
System structures for reducing the latency (real-time executives, preemptable kernels, threaded IRQs, microkernels, ...)

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• I - Ingegneria del software
* AR - Analisi dei Requisiti
Introduction -- what is requirements engineering? Why is it important? brief history; Requirements acquisition: problem identification, scoping the problem, defining the environment, degree of automation, feasibility study
* AR - Analisi dei Requisiti
Requirements elicitation -- gathering information; interviews, questionnaires and observation; knowledge acquisition; observational methods, scenaria and use cases
* AR - Analisi dei Requisiti
Conceptual modeling and specification -- review of different notations for requirements modeling and specification; requirements specification documents; requirements specification standards
* AR - Analisi dei Requisiti
Capturing rationale -- traceability, capturing design rationale, different types of non-functional requirements, including reliability, portability and performance; qualitative modelling and simulation techniques for representing and reasoning with non-functional requirements
* AR - Analisi dei Requisiti
Early requirements -- capturing intentions for requirements analysis, goal-oriented representations of requirements
* AR - Analisi dei Requisiti
Analysis -- validation, verification, simulation, exploration and inspection of requirements

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
Run-time monitors, in-line monitors, statistic analysis
GCA - Gestione e Controllo degli Accessi
Authentication and Access Control
V - Varie
Introduction/DAC, MAC/Multilevel, Integrity, Biba, Clark Wilson, Chinese Wall, RBAC, UNIX, Windows 2K
• I - Ingegneria del software
EPG - Aspetti Etici, Professionali e Giuridici
Computer Security, ISO Sec. Services and Mechanisms
* AR - Analisi dei Requisiti
Security Requirements/UML Sec, Secure Tropos, Risk assessment, Privacy Policies
EPG - Aspetti Etici, Professionali e Giuridici
Validity of digital certificates,Security Policies and Law 675 on privacy and security

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
deterministic vs. probabilistic/stochastic models
* ALF - Automi e Linguaggi Formali
process algebras (e.g. pi-calculus)
• M - Rappresentazione della conoscenza
RA - Ragionamento Automatico
Gillespie's algorithms (Direct, First Reaction, Next Reaction Method, tau-leap)
AIA - Applicazioni della Intelligenza Artificiale
Using Gillespie's algorithms for running stochastic process algebras

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
software maintenance and evolution, code analysis, testing levels and test adequacy, white box and black box testing
* TVV - Testing, Verifica e Validazione
acceptance test and Fitnesse, unit test and JUnit, structural test (path and data flow)
* TVV - Testing, Verifica e Validazione
mutation test, automated path generation and path testing, regression test
* TVV - Testing, Verifica e Validazione
program analysis and understanding, acceptance test creation and execution
* TVV - Testing, Verifica e Validazione
unit test creation and execution; coverage, path and mutation test
* TVV - Testing, Verifica e Validazione
regression test

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• G - Basi di dati
* ML - Modelli logici
Models of spatial data
* LI - Linguaggi di Interrogazione di Basi di Dati
Languages for querying spatial databases
V - Varie
Algorithms for spatial operations
V - Varie
Spatial indexing methods
V - Varie
Use of the open-source GIS system GRASS
V - Varie
Spatial-temporal systems

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Web-based distributed systems architectures: problems and solutions. The HTTP protocol.
PASR - Programmazione di Applicazioni e Servizi di Rete
DHTML: the ingredients (HTML, Javascript, DOM).
PASR - Programmazione di Applicazioni e Servizi di Rete
Introduction to the XML world (including XSL).
PASR - Programmazione di Applicazioni e Servizi di Rete
Java technologies for the dynamic web: Servlets, Java Server Pages, JDBC, JNDI, Java RMI, Enterprise Java Beans 2.1 and 3.0.
PASR - Programmazione di Applicazioni e Servizi di Rete
Application servers. Obiect-relational mapping. Overview of other emerging technologies.
PASR - Programmazione di Applicazioni e Servizi di Rete
Basic elements of transactions.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti