Scorri la lista: Settore concorsuale

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore | Ciclo | Nessun raggruppamento
Vai a: A | B | C | D | R | T
Numero di documenti: 8.

A

Arteconi, Stefano (2008) Evolutionary methods for self-organizing cooperation in peer-to-peer networks, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo.

B

Bontà, Edoardo (2008) Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/913.

C

Capizzi, Sirio (2008) A tuple space implementation for large-scale infrastructures, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/914.

D

Di Felice, Marco (2008) Cross-layer optimizations in multi-hop ad hoc networks, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/915.

R

Riccucci, Simone (2008) Knowledge management in intelligent tutoring systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/916.

Riveret, Régis (2008) Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica giuridica e diritto dell'informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/911.

T

Tacchella, Paolo (2008) Constraint handling rules. Compositional semantics and program transformation, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/912.

Tassi, Enrico (2008) Interactive theorem provers: issues faced as a user and tackled as a developer, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/917.

Questa lista e' stata generata il Mon Jun 24 20:37:29 2019 CEST.
^