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.
Verifiable abstractions for contract-oriented systems
2017-01-01 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
Verifica sperimentale in situ, con analisi termografiche e algoritmi di calcolo, della trasmittanza termica di un elemento costruttivo
2008-01-01 Albatici, Rossano; A., Tonelli
Verification of a safety-critical railway interlocking system with real-time constraints
2000-01-01 V., Hartonas garmhausen; S. V., Aguiar Campos; A., Cimatti; E. M., Clarke; Giunchiglia, Fausto
Verification of cardiac mechanics software: Benchmark problems and solutions for testing active and passivematerial behaviour
2015-01-01 Land, S.; Gurev, V.; Arens, S.; Augustin, C. M.; Baron, L.; Blake, R.; Bradley, C.; Castro, S.; Crozier, A.; Favino, M.; Fastl, T. E.; Fritz, T.; Gao, H.; Gizzi, A.; Griffith, B. E.; Hurtado, D. E.; Krause, R.; Luo, X.; Nash, M. P.; Pezzuto, S.; Plank, G.; Rossi, S.; Ruprecht, D.; Seemann, G.; Smith, N. P.; Sundnes, J.; Jeremy Rice, J.; Trayanova, N.; Wang, D.; Wang, Z. J.; Niederer, S. A.
Verification of the Behaviour Factors Proposed in the Second Generation of Eurocode 8 for Cross-Laminated Timber Buildings
2023-01-01 Rinaldi, V.; Casagrande, D.; Fragiacomo, M.
Verifying Industrial Hybrid Systems with MathSAT
2005-01-01 G., Audemard; M., Bozzano; Cimatti, Alessandro; Sebastiani, Roberto
Verifying information with multimedia content on twitter: A comparative study of automated approaches
2018-01-01 Boididou, Christina; Middleton, Stuart E.; Jin, Zhiwei; Papadopoulos, Symeon; Dang-Nguyen, Duc-Tien; Boato, Giulia; Kompatsiaris, Yiannis
Verifying liquidity of recursive Bitcoin contracts
2022-01-01 Bartoletti, Massimo; Lande, Stefano; Murgia, Maurizio; Zunino, Roberto
Verifying security protocols as planning in logic programming
2001-01-01 L., Carlucci Aiello; Massacci, Fabio
Verifying the SET Purchase Protocols
2006-01-01 G., Bella; Massacci, Fabio; L. C., Paulson
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
- 03 Contributo in periodico (Part ... 66347
- 03 Contributo in periodico (Part ... 62320
- 03 Contributo in periodico (Part ... 3125
- 03 Contributo in periodico (Part ... 755
- 03 Contributo in periodico (Part ... 147
- 02 Contributo in volume (Part of ... 1
- 02 Contributo in volume (Part of ... 1
- 04 Convegni (Proceedings) 1
- 04 Convegni (Proceedings)::04.1 S... 1
- 07 Altro (Others) 1
- 07 Altro (Others)::07.1 Rapporto ... 1
Data di pubblicazione
- In corso di stampa 122
- 2020 - 2026 18358
- 2010 - 2019 23358
- 2000 - 2009 14106
- 1990 - 1999 6859
- 1980 - 1989 2765
- 1970 - 1979 629
- 1960 - 1969 145
- 1953 - 1959 6
Editore
- Elsevier BV:PO Box 211, 1000 AE A... 159
- American Institute of Physics:2 H... 115
- Elsevier Science Limited:Oxford F... 72
- IEEE / Institute of Electrical an... 56
- Societa Editrice il Mulino Spa:St... 39
- Springer Verlag Germany:Tiergarte... 37
- Giuffre Editore Spa:via Busto Ars... 34
- Academic Press Incorporated:6277 ... 33
- Cedam Spa:via Jappelli 5-6, I 351... 31
- Elsevier 30
Rivista
- PHYSICAL REVIEW LETTERS 730
- PHYSICS LETTERS. SECTION B 595
- SCIENTIFIC REPORTS 386
- JOURNAL OF HIGH ENERGY PHYSICS 379
- PLOS ONE 339
- THE EUROPEAN PHYSICAL JOURNAL. C,... 330
- PHYSICAL REVIEW D, PARTICLES, FIE... 298
- PHYSICAL REVIEW D 291
- PHYSICAL REVIEW. B, CONDENSED MAT... 285
- NUCLEAR INSTRUMENTS & METHODS IN ... 270
Serie
- NOUVEAUX ACTES SÉMIOTIQUES 1
Settore disciplinare
- Settore MED/41 - Anestesiologia 38
- Settore ING-IND/22 - Scienza e Te... 36
- Settore M-PSI/01 - Psicologia Gen... 32
- Settore M-PSI/02 - Psicobiologia ... 28
- Settore ING-INF/05 - Sistemi di E... 27
- Settore FIS/06 - Fisica per il Si... 22
- Settore SPS/07 - Sociologia Generale 21
- Settore IUS/19 - Storia del Dirit... 20
- Settore ING-IND/14 - Progettazion... 19
- Settore INF/01 - Informatica 18
Keyword
- Humans 1297
- Male 587
- Female 535
- Animals 448
- Adult 346
- Italy 313
- COVID-19 307
- Biochemistry 293
- Electrical and Electronic Enginee... 240
- Middle Aged 226
Lingua
- eng 46222
- ita 15961
- fre 474
- ger 459
- spa 430
- und 214
- cat 94
- por 60
- rus 19
- chi 16
Accesso al fulltext
- no fulltext 36677
- reserved 14439
- open 12657
- partially open 2525
- mixed 26
- embargoed 21
- restricted 3