RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence
file da validare1997-01-01 Barbanera, Franco; Berardi, S; Schivalocchi, M.
A 3-D FE Particle-in-Cell Parallel code with adaptive load balancing
file da validare2009-01-01 Coco, Salvatore; Laudani, A; Pollicino, G; Tirrò, P.
A bioinformatic approach to microbial proteome analysis
file da validare2004-01-01 Rappazzo, Giancarlo; Santagati, Maria Carmela; Campanile, Floriana; Viglianisi, F; Stefani, Stefania
A new Planar Heteojunction-based Solar Cell Involving Thin Films of Organic Molecules as n- and p-Dopants
file da validare2011-01-01 G., Li Destri; G., Cannella; Marletta, Giovanni; Ballistreri, Francesco Paolo; G. A., Tomaselli; S., Lombardo
A "folk" solution to decrease Nash Equilibrium inefficiency for a job scheduling game
file da validare2012-01-01 Spata, M. O.; Rinaudo, S.
A "good snapshot" of Italian Southerners through the "fictional eye" of Eudora Welty
file da validareIn corso di stampa Sciacco, MARIA CONCETTA
A 'parsimonious' 3D discrete macro-element method for masonry arch bridges
file da validare2018-01-01 Caddemi, Salvatore; Ivo, Caliò; Cannizzaro, Francesco; D'Urso, DOMENICO VALERIO; Occhipinti, Giuseppe; Panto', Bartolomeo; Pisanelli, G.; Rapicavoli, Davide; Spirolazzi, G.; Zurlo, Rocco
A 'virtual experiments' setting for inverse scattering problems
2016-01-01 M., Bevacqua; L., Crocco; DI DONATO, Loreto; R., Palmeri; T., Isernia
A (CS)2 approach to inverse scattering
file da validare2014-01-01 Bevacqua, M.; Isernia, T.; Crocco, L.; DI Donato, L.
A (Reverse) Mutation Testing Approach to Automatically generate parallel C/C plus plus Code
file da validare2021-01-01 Calanna, S; Calvagna, A; Campisi, S; Fornaia, A; Pappalardo, G; Torrisi, R; Tramontana, E
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| ``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence | 1-gen-1997 | Barbanera, Franco; Berardi, S; Schivalocchi, M. | file da validare |
| A 3-D FE Particle-in-Cell Parallel code with adaptive load balancing | 1-gen-2009 | Coco, Salvatore; Laudani, A; Pollicino, G; Tirrò, P. | file da validare |
| A bioinformatic approach to microbial proteome analysis | 1-gen-2004 | Rappazzo, Giancarlo; Santagati, Maria Carmela; Campanile, Floriana; Viglianisi, F; Stefani, Stefania | file da validare |
| A new Planar Heteojunction-based Solar Cell Involving Thin Films of Organic Molecules as n- and p-Dopants | 1-gen-2011 | G., Li Destri; G., Cannella; Marletta, Giovanni; Ballistreri, Francesco Paolo; G. A., Tomaselli; S., Lombardo | file da validare |
| A "folk" solution to decrease Nash Equilibrium inefficiency for a job scheduling game | 1-gen-2012 | Spata, M. O.; Rinaudo, S. | file da validare |
| A "good snapshot" of Italian Southerners through the "fictional eye" of Eudora Welty | In corso di stampa | Sciacco, MARIA CONCETTA | file da validare |
| A 'parsimonious' 3D discrete macro-element method for masonry arch bridges | 1-gen-2018 | Caddemi, Salvatore; Ivo, Caliò; Cannizzaro, Francesco; D'Urso, DOMENICO VALERIO; Occhipinti, Giuseppe; Panto', Bartolomeo; Pisanelli, G.; Rapicavoli, Davide; Spirolazzi, G.; Zurlo, Rocco | file da validare |
| A 'virtual experiments' setting for inverse scattering problems | 1-gen-2016 | M., Bevacqua; L., Crocco; DI DONATO, Loreto; R., Palmeri; T., Isernia | |
| A (CS)2 approach to inverse scattering | 1-gen-2014 | Bevacqua, M.; Isernia, T.; Crocco, L.; DI Donato, L. | file da validare |
| A (Reverse) Mutation Testing Approach to Automatically generate parallel C/C plus plus Code | 1-gen-2021 | Calanna, S; Calvagna, A; Campisi, S; Fornaia, A; Pappalardo, G; Torrisi, R; Tramontana, E | file da validare |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 28953
- 4 Contributo in Atti di Convegno ... 28953
Data di pubblicazione
- In corso di stampa 86
- 2020 - 2026 2595
- 2010 - 2019 8280
- 2000 - 2009 13686
- 1990 - 1999 3075
- 1980 - 1989 1181
- 1972 - 1979 50
Editore
- IEEE 675
- Institute of Electrical and Elect... 595
- Springer 198
- IEEE Computer Society 182
- Springer Science and Business Med... 136
- Springer Verlag 122
- - 116
- World Scientific 83
- CEUR-WS 74
- Springer-Verlag 71
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 145
- JOURNAL OF PHYSICS. CONFERENCE SE... 140
- EPJ WEB OF CONFERENCES 83
- POS PROCEEDINGS OF SCIENCE 68
- AIP CONFERENCE PROCEEDINGS 57
- EPJ WEB OF CONFERENCES 50
- ENERGY PROCEDIA 34
- ACTA HORTICULTURAE 29
- CEUR WORKSHOP PROCEEDINGS 25
- ITALIAN JOURNAL OF ANATOMY AND EM... 25
Serie
- AIP CONFERENCE PROCEEDINGS 114
- LECTURE NOTES IN COMPUTER SCIENCE 113
- CEUR WORKSHOP PROCEEDINGS 102
- LECTURE NOTES IN ARTIFICIAL INTEL... 63
- LECTURE NOTES IN CIVIL ENGINEERING 28
- CONFERENCE PROCEEDINGS - IEEE INS... 23
- LECTURE NOTES IN MECHANICAL ENGIN... 21
- LECTURE NOTES IN COMPUTER SCIENCE 18
- STUDIES IN COMPUTATIONAL INTELLIG... 17
- AIP CONFERENCE PROCEEDINGS 16
Keyword
- Physics and Astronomy (all) 63
- Sicilia 54
- Electrical and Electronic Enginee... 50
- Computer Science (all) 45
- GIS 38
- Instrumentation 36
- Computer Networks and Communications 34
- Sicily 33
- Theoretical Computer Science 31
- Safety 27
Lingua
- eng 17359
- ita 9419
- fre 138
- spa 65
- ger 55
- und 20
- gre 17
- rus 14
- lat 13
- grc 11
Accesso al fulltext
- no fulltext 23535
- reserved 4159
- open 1098
- restricted 137
- partially open 23
- embargoed 1