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)
Computer science logic : 7. workshop, CSL '93 : Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Borger, Yuri Gurevich, Karl Meinke (eds.)
Computer science logic : 7. workshop, CSL '93 : Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Borger, Yuri Gurevich, Karl Meinke (eds.)
Autore Workshop on computer science logic : <7. : ; 1993
Pubbl/distr/stampa Berlin [etc.], : Springer, 1994
Descrizione fisica VIII, 336 p. ; 24 cm
Disciplina 004
004.015113
Collana Lecture notes in computer science
Soggetto topico Informatica - Congressi - 1993
Logica matematica - Congressi - 1993
ISBN 0387582770
3540582770
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10007835
Workshop on computer science logic : <7. : ; 1993  
Berlin [etc.], : Springer, 1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Foundations of software technology and theoretical computer science : 13. conference : Bombay, India, December 15-17, 1993 : proceedings / R. K. Shyamasundar (ed.)
Foundations of software technology and theoretical computer science : 13. conference : Bombay, India, December 15-17, 1993 : proceedings / R. K. Shyamasundar (ed.)
Autore Conference on Foundations of Software Technology and Theoretical Computer Science : <13. : ; 1993
Pubbl/distr/stampa Berlin [etc.], : Springer-Verlag, c1993
Descrizione fisica XIV, 453 p. ; 24 cm.
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto topico Elaboratori elettronici - Programmazione - Congressi - 1993
Informatica - Congressi - 1993
ISBN 0387575294
3540575294
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10004588
Conference on Foundations of Software Technology and Theoretical Computer Science : <13. : ; 1993  
Berlin [etc.], : Springer-Verlag, c1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Graph transformations in computer science : international workshop : Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jurgen Schneider, Hartmund Ehrig (eds.)
Graph transformations in computer science : international workshop : Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jurgen Schneider, Hartmund Ehrig (eds.)
Pubbl/distr/stampa Berlin [etc.], : Springer, c1994
Descrizione fisica VIII, 394 p. ; 24 cm
Disciplina 005.1
005.1015115
Collana Lecture notes in computer science
Soggetto topico Elaboratori elettronici - Grafica - Congressi - 1993
Informatica - Congressi - 1993
ISBN 0387577874
3540577874
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10005879
Berlin [etc.], : Springer, c1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Graph-theoretic concepts in computer science : 19. international workshop, WG '93 : Utrecht, The Netherlands, June 16-18, 1993 : proceedings / Jan van Leeuwen (ed.)
Graph-theoretic concepts in computer science : 19. international workshop, WG '93 : Utrecht, The Netherlands, June 16-18, 1993 : proceedings / Jan van Leeuwen (ed.)
Autore International workshop WG '93 : <19. : ; 1993
Pubbl/distr/stampa Berlin [etc.], : Springer, 1994
Descrizione fisica IX, 429 p. ; 24 cm
Disciplina 004.015115
Collana Lecture notes in computer science
Soggetto topico Informatica - Congressi - 1993
ISBN 0387578994
3540578994
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10007107
International workshop WG '93 : <19. : ; 1993  
Berlin [etc.], : Springer, 1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Mathematical foundations of computer science 1993 : 18. international symposium, MFCS '93 : Gdansk, Poland, August 30 - September 3, 1993 : proceedings / Andrzej M. Borzyszkowski, Stefan Sokolowski (eds.)
Mathematical foundations of computer science 1993 : 18. international symposium, MFCS '93 : Gdansk, Poland, August 30 - September 3, 1993 : proceedings / Andrzej M. Borzyszkowski, Stefan Sokolowski (eds.)
Pubbl/distr/stampa Berlin [etc.], : Springer-Verlag, c1993
Descrizione fisica XIII, 781 p. ; 24 cm
Disciplina 004.01511
Collana Lecture notes in computer science
Soggetto topico Informatica - Congressi - 1993
ISBN 0387571825
3540571825
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10005633
Berlin [etc.], : Springer-Verlag, c1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
STACS 93 : 10. Annual symposium on theoretical aspects of computer science : Wurzburg, Germany, February 25-27, 1993 : proceedings / P. Enjalbert, A. Finkel, K. W. Wagner (eds.)
STACS 93 : 10. Annual symposium on theoretical aspects of computer science : Wurzburg, Germany, February 25-27, 1993 : proceedings / P. Enjalbert, A. Finkel, K. W. Wagner (eds.)
Autore Annual symposium on theoretical aspects of computer science : <10. : ; 1993
Pubbl/distr/stampa Berlin [etc.], : Springer-Verlag, c1993
Descrizione fisica XIV, 723 p. ; 24 cm.
Disciplina 004
Collana Lecture notes in computer science
Soggetto topico Informatica - Congressi - 1993
ISBN 0387565035
3540565035
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10013041
Annual symposium on theoretical aspects of computer science : <10. : ; 1993  
Berlin [etc.], : Springer-Verlag, c1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui