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 : 22nd International colloquium, ICALP 95 : Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltan Fülöp ... [etc.] (eds.)
| Automata, languages and programming : 22nd International colloquium, ICALP 95 : Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltan Fülöp ... [etc.] (eds.) |
| Autore | International colloquium ICALP'95 : 22. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | XII, 686 p. : ill. ; 25 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - szeged - 1995
elaboratori elettronici - congressi - 1995 elaboratori elettronici - programmazione - congressi - 1995 linguaggi di programmazione - congressi - 1995 |
| ISBN | 3-540-60084-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210470203316 |
International colloquium ICALP'95 : 22. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Functional programming languages in education : first International symposium, FPLE '95 : Nijmegen, The Netherlands, December 4-6, 1995 : proceedings / Pieter H. Hartel ... [etc.] (eds.)
| Functional programming languages in education : first International symposium, FPLE '95 : Nijmegen, The Netherlands, December 4-6, 1995 : proceedings / Pieter H. Hartel ... [etc.] (eds.) |
| Autore | International symposium FPLE : 1. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | X, 309 p. : ill. ; 25 cm |
| Disciplina | 00513 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - nijmegen - 1995
linguaggi di programmazione - congressi - 1995 |
| ISBN | 3-540-60675-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211320203316 |
|
International symposium FPLE : 1. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Higher order logic theorem provingand its applications : 8th International workshop : AspenGrove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert ... [etc.] (eds.)
| Higher order logic theorem provingand its applications : 8th International workshop : AspenGrove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert ... [etc.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | VIII, 400 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - aspen grove - 1995
elaboratori elettronici - congressi - 1995 linguaggi di programmazione - congressi - 1995 logica matematica - congressi - 1995 |
| ISBN | 3-540-60275-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211060203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Languages and compilers for parallel computing : 8th International workshop, LCPC '95: Columbus, Ohio, USA, August 10-12, 1995: proceedings / C. H. Huang ...[et al.] (eds.)
| Languages and compilers for parallel computing : 8th International workshop, LCPC '95: Columbus, Ohio, USA, August 10-12, 1995: proceedings / C. H. Huang ...[et al.] (eds.) |
| Autore | International workshop LCPC'95 : 8. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | XIII, 597 p. : ill. ; 24 cm |
| Disciplina | 00435 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - columbus - 1995
elaboratori elettronici - compilatori - congressi - 1995 elaborazione parallela - congressi - 1995 linguaggi di programmazione - congressi - 1995 |
| ISBN | 3-540-60765-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206890203316 |
|
International workshop LCPC'95 : 8. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Object-based parallel and distributed computation : France-Japan workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 selected papers / Jean-Pierre Briot ... [et al.] (eds.)
| Object-based parallel and distributed computation : France-Japan workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 selected papers / Jean-Pierre Briot ... [et al.] (eds.) |
| Autore | France-Japan workshop OBPDC'95 : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag copyr 1996 |
| Descrizione fisica | X, 348 p : ill ; 23 cm |
| Disciplina | 00435 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - tokyo - 1995
elaborazione distribuita - congressi - 1995 elaborazione parallela - congressi - 1995 linguaggi di programmazione - congressi - 1995 |
| ISBN | 3-540-61487-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207520203316 |
|
France-Japan workshop OBPDC'95 : 1995
|
||
| Berlin [etc.] : Springer-Verlag copyr 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming languages : Implementations, logics and programs : 7th International symposium, PLILP '95 : Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo ... [etc.] (eds.)
| Programming languages : Implementations, logics and programs : 7th International symposium, PLILP '95 : Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo ... [etc.] (eds.) |
| Autore | International symposium PLILP'95 : 7. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | XI, 466 p. : ill. ; 24 cm. |
| Disciplina | 00513 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - utrecht - 1995
elaboratori elettronici - programmazione - congressi - 1995 linguaggi di programmazione - congressi - 1995 |
| ISBN | 3-540-60359-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210860203316 |
|
International symposium PLILP'95 : 7. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Static analysis : second International symposium, SAS '95 : Glasgow, UK, September 25-27, 1995 : proceedings / Alan Mycroft (ed.)
| Static analysis : second International symposium, SAS '95 : Glasgow, UK, September 25-27, 1995 : proceedings / Alan Mycroft (ed.) |
| Autore | International symposium SAS'95 : 2. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | VIII, 421 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - glasgow - 1995
elaboratori elettronici - programmazione - congressi - 1995 linguaggi di programmazione - congressi - 1995 |
| ISBN | 3-540-60360-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210970203316 |
|
International symposium SAS'95 : 2. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||