DLVMC: Enhanced Model Checking in DLV
2010-01-01 Maratea, M; Ricca, Francesco; Veltri, P.
Synthesis of benzothiophene derivatives by Pd-catalyzed or radical heterocyclization of 2-(2-mercaptophenyl)-3-alkynyl-2-ols
2010-01-01 Mancuso, R; Gabriele, Bartolo; Lupinacci, E; Salerno, G.
Mbylltoret e shqipes. Cilësia e tyre fonetike, gjatësia dhe VOT-i
2005-01-01 Belluscio, Giovanni
Selected scrambled response models
2010-01-01 Diana, G; Perri, PIER FRANCESCO
Il turismo sostenibile: strumento di sviluppo economico e di salvaguardia ambientale
2008-01-01 Francini, Mauro; Viapiana, MARIA FRANCESCA
HEX Programs with Action Atoms
2010-01-01 Basol, S; Erdem, O; Fink, M; Ianni, Giovambattista
Dynamic Magic Sets for Super-Consistent Answer Set Programs
2010-01-01 Alviano, Mario; Faber, Wolfgang
"Encephalic GABAA receptors alpha-containing membrane domains are crucial during the switching ON/OFF of aestivation in the lungfish". , Erice (Trapani), 22-26 Maggio 2010
2010-01-01 Giusi, G; Crudo, M; DI VITO, A; Facciolo, Rosa Maria; Garofalo, F; Canonaco, M.
The mesozoic siliciclastic deposits from western Calabria (southern Italy): mineralogical and geological implications
2009-01-01 Perri, F; Muto, Francesco; Belviso, C.
Delamination failure in curved laminates
2005-01-01 Bruno, Domenico; Carpino, R; NEVONE BLASI, Paolo
ASPINE: an agent-oriented design of SPINE
2009-01-01 Bellifemine, F; Fortino, Giancarlo
Making Scientific Topics Simpler: A Web Site For Learning Chaos
2010-01-01 Bertacchini, F; Bilotta, Eleonora; Bossio, E; Pantano, P.
Lipschitz global optimization and local information
2010-01-01 Kvasov, Dmitry; Sergeyev, Y.
INVENTORY MANAGEMENT SIMULATION: AN APPLICATION TO A MANUFACTURING PLANT
2009-01-01 Cimino, A; Curcio, D; Longo, Francesco; Mirabelli, Giovanni; Papoff, E; Rondinelli, S.
Ash feature from present-day activity at Stromboli
2010-01-01 Cannata, C; Taddeucci, J; Lautze, N; DE ROSA, R; Donato, Paola; Scarlato, P.
Rheological modelling of foam fluidynamics
2007-01-01 Baldino, N; Gabriele, Domenico; Migliori, M; DI SANZO, R; Lupi, F. R.; DE CINDIO, B.
EXPRESSION LEVELS OF OECHPL GENE AND TOCOPHEROL AMOUNT IN DIFFERENT CULTIVARS AND FERAL FORM OF OLIVE (OLEA EUROPAEA L.) PLANTS
2007-01-01 Chiappetta, Adriana Ada Ceverista; Bruno, Leonardo; Muzzalupo, I.; Bruno, A.; Perri, E.; Bitonti, M. B.
How homeobox genes and hormones interact? An immuno-cytological approach in Helianthus
2007-01-01 Chiappetta, Adriana Ada Ceverista; Michelotti, V.; Fambrini, M.; Bruno, L.; Salvini, M.; Petrarulo, M.; Pugliesi, C.; Bitonti, M. B.
A NOVEL EXPERIMENTAL DESIGN FOR 1-TO-N COMPONENTS CALIBRATION SET
2005-01-01 DE LUCA, M.; Risoli, A.; Iannelli, S.; Lanzillotta, F.; Ragno, Gaetano
Paesaggi della Calabria tardo antica e medievale: fonti scritte e documentazione archeologica
2006-01-01 Roma, Giuseppe
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 ...16615
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20262601
- 2010 - 20196029
- 2000 - 20096298
- 1990 - 19991328
- 1980 - 1989293
- 1973 - 197928
Editore
- Institute of Electrical and Elect...521
- IEEE377
- Springer325
- Springer Verlag161
- CEUR-WS157
- Springer Science and Business Med...149
- IEEE Computer Society136
- Elsevier B.V.128
- ACM89
- Editore Bios58
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE206
- CEUR WORKSHOP PROCEEDINGS73
- PROCEDIA COMPUTER SCIENCE71
- PROCEDIA STRUCTURAL INTEGRITY64
- POS PROCEEDINGS OF SCIENCE49
- AIP CONFERENCE PROCEEDINGS41
- IJCAI41
- PROCEEDINGS OF THE EUROPEAN CONFE...36
- ACM INTERNATIONAL CONFERENCE PROC...33
- AIP CONFERENCE PROCEEDINGS32
Serie
- CEUR WORKSHOP PROCEEDINGS171
- LECTURE NOTES IN COMPUTER SCIENCE127
- LECTURE NOTES IN ARTIFICIAL INTEL...77
- MECHANISMS AND MACHINE SCIENCE52
- AIP CONFERENCE PROCEEDINGS27
- COMMUNICATIONS IN COMPUTER AND IN...23
- LECTURE NOTES IN MECHANICAL ENGIN...22
- IFAC-PAPERSONLINE20
- PROCEDIA CIRP20
- FRONTIERS IN ARTIFICIAL INTELLIGE...18
Keyword
- Computer Science (all)98
- Computer Networks and Communications94
- -87
- Software77
- Artificial Intelligence75
- Answer Set Programming74
- Theoretical Computer Science69
- Computer Science Applications1707...52
- Electrical and Electronic Enginee...47
- Instrumentation37
Lingua
- eng11256
- ita3483
- fre69
- spa30
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16588
- open22
- embargoed6
- reserved1