Causality in concurrent systems
2013 Crafa, Silvia; Federica, Russo
Actors vs Shared Memory: two models at work on Big Data application frameworks
2015 Crafa, Silvia; Tronchin, Luca
Modelling the Evolution of Programming Languages
2015 Crafa, Silvia
On the chemistry of typestate-oriented actors
2016 Crafa, Silvia; Luca, Padovani
Apparato per sonda geotermica, prima relazione tecnico-scientifica.
2016 Scotton, Paolo
Monitoraggio delle Linee di Indirizzo per l’Affidamento familiare
2016 Milani, Paola
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2006 Bresolin, Davide; Angelo, Montanari; Pietro, Sala
A Tableau-based decision procedure for Right Propositional Neighborhood Logic
2005 Bresolin, Davide; Angelo, Montanari
Time granularities and ultimately periodic automata
2003 Bresolin, Davide; Angelo, Montanari; Gabriele, Puppis
Incentivising Innovation and adoption of ICT: ICT Innovation Voucher Programmes
2016 Biagi, FEDERICO GIOVANNI SEBASTIANO; Valbonesi, Paola
Analisi di costo-efficacia dell’assistenza in Centro Diurno per pazienti con malattia di Alzheimer
2014 Bonvento, Barbara; Mapelli, Daniela; Paccagnella, Omar; Portugheis, Giulia; Rebba, Vincenzo
Il sistema socio-sanitario del Veneto: Domanda di salute, reti territoriali e percorsi di integrazione. Un’analisi su sette Aziende ULSS
2016 Rebba, Vincenzo; Bonvento, Barbara; Tanzi, Emilio
AA.VV, Etica e medicina. Problemi e scelte della pratica quotidiana, a cura di D. von Engelhardt
1994 Fuselli, Stefano; Karaghiosoff, S.
DELTA: Data Extraction and Logging Tool for Android
2016 Conti, Mauro; Elia Dal, Santo; Spolaor, Riccardo
Rapporto di valutazione del Programma P.I.P.P.I. Sintesi 2014-2015,
2016 Milani, Paola
Ricerca sulla ripartizione della portata a valle della biforcazione in una condotta forzata
2016 Masi, Massimo
Analisi sperimentale delle prestazioni di motori heavy-duty ad accensione comandata alimentati a syngas – Parte I
2016 Gobbato, Paolo; Masi, Massimo; De Simio, Luigi; Iannacone, Sabato
GEANT4 Simulation of the Gamma-Ray Background in the Images Obtained Using Accelerator-Produced 99mTc
2016 Selva, Anna; Uzunov, Nikolay; Bello, Michele; DE NARDO, Laura; MELENDEZ ALAFORT, Laura; Abozeid, MOHAMED OSMAN AHMED; Rosato, Antonio; Esposito, Juan
Comparison between rectangular and circular multipole design
2014 Bellan, Luca; A., Pisent; M., Comunian
SPES beam dynamics from the CB to RFQ
2014 Bellan, Luca; A., Pisent; M., Comunian; A. D., Russo; L., Calabretta
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
- 10 RAPPORTO TECNICO511
Data di pubblicazione
- In corso di stampa8
- 2020 - 202585
- 2010 - 2019289
- 2000 - 2009115
- 1990 - 199910
- 1980 - 19893
- 1978 - 19792
Keyword
- Akkadian writing7
- Computer Science - Programming La...6
- internal dosimetry4
- rural-mountain areas4
- Scrittura accadica4
- AI-driven3
- brocardi3
- contrast ultrasound3
- Copper radioisotopes3
- evaluation3
Lingua
- eng263
- ita208
- fre9
- und8
- lat5
- spa3
- ger2
- rum1
Accesso al fulltext
- no fulltext425
- open80
- reserved6