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.
Verification of finite-state machines: A distributed approach
2018 Roberto Gorrieri
Verification theorems for stochastic optimal control problems in hilbert spaces by means of a generalized dynkin formula
2018 Federico S.; Gozzi F.
Verifiche di Sicurezza ed Interventi di Consolidamento Della Chiesa di S. Martino in Casola
2007 A. Benedetti; E. Mangoni; M. Montesi; E. Steli
Verifying asteroseismically determined parameters of Kepler stars using Hipparcos parallaxes: Self-consistent stellar properties and distances
2012 Silva Aguirre V.; Casagrande L.; Basu S.; Campante T.L.; Chaplin W.J.; Huber D.; Miglio A.; Serenelli A.M.; Ballot J.; Bedding T.R.; Christensen-Dalsgaard J.; Creevey O.L.; Elsworth Y.; Garcia R.A.; Gilliland R.L.; Hekker S.; Kjeldsen H.; Mathur S.; Metcalfe T.S.; Monteiro M.J.P.F.G.; Mosser B.; Pinsonneault M.H.; Stello D.; Weiss A.; Tenenbaum P.; Twicken J.D.; Uddin K.
Verifying digital identity for electronic transactions
2014 G. Finocchiaro
Verifying Properties of Coordination by Well-Structured Transition Systems
2004 Mirko Viroli
Verità e giustificazione nel processo penale
2013 F. Caprioli
Verità, etica e religione in Richard Rorty. A proposito di alcuni suoi scritti recenti
2013 S. Marino
VERITÀ, RESPONSABILITÀ E RAVVEDIMENTO FRA PROCESSO PENALE E PRATICHE DI MEDIAZIONE
2011 R. Orlandi
Vermi sonori e usignoli meccanici
2015 M.P. Pozzato
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
- 1 - Contributo in rivista 155704
- 1 - Contributo in rivista::1.01 A... 155704
- 2 - Contributo in volume 2
- 2 - Contributo in volume::2.01 Ca... 2
- 4 - Contributo in Atti di convegno 2
- 4 - Contributo in Atti di convegn... 2
Data di pubblicazione
- In stampa/Attività in corso 174
- 2020 - 2025 42736
- 2010 - 2019 74047
- 2000 - 2009 35484
- 1990 - 1999 2745
- 1980 - 1989 491
- 1970 - 1979 29
- 1967 - 1969 1
Editore
- s.n 5
- AIDIC Servizi S.r.l. 4
- De Gruyter 2
- Dipartimento di Scienze Statistiche 2
- Elsevier B.V. 2
- Frontiers Media S.A. 2
- A.Giuffrè 1
- AIDIC Servizi s.r.l. 1
- AIP Conference Proceedings 1
- Alma Mater Studiorum Università d... 1
Rivista
- ASTRONOMY & ASTROPHYSICS 1482
- MONTHLY NOTICES OF THE ROYAL ASTR... 1149
- JOURNAL OF HIGH ENERGY PHYSICS 1069
- PHYSICAL REVIEW LETTERS 1051
- PHYSICS LETTERS. SECTION B 888
- THE ASTROPHYSICAL JOURNAL 837
- PLOS ONE 836
- PHYSICAL REVIEW D, PARTICLES, FIE... 799
- THE EUROPEAN PHYSICAL JOURNAL. C,... 776
- SCIENTIFIC REPORTS 645
Serie
- CHEMICAL ENGINEERING TRANSACTIONS 2
- AIP CONFERENCE PROCEEDINGS 1
- BUILDING SIMULATION APPLICATIONS ... 1
- CHEMICAL ENGINEERING TRANSACTIONS 1
- QUADERNI DI DIPARTIMENTO. SERIE R... 1
Keyword
- Humans 6136
- Female 3132
- Male 2974
- Middle Aged 1811
- Adult 1788
- Italy 1612
- Aged 1552
- LHC 1252
- Animals 1209
- HEP 1181
Lingua
- eng 122756
- ita 30269
- fre 1114
- spa 975
- ger 365
- por 336
- rus 113
- grc 67
- lat 64
- chi 35
Accesso al fulltext
- no fulltext 114264
- open 38274
- reserved 2253
- embargoed 450
- partially open 439
- mixed 27