Libri UniversitariApri il catalogo

Prof. Mirko Viroli

Alma Mater Studiorum - Università di Bologna · Ingegneria e architettura · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Mirko Viroli

Materie del prof. Mirko Viroli

Programmazione Ad Oggetti Canale unico

Corso di laurea: Ingegneria e scienze informatiche – sede di Cesena · Laurea triennale (L-8) · 2º anno · 1º semestre · 12 CFU

Bologna · Ingegneria e architettura · 12 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Elementi base di programmazione e progettazione object-oriented Il caso del linguaggio Java: panoramica e tool di sviluppo Funzionalità base: Classi, oggetti, metodi, campi, istanziazione Polimorfismo, ereditarietà e riuso: interfacce e classi astratte Aspetti avanzati: genericità, annotazioni, eccezioni, classi innestate, lambda expressions.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Advanced Software Modelling And Design Canale unico

Corso di laurea: Ingegneria e scienze informatiche – sede di Cesena · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Bologna · Ingegneria e architettura · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Argomenti del programma: The course content is organised around a selected set of topics in modern software engineering, namely, focussing on the sound modelling, design, and implementation that is required due to recent trends in AI for Software Engineering (AI4SE) and Software Engineering for AI (SE4AI), including: - large-scale distributed systems - software systems featuring complex domains - software systems incorporating intelligent,…

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Ingegneria del Software e Modelli Computazionali – con Prof. Danilo Pianini, Prof. Gianluca Aguzzi, Prof. Mario Bravetti Canale unico

Corso di laurea: Ingegneria e scienze informatiche – sede di Cesena · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 12 CFU

Bologna · Ingegneria e architettura · 12 CFU · apri nel catalogo · Ingegneria e scienze informatiche – sede di Cesena · 1º anno · 2º semestre ›

Modulo Linguistica formale e modelli computazionali

Hopcroft – Automi, Linguaggi e CalcolabilitàCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Russell, Norvig. "Artificial Intelligence

Modern Approach – 4th editionCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Huth, Ryan. "Logic in Computer Science

Modelling and Reasoning about SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Automi e linguaggi formali: - automi a stati finiti - espressioni regolari e loro relazione con gli automi a stati finiti - grammatiche libere dal contesto e algoritmo Cocke-Younger-Kasami - automi a pila e loro relazione con le grammatiche libere dal contesto - classificazione à la Chomsky delle grammatiche Applicazioni alla linguistica formale: - grammatiche libere dal contesto probabilistiche - grammatiche…

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Mirko Viroli per Ingegneria del Software e Modelli Computazionali?

Hopcroft – Automi, Linguaggi e Calcolabilità; Modern Approach – 4th edition; Modelling and Reasoning about Systems