IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 32
Titolo Data di pubblicazione Autore(i) File
Animated Products as a Navigation Aid for E-commerce. 1-gen-2000 Chittaro, L; Coppola, P
(Optimal) duplication is not elementary recursive 1-gen-2000 Asperti, A.; Coppola, Paolo; Martini, S.
Typing Lambda Terms in Elementary Logic with Linear Constraints 1-gen-2001 Coppola, Paolo; Martini, S.
From e-relevance to w-relevance. 1-gen-2002 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mizzaro, Stefano
Principal Typing in Elementary Affine Logic 1-gen-2003 Coppola, Paolo; RONCHI DELLA ROCCA, S.
(Optimal) duplication is not elementary recursive 1-gen-2004 Asperti, A; Coppola, Paolo; Martini, S.
Laboratorio di programmazione in Java 1-gen-2004 Coppola, Paolo; Mizzaro, Stefano
The Concept of Relevance in Mobile and Ubiquitous Information Access 1-gen-2004 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mizzaro, Stefano
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 1-gen-2005 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mizzaro, Stefano; Scagnetto, Ivan; Selva, Andrea; Vassena, Luca; ZANDEGIACOMO RIZIO', Paolo
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 1-gen-2005 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mizzaro, Stefano; Scagnetto, Ivan; Selva, Andrea; Vassena, Luca; Paolo Zandegiacomo, Riziò
Elementary Affine Logic and the Call-by-Value Lambda Calculus 1-gen-2005 Coppola, Paolo; DAL LAGO, U; RONCHI DELLA ROCCA, S.
MoBe: a framework for context-aware mobile applications. 1-gen-2005 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mizzaro, Stefano; Scagnetto, Ivan; Selva, Andrea; Vassena, Luca; ZANDEGIACOMO RIZIO', P.
Principal Typing for Lambda Calculus in Elementary Affine Logic. 1-gen-2005 Coppola, Paolo; RONCHI DELLA ROCCA, Simona
Optimizing optimal reduction: A type inference algorithm for elementary affine logic 1-gen-2006 Coppola, Paolo; Martini, Simone
Light Logics and Optimal Reduction: Completeness and Complexity 1-gen-2007 Baillot, P; Coppola, Paolo; DAL LAGO, U.
Mobile Social Software for Cultural Heritage: A Reference Model 1-gen-2008 Coppola, Paolo; Lomuscio, Raffaella; Mizzaro, Stefano; Nazzi, Elena; Vassena, Luca
Light Logics and the Call-by-Value Lambda Calculus 1-gen-2008 Coppola, Paolo; DAL LAGO, Ugo; RONCHI DELLA ROCCA, Simonetta
m-Dvara 2.0: Mobile & Web 2.0 Services integration for Cultural Heritage 1-gen-2008 Coppola, Paolo; Lomuscio, Raffaella; Mizzaro, Stefano; Nazzi, Elena
AI on the move: exploiting AI techniques for context inference on mobile devices 1-gen-2008 Bulfoni, Adolfo; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Mizzaro, Stefano; Scagnetto, Ivan; Vassena, Luca
Context Aware Browser 1-gen-2009 Mizzaro, Stefano; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca
Mostrati risultati da 1 a 20 di 32
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