Widening Operators for Abstract Interpretation
2008 Cortesi, Agostino
Служба св. Милутину, Краљу Бањском – проблеми теологиje и поетикe
2007 Naumow, Aleksander
Dall'Illuminismo alla Rinascita: il crescente ruolo di Mosca
2008 Naumow, Aleksander
MARKET REACTION AND PROPERTIES OF EQUITY ANALYSTS REPORTS
2008 Cavezzali, Elisa; Rigoni, Ugo
I martiri atoniti del XIX secolo e la loro lotta contro l'assimilazione etnica e religiosa
2008 Naumow, Aleksander
Proposta di standardizzazione dei contenuti per i corsi di interpretazione italiano-LIS
2007 Cardinaletti, Anna; L., Mazzoni
Interpretare l’altro, interpretare se stessi: alcune considerazioni sulla Cina e gli interpreti
2007 Gatti, Franco
A simple and definitive proof of cis-trans isomerization of a Pd(0)-coordinated olefin without the assistance of an external promoter
2008 Canovese, Luciano; Santo, Claudio; Chessa, Gavino; Visentin, Fabiano
Le problematiche che emergono dall'approccio traduttologico al romanzo "Qiwang" di Zhang Xiguo
2007 Passi, Federica
THERMODYNAMIC AND KINETICS OF INDOLE POLYMERIZATION IN AQUEOUS SULFURIC ACID
2008 Quartarone, Giuseppe; Ronchin, Lucio; Tortato, Claudio; Vavasori, Andrea; Bonaldo, L.
Augusto nelle Elegie di Properzio: un intruso?
2008 Cresci, Giovannella
Pd(II)-Phosphine Catalysts for the Oxidative Carbonylation of Alkanols. Synthsis, Characterization, and Reactivity ofnew Carboalkoxy Complexes as Model Intermediates. International Symposium on Homogeneous Catalysis
2008 Amadio, E; Cavinato, G; Ronchin, Lucio; Toniolo, Luigi; Vavasori, Andrea
Per una nuova edizione del “Milione”
2008 Burgio, Eugenio; Eusebi, M.
Analysis of an MLPG Solution for 3D Potential Problems
2008 Mazzia, Annamaria; Pini, Giorgio; Sartoretto, Flavio
Determinismo e caso nei risultati di esperimenti e calcoli affetti da limiti nell' accuratezza delle misure e delle rappresentazioni numeriche
2007 Franchina, Valerio; Sartoretto, Flavio; Vacca, Roberto
Progetto Egittoveneto: censimento e catalogazione di materiali egizi ed egittizzanti nei Musei del Veneto
2008 Ciampini, Emanuele Marcello
An Importance Sampling Approach to Learning Structural Representations of Shape
2008 Torsello, Andrea
Overlaps in AVIP/IPAR, the Italian Treebank of Spontaneous Speech
2007 Delmonte, Rodolfo; A., Bristot; Tonelli, Sara
Venice Italian Treebank: Syntactic and Quantitative Features
2007 Delmonte, Rodolfo
Reranking GOOGLE with GReG
2008 Delmonte, Rodolfo; Delmonte, R.
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 convegno9624
Data di pubblicazione
- In corso di stampa65
- 2020 - 20261576
- 2010 - 20193262
- 2000 - 20093237
- 1990 - 19991072
- 1980 - 1989320
- 1970 - 197971
- 1964 - 196921
Editore
- IEEE373
- Springer190
- IEEE Computer Society105
- Institute of Electrical and Elect...105
- Springer Verlag88
- ACM85
- Springer Science and Business Med...63
- -54
- Association for Computing Machinery47
- CLEUP46
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE12
- UMANISTICA DIGITALE10
- E3S WEB OF CONFERENCES7
- INTERNATIONAL CONFERENCE ON PATTE...7
- ABSTRACTS OF PAPERS - AMERICAN CH...6
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- SCIENZA E BENI CULTURALI5
- CHEMICAL ENGINEERING TRANSACTIONS4
- COLLECTIVE DYNAMICS4
- BUILDING SIMULATION CONFERENCE PR...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE243
- CEUR WORKSHOP PROCEEDINGS54
- LECTURE NOTES IN ARTIFICIAL INTEL...44
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
- PROCEEDINGS OF SPIE, THE INTERNAT...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...19
- MATERIALS RESEARCH SOCIETY SYMPOS...16
- QUADERNI DI VENEZIA ARTI14
- COMMUNICATIONS IN COMPUTER AND IN...13
- IEEE VTS ... VEHICULAR TECHNOLOGY...13
Keyword
- Venezia55
- Computer Networks and Communications23
- Computer Science (all)23
- Abstract Interpretation21
- Security21
- Spain21
- Static Analysis21
- anaerobic digestion20
- Giappone20
- Theoretical Computer Science19
Lingua
- eng3863
- ita2175
- fre181
- spa71
- rus51
- ger40
- jpn29
- gre25
- grc12
- pol11
Accesso al fulltext
- no fulltext5013
- reserved2474
- open2056
- embargoed42
- partially open39