Sfoglia
Prodotti recenti
Scopri
Tipologia
- 04 ATTO DI CONVEGNO SU RIVISTA897
Data di pubblicazione
- 2020 - 202234
- 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
- eng641
- ita274
- fre2
- cat1
- spa1
Accesso al fulltext
- no fulltext812
- open47
- reserved33
- partially open5