4.1 Contributo in Atti di convegno

4.1 Contributo in Atti di convegno: [4720] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.961 a 1.980 di 4.720

A type preserving translation of Fickle into Java

2002-01-01 D., Ancona; C., Anderson; F., Damiani; S., Drossopoulou; Giannini, Paola; E., Zucca

State-Sensitive Computational Modeling

2014-01-01 A., Compagnoni; Giannini, Paola; C., Kelley

A Complete Type Inference Algorithm for Simple Intersection Types

1992-01-01 M., Coppo; Giannini, Paola

Incremental Rebinding

2013-01-01 D., Ancona; Giannini, Paola; E., Zucca

Reconciling positional and nominal binding

2013-01-01 D., Ancona; Giannini, Paola; E., Zucca

A Calculus of Located Entities

2014-01-01 A., Compagnoni; Giannini, Paola; C., Kim; M., Milideo; V., Sharma

Fare o comprare? Make or buy?

2014-01-01 Cassone, Alberto

Il giudizio di Plutarco su Stesimbroto di Taso in FF 10b e 11

2013-01-01 Vanotti, Gabriella

Sistema e sequenze: esempi giustinianei

2014-01-01 Garbarino, Paolo Luciano

Recent results on Pb–Pb and p–Pb collisions from ALICE

2014-01-01 Ramello, Luciano

An intermediate language for compilation to scripting languages

2013-01-01 Giannini, Paola; A., Shaqiri

Validation of an automatic system to detect oil spills in X- and L-band SAR images

2014-01-01 Trivero, Paolo; Biamino, Walter; Cavagnero, Marco; DI MATTEO, Lorenza; Loreggia, Davide

Preface

2013-01-01 Giannini, Paola; E. P., de Vink

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions

2012-01-01 A., Compagnoni; M., Dezani Ciancaglini; Giannini, Paola; K., Sauer; V., Sharma; A., Troina

Migrazione e imprenditoria etnica. Gli effetti della crisi economica nel Piemonte orientale.

2014-01-01 Afferni, Raffaella

La comunicazione dell’etica come fattore competitivo

2002-01-01 G., Tardivo; S., Bresciani; Pera, Rebecca

Can Business Communications ever be considered a work of art? Advertising as a psychological creative process in atti del convegno

2002-01-01 Pera, Rebecca

Modeling and Analysis of Dependable Systems through Generalized Continuous Time Bayesian Networks

2015-01-01 CODETTA RAITERI, Daniele; Portinale, Luigi

Process mining techniques: an application to stroke care.

2008-01-01 R., Mans; H., Schonenberg; Leonardi, Giorgio; S., Panzarasa; A., Cavallini; S., Quaglini; W. M. P., van der Aalst

Interacting Agents for the Risk Assessment of Allergies in Newborn Babies

2007-01-01 Leonardi, Giorgio; Silvana, Quaglini; Mara de, Amici; Mario, Stefanelli; Cristina, Torre; Giorgio, Ciprandi

Titolo	Data di pubblicazione	Autore(i)
A type preserving translation of Fickle into Java	*1-gen-2002*	D., Ancona; C., Anderson; F., Damiani; S., Drossopoulou; Giannini, Paola; E., Zucca
State-Sensitive Computational Modeling	*1-gen-2014*	A., Compagnoni; Giannini, Paola; C., Kelley
A Complete Type Inference Algorithm for Simple Intersection Types	*1-gen-1992*	M., Coppo; Giannini, Paola
Incremental Rebinding	*1-gen-2013*	D., Ancona; Giannini, Paola; E., Zucca
Reconciling positional and nominal binding	*1-gen-2013*	D., Ancona; Giannini, Paola; E., Zucca
A Calculus of Located Entities	*1-gen-2014*	A., Compagnoni; Giannini, Paola; C., Kim; M., Milideo; V., Sharma
Fare o comprare? Make or buy?	*1-gen-2014*	Cassone, Alberto
Il giudizio di Plutarco su Stesimbroto di Taso in FF 10b e 11	*1-gen-2013*	Vanotti, Gabriella
Sistema e sequenze: esempi giustinianei	*1-gen-2014*	Garbarino, Paolo Luciano
Recent results on Pb–Pb and p–Pb collisions from ALICE	*1-gen-2014*	Ramello, Luciano
An intermediate language for compilation to scripting languages	*1-gen-2013*	Giannini, Paola; A., Shaqiri
Validation of an automatic system to detect oil spills in X- and L-band SAR images	*1-gen-2014*	Trivero, Paolo; Biamino, Walter; Cavagnero, Marco; DI MATTEO, Lorenza; Loreggia, Davide
Preface	*1-gen-2013*	Giannini, Paola; E. P., de Vink
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions	*1-gen-2012*	A., Compagnoni; M., Dezani Ciancaglini; Giannini, Paola; K., Sauer; V., Sharma; A., Troina
Migrazione e imprenditoria etnica. Gli effetti della crisi economica nel Piemonte orientale.	*1-gen-2014*	Afferni, Raffaella
La comunicazione dell’etica come fattore competitivo	*1-gen-2002*	G., Tardivo; S., Bresciani; Pera, Rebecca
Can Business Communications ever be considered a work of art? Advertising as a psychological creative process in atti del convegno	*1-gen-2002*	Pera, Rebecca
Modeling and Analysis of Dependable Systems through Generalized Continuous Time Bayesian Networks	*1-gen-2015*	CODETTA RAITERI, Daniele; Portinale, Luigi
Process mining techniques: an application to stroke care.	*1-gen-2008*	R., Mans; H., Schonenberg; Leonardi, Giorgio; S., Panzarasa; A., Cavallini; S., Quaglini; W. M. P., van der Aalst
Interacting Agents for the Risk Assessment of Allergies in Newborn Babies	*1-gen-2007*	Leonardi, Giorgio; Silvana, Quaglini; Mara de, Amici; Mario, Stefanelli; Cristina, Torre; Giorgio, Ciprandi

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.961 a 1.980 di 4.720

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

Scopri

Accesso al fulltext

no fulltext3715
reserved514
open268
restricted214
partially open8
embargoed1