IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

Sfoglia per Rivista  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 2 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
A CAT Algorithm for the Exhaustive Generation of Ice Piles 1-gen-2010 Massazza, Paolo; Radicioni, Roberto
Feedback, trace and fixed-point semantics 1-gen-2002 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Holonomic functions and their relation to linearly constrained languages 1-gen-1993 Massazza, Paolo
On the inclusion problem for finitely ambiguous rational trace languages 1-gen-1998 Bertoni, A; Massazza, Paolo
On the simplest centralizer of a language 1-gen-2006 Massazza, Paolo; Salmela, P.
The Compositional Construction of Markov Processes II 1-gen-2011 Luisa de FRANCESCO, Albasini; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
The Compositional Construction of Markov Processes II 1-gen-2011 Luisa de Francesco, Albasini; Sabadini, Nicoletta; R. F. C., Walters
Mostrati risultati da 2 a 8 di 8
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile