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.
Analysis and verification of multiple-agent languages : 5th LOMAPS workshop : Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.)
| Analysis and verification of multiple-agent languages : 5th LOMAPS workshop : Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | VIII, 434 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - stoccolma - 1996
linguaggi di programmazione - congressi - 1996 software - sviluppo - congressi - 1996 |
| ISBN | 3-540-62503-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205350203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automata, languages and programming : 23rd International colloquium, ICALP '96 : Paderborn, Germany, July 8-12, 1996 : proceedings / Friedhelm Meyer auf der Heide ... [et al.] (eds.)
| Automata, languages and programming : 23rd International colloquium, ICALP '96 : Paderborn, Germany, July 8-12, 1996 : proceedings / Friedhelm Meyer auf der Heide ... [et al.] (eds.) |
| Autore | International colloquium ICALP'96 : 23. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | XII, 680 p. : ill. ; 23 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - paderborn - 1996
elaboratori elettronici - congressi - 1996 elaboratori elettronici - programmazione - congressi - 1996 linguaggi di programmazione - congressi - 1996 |
| ISBN | 3-540-61440-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207080203316 |
International colloquium ICALP'96 : 23. : 1996
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler construction : 6th International conference, CC'96 : Linkoping, Sweden, April 24-26,1996 : proceedings / Tibor Gyimothy (ed.)
| Compiler construction : 6th International conference, CC'96 : Linkoping, Sweden, April 24-26,1996 : proceedings / Tibor Gyimothy (ed.) |
| Autore | International conference CC'96 : 6. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | X, 355 p. : ill. ; 24 cm |
| Disciplina | 00513 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - linkopimg - 1996
linguaggi di programmazione - congressi - 1996 |
| ISBN | 3-540-61053-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206860203316 |
|
International conference CC'96 : 6. : 1996
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual structures: knowledge representation as interlingua : 4th international conference on conceptual structures, ICCS '96 : Sydney, Australia, August 1996 : proceedings / Peter W. Eklund ... [et al.] (eds.)
| Conceptual structures: knowledge representation as interlingua : 4th international conference on conceptual structures, ICCS '96 : Sydney, Australia, August 1996 : proceedings / Peter W. Eklund ... [et al.] (eds.) |
| Autore | International conference on conceptual structures ICCS'96 : 4. : 1996 |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag copyr 1996, [etc.] |
| Descrizione fisica | XIII, 320 p : ill ; 23 cm |
| Disciplina | 00633 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - sydney - 1996
intelligenza artificiale - congressi - 1996 linguaggi di programmazione - congressi - 1996 logica matematica - congressi - 1996 |
| ISBN | 3-540-61534-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201440203316 |
|
International conference on conceptual structures ICCS'96 : 4. : 1996
|
||
| Berlin, : Springer-Verlag copyr 1996, [etc.] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination languages and models : first International conference Coordination'96 Cesena, Italy, April 15-17, 1996 : proceedings / Paolo Ciancarini [et al.] (eds.)
| Coordination languages and models : first International conference Coordination'96 Cesena, Italy, April 15-17, 1996 : proceedings / Paolo Ciancarini [et al.] (eds.) |
| Autore | International conference COORDINATION'96 : 1. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | XI, 443 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - cesena - 1996
elaborazione elettronica - modelli matematici - congressi - 1996 linguaggi di programmazione - congressi - 1996 |
| ISBN | 3-540-61052-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206900203316 |
|
International conference COORDINATION'96 : 1. : 1996
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dialogue processing in spoken language systems : ECAI'96 workshop : Budapest, Hungary, August 13,1996 : revised papers / Elisabeth Maier ... [et al.] (eds.)
| Dialogue processing in spoken language systems : ECAI'96 workshop : Budapest, Hungary, August 13,1996 : revised papers / Elisabeth Maier ... [et al.] (eds.) |
| Autore | ECAI'96 workshop <1996 ; Budapest> |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | VIII, 220 p. : ill. ; 23 cm |
| Disciplina | 00513 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - budapest - 1996
linguaggi di programmazione - congressi - 1996 |
| ISBN | 3-540-63175-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202580203316 |
|
ECAI'96 workshop <1996 ; Budapest>
|
||
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Implementation of functional languages : 8th International workshop, IFL'96: Bad Godesberg, Germany : September 16-18, 1996 : selected papers / Werner Kluge (ed.)
| Implementation of functional languages : 8th International workshop, IFL'96: Bad Godesberg, Germany : September 16-18, 1996 : selected papers / Werner Kluge (ed.) |
| Autore | International workshop IFL'96 : 8. : 1996 |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | IX, 284 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - bad godesberg - 1996
linguaggi di programmazione - congressi - 1996 programmazione oggetto orientata - congressi - 1996 |
| ISBN | 3-540-63237-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205670203316 |
|
International workshop IFL'96 : 8. : 1996
|
||
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
implementations, logics and programs : 8th International symposium, PLILP'96 : Aachen, Germany, September 24-27, 1996 : proceedings / Herbert Kuchen ... [et al.] (es.) (Programming languages)
| implementations, logics and programs : 8th International symposium, PLILP'96 : Aachen, Germany, September 24-27, 1996 : proceedings / Herbert Kuchen ... [et al.] (es.) (Programming languages) |
| Autore | International symposium PLILP'96 : 8. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | XI, 478 p. : ill. ; 25 cm |
| Disciplina | 00513 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - aachen - 1996
elaboratori elettronici - programmazione - congressi - 1996 linguaggi di programmazione - congressi - 1996 logica matematica - congressi - 1996 |
| ISBN | 3-540-61756-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207540203316 |
|
International symposium PLILP'96 : 8. : 1996
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Languages and compilers for parallel computing : 9th International workshop, LOPC'96 : San Jose, California, USA, August 8-10, 1996 : proceedings / David Sehr ... [et al.] (eds.)
| Languages and compilers for parallel computing : 9th International workshop, LOPC'96 : San Jose, California, USA, August 8-10, 1996 : proceedings / David Sehr ... [et al.] (eds.) |
| Autore | International workshop LCPC'96 : 9. : 1996 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | XIII, 610 p. : ill. ; 23 cm |
| Disciplina | 00435 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - san jose - 1996
elaboratori elettronici - compilatori - congressi - 1996 elaborazione parallela - congressi - 1996 linguaggi di programmazione - congressi - 1996 |
| ISBN | 3-540-63091-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206230203316 |
|
International workshop LCPC'96 : 9. : 1996
|
||
| Berlin : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Parallel symbolic languages and systems : International workshop PSLS'95 : Beaune, France, October 2-4, 1995 : proceedings / Takayasu Ito ... [et al.] (eds.)
| Parallel symbolic languages and systems : International workshop PSLS'95 : Beaune, France, October 2-4, 1995 : proceedings / Takayasu Ito ... [et al.] (eds.) |
| Autore | International workshop PSLS'95 : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag copyr 1996 |
| Descrizione fisica | X, 361 p : ill ; 23 cm |
| Disciplina | 00435 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - beaune - 1996
elaborazione parallela - congressi - 1996 linguaggi di programmazione - congressi - 1996 |
| ISBN | 3-540-61143-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207340203316 |
|
International workshop PSLS'95 : 1995
|
||
| Berlin [etc.] : Springer-Verlag copyr 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
