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.
Automata, languages and programming : 20th International colloquium, ICALP'93 : Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas ... [et al.] (eds.)
| Automata, languages and programming : 20th International colloquium, ICALP'93 : Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas ... [et al.] (eds.) |
| Autore | International colloquium ICALP'93 : 20. : 1993 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | XII, 697 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - lund - 1993
elaboratori elettronici - congressi - 1993 elaboratori elettronici - programmazione - congressi - 1993 linguaggi di programmazione - congressi - 1993 |
| ISBN | 3-540-56939-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204780203316 |
International colloquium ICALP'93 : 20. : 1993
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational logic and proof theory : third Kurt Gödel colloquium KGC'93: Brno, Czech Republic, August 24-27, 1993 : proccedings / George Gottlob (ed.)
| Computational logic and proof theory : third Kurt Gödel colloquium KGC'93: Brno, Czech Republic, August 24-27, 1993 : proccedings / George Gottlob (ed.) |
| Autore | Kurt Gödel colloquium KGC'93 : 3. : 1993 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | XI, 348 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - brno - 1993
elaboratori elettronici - congressi - 1993 elaboratori elettronici - programmazione - congressi - 1993 logica matematica - congressi - 1993 |
| ISBN | 3-540-57184-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204170203316 |
|
Kurt Gödel colloquium KGC'93 : 3. : 1993
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of software technologyand theoretical computer science : 13th conference, Bombay, India, December 1993, proceedings / R. K. Shyamasundar (ed.)
| Foundations of software technologyand theoretical computer science : 13th conference, Bombay, India, December 1993, proceedings / R. K. Shyamasundar (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | XIV, 453 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - bombay - 1993
elaboratori elettronici - congressi - 1993 software - progettazione - congressi - 1993 |
| ISBN | 3-540-57529-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000203580203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
New trends in neural computation : International workshop on artificial neural networks : IWANN '93 : Sitges, Spain, June 9-11, 1993 : poceedings / J. Mira (ed.)
| New trends in neural computation : International workshop on artificial neural networks : IWANN '93 : Sitges, Spain, June 9-11, 1993 : poceedings / J. Mira (ed.) |
| Autore | International workshop on artificial neural networks : 1993 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | XVII, 746 p. : ill. ; 24 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - sitges - 1993
elaboratori elettronici - congressi - 1993 intelligenza artificiale - congressi - 1993 reti neurali - congressi - 1993 riconoscimento delle forme - congressi - 1993 |
| ISBN | 3-540-56798-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204020203316 |
|
International workshop on artificial neural networks : 1993
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Performance evaluation of computerand communication systems : joint tutorial papers of performance'93 and sigmetrics'93 / Lorenzo Donatiello (ed.)
| Performance evaluation of computerand communication systems : joint tutorial papers of performance'93 and sigmetrics'93 / Lorenzo Donatiello (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | 675 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - roma - 1993
elaboratori elettronici - congressi - 1993 elaborazione dei dati - reti di trasmissione - congressi - 1993 elaborazione elettronica - congressi - 1993 |
| ISBN | 3-540-57297-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204980203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
STACS'93 : 10th Annual symposium on theoretical aspects of computer science : Würzburg, Germany, February 25-27, 1993 : proceedings / P. Enjalbert ... [et al.] (eds.)
| STACS'93 : 10th Annual symposium on theoretical aspects of computer science : Würzburg, Germany, February 25-27, 1993 : proceedings / P. Enjalbert ... [et al.] (eds.) |
| Autore | Annual symposium on theoretical aspects of computer science : 10, : 1993 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | XIV, 723 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - würzburg - 1993
elaboratori elettronici - congressi - 1993 |
| ISBN | 3-540-56503-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000203890203316 |
|
Annual symposium on theoretical aspects of computer science : 10, : 1993
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||