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)
Automata, languages and programming : 21st International colloquium ICALP 94 : Jerusalem, Israel, July 11-14, 1994 : proceedings / Serge Abiteboul (ed.)
Automata, languages and programming : 21st International colloquium ICALP 94 : Jerusalem, Israel, July 11-14, 1994 : proceedings / Serge Abiteboul (ed.)
Autore International colloquium ICALP'94 : 21. : 1994
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1994
Descrizione fisica XIII, 644 p. : ill. ; 24 cm
Disciplina 004
Collana Lecture notes in computer science
Soggetto non controllato congressi - gerusalemme - 1994
elaboratori elettronici - congressi - 1994
elaboratori elettronici - programmazione - congressi - 1994
linguaggi di programmazione - congressi - 1994
ISBN 3-540-58201-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204580203316
International colloquium ICALP'94 : 21. : 1994  
Berlin [etc.] : Springer-Verlag, copyr. 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Conditional and typed rewriting systems : 4th International workshop, CTRS-94 : Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz ... [etc.] (eds.)
Conditional and typed rewriting systems : 4th International workshop, CTRS-94 : Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz ... [etc.] (eds.)
Autore International workshop CTRS-94 : 4. : 1994
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica VIII, 373 p. : ill. ; 24 cm.
Disciplina 6525
Collana Lecture notes in computer science
Soggetto non controllato congressi - gerusalemme - 1994
scrittura elettronica - congressi - 1994
ISBN 3-540-60381-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000210880203316
International workshop CTRS-94 : 4. : 1994  
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui