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)
Logical foundations of computer science : 4th International symposium, LFCS'97 : Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian ... [et al.] (eds)
Logical foundations of computer science : 4th International symposium, LFCS'97 : Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian ... [et al.] (eds)
Autore International symposium LFCS'97 : 4. : 1997
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 1997
Descrizione fisica IX, 429 p. : ill. ; 23 cm
Disciplina 005131
Collana Lecture notes in computer science
Soggetto non controllato congressi - yaroslavl - 1997
linguaggi di programmazione - congressi - 1997
logica matematica - congressi - 1997
ISBN 3-540-63045-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000205200203316
International symposium LFCS'97 : 4. : 1997  
Berlin : Springer-Verlag, copyr. 1997
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