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.
Ada in Europe : 2nd international conference : Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint (ed.)
| Ada in Europe : 2nd international conference : Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | XI, 455 p. : ill. ; 24 cm |
| Disciplina | 005133 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - frankfurt/main - 1995
elaboratori elettronici - programmazione - congressi - 1995 linguaggio ada - congressi - 1995 |
| ISBN | 3-540-60757-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211400203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic methodology and softwaretechnology : 4th International conference, AMAST '95 : Montreal, Canada, July 3-7,1995 : proceedings / V. S. Alagar ... [et al.] (eds.)
| Algebraic methodology and softwaretechnology : 4th International conference, AMAST '95 : Montreal, Canada, July 3-7,1995 : proceedings / V. S. Alagar ... [et al.] (eds.) |
| Autore | International conference AMAST'95 : 4. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | XIV, 591 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - montreal - 1995
elaboratori elettronici - programmazione - congressi - 1995 software - progettazione - congressi - 1995 |
| ISBN | 3-540-60043-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210450203316 |
International conference AMAST'95 : 4. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms, concurrency and knowledge : 1995 Asian computing science conference ACSC '95 : Pathumthani, Thailand, December 11-13, 1995 : proceedings / Kanchana Kanchanasut ... [etc.] (eds.)
| Algorithms, concurrency and knowledge : 1995 Asian computing science conference ACSC '95 : Pathumthani, Thailand, December 11-13, 1995 : proceedings / Kanchana Kanchanasut ... [etc.] (eds.) |
| Autore | Asian computing science conference ACSC'95 : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | X, 410 p. : ill. ; 25 cm |
| Disciplina | 00512 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - pathumthani - 1995
elaboratori elettronici - programmazione - congressi - 1995 |
| ISBN | 3-540-60688-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211260203316 |
|
Asian computing science conference ACSC'95 : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Field-programmable logic and applications : 5th International workshop, FLP '95 : Oxford, United Kingdom, August 29-September 1, 1995 : proceedings / Will Moore ... [etc.] (eds.)
| Field-programmable logic and applications : 5th International workshop, FLP '95 : Oxford, United Kingdom, August 29-September 1, 1995 : proceedings / Will Moore ... [etc.] (eds.) |
| Autore | International workshop FPL'95 : 5. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | XII, 450 p. : ill. ; 24 cm. |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - oxford - 1995
elaboratori elettronici - programmazione - congressi - 1995 logica matematica - congressi - 1995 |
| ISBN | 3-540-60294-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211030203316 |
|
International workshop FPL'95 : 5. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
GULP-PRODE '95 : declarative programming, Marina diVietri sul Mare, Italy, September 11-14, 1995 : proceedings / Maria I. Sessa, María Alpuente Frasnedo (eds.)
| GULP-PRODE '95 : declarative programming, Marina diVietri sul Mare, Italy, September 11-14, 1995 : proceedings / Maria I. Sessa, María Alpuente Frasnedo (eds.) |
| Pubbl/distr/stampa | Salerno : Università degli Studi, 1995 |
| Descrizione fisica | 654 p. : ill. ; 21 cm |
| Disciplina | 0051 |
| Soggetto non controllato |
congressi - vietri sul mare - 1995
elaboratori elettronici - programmazione - congressi - 1995 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000254240203316 |
| Salerno : Università degli Studi, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Integer programming and combinatorial optimization : 4th International IPCO conference : Copenhagen, Denmark, May 29-31, 1995 : proceedings / Egon Balas, Jens Clausen (eds.)
| Integer programming and combinatorial optimization : 4th International IPCO conference : Copenhagen, Denmark, May 29-31, 1995 : proceedings / Egon Balas, Jens Clausen (eds.) |
| Autore | International IPCO conference : 4. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | X, 461 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - copenaghen - 1995
elaboratori elettronici - programmazione - congressi - 1995 |
| ISBN | 3-540-59408-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210620203316 |
|
International IPCO conference : 4. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic programming and nonmonotonicreasoning : third International conference, LPNMR '95 : Lexington, KY, USA, June 26-28, 1995 : proceedings / V. W. Marek ... [etc.] (eds.)
| Logic programming and nonmonotonicreasoning : third International conference, LPNMR '95 : Lexington, KY, USA, June 26-28, 1995 : proceedings / V. W. Marek ... [etc.] (eds.) |
| Autore | International conference LPNMR'95 : 3. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | VIII, 415 p. : ill. ; 25 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - lexington - 1995
elaboratori elettronici - programmazione - congressi - 1995 intelligenza artificiale - congressi - 1995 logica matematica - congressi - 1995 |
| ISBN | 3-540-59487-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200840203316 |
|
International conference LPNMR'95 : 3. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical foundations of computer science 1995 : 20th International symposium, MFCS'95 : Prague, Czech Republic, August 28 - September 1, 1995 : proceedings / Jirí Wiedermann ... [etc.] (eds.)
| Mathematical foundations of computer science 1995 : 20th International symposium, MFCS'95 : Prague, Czech Republic, August 28 - September 1, 1995 : proceedings / Jirí Wiedermann ... [etc.] (eds.) |
| Autore | International symposium MFCS'95 : 20. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | XIII, 588 p. : ill. ; 24 cm. |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - praga - 1995
elaboratori elettronici - programmazione - congressi - 1995 elaborazione elettronica - modelli matematici - congressi - 1995 |
| ISBN | 3-540-60246-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211200203316 |
|
International symposium MFCS'95 : 20. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematics of program construction : third International conference, MPC '95 : Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller (ed.)
| Mathematics of program construction : third International conference, MPC '95 : Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller (ed.) |
| Autore | International conference MPC'95 : 3. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | VIII, 472 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - kloster - 1995
elaboratori elettronici - programmazione - congressi - 1995 logica matematica - congressi - 1995 |
| ISBN | 3-540-60117-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211010203316 |
|
International conference MPC'95 : 3. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
