Programming languages and systems - ESOP '94 : 5. 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, c1994 |
Descrizione fisica | VIII, 516 p. ; 24 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto topico |
Elaboratori elettronici - Programmazione - Congressi - 1994
Elaboratori elettronici - Linguaggi - Congressi - 1994 |
ISBN |
0387578803
3540578803 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10006009 |
European symposium on programming : <5. : ; 1994
![]() |
||
Berlin [etc.], : Springer, c1994 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Scuola estiva Engineering of existing software : 20/24 giugno 1994 Hotel villaggio Porto Giardino, Capitolo, Monopoli : proceedings / in collaborazione con Dipartimento di Informatica e sistemistica dell'Universita di Napoli, Progetto finalizzato Sistemi informatici e calcolo parallelo del CNR, A.I.C.A. |
Pubbl/distr/stampa | Bari, : G. Laterza, stampa 1994 |
Descrizione fisica | 193 p. ; 24 cm |
Disciplina | 005.1 |
Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - 1994 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione |
ita
eng |
Record Nr. | UNISANNIO-NAP0082275 |
Bari, : G. Laterza, stampa 1994 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Software engineering education : 7. SEI CSEE conference : San Antonio, Texas, USA, January 5-7, 1994 : proceedings / Jorge L. Diaz-Herrera (ed.) |
Autore | SEI CSEE conference : <7. : ; 1994 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
Descrizione fisica | XI, 596 p. ; 24 cm. |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - 1994 |
ISBN |
0387574611
3540574611 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10004131 |
SEI CSEE conference : <7. : ; 1994
![]() |
||
Berlin [etc.], : Springer, c1994 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Theoretical aspects of computer software : International symposium TACS '94 : Sendai, Japan, April 19-22, 1994 : proceedings / Masami Hagiya, John C. Mitchell (eds.) |
Autore | International symposium TACS : <2. : ; 1994 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
Descrizione fisica | XI, 885 p. ; 24 cm. |
Disciplina | 005.1015113 |
Collana | Lecture notes in computer science |
Soggetto topico |
Elaboratori elettronici - Programmazione - Congressi - 1994
Logica simbolica - Congressi - 1994 Logica matematica - Congressi - 1994 |
ISBN |
0387578870
3540578870 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10005875 |
International symposium TACS : <2. : ; 1994
![]() |
||
Berlin [etc.], : Springer, c1994 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|