L'agricoltura sociale nel contesto delle fonti italiane e dell'UE
2016-01-01 Maccioni, Gioietta
Design of a 8-taps, 10Gbps transmitter for automotive micro-controllers
2017-01-01 Bandiziol, Andrea; Grollitsch, Werner; Brandonisio, Francesco; Nonis, Roberto; Palestri, Pierpaolo
Jerk-continuous trajectories for cyclic tasks
2012-01-01 Boscariol, Paolo; Gasparetto, Alessandro; Vidoni, Renato
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau
2016-01-01 Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture
2016-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Definition of the form-based design approach and description of it using the FBS framework
2015-01-01 Filippi, Stefano; Barattin, Daniela
Analysis of users and designers' cognitive processes in interaction design activities
2015-01-01 Filippi, Stefano; Barattin, Daniela
Exploiting TRIZ tools in interaction design
2015-01-01 Filippi, Stefano; Barattin, Daniela
In-depth analysis of non-deterministic aspects of human-machine interaction and update of dedicated functional mock-ups.
2014-01-01 Filippi, Stefano; Barattin, Daniela
X for design, a descriptive framework for modelling the cognitive aspects of different design activities
2016-01-01 Filippi, Stefano; Barattin, D.
Interval temporal logic model checking: The border between good and bad HS fragments
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Caratteristiche qualitative di cinque varietà di mela del Friuli Venezia Giulia.
2008-01-01 Valusso, Roberto; Morgante, Micaela; Sacca', Elena; Favotto, Saida; Piasentier, Edi
Bootstrap prepivoting in the presence of many nuisance parameters
2016-01-01 Sartori, Nicola; Bellio, Ruggero; Kosmidis, Ioannis; Salvan, Alessandra
Oralità e gergo giovanile nell’italiano delle traduzioni di The Catcher in the Rye di Jerome D. Salinger
2016-01-01 Fusco, Fabiana
The Effect of Entrepreneurial Intention on new Service Development
2015-01-01 Massaro, Maurizio; Dal Mas, Francesca; Garlatti, Andrea; Marco, Paschetto
Potential Enhancement Investigation of Commercial R744 Refrigeration Systems Based on Avoidable and Unavoidable Exergy Destruction Concepts
2016-01-01 Gullo, Paride; Cortella, Giovanni; Minetto, Silvia
Performance Evaluation of a R744 Booster System for Supermarket Refrigeration, Heating and DHW
2016-01-01 Polzot, Alessio; Gullo, Paride; D'Agaro, Paola; Cortella, Giovanni
Overfed Evaporators and Parallel Compression in Commercial R744 Booster Refrigeration Systems– an Assessment of Energy benefits
2016-01-01 Gullo, Paride; Cortella, Giovanni; Minetto, Silvia; Polzot, Alessio
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 ...12343
Data di pubblicazione
- In corso di stampa23
- 2020 - 20272073
- 2010 - 20193793
- 2000 - 20094359
- 1990 - 19991637
- 1980 - 1989430
- 1970 - 197927
Editore
- Institute of Electrical and Elect...389
- IEEE181
- Springer178
- Springer Science and Business Med...156
- CEUR-WS121
- Springer Verlag108
- Sissa Medialab Srl107
- Forum Editrice Universitaria Udinese76
- IEEE Computer Society62
- Springer-Verlag61
Rivista
- POS PROCEEDINGS OF SCIENCE125
- LECTURE NOTES IN COMPUTER SCIENCE123
- JOURNAL OF PHYSICS. CONFERENCE SE...68
- MINERVA ANESTESIOLOGICA61
- ACTA HORTICULTURAE39
- CEUR WORKSHOP PROCEEDINGS33
- ELECTRONIC NOTES IN THEORETICAL C...22
- INTERNATIONAL ARCHIVES OF THE PHO...22
- ELECTRONIC PROCEEDINGS IN THEORET...20
- SABIEDRIBA, INTEGRACIJA, IZGLITIBA20
Serie
- LECTURE NOTES IN COMPUTER SCIENCE179
- CEUR WORKSHOP PROCEEDINGS141
- LECTURE NOTES IN ARTIFICIAL INTEL...52
- MECHANISMS AND MACHINE SCIENCE34
- LEIBNIZ INTERNATIONAL PROCEEDINGS...25
- CONFERENCE PROCEEDINGS - IEEE APP...23
- PROCEEDINGS OF SPIE, THE INTERNAT...23
- SCIENCE ET TECHNIQUE DU FROID19
- LECTURE NOTES IN CIVIL ENGINEERING18
- PROCEEDINGS OF THE IEEE CONFERENC...18
Keyword
- Electrical and Electronic Enginee...63
- Computer Science (all)54
- Computer Science Applications1707...44
- Physics and Astronomy (all)44
- Mechanical Engineering38
- Software35
- Musica per film34
- Theoretical Computer Science34
- Computer Networks and Communications30
- Electronic30
Lingua
- eng7395
- ita3025
- und74
- fre71
- spa44
- ger34
- slv12
- lat10
- rus7
- mul5
Accesso al fulltext
- no fulltext10225
- reserved1262
- open796
- partially open55
- restricted4
- embargoed1