Sfoglia
Prodotti recenti
Scopri
Tipologia
- 04 ATTO DI CONVEGNO SU RIVISTA913
Data di pubblicazione
- 2020 - 202350
- 2010 - 2019398
- 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 ANIMALS25
- GEOPHYSICAL RESEARCH ABSTRACTS23
- PURINERGIC SIGNALLING23
- INVERTEBRATE SURVIVAL JOURNAL18
- ITALIAN JOURNAL OF ANATOMY AND EM...18
- EUROPEAN JOURNAL OF HISTOCHEMISTRY17
Keyword
- Collective Adaptive Systems1
- Formal Methods1
- Formal methods1
- formal semantics1
- Model checking1
- Probabilistic equivalences1
- Quantitative Analysis1
- quantitative analysis1
- stochastic process calculi1
Lingua
- eng652
- ita277
- enm2
- fre2
- cat1
- spa1
Accesso al fulltext
- no fulltext825
- open49
- reserved34
- partially open5