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)
Active networks : IFIP-TC6 third International working conference, IWAN 2001 : Philadelphia, PA, USA, September 30 - October 2, 2001 : proceedings / Ian W. Marshall ... [et al.] (eds.)
Active networks : IFIP-TC6 third International working conference, IWAN 2001 : Philadelphia, PA, USA, September 30 - October 2, 2001 : proceedings / Ian W. Marshall ... [et al.] (eds.)
Autore IFIP-TC6 International working conference IWAN <3. ; 2001 ; Philadelphia, PA, USA>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica VIII, 163 p. : ill. ; 20 cm
Disciplina 004.62
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici - Interfacciamento - Congressi - 2001
Elaboratori elettronici - Programmazione - Congressi - 2001
ISBN 3-540-42678-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000948160203316
IFIP-TC6 International working conference IWAN <3. ; 2001 ; Philadelphia, PA, USA>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer science logic : 15th International workshop, CSL 2001 : 10th annual conference of the EACSL : Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.)
Computer science logic : 15th International workshop, CSL 2001 : 10th annual conference of the EACSL : Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.)
Autore International workshop CSL 2001 <15. ; 2001 ; Paris, France>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica XII, 614 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici - Programmazione - Congressi - 2001
Logica matematica - Congressi - 2001
Congressi - Parigi - 2001
ISBN 3-540-42554-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000893020203316
International workshop CSL 2001 <15. ; 2001 ; Paris, France>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Genetic programming : 4th European conference, EuroGP 2001 : Lake Como, Italy, April 18-20, 2001 : proceedings / Julian Miller ... [et al.]
Genetic programming : 4th European conference, EuroGP 2001 : Lake Como, Italy, April 18-20, 2001 : proceedings / Julian Miller ... [et al.]
Autore European conference, EuroGP <4. ; 2001 ; Lake Como, Italy>
Pubbl/distr/stampa Berlin [etc.] : Springer-Velag, copyr. 2001
Descrizione fisica XI, 384 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici - Programmazione - Congressi - 2001
Congressi - Como - 2001
ISBN 3-540-41899-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000582200203316
European conference, EuroGP <4. ; 2001 ; Lake Como, Italy>  
Berlin [etc.] : Springer-Velag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Inductive logic programming : 11th International conference, ILP 2001 : Strasbourg, France, September 9-11, 2001 : proceedings / Céline Rouveirol ... <et al.> (eds.)
Inductive logic programming : 11th International conference, ILP 2001 : Strasbourg, France, September 9-11, 2001 : proceedings / Céline Rouveirol ... <et al.> (eds.)
Autore International conference ILP 2001 <11. ; 2001 ; Strasbourg, France>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica X, 259 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in artificial intelligence
Soggetto non controllato Elaboratori elettronici - Programmazione - Congressi - 2001
Congressi - Strasburgo - 2001
ISBN 3-540-42538-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000893240203316
International conference ILP 2001 <11. ; 2001 ; Strasbourg, France>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Integer programming and combinatorial optimization : 8. International IPCO conference, Utrecht, The Netherlands, June 13-15, 2001 : proceedings / Karen Aardal, Bert Gerards (eds.)
Integer programming and combinatorial optimization : 8. International IPCO conference, Utrecht, The Netherlands, June 13-15, 2001 : proceedings / Karen Aardal, Bert Gerards (eds.)
Autore International conference on integer programming and combinatorial optimization <8. ; 2001 ; Utrecht, The Netherlands>
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2001
Descrizione fisica XI, 421 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici - Programmazione - Congressi - 2001
ISBN 3-540-42225-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000948650203316
International conference on integer programming and combinatorial optimization <8. ; 2001 ; Utrecht, The Netherlands>  
Berlin [etc.] : Springer, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logic for programming, artificial intelligence, and reasoning : 8th International conference, LPAR 2001 : Havana, Cuba, December 3-7, 2001 : proceedings / Robert Nieuwenhuis ... <et al.> (eds.)
Logic for programming, artificial intelligence, and reasoning : 8th International conference, LPAR 2001 : Havana, Cuba, December 3-7, 2001 : proceedings / Robert Nieuwenhuis ... <et al.> (eds.)
Autore International conference LPAR 2001 <8. ; 2001 ; Havana, Cuba>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica XV, 738 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in artificial intelligence
Soggetto non controllato Elaboratori elettronici - Programmazione - Congressi - 2001
Logica matematica - Congressi - 2001
ISBN 3-540-42957-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000956450203316
International conference LPAR 2001 <8. ; 2001 ; Havana, Cuba>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logical aspects of computational linguistics : 4th International conference, LACL 2001 : Le Croisic, France, June 27-29, 2001 : proceedings / Philippe de Groote ... <et al.> (eds.)
Logical aspects of computational linguistics : 4th International conference, LACL 2001 : Le Croisic, France, June 27-29, 2001 : proceedings / Philippe de Groote ... <et al.> (eds.)
Autore International conference LACL 2001 <4. ; 2001 ; Le Croisic, France>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica VIII, 310 p. : ill. ; 20 cm
Disciplina 004
Collana Lecture notes in artificial intelligence
Soggetto non controllato Elaboratori elettronici - Programmazione - Congressi - 2001
Elaborazione elettronica - Modelli matematici - Congressi - 2001
Linguistica computazionale - Congressi - 2001
ISBN 3-540-42273-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000948980203316
International conference LACL 2001 <4. ; 2001 ; Le Croisic, France>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Model checking software : 8th International SPIN workshop : Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.)
Model checking software : 8th International SPIN workshop : Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.)
Autore International SPIN workshop <8. ; 2001 ; Toronto, Canada>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica VI, 311 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Software - Congressi - 2001
Elaboratori elettronici - Programmazione - Congressi - 2001
ISBN 3-540-42124-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000957470203316
International SPIN workshop <8. ; 2001 ; Toronto, Canada>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
OpenMP shared memory parallel programming : International workshop on OpenMP applications and tools, WOMPAT 2001 : West Lafayette, IN, USA, July 30-31, 2001 : proceedings / Rudolf Eigenmann ... <et al.> (eds.)
OpenMP shared memory parallel programming : International workshop on OpenMP applications and tools, WOMPAT 2001 : West Lafayette, IN, USA, July 30-31, 2001 : proceedings / Rudolf Eigenmann ... <et al.> (eds.)
Autore International workshop on OpenMP applications and tools WOMPAT <2001 ; West Lafayette, USA>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica X, 184 p. : ill. ; 20 cm
Disciplina 004.35
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici - Programmazione - Congressi - 2001
Elaborazione parallela - Congressi - 2001
Linguaggi di programmazione - Congressi - 2001
ISBN 3-540-42346-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000970620203316
International workshop on OpenMP applications and tools WOMPAT <2001 ; West Lafayette, USA>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Perspectives of system informatics : 4th International Andrei Ershov memorial conference, PSI 2001 : Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjorner ... <et al.> (eds.)
Perspectives of system informatics : 4th International Andrei Ershov memorial conference, PSI 2001 : Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjorner ... <et al.> (eds.)
Autore International Andrei Ershov memorial conference PSI 2001 <4. ; 2001 ; Akademgorodok, Russia>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica XIII, 545 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici - Programmazione - Congressi - 2001
Linguaggi di programmazione - Congressi - 2001
ISBN 3-540-43075-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000953940203316
International Andrei Ershov memorial conference PSI 2001 <4. ; 2001 ; Akademgorodok, Russia>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui