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.
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'97 : Pont-à-Mousson, France, May 13-16, 1997 : proceedings / Didier Galmiche (ed.)
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'97 : Pont-à-Mousson, France, May 13-16, 1997 : proceedings / Didier Galmiche (ed.)
Autore International TABLEAUX'97 : 1997
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 1997
Descrizione fisica XI, 372 p. : ill. ; 23 cm
Disciplina 0063
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - pont-a-mousson - 1997
elaborazione parallela - congressi - 1997
intelligenza artificiale - congressi - 1997
ISBN 3-540-62920-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000202150203316
International TABLEAUX'97 : 1997  
Berlin : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Communication and architectural support for network-based parallel computing : first International Workshop, CANPC'97 : San Antonio, Texas, USA, February 1997 : proceedings / Dhabaleswar K.Panda...[et al.] (eds.)
Communication and architectural support for network-based parallel computing : first International Workshop, CANPC'97 : San Antonio, Texas, USA, February 1997 : proceedings / Dhabaleswar K.Panda...[et al.] (eds.)
Autore International workshop CANPC'97 : 1. : 1997
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr 1997
Descrizione fisica X, 268 p : ill ; 23 cm
Disciplina 00435
Collana Lecture notes in computer science
Soggetto non controllato congressi - san antonio - 1997
elaborazione dei dati - reti di trasmissione - congressi - 1997
elaborazione parallela - congressi - 1997
ISBN 3-540-62573-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000205610203316
International workshop CANPC'97 : 1. : 1997  
Berlin [etc.] : Springer-Verlag, copyr 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Euro-Par'97 parallel processing : third International Euro-Par conference : Passau, Germany, August 26-29, 1997 : proceedings / Christian Lengauer ... [et al.] (eds.)
Euro-Par'97 parallel processing : third International Euro-Par conference : Passau, Germany, August 26-29, 1997 : proceedings / Christian Lengauer ... [et al.] (eds.)
Autore International Euro-Par conference : 3. : 1997
Pubbl/distr/stampa Berlino : Springer-Verlag, copyr. 1997
Descrizione fisica XXX, 1380 p. : ill. ; 23 cm
Disciplina 00435
Soggetto non controllato congressi - passau - 1997
elaborazione parallela - congressi - 1997
ISBN 3-540-63440-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000251230203316
International Euro-Par conference : 3. : 1997  
Berlino : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Job scheduling strategies for parallel processing : IPPS'97 workshop : Geneva, Switzerland, April 5, 1997 : proceedings / Dor G. Feitelson ... [et al.] (eds.)
Job scheduling strategies for parallel processing : IPPS'97 workshop : Geneva, Switzerland, April 5, 1997 : proceedings / Dor G. Feitelson ... [et al.] (eds.)
Pubbl/distr/stampa Berlino : Springer-Verlag, copyr. 1997
Descrizione fisica 298 p. : ill. ; 23 cm
Disciplina 00435
Collana Lecture notes in computer science
Soggetto non controllato congressi - ginevra - 1997
elaborazione parallela - congressi - 1997
ISBN 3-540-63574-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000205690203316
Berlino : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Languages and compilers for parallel computing : 10th International workshop, LCPC'97 : Minneapolis, Minnesota, USA : August 7-9, 1997 : proceedings / Zhiyuan Li ... [et al.] (eds.)
Languages and compilers for parallel computing : 10th International workshop, LCPC'97 : Minneapolis, Minnesota, USA : August 7-9, 1997 : proceedings / Zhiyuan Li ... [et al.] (eds.)
Autore International workshop LCPC'97 : 10. : 1997
Pubbl/distr/stampa Berlino : Springer-Verlag, copyr. 1998
Descrizione fisica XII, 428 p. : ill. ; 23 cm
Disciplina 00435
Collana Lecture notes in computer science
Soggetto non controllato congressi - minneapolis - 1997
elaboratori elettronici - compilatori - congressi - 1997
elaborazione parallela - congressi - 1997
linguaggi di programmazione - congressi - 1997
ISBN 3-540-64472-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000208910203316
International workshop LCPC'97 : 10. : 1997  
Berlino : Springer-Verlag, copyr. 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Parallel computer routing and communication : second international workshop PCRCW'97 : Atlanta, Georgia, USA, June 26-27, 1997 : proceedings / Sudhakar Yalamanchili ... [et al.](eds.)
Parallel computer routing and communication : second international workshop PCRCW'97 : Atlanta, Georgia, USA, June 26-27, 1997 : proceedings / Sudhakar Yalamanchili ... [et al.](eds.)
Autore International workshop PCRCW'97 : 2. : 1997
Pubbl/distr/stampa Berlin : Springer, copyr. 1998
Disciplina 00435
Collana Lecture notes in computer science
Soggetto non controllato congressi - atlanta - 1997
elaborazione dei dati - reti di trasmissione - congressi - 1997
elaborazione parallela - congressi - 1997
ISBN 3-540-64571-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000209190203316
International workshop PCRCW'97 : 2. : 1997  
Berlin : Springer, copyr. 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Parallel computing technologies : 4th International conference, PaCT-97 : Yaroslavl, Russia, September 8-12, 1997 : proceedings / Victor Malyshkin (ed.)
Parallel computing technologies : 4th International conference, PaCT-97 : Yaroslavl, Russia, September 8-12, 1997 : proceedings / Victor Malyshkin (ed.)
Autore International conference PaCT'97 : 4. : 1997
Pubbl/distr/stampa Berlino : Springer-Verlag, copyr. 1997
Descrizione fisica XIII, 454 p. : ill. ; 23 cm
Disciplina 00435
Collana Lecture notes in computer science
Soggetto non controllato congressi - yaroslavl - 1997
elaborazione parallela - congressi - 1997
ISBN 3-540-63371-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000205790203316
International conference PaCT'97 : 4. : 1997  
Berlino : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Recent advances in parallel virtual machine and message passing interface : 4th European PVM/MPI users' group meeting : Cracow, Poland, November 3-5, 1997 : proceedings / Marian Bubak ... [et al.] (eds.)
Recent advances in parallel virtual machine and message passing interface : 4th European PVM/MPI users' group meeting : Cracow, Poland, November 3-5, 1997 : proceedings / Marian Bubak ... [et al.] (eds.)
Autore European PVM/MPI users'group meeting : 4. : 1997
Pubbl/distr/stampa Berlino : Springer-Verlag, copyr. 1997
Descrizione fisica XV, 518 p. : ill. ; 23 cm
Disciplina 00435
Collana Lecture notes in computer science
Soggetto non controllato congressi - cracovia - 1997
elaborazione parallela - congressi - 1997
ISBN 3-540-63697-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000209340203316
European PVM/MPI users'group meeting : 4. : 1997  
Berlino : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Scientific computing in object-oriented parallel environments : first International conference, ISCOPE 97: Marina del Rey, California, USA : proceedings / Yutaka Ishikawa ... [et al.] (eds.)
Scientific computing in object-oriented parallel environments : first International conference, ISCOPE 97: Marina del Rey, California, USA : proceedings / Yutaka Ishikawa ... [et al.] (eds.)
Autore International conference ISCOPE 97 : 1. : 1997
Pubbl/distr/stampa Berlino : Springer-Verlag, copyr. 1997
Descrizione fisica XI, 296 p. : ill. ; 23 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - marina del rey - 1997
elaborazione parallela - congressi - 1997
programmazione oggetto orientata - congressi - 1997
ISBN 3-540-63827-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000205860203316
International conference ISCOPE 97 : 1. : 1997  
Berlino : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Solving irregulary structured problems in parallel : 4th International symposium, IRREGULAR'97 : Paderborn, Germany, June 12-13, 1997 : proceedings / G. Bilardi ... [et al.] (eds.)
Solving irregulary structured problems in parallel : 4th International symposium, IRREGULAR'97 : Paderborn, Germany, June 12-13, 1997 : proceedings / G. Bilardi ... [et al.] (eds.)
Autore International symposium IRREGULAR'97 : 4. : 1997
Pubbl/distr/stampa Berlino : Springer-Verlag, copyr. 1997
Descrizione fisica x, 286 p. : ill. ; 23 cm
Disciplina 00435
Collana Lecture notes in computer science
Soggetto non controllato congressi - paderborn - 1997
elaborazione parallela - congressi - 1997
ISBN 3-540-63138-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000206280203316
International symposium IRREGULAR'97 : 4. : 1997  
Berlino : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui