Sfoglia
Prodotti recenti
Scopri
Tipologia
- 04 ATTO DI CONVEGNO SU RIVISTA937
Data di pubblicazione
- 2020 - 202472
- 2010 - 2019400
- 2000 - 2009292
- 1990 - 1999130
- 1980 - 198943
Editore
- -1
Rivista
- ATTI DELLA SOCIETA' ITALIANA DELL...119
- ATTI DELLA SOCIETÀ ITALIANA DELLE...69
- ITALIAN JOURNAL OF ANATOMY AND EM...33
- PARASSITOLOGIA28
- REPRODUCTION IN DOMESTIC ANIMALS26
- GEOPHYSICAL RESEARCH ABSTRACTS23
- PURINERGIC SIGNALLING23
- EUROPEAN JOURNAL OF HISTOCHEMISTRY21
- ITALIAN JOURNAL OF ANATOMY AND EM...20
- INVERTEBRATE SURVIVAL JOURNAL18
Keyword
- Collective Adaptive Systems1
- Formal Methods1
- Formal methods1
- formal semantics1
- Model checking1
- Probabilistic equivalences1
- Quantitative Analysis1
- quantitative analysis1
- stochastic process calculi1
Lingua
- eng672
- ita281
- enm2
- fre2
- cat1
- spa1
Accesso al fulltext
- no fulltext843
- open52
- reserved37
- partially open5