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.
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
