Conditional and typed rewriting systems : 4th International workshop, CTRS-94 : Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz ... [etc.] (eds.) |
Autore | International workshop CTRS-94 : 4. : 1994 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
Descrizione fisica | VIII, 373 p. : ill. ; 24 cm. |
Disciplina | 6525 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - gerusalemme - 1994
scrittura elettronica - congressi - 1994 |
ISBN | 3-540-60381-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000210880203316 |
International workshop CTRS-94 : 4. : 1994 | ||
Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Videoscrittura 4 : guida all'uso / David D. Busch [traduzione e impaginazione di Massimo Esposti] |
Autore | Busch, David D. |
Pubbl/distr/stampa | Milano : Jackson, stampa 1988 |
Descrizione fisica | XV, 403 p. : ill. ; 25 cm |
Disciplina | 6525 |
Soggetto non controllato | scrittura elettronica |
ISBN | 88-7056-950-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000136960203316 |
Busch, David D. | ||
Milano : Jackson, stampa 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Videoscrittura 4 : guida all'uso / David D. Busch [traduzione e impaginazione di Massimo Esposti] |
Autore | Busch, David D. |
Pubbl/distr/stampa | Milano : Jackson, stampa 1988 |
Descrizione fisica | XV, 403 p. : ill. ; 25 cm |
Disciplina | 6525 |
Soggetto non controllato | scrittura elettronica |
ISBN | 88-7056-950-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000241920203316 |
Busch, David D. | ||
Milano : Jackson, stampa 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|