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)
33rd Annual symposium on foundations of computer science : October 24-27, 1992 : proceedings
33rd Annual symposium on foundations of computer science : October 24-27, 1992 : proceedings
Autore Annual symposium on foundations of computer science : 33. : 1992
Pubbl/distr/stampa Washington : IDEEE Computer Society Press, copyr. 1992
Descrizione fisica XI, 734 p. : ill. ; 23 cm
Disciplina 004
Soggetto non controllato congressi - pittsburgh - 1992
elaboratori elettronici - programmazione - congressi - 1992
elaborazione elettronica - congressi - 1992
ISBN 0-8186-2900-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000242140203316
Annual symposium on foundations of computer science : 33. : 1992  
Washington : IDEEE Computer Society Press, copyr. 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic and logic programming : third internatioanl conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner ... [et al.] (eds.)
Algebraic and logic programming : third internatioanl conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner ... [et al.] (eds.)
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1992
Descrizione fisica IX, 457 p. : ill. ; 25 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - volterra - 1992
elaboratori elettronici - programmazione - congressi - 1992
logica matematica - congressi - 1992
ISBN 3-540-55873-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204940203316
Berlin [etc.] : Springer-Verlag, 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer science logic : 6th workshop, CSL'92 : San Miniato, Italy . September 28-October 2, 1992 : selected papers / E. Börger ... [et al.]
Computer science logic : 6th workshop, CSL'92 : San Miniato, Italy . September 28-October 2, 1992 : selected papers / E. Börger ... [et al.]
Autore Workshop CSL'92 : 6. : 1992
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1993
Descrizione fisica VIII, 439 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - san miniato - 1992
elaboratori elettronici - programmazione - congressi - 1992
logica matematica - congressi - 1992
ISBN 3-540-56992-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204920203316
Workshop CSL'92 : 6. : 1992  
Berlin [etc.] : Springer-Verlag, copyr. 1993
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Extensions of logic programming : third International workshop, ELP'92 : Bologna, Italy, February 26-28, 19992 : proceedings / E. Lamma (ed.)
Extensions of logic programming : third International workshop, ELP'92 : Bologna, Italy, February 26-28, 19992 : proceedings / E. Lamma (ed.)
Autore International workshop ELP'92 : 3. : 1992
Pubbl/distr/stampa Berlin [etc.], : Springer-Verlag, copyr. 1993
Descrizione fisica VIII, 417 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - bologna - 1992
elaboratori elettronici - programmazione - congressi - 1992
logica matematica - congressi - 1992
ISBN 3-540-56454-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000201890203316
International workshop ELP'92 : 3. : 1992  
Berlin [etc.], : Springer-Verlag, copyr. 1993
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Field-programmable gate arrays : architectures and tools for rapid prototyping : second International workshop on field-programmable logic and applications : Vienna, Austria, august 31 September 2, 1992 / Herbert Grünbacher (ed.)
Field-programmable gate arrays : architectures and tools for rapid prototyping : second International workshop on field-programmable logic and applications : Vienna, Austria, august 31 September 2, 1992 / Herbert Grünbacher (ed.)
Autore International workshop on field-programmable logic and applications : 2. : 1992
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1993
Descrizione fisica VIII, 217 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato algoritmi - congressi - 1992
congressi - vienna - 1992
elaboratori elettronici - programmazione - congressi - 1992
ISBN 3-540-57091-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204720203316
International workshop on field-programmable logic and applications : 2. : 1992  
Berlin [etc.] : Springer-Verlag, copyr. 1993
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.)
Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.)
Autore International conference LPAR'92 : 1992
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1992
Descrizione fisica XIV, 509 p. : ill. ; 25 cm
Disciplina 005131
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - leningrado - 1992
elaboratori elettronici - programmazione - congressi - 1992
intelligenza artificiale - congressi - 1992
logica matematica - congressi - 1992
ISBN 3-540-55727-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000200970203316
International conference LPAR'92 : 1992  
Berlin [etc.] : Springer-Verlag, copyr. 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logic programming in action : second International logic programming summer school, LPSS'92 : Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn ... [et al] (eds.)
Logic programming in action : second International logic programming summer school, LPSS'92 : Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn ... [et al] (eds.)
Autore International logic programming summer school LPSS'92 : 2. : 1992
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1992
Descrizione fisica X, 324 p. : ill. ; 25 cm
Disciplina 0051
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - zurigo - 1992
elaboratori elettronici - programmazione - congressi - 1992
logica matematica - congressi - 1992
ISBN 3-540-55930-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000202500203316
International logic programming summer school LPSS'92 : 2. : 1992  
Berlin [etc.] : Springer-Verlag, copyr. 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Mathematics of program construction : Oxford, U.K., June 29/July 3, 1992: proceedings / R. S. Bird (ed.)
Mathematics of program construction : Oxford, U.K., June 29/July 3, 1992: proceedings / R. S. Bird (ed.)
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1993
Descrizione fisica VIII, 378 p. : ill. ; 24 cm
Disciplina 00512
Collana Lecture notes in computer science
Soggetto non controllato congressi - oxford (u.k.) - 1992
elaboratori elettronici - programmazione - congressi - 1992
ISBN 3-540-56625-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204050203316
Berlin [etc.] : Springer-Verlag, copyr. 1993
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Meta-programming in logic : third International META-92 : Uppsala, Sweden, June 1992 : proccedings / A. Pettorossi (ed.)
Meta-programming in logic : third International META-92 : Uppsala, Sweden, June 1992 : proccedings / A. Pettorossi (ed.)
Autore International workshop META-92 : 3. : 1992
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1992
Descrizione fisica XII, 351 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - uppsala - 1992
elaboratori elettronici - programmazione - congressi - 1992
logica matematica - congressi - 1992
ISBN 3-540-56282-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204010203316
International workshop META-92 : 3. : 1992  
Berlin [etc.] : Springer-Verlag, copyr. 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Proceedings of the third Annual ACM-SIAM symposium on discrete algorithms : [symposium held Jannuary 27-29, 1992, in Orlando, Florida]
Proceedings of the third Annual ACM-SIAM symposium on discrete algorithms : [symposium held Jannuary 27-29, 1992, in Orlando, Florida]
Autore Annual ACM-SIAM symposium on discrete algorithms : 3. : 1992
Pubbl/distr/stampa New York : Association for Computing Machinery ; Philadelphia : Society for Industrial and Applied Mathematics, copyr. 1992
Descrizione fisica 472 p. : ill. ; 28 cm
Disciplina 0051
Soggetto non controllato algoritmi - congressi - 1992
congressi - orlando - 1992
elaboratori elettronici - programmazione - congressi - 1992
ISBN 0-89791-466-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000265120203316
Annual ACM-SIAM symposium on discrete algorithms : 3. : 1992  
New York : Association for Computing Machinery ; Philadelphia : Society for Industrial and Applied Mathematics, copyr. 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui