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.
A Completeness Theorem for Nondeterministic Kleene Algebras.
1994-01-01 De Nicola, R; Labella, A
A finite axiomatization of nondeterministic regular expressions
1999-01-01 DE NICOLA, R; F., Corradini; A., Labella
A framework for control, fault detection, state estimation and verification of hybrid systems
1999-01-01 Mignone, D.; Bemporad, A.; Morari, M.
A Framework for Control, State Estimation, Fault Detection, and Verification of Hybrid Systems
1999-01-01 Morari, M; Bemporad, A; Mignone, D
A nonlinear command governor for constrained control systems
1996-01-01 Bemporad, A.; Casavola, A.; Mosca, E.
A Partial Ordering Semantics for CCS
1990-01-01 P., Degano; DE NICOLA, R; U., Montanari
A PET study of Turner's syndrome: effects of sex steroids and the X chromosome on brain
1997-01-01 Murphy, Dg; Mentis, Mj; Pietrini, P; Grady, C; Daly, E; Haxby, Jv; De La Granja, M; Allen, G; Largay, K; White, Bj; Powell, Cm; Horwitz, B; Rapoport, Si; Schapiro, Mb.
A predictive controller with artificial Lyapunov function for linear systems with input/state constraints
1998-01-01 Bemporad, A.
A predictive reference governor for constrained control systems
1996-01-01 Bemporad, A.; Casavola, A.; Mosca, E.
A predictive reference governor for constrained control systems
1998-01-01 Bemporad, A.; Casavola, A.; Mosca, E.
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
- 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
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