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.
Mathematical foundations of computer science 1994 : 19th International symposium MFCS'94 : Kosice, Slovakia, August 22-26, 1994 : proceedings / Igor Privara (ed.)
Mathematical foundations of computer science 1994 : 19th International symposium MFCS'94 : Kosice, Slovakia, August 22-26, 1994 : proceedings / Igor Privara (ed.)
Autore International symposium MFCS'94 : 19. : 1994
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1994
Descrizione fisica X, 628 p. : ill. ; 24 cm
Disciplina 004
Collana Lecture notes in computer science
Soggetto non controllato congressi - kosice - 1994
elaboratori elettronici - programmazione - congressi - 1994
elaborazione elettronica - modelli matematici - congressi - 1994
ISBN 3-540-58338-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000211800203316
International symposium MFCS'94 : 19. : 1994  
Berlin [etc.] : Springer-Verlag, copyr. 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Non-monotonic extensions of logic programming : ICLP '94 workshop : Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / Jürgen Dix ... [etc.] (eds.)
Non-monotonic extensions of logic programming : ICLP '94 workshop : Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / Jürgen Dix ... [etc.] (eds.)
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica VI, 229 p. : ill. ; 25 cm
Disciplina 0051
Collana Lecture notes in artificial intelligence
Soggetto non controllato elaboratori elettronici - programmazione - congressi - 1994
intelligenza artificiale - congressi - 1994
ISBN 3-540-59467-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000200820203316
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Proceedings of the fifth Annual ACM-SIAM symposium on discrete algorithms : [symposium , held January 23-25, 1994, in Arlington, Virginia]
Proceedings of the fifth Annual ACM-SIAM symposium on discrete algorithms : [symposium , held January 23-25, 1994, in Arlington, Virginia]
Autore Annual ACM-SIAM Symposium on discrete algorithms : 5. : 1994
Pubbl/distr/stampa New York : Association for Computing Machinery ; Philadelphia : Society for Industrial and Applied Mathematics, copyr. 1994
Descrizione fisica 735 p. : ill. ; 28 cm
Disciplina 0051
Soggetto non controllato algoritmi - congressi - 1994
congressi - arlington - 1994
elaboratori elettronici - programmazione - congressi - 1994
ISBN 0-89871-329-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000265060203316
Annual ACM-SIAM Symposium on discrete algorithms : 5. : 1994
New York : Association for Computing Machinery ; Philadelphia : Society for Industrial and Applied Mathematics, copyr. 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Programming language implementation and logic programming : 6th International symposium PLILP'94 : Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo (ed.)
Programming language implementation and logic programming : 6th International symposium PLILP'94 : Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo (ed.)
Autore International symposium PLILP'94 : 6. : 1994
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1994
Descrizione fisica XII, 468 p. . ill. ; 24 cm
Disciplina 00513
Collana Lecture notes in computer science
Soggetto non controllato congressi - madrid - 1994
elaboratori elettronici - programmazione - congressi - 1994
linguaggi di programmazione - congressi - 1994
ISBN 540-58402-1EN
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204500203316
International symposium PLILP'94 : 6. : 1994  
Berlin [etc.] : Springer-Verlag, copyr. 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Programming languages and systems-ESOP'94 : 5th European symposium on programming, Edinburgh, U. K. April 11-13, 1994 : proceedings / Donald Sannella (ed.)
Programming languages and systems-ESOP'94 : 5th European symposium on programming, Edinburgh, U. K. April 11-13, 1994 : proceedings / Donald Sannella (ed.)
Autore European Symposium on programming : 5. : 1994
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1994
Descrizione fisica VIII, 516 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - edinburgh - 1994
elaboratori elettronici - programmazione - congressi - 1994
ISBN 3-540-57880-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000202860203316
European Symposium on programming : 5. : 1994  
Berlin [etc.] : Springer-Verlag, copyr. 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Recent trends in data type specification : 10th workshop on specification of abstract data types, S. Margherita,Italy, May 30- June 3, 1994 / Egidio Astesiano (ed.)
Recent trends in data type specification : 10th workshop on specification of abstract data types, S. Margherita,Italy, May 30- June 3, 1994 / Egidio Astesiano (ed.)
Autore Workshop on specification of abstract data types : 10. : 1994
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica VIII, 523 p. : ill. ; 25 cm.
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - s. margherita - 1994
elaboratori elettronici - programmazione - congressi - 1994
elaborazione elettronica - modelli matematici - congressi - 1994
linguaggi di programmazione - congressi - 1994
ISBN 3-540-59132-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000211490203316
Workshop on specification of abstract data types : 10. : 1994  
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Temporal logic : first International conference ICTL'94 : Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay (ed.)
Temporal logic : first International conference ICTL'94 : Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay (ed.)
Autore International conference ICTL'94 : 1. : 1994
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1994
Descrizione fisica XI, 545 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - bonn - 1994
elaboratori elettronici - programmazione - congressi - 1994
logica matematica - congressi - 1994
ISBN 3-540-58241-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000200150203316
International conference ICTL'94 : 1. : 1994  
Berlin [etc.] : Springer-Verlag, copyr. 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theory and practice of parallel programming : International workshop TPPP '94 : Sendai, Japan, November 7-9, 1994 :proceedings / Takayasu Ito, Akinori Yonezawa (eds.)
Theory and practice of parallel programming : International workshop TPPP '94 : Sendai, Japan, November 7-9, 1994 :proceedings / Takayasu Ito, Akinori Yonezawa (eds.)
Autore International workshop TPPP'94 : 1994
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica VIII, 483 p. : ill. ; 25 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - sendai - 1994
elaboratori elettronici - programmazione - congressi - 1994
elaborazione parallela - congressi - 1994
ISBN 3-540-59172-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000210550203316
International workshop TPPP'94 : 1994  
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Trees in algebra and programming- CAAP'94 : 19th international colloquium, Edinburgh, U:K:, April 11-13, 1994 : proceedings / Sophie Tison (ed.)
Trees in algebra and programming- CAAP'94 : 19th international colloquium, Edinburgh, U:K:, April 11-13, 1994 : proceedings / Sophie Tison (ed.)
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1994
Descrizione fisica X, 351 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato elaboratori elettronici - programmazione - congressi - 1994
elaborazione elettronica - modelli matematici - congressi - 1994
ISBN 3-540-57879-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000202760203316
Berlin [etc.] : Springer-Verlag, copyr. 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui