Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets
2013-01-01 Elvio Gilberto, Amparore; Benoit, Barbot; Marco, Beccuti; Susanna, Donatelli; Franceschinis, Giuliana Annamaria
Efficient Simulation of Stochastic Well-formed Nets Through Symmetry Exploitation
2012-01-01 Marco, Beccuti; Franceschinis, Giuliana Annamaria
Expressing and Computing Passage Time Measures of GSPN Models with HASL
2013-01-01 Elvio Gilberto, Amparore; Paolo, Ballarini; Marco, Beccuti; Susanna, Donatelli; Franceschinis, Giuliana Annamaria
SSCP analysis: a useful tool to assess bacterial diversity of finished compost and vermicompost.
2005-01-01 Fracchia, Letizia; Dohrmann, A. B.; Rinaldi, Maurizio; Martinotti, M. G.; Tebbe, C. C.
Metodi diretti di caratterizzazione ecotossicologica e di mutagenesi di suoli contaminati da IPA.
2004-01-01 Franzosi, G.; Bernardi, A.; Fracchia, Letizia; Martinotti, M. G.
Bacterial diversity of compost and vermicompost by means of a cultivation-independent community analysis and gene probe hybridization
2004-01-01 Fracchia, Letizia; Martinotti, M. G.; Tebbe, C. C.
Conoscenza sociale e convivenza
2001-01-01 Ercole, Enrico
Il turismo culturale urbano: trasformazioni e prospettive.
2009-01-01 Ercole, Enrico
Tour operating companies: analysis of marketing strategies and actual critical business in the Italian contest
2012-01-01 Invernizzi, Anna Chiara; Passarani, Diana Anna
Competitive strategies of Italian companies operating in the rice sector
2012-01-01 Invernizzi, Anna Chiara; Passarani, Diana Anna
Integrazione europea e governo locale: il caso del Piemonte
1995-01-01 Ercole, Enrico
Integrazione europea e unità substatali. Alcune riflessioni a partire dalla situazione italiana
1998-01-01 Ercole, Enrico
La formazione alla Protezione Civile
2004-01-01 Ercole, Enrico
Politiche di sviluppo locale: riflessioni dal punto di vista sociologico
2002-01-01 Ercole, Enrico
A dialogue about classroom tasks
2013-01-01 S., Banchelli; Martignone, Francesca
Analysis of argumentation processes in strategic interaction problems
2014-01-01 Martignone, Francesca; C., Sabena
Strategie di vita e di attesa per i giovani nella società del lavoro
2007-01-01 Carbone, Domenico; Farina, F; Vincenti, A.
«Chi va a dormire con i cani si sveglia con le pulci». La Metamorfosi, l’incontro con gli attori yiddish e «la parte migliore di me»
2014-01-01 Massino, Guido
I SARCOMI DELLA LARINGE
2013-01-01 Pia, Francesco; M. C., Crespi; E., Stellin; ALUFFI VALLETTI, Paolo
The meta-didactical transposition: a model for analysing teachers education programs
2013-01-01 G., Aldon; F., Arzarello; A., Cusi; R., Garuti; Martignone, Francesca; O., Robutti; C., Sabena; S., Soury Lavergne
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 ...4705
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa17
- 2020 - 2026472
- 2010 - 20191541
- 2000 - 20091901
- 1990 - 1999595
- 1980 - 1989156
- 1970 - 197923
- 1969 - 19691
Editore
- Springer118
- IEEE46
- IEEE Computer Society43
- CEUR-WS34
- Springer Verlag30
- ACM25
- Springer-Verlag24
- IOS Press22
- Institute of Electrical and Elect...20
- CEUR-WS.org18
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE60
- LECTURE NOTES IN ARTIFICIAL INTEL...34
- BOLLETTINO-LEGA ITALIANA CONTRO L...29
- CEUR WORKSHOP PROCEEDINGS16
- ELECTRONIC PROCEEDINGS IN THEORET...13
- FORENSIC SCIENCE INTERNATIONAL: G...9
- POS PROCEEDINGS OF SCIENCE9
- PROCEEDINGS OF THE PME CONFERENCE9
- STUDIES IN HEALTH TECHNOLOGY AND ...9
- ELECTRONIC NOTES IN THEORETICAL C...8
Serie
- CEUR WORKSHOP PROCEEDINGS50
- LECTURE NOTES IN COMPUTER SCIENCE35
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- PROCEEDINGS OF THE AMERICAN ACADE...6
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- AIP CONFERENCE PROCEEDINGS4
- THEMATA4
- ACTA DIURNA3
- BIBLIOTECA DELLA SOCIETÀ STORICA ...3
- CONTRIBUTIONS TO STATISTICS3
Keyword
- Case-Based Reasoning21
- Computer Science (all)17
- Medical Informatics13
- Twitter13
- Synthetic aperture radar11
- Bayesian Networks10
- melanoma10
- Software10
- Dynamic Bayesian Networks9
- monasteri9
Lingua
- eng2457
- ita1370
- fre80
- spa35
- ger24
- rus9
- lat8
- und5
- cat3
- por2
Accesso al fulltext
- no fulltext3709
- reserved513
- open267
- restricted209
- partially open8