An Inference Algorithm for Strictness
1997-01-01 F., Damiani; Giannini, Paola
A type preserving translation of Fickle into Java
2002-01-01 D., Ancona; C., Anderson; F., Damiani; S., Drossopoulou; Giannini, Paola; E., Zucca
A calculus for ``environment-aware'' computation
2002-01-01 V., Bono; F., Damiani; Giannini, Paola
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
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
Tipologia
- 4 Contributo in Atti di Convegno ...4721
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa16
- 2020 - 2026491
- 2010 - 20191539
- 2000 - 20091901
- 1990 - 1999595
- 1980 - 1989156
- 1970 - 197923
- 1969 - 19691
Editore
- Springer119
- IEEE46
- IEEE Computer Society43
- CEUR-WS36
- Springer Verlag30
- ACM26
- Springer-Verlag24
- IOS Press22
- Institute of Electrical and Elect...20
- CEUR-WS.org18
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE60
- LECTURE NOTES IN ARTIFICIAL INTEL...34
- BOLLETTINO-LEGA ITALIANA CONTRO L...29
- CEUR WORKSHOP PROCEEDINGS16
- ELECTRONIC PROCEEDINGS IN THEORET...14
- FORENSIC SCIENCE INTERNATIONAL: G...9
- POS PROCEEDINGS OF SCIENCE9
- PROCEEDINGS OF THE PME CONFERENCE9
- STUDIES IN HEALTH TECHNOLOGY AND ...9
- ELECTRONIC NOTES IN THEORETICAL C...8
Serie
- CEUR WORKSHOP PROCEEDINGS50
- LECTURE NOTES IN COMPUTER SCIENCE38
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- PROCEEDINGS OF THE AMERICAN ACADE...6
- ITALIAN STATISTICAL SOCIETY SERIE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- AIP CONFERENCE PROCEEDINGS4
- THEMATA4
- ACTA DIURNA3
- BIBLIOTECA DELLA SOCIETÀ STORICA ...3
Keyword
- Case-Based Reasoning21
- Computer Science (all)17
- Medical Informatics13
- Twitter13
- Synthetic aperture radar11
- Bayesian Networks10
- Dynamic Bayesian Networks10
- melanoma10
- Software10
- monasteri9
Lingua
- eng2470
- ita1370
- fre80
- spa35
- ger24
- rus10
- lat8
- und5
- cat3
- por2
Accesso al fulltext
- no fulltext3719
- reserved514
- open268
- restricted212
- partially open8
- embargoed1