IRIS
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.

cerca in
Risultati 11 - 20 di 216 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
A Process Algebra based on Linda 1-gen-1996 DE NICOLA, R; R., Pugliese
A Process Algebraic View of Input/Output Automata 1-gen-1995 DE NICOLA, R; R., Segala
A prototype model of stock exchange 1-gen-1997 Caldarelli, G; Marsili, M; Zhang, Yc
A statistical procedure applied to positron emission tomographic (PET) data for the early detection of Alzheimer’s disease (AD) 1-gen-1993 Azari, Np; Pettigrew, Kd; Schapiro, Mb; Haxby, Jv; Grady, Cl; Pietrini, P; Salerno, Ja; Heston, Ll; Rapoport, Si; Horwitz, B
A Symbolic Semantics for the pi-calculus 1-gen-1994 M, Boreale; DE NICOLA, R.
A Symbolic Semantics for the pi-Calculus 1-gen-1996 DE NICOLA, R; M., Boreale
A Theory of May Testing for Asynchronous Languages 1-gen-1999 M, Boreale; DE NICOLA, R.; Pugliese, R.
Abnormal brain glucose metabolism in the delusional misidentification syndromes: a positron emission tomography study in Alzheimer disease 1-gen-1995 Mentis, Mj; Weinstein, Ea; Horwitz, B; Mcintosh, Ar; Pietrini, P; Alexander, Ge; Furey, M; Murphy, Dg
Action and State-based Logics for Process Algebras 1-gen-1991 De Nicola, R
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 1-gen-1990 De Nicola, R; Vaandrager, F W
Risultati 11 - 20 di 216 (tempo di esecuzione: 0.016 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 1 Contributo su Rivista 131
  • 1 Contributo su Rivista::1.1 Arti... 114
  • 2 Contributo in Volume 39
  • 2 Contributo in Volume::2.1 Contr... 39
  • 4 Contributo in Atti di Convegno ... 39
  • 4 Contributo in Atti di Convegno ... 37
  • 1 Contributo su Rivista::1.5 Abst... 17
  • 7 Curatele 4
  • 7 Curatele::7.1 Curatela 4
  • 4 Contributo in Atti di Convegno ... 2
  • 5 Altro 2
  • 5 Altro::5.15 Altro 2
  • 3 Libro 1
  • 3 Libro::3.1 Monografia o trattat... 1
Autore
  • PIETRINI, PIETRO 81
  • DE NICOLA, ROCCO 43
  • BEMPORAD, ALBERTO 38
  • CALDARELLI, GUIDO 22
  • LATTANZI, NICOLA 12
  • CATONI, MARIA LUISA 9
  • BERTOLACCI, AMOS 3
  • PELLEGRINI, EMANUELE 3
  • RICCIARDI, EMILIANO 3
  • RICCABONI, MASSIMO 2
Data di pubblicazione
  • 1999 42
  • 1998 30
  • 1997 37
  • 1996 31
  • 1995 30
  • 1994 14
  • 1993 17
  • 1992 4
  • 1991 3
  • 1990 8
Editore
  • Springer 20
  • Springer Verlag 5
  • Einaudi 4
  • Edizioni ETS 2
  • ETS 2
  • Giappichelli 2
  • Giuffr? 2
  • Giulio Einaudi 2
  • IEEE 2
  • IEEE Computer Society 2
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE 12
  • BIOLOGICAL PSYCHIATRY 8
  • PHYSICAL REVIEW E 7
  • NEUROLOGY 6
  • THE AMERICAN JOURNAL OF PSYCHIATRY 6
  • NEUROREPORT 5
  • AUTOMATICA 4
  • PHYSICA. A 4
  • PROBLEMI IN PSICHIATRIA 4
  • EUROPHYSICS LETTERS 3
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 5
  • PROCEEDINGS OF THE AMERICAN CONTR... 1
  • PROCEEDINGS OF THE IEEE CONFERENC... 1
Keyword
  • Grecia Antica 4
  • Immagini e politica 2
  • Antichità e cultura contemporanea 1
  • Archeologia greca 1
  • Aristofane 1
  • Arte iberica 1
  • Beni Culturali 1
  • Bilancio di esercizio 1
  • Biotechnology industry 1
  • Brain 1
Lingua
  • eng 132
  • ita 42
  • und 21
Accesso al fulltext
  • no fulltext 156
  • reserved 59
  • open 1