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.
31st Annual symposium on foundations of computer science : proceedings : October 22-24, 1990,St.Louis Missouri
| 31st Annual symposium on foundations of computer science : proceedings : October 22-24, 1990,St.Louis Missouri |
| Autore | Annual symposium on foundations of computer science : 31. : 1990 |
| Pubbl/distr/stampa | Washington : IEEE Computer SocietyPress, copyr. 1990 |
| Descrizione fisica | v. : ill. ; 29 cm |
| Disciplina | 004 |
| Soggetto non controllato |
congressist. louis1990
elaboratori elettroniciprogrammazionecongressi1990 elaborazione elettronicacongressi1990 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000178580203316 |
| Annual symposium on foundations of computer science : 31. : 1990 | ||
| Washington : IEEE Computer SocietyPress, copyr. 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Information systems and artificialintelligence : integration aspects : first workshop, Ulm, FRG, March 1990 : proceedings / D. Karagiannis (ed.)
| Information systems and artificialintelligence : integration aspects : first workshop, Ulm, FRG, March 1990 : proceedings / D. Karagiannis (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1991 |
| Descrizione fisica | X, 293 p. : ill. ; 25 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
archivi di daticongressi1990
congressiulm1990 elaboratori elettroniciprogrammazionecongressi1990 intelligenza artificialecongressi1990 |
| ISBN | 3-540-53557-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000203230203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Nonclassical logics and information processing : international workshop Berlin, Germany, November 9-10, 1990 : proceeding / D. Pearce (ed.)
| Nonclassical logics and information processing : international workshop Berlin, Germany, November 9-10, 1990 : proceeding / D. Pearce (ed.) |
| Pubbl/distr/stampa | Berlino [etc.] : Springer-Verlag, copyr. copyr. 1992 |
| Descrizione fisica | 171 p. : ill. ; 24 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressiberlino1990
elaboratori elettroniciprogrammazionecongressi1990 elaborazione dei daticongressi1990 logica matematicacongressi1990 |
| ISBN | 3-540-55745-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201790203316 |
| Berlino [etc.] : Springer-Verlag, copyr. copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the first Annual ACM-SIAM symposium on discrete algorithms : [symposium held Jan. 22-24, 1990, San Francisco, Calif.]
| Proceedings of the first Annual ACM-SIAM symposium on discrete algorithms : [symposium held Jan. 22-24, 1990, San Francisco, Calif.] |
| Autore | Annual ACM-SIAM symposium on discrete algorithms : 1. : 1990 |
| Pubbl/distr/stampa | Philadelphia : SIAM, copyr. 1990 |
| Descrizione fisica | XIV, 523 p. : ill. ; 27 cm |
| Disciplina | 0051 |
| Soggetto non controllato |
algoritmicongressi1990
congressisan francisco1990 elaboratori elettroniciprogrammazionecongressi1990 |
| ISBN | 0-89871-251-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000265050203316 |
| Annual ACM-SIAM symposium on discrete algorithms : 1. : 1990 | ||
| Philadelphia : SIAM, copyr. 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
World equations and related topics : Tübingen, Germany, October 1-3, 1990 : proceedings / K. U. Schulz (ed.)
| World equations and related topics : Tübingen, Germany, October 1-3, 1990 : proceedings / K. U. Schulz (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | 256 p. : ill. ; 25 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressitübinga1990
elaboratori elettroniciprogrammazionecongressi1990 logica matematicacongressi1990 |
| ISBN | 3-540-55124-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202630203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||