Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal techniques in real-time and fault-tolerant : 6th Intenational symposium, FTRTFT 2000 : Pune, India ,September 20-22. 2000 : proceedings / Mathai Joseph (ed.)
| Formal techniques in real-time and fault-tolerant : 6th Intenational symposium, FTRTFT 2000 : Pune, India ,September 20-22. 2000 : proceedings / Mathai Joseph (ed.) |
| Pubbl/distr/stampa | Berlino : Springer-Verlang, c2000 |
| Descrizione fisica | X,303 p. : ill. ; 20 cm |
| Disciplina | 004.33 |
| Collana | Lecture notes in computer scienze |
| Soggetto non controllato |
Elaborazione in tempo reale
Congressi |
| ISBN | 3-540-41090-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000320290203316 |
| Berlino : Springer-Verlang, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal techniques in real-time and fault-tolerant systems : 7th Intenational symposium, FTRTFT 2002 : Co-sponsored by IFIP WG 2.2 : Oldenburg, Germany, September 9-12, 2002 : proceedings / Werner Damm...<et al.>(eds.)
| Formal techniques in real-time and fault-tolerant systems : 7th Intenational symposium, FTRTFT 2002 : Co-sponsored by IFIP WG 2.2 : Oldenburg, Germany, September 9-12, 2002 : proceedings / Werner Damm...<et al.>(eds.) |
| Autore | International simposium, FTRTFT 2002 <7. ; 2002 ; Oldenbeurg, Germany> |
| Pubbl/distr/stampa | Berlin : Springer-Verlang, copyr.2002 |
| Descrizione fisica | X, 453 p. : ill. ; 20 cm |
| Disciplina | 004.33 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Elaborazione in tempo reale |
| ISBN | 3-540-44165-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001117100203316 |
International simposium, FTRTFT 2002 <7. ; 2002 ; Oldenbeurg, Germany>
|
||
| Berlin : Springer-Verlang, copyr.2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Real-time systems, design and analysis : An engineer's handbook / Philip Laplante
| Real-time systems, design and analysis : An engineer's handbook / Philip Laplante |
| Autore | Laplante, Phillip A. |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | New York : IEEE Press, c1997 |
| Descrizione fisica | xxi, 361 p. : 25 cm ; ill. |
| Disciplina | 004.33 |
| Soggetto non controllato | Elaborazione in tempo reale |
| ISBN | 0-7803-3400-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990003976170403321 |
|
Laplante, Phillip A.
|
||
| New York : IEEE Press, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Real-time systems, design and analysis : an engineer's handbook / Phillip Laplante
| Real-time systems, design and analysis : an engineer's handbook / Phillip Laplante |
| Autore | Laplante, Phillip A. |
| Pubbl/distr/stampa | New York : IEEE Press, c1993 |
| Descrizione fisica | 339 p. : ill. ; 24 cm |
| Disciplina | 004.33 |
| Soggetto non controllato | Elaborazione in tempo reale |
| ISBN | 0-7803-0402-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000515850403321 |
|
Laplante, Phillip A.
|
||
| New York : IEEE Press, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||