top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Advanced functional programming : 2nd. international School Olympia,WA, USA, August 26-30, 1996 : tutorial text / John Launchbury ... [et al.] (eds.)
Advanced functional programming : 2nd. international School Olympia,WA, USA, August 26-30, 1996 : tutorial text / John Launchbury ... [et al.] (eds.)
Pubbl/distr/stampa Berlin [etc.] : Springer- Verlag, copyr. 1996
Descrizione fisica 238 p. : ill. ; 23 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - olympia (wa) - 1996
elaboratori elettronici - programmazione - congressi - 1996
ISBN 3-540-61628-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000206460203316
Berlin [etc.] : Springer- Verlag, copyr. 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic and logic programming : 5th International conference, ALP'96 : Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus ... [et al.] (eds.)
Algebraic and logic programming : 5th International conference, ALP'96 : Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus ... [et al.] (eds.)
Autore International conference ALP'96 : 5. : 1996
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1996
Descrizione fisica VIII, 344 p. : ill. ; 23 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - aachen - 1996
elaboratori elettronici - programmazione - congressi - 1996
logica matematica - congressi - 1996
ISBN 3-540-61735-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000207490203316
International conference ALP'96 : 5. : 1996  
Berlin [etc.] : Springer-Verlag, copyr. 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic methodology and softwaretechnology : 5th International conference, AMAST '96 : Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing ... [et al.] (eds.)
Algebraic methodology and softwaretechnology : 5th International conference, AMAST '96 : Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing ... [et al.] (eds.)
Autore International conference AMAST'96 : 5. : 1996
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1996
Descrizione fisica XII, 640 p. : ill. ; 23 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - monaco di baviera - 1996
elaboratori elettronici - programmazione - congressi - 1996
software - progettazione - congressi - 1996
ISBN 3-540-61463-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000207410203316
International conference AMAST'96 : 5. : 1996  
Berlin [etc.] : Springer-Verlag, copyr. 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Concurrency and parallelism, programming, networking, and security : 2nd Asian computing science conference, Singapore, December 2-5, 1996: proceedings / Joxan Jaffar ... [et al.] (eds.)
Concurrency and parallelism, programming, networking, and security : 2nd Asian computing science conference, Singapore, December 2-5, 1996: proceedings / Joxan Jaffar ... [et al.] (eds.)
Autore Asian computing science conference : 2. : 1996
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1996
Descrizione fisica XIII, 394 p. : ill. ; 23 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - singapore - 1996
elaboratori elettronici - programmazione - congressi - 1996
elaborazione distribuita - congressi - 1996
elaborazione elettronica - modelli matematici - congressi - 1996
ISBN 3-540-62031-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000207170203316
Asian computing science conference : 2. : 1996  
Berlin [etc.] : Springer-Verlag, copyr. 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Dependable computing - EDCC-2 : 2nd European dependable computing conference, Taormina, Italy, October 2-4, 1996 : proceedings / Andrzej Hlawiczka ... [et al.] (eds.)
Dependable computing - EDCC-2 : 2nd European dependable computing conference, Taormina, Italy, October 2-4, 1996 : proceedings / Andrzej Hlawiczka ... [et al.] (eds.)
Autore European dependable computing conference : 2. : 1996
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1996
Descrizione fisica XVI, 440 p. : ill. ; 23 cm
Disciplina 004
Collana Lecture notes in computer science
Soggetto non controllato congressi - taormina - 1996
elaboratori elettronici - programmazione - congressi - 1996
elaborazione elettronica - congressi - 1996
ISBN 3-540-61772-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000205410203316
European dependable computing conference : 2. : 1996  
Berlin [etc.] : Springer-Verlag, copyr. 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Extensions of logic programming : 5th International workshop, ELP'96: Leipzing, Germany, March 28-30, 1996: proceedings / Roy Dyckhoff ...[et al.] (eds.)
Extensions of logic programming : 5th International workshop, ELP'96: Leipzing, Germany, March 28-30, 1996: proceedings / Roy Dyckhoff ...[et al.] (eds.)
Autore International workshop ELP'96 : 5. : 1996
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, Copyr. 1996
Descrizione fisica VIII, 318 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - leipzig - 1996
elaboratori elettronici - programmazione - congressi - 1996
logica matematica - congressi - 1996
ISBN 3-540-60983-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000202330203316
International workshop ELP'96 : 5. : 1996  
Berlin [etc.] : Springer-Verlag, Copyr. 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Field-programmable logic : 6th International workshop on field-programmable logic and applications, FPL '96 : Darmstadt, Germany, September 1996 : proceedings / Reiner W.Hartenstein ... [et al.] (eds.)
Field-programmable logic : 6th International workshop on field-programmable logic and applications, FPL '96 : Darmstadt, Germany, September 1996 : proceedings / Reiner W.Hartenstein ... [et al.] (eds.)
Pubbl/distr/stampa Berlin : Springer-Verlag copyr 1996, [etc.]
Descrizione fisica X, 432 p : ill ; 23 cm
Disciplina 005131
Collana Lecture notes in computer science
Soggetto non controllato congressi - darmstadt - 1996
elaboratori elettronici - programmazione - congressi - 1996
logica matematica - congressi - 1996
ISBN 3-540-61730-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000207110203316
Berlin : Springer-Verlag copyr 1996, [etc.]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Inductive logic programming : 6th International workshop, ILP-96: Stockholm, Sweden, August 26-28,1996: selected papers / Stephen Muggleton (ed.)
Inductive logic programming : 6th International workshop, ILP-96: Stockholm, Sweden, August 26-28,1996: selected papers / Stephen Muggleton (ed.)
Autore International workshop ILP-96 : 6. : 1996
Pubbl/distr/stampa Berlino : Springer-Verlag, copyr. 1997
Descrizione fisica VIII, 396 p. : ill. ; 23 cm
Disciplina 0051
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - stoccolma - 1996
elaboratori elettronici - programmazione - congressi - 1996
ISBN 3-540-63494-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000201400203316
International workshop ILP-96 : 6. : 1996  
Berlino : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui