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.
Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99 : Kerkrade, the Netherlands, September 1-3, 1999 : proceedings / Manfred Nagl ...<et al.> (eds.)
| Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99 : Kerkrade, the Netherlands, September 1-3, 1999 : proceedings / Manfred Nagl ...<et al.> (eds.) |
| Autore | International workshop, AGTIVE'99 <1999; Kerkrade> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c2000 |
| Descrizione fisica | XV, 490 p. : ill. ; 25 cm |
| Disciplina | 004.2 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Progettazione dei sistemi
Congressi |
| ISBN | 3-540-67658-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000338490203316 |
International workshop, AGTIVE'99 <1999; Kerkrade>
|
||
| Berlin : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Methodology and tools for data base design / edited Stefano Ceri
| Methodology and tools for data base design / edited Stefano Ceri |
| Autore | Ceri, Stefano |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1983 |
| Descrizione fisica | 255 p. : ill. ; 23 cm |
| Disciplina | 004 |
| Soggetto non controllato |
Progetto DATAID
Progettazione dei sistemi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000460090403321 |
|
Ceri, Stefano
|
||
| Amsterdam : North-Holland, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Microcomputer system design : an advanced course, Trinity College, Dublin, june 1981 / edited by M. J. Flynn, N. R. Harris, D. P. McCarthy
| Microcomputer system design : an advanced course, Trinity College, Dublin, june 1981 / edited by M. J. Flynn, N. R. Harris, D. P. McCarthy |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
| Descrizione fisica | 397 p. : ill. ; 24 cm |
| Disciplina | 001.64 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Progettazione dei sistemi
Microcomputer |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000470470403321 |
| Berlin : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modern approaches to control systems design / N. Munro
| Modern approaches to control systems design / N. Munro |
| Autore | Munro, Neil |
| Pubbl/distr/stampa | England : Peter Peregrinus, ©1979 |
| Descrizione fisica | 413 p. : ill. ; 23 cm |
| Disciplina |
629.831 2
003 |
| Collana | IEE control engineering series |
| Soggetto non controllato |
Teoria del controllo
Progettazione dei sistemi |
| ISBN | 0-906048-06-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000450960403321 |
|
Munro, Neil
|
||
| England : Peter Peregrinus, ©1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Robust tracking controllers design : with generic references for continuous and discrete uncertain linear SISO systems / Laura Celentano
| Robust tracking controllers design : with generic references for continuous and discrete uncertain linear SISO systems / Laura Celentano |
| Autore | Celentano, Laura |
| Pubbl/distr/stampa | Saarbrücken, Deutschland : LAP Lambert academic publishing, ©2012 |
| Descrizione fisica | 74 p. : ill. ; 24 cm |
| Soggetto non controllato | Progettazione dei sistemi |
| ISBN | 978-3-659-29193-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009724360403321 |
|
Celentano, Laura
|
||
| Saarbrücken, Deutschland : LAP Lambert academic publishing, ©2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000 : held as part of the Joint European conferences on theory and practice of software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings / Susanne Graf ...<et al.> (eds.)
| Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000 : held as part of the Joint European conferences on theory and practice of software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings / Susanne Graf ...<et al.> (eds.) |
| Autore | International conference, TACAS 2000 <6.; 2000; Berlin> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c2000 |
| Descrizione fisica | XIV, 552 p. : ill. ; 25 cm |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Progettazione dei sistemi
Software Congressi |
| ISBN | 3-540-67282-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000338600203316 |
|
International conference, TACAS 2000 <6.; 2000; Berlin>
|
||
| Berlin : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||