Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.941 a 1.960 di 4.706
A Decidable Intersection Type System based on Relevance
1994-01-01 F., Damiani; Giannini, Paola
Type-Based Useless-Code Elimination for Functional Programs
2000-01-01 S., Berardi; M., Coppo; F., Damiani; Giannini, Paola
An effective translation of Fickle into Java
2001-01-01 D., Ancona; C., Anderson; F., Damiani; S., Drossopoulou; Giannini, Paola; E., Zucca
An Inference Algorithm for Strictness
1997-01-01 F., Damiani; Giannini, Paola
On Strictness and Totality
1997-01-01 M., Coppo; 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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Decidable Intersection Type System based on Relevance | 1-gen-1994 | F., Damiani; Giannini, Paola | |
| Type-Based Useless-Code Elimination for Functional Programs | 1-gen-2000 | S., Berardi; M., Coppo; F., Damiani; Giannini, Paola | |
| An effective translation of Fickle into Java | 1-gen-2001 | D., Ancona; C., Anderson; F., Damiani; S., Drossopoulou; Giannini, Paola; E., Zucca | |
| An Inference Algorithm for Strictness | 1-gen-1997 | F., Damiani; Giannini, Paola | |
| On Strictness and Totality | 1-gen-1997 | M., Coppo; F., Damiani; Giannini, Paola | |
| A type preserving translation of Fickle into Java | 1-gen-2002 | D., Ancona; C., Anderson; F., Damiani; S., Drossopoulou; Giannini, Paola; E., Zucca | |
| A calculus for ``environment-aware'' computation | 1-gen-2002 | V., Bono; F., Damiani; Giannini, Paola | |
| 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 |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.941 a 1.960 di 4.706
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 ...4705
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa17
- 2020 - 2026472
- 2010 - 20191541
- 2000 - 20091901
- 1990 - 1999595
- 1980 - 1989156
- 1970 - 197923
- 1969 - 19691
Editore
- Springer118
- IEEE46
- IEEE Computer Society43
- CEUR-WS34
- Springer Verlag30
- ACM25
- 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...13
- 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 SCIENCE35
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- PROCEEDINGS OF THE AMERICAN ACADE...6
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- AIP CONFERENCE PROCEEDINGS4
- THEMATA4
- ACTA DIURNA3
- BIBLIOTECA DELLA SOCIETÀ STORICA ...3
- CONTRIBUTIONS TO STATISTICS3
Keyword
- Case-Based Reasoning21
- Computer Science (all)17
- Medical Informatics13
- Twitter13
- Synthetic aperture radar11
- Bayesian Networks10
- melanoma10
- Software10
- Dynamic Bayesian Networks9
- monasteri9
Lingua
- eng2457
- ita1370
- fre80
- spa35
- ger24
- rus9
- lat8
- und5
- cat3
- por2
Accesso al fulltext
- no fulltext3709
- reserved513
- open267
- restricted209
- partially open8