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 31 - 39 di 39 (tempo di esecuzione: 0.023 secondi).
Quale arte per il tempo di Platone?
1997-01-01 Catoni, M
Robust model predictive control: A survey
1999-01-01 Bemporad, A.; Morari, M.
RVerifying hardware components within JACK
1995-01-01 De Nicola, R; Fantechi, A; Gnesi, S; Larosa, S; Ristori G., Charme
Testing Equivalence for Mobile Processes (Extended Abstract)
1992-01-01 Boreale, M; De Nicola, R
Testing Semantics of Asynchronous Distributed Programs
1996-01-01 DE NICOLA, R; R., Pugliese
Types as Specifications of Access Policies
1999-01-01 DE NICOLA, R; R., Pugliese; G., Ferrari
Uno strumento per l'analisi del bilancio consolidato
1997-01-01 Lattanzi, N
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
1990-01-01 De Nicola, R; Inverardi, P; Nesi, M
Verification of hybrid systems via mathematical programming
1999-01-01 Bemporad, A.; Morari, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Quale arte per il tempo di Platone? | 1-gen-1997 | Catoni, M | |
Robust model predictive control: A survey | 1-gen-1999 | Bemporad, A.; Morari, M. | |
RVerifying hardware components within JACK | 1-gen-1995 | De Nicola, R; Fantechi, A; Gnesi, S; Larosa, S; Ristori G., Charme | |
Testing Equivalence for Mobile Processes (Extended Abstract) | 1-gen-1992 | Boreale, M; De Nicola, R | |
Testing Semantics of Asynchronous Distributed Programs | 1-gen-1996 | DE NICOLA, R; R., Pugliese | |
Types as Specifications of Access Policies | 1-gen-1999 | DE NICOLA, R; R., Pugliese; G., Ferrari | |
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 | |
Verification of hybrid systems via mathematical programming | 1-gen-1999 | Bemporad, A.; Morari, M. |
Risultati 31 - 39 di 39 (tempo di esecuzione: 0.023 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 39
- 2 Contributo in Volume::2.1 Contr... 39
Data di pubblicazione
- 1999 8
- 1998 4
- 1997 7
- 1996 4
- 1995 3
- 1994 4
- 1993 2
- 1992 1
- 1991 2
- 1990 4
Editore
- Springer 19
- Springer Verlag 5
- Giappichelli 2
- Giulio Einaudi 2
- John Wiley & Sons Ltd. 2
- SPRINGER-VERLAG 2
- American Psychiatric Press 1
- Clueb 1
- Giuffr? 1
- IEEE Computer Society 1
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 12
- STUDI E RICERCHE DI ECONOMIA AZIE... 2
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 5
Keyword
- Immagini e politica 2
- Filosofia delle immagini 1
- Immagini e educazione 1
- Immagini e società 1
- Olimpiadi moderne 1
- Programmazione e controllo 1
- Redditività gruppo aziendale 1
- Sistemi intelligenti 1
- Sport 1
- Sport e regimi politici 1
Lingua
- eng 27
- ita 7
Accesso al fulltext
- no fulltext 34
- reserved 5