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 Autore  

Opzioni
Mostrati risultati da 1 a 20 di 64
Titolo Data di pubblicazione Autore(i) File
Barendregt's Lambda-Cube in Isabelle 1-gen-1995 Benini, Marco
Linearity of Client Server System 1-gen-1995 Degliantoni, G.; Cabianca, D.; Vaccari, M.; Benini, Marco; Casablanca, F.
HOLLY - An Approach to Object Code Verification 1-gen-1998 Benini, Marco; Kalvala, S.; Nowotka, D.; Pulley, C.
Program Abstraction in a Higher-Order Logic Framework 1-gen-1998 Benini, Marco; Kalvala, S.; Nowotka, D.
Strong Constructivity of Second-Order Intuitionistic Arithmetic 1-gen-1999 Benini, Marco
Computer Arithmetic: Logic, Calculation and Rewriting 1-gen-1999 Benini, Marco; Nowotka, D.; Pulley, C.
Constructive Methods in Automatic Analysis of Correctness Proofs 1-gen-1999 Avellone, A.; Benini, Marco; Nowotka, D.
Tactics for Translation of Tableau in Natural Deduction 1-gen-1999 Avellone, A.; Benini, Marco; Moscato, U.
The Collection Method in a Second Order Perspective 1-gen-2000 Benini, Marco
Representing Object Code 1-gen-2000 Benini, Marco
How to Avoid the Formal Verification of a Theorem Prover 1-gen-2001 Avellone, A.; Benini, Marco; Moscato, U.
VIrtuose: An Open-Source Virtual Community Server 1-gen-2002 Benini, Marco; DE CINDIO, F.; Sonnante, L.
VIrtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities 1-gen-2003 Benini, Marco; F. DE CINDIO, F.; Sonnante, L.
VICE: E-Learning nell'era del Semantic Web, 1-gen-2004 Acquaviva, M.; Benini, Marco
Strategie adattive nei web-based learning systems: un approccio comparativo 1-gen-2005 Acquaviva, M; Benini, Marco
Adaptive Strategies in Web-Based Learning Systems: A Comparative Survey 1-gen-2005 Acquaviva, M; Benini, Marco
A Constructive Modeling Language for Object Oriented Information Systems 1-gen-2005 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
A Model for Short-Term Content Adaptation 1-gen-2005 Benini, Marco; Trombetta, Alberto; Acquaviva, M.
Short-Term Content Adaptation in Web-Based Learning Systems 1-gen-2005 Acquaviva, M.; Benini, Marco; Trombetta, Alberto
Towards Short Term Content Adaptation 1-gen-2005 Acquaviva, M; Benini, Marco
Mostrati risultati da 1 a 20 di 64
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