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 201 - 210 di 216 (tempo di esecuzione: 0.035 secondi).
Titolo Data di pubblicazione Autore(i) File
Three Logics for Branching Bisimulation (Extended Abstract) 1-gen-1990 De Nicola, R; Vaandrager, F W
Tree Morphisms and Bisimulations 1-gen-1998 DE NICOLA, Rocco; Labella, A
Types as Specifications of Access Policies 1-gen-1999 DE NICOLA, R; R., Pugliese; G., Ferrari
Universal Axioms for Bisimulations 1-gen-1993 P., Degano; DE NICOLA, R; U., Montanari
Uno strumento per l'analisi del bilancio consolidato 1-gen-1997 Lattanzi, N
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. 1-gen-1990 De Nicola, R; Inverardi, P; Nesi, M
Valutazione dell’attività monoamino-ossidasica trombocitaria in pazienti con Dipendenza da Alcool 1-gen-1990 Pietrini, P; Bongioanni, P; Scarpellini, G; Loprieno, F; Guazzelli, M
Variante visiva della Malattia di Alzheimer 1-gen-1997 Pietrini, P; Furey, Ml
Verification of hybrid systems via mathematical programming 1-gen-1999 Bemporad, A.; Morari, M.
Visual cortical dysfunction in Alzheimer’s disease evaluated using a temporally graded “stress-test” during PET 1-gen-1996 Mentis, Mj; Grady, Cl; Maisog, J MA; Vanmeter, Jw; Horwitz, B; Pietrini, P; Schapiro, Mb; Rapoport, Si
Risultati 201 - 210 di 216 (tempo di esecuzione: 0.035 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