ECOOP '92 : European conference on object-oriented programming : Utrecht, The Netherlands, June 29-July 3, 1992 : proceedings / O. Lehrmann Madsen (ed.) |
Autore | European conference on object-oriented programming : <6. : ; 1992 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, 1992 |
Descrizione fisica | X, 426 p. ; 25 cm |
Disciplina |
005.1
005.117 |
Collana | Lecture notes in computer science |
Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - 1992 |
ISBN |
0387556680
3540556680 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10013579 |
European conference on object-oriented programming : <6. : ; 1992 | ||
Berlin [etc.], : Springer, 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Extensions of logic programming : third international workshop, ELP '92 : Bologna, Italy, February 26-28, 1992 : proceedings / E. Lamma, P. Mello (eds.) |
Autore | International workshop on extensions of logic programming : <3. : ; 1992 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1993 |
Descrizione fisica | VIII, 417 p. ; 24 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - 1992 |
ISBN |
0387564543
3540564543 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10013055 |
International workshop on extensions of logic programming : <3. : ; 1992 | ||
Berlin [etc.], : Springer, c1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Foundations of software technology and theoretical computer science : 12. conference : New Delhi, India, December 18-20, 1992 : proceedings / R. Shyamasundar (ed.) |
Autore | Conference on Foundations of Software Technology and Theoretical Computer Science : <12. : ; 1992 |
Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, c1992 |
Descrizione fisica | XIII, 403 p. ; 24 cm. |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto topico |
Informatica - Congressi - 1992
Elaboratori elettronici - Programmazione - Congressi - 1992 |
ISBN |
0387562877
3540562877 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10013201 |
Conference on Foundations of Software Technology and Theoretical Computer Science : <12. : ; 1992 | ||
Berlin [etc.], : Springer-Verlag, c1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Mathematics of program construction : second international conference : Oxford, U. K., June 29 - July 3, 1992 : proceedings / R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.) |
Autore | International conference on the mathematics of program construction : <2. : ; 1992 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1993 |
Descrizione fisica | VIII, 378 p. ; 24 cm |
Disciplina | 005.1015113 |
Collana | Lecture notes in computer science |
Soggetto topico |
Elaboratori elettronici - Programmazione - Congressi - 1992
Logica matematica - Congressi - 1992 |
ISBN |
0387566252
3540566252 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10013032 |
International conference on the mathematics of program construction : <2. : ; 1992 | ||
Berlin [etc.], : Springer, c1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|