Criteri di ricerca correnti

Filtri correnti:


Aggiungere filtri:

Utilizza i filtri per perfezionare i risultati della ricerca.

Paginazione
 
   
Prodotto trovati:
TitoloData di pubblicazioneAutore(i)File
1Tableau Systems for Logics of Subinterval Structures over Dense Orderings2007BRESOLIN D; GORANKO V; MONTANARI A; SALA P  riservati
2The minimum shift design problem: theory and practice2003DI GASPERO Luca; G RTNER Johannes; KORTSARZ Guy; MUSLIU Nysret; SCHAERF Andrea; SLANY Wolfgang  riservati
3User modeling of disabled persons for generating instructions to medical first responders2009CHITTARO Luca; DE MARCO Luca; RANON Roberto; SENERCHIA Augusto-
4Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi2009DI GIANANTONIO P; HONSELL F; LENISA M  riservati
5RPO, Second-Order Contexts, and λ-Calculus2008DI GIANANTONIO Pietro; HONSELL Furio; LENISA Marina  riservati
6Final Semantics for the pi-calculus1998HONSELL F; LENISA M; MONTANARI U; PISTORE U  riservati
7Categories of Coalgebraic Games2012Honsell F; Lenisa M; Redamalla R  riservati
8Artisti veneti 2002 evolving an heterogeneous robot team for the middle-size league2003E. PAGELLO; D'ANGELO A; E. MENEGATTI-
9Experiments on Average Distance Measure2006VINCENZO DELLA MEA; GIANLUCA DEMARTINI; LUCA DI GASPERO; MIZZARO S  riservati
10Implementing Spi Calculus using Nominal techniques2008KAHSAI Temesghen; MICULAN Marino  riservati

Scopri