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.
Risultati 21 - 22 di 22 (tempo di esecuzione: 0.03 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Testing Equivalences for Processes | 1-gen-1984 | DE NICOLA, R; M., Hennessy | |
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes | 1-gen-1985 | DE NICOLA, R |
Risultati 21 - 22 di 22 (tempo di esecuzione: 0.03 secondi).
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
- 2 Contributo in Volume 9
- 2 Contributo in Volume::2.1 Contr... 9
- 1 Contributo su Rivista 7
- 1 Contributo su Rivista::1.1 Arti... 7
- 4 Contributo in Atti di Convegno ... 6
- 4 Contributo in Atti di Convegno ... 6
Data di pubblicazione
- 1989 5
- 1988 5
- 1987 3
- 1986 3
- 1985 2
- 1984 2
- 1983 2
Editore
- Springer 7
- CIC Edizioni Internazionali 2
- IDELSON-GNOCCHI 1
- Idelson-Gnocchi 1
- IEEE Computer Society 1
- Monduzzi Editore 1
- North Holland 1
- Springer Verlag 1
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 7
- ACTA INFORMATICA 2
- INFORMATION AND CONTROL 1
- NEUROPSYCHOBIOLOGY 1
- PSICHIATRIA & MEDICINA 1
- RASSEGNA DI STUDI PSICHIATRICI 1
- THEORETICAL COMPUTER SCIENCE 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
- Anxiety 1
- Benzodiazepines 1
- Depression 1
- Endogenous ligand 1
- Human serum 1
- Specific receptor 1
Lingua
- eng 10
- ita 7
Accesso al fulltext
- no fulltext 22