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.
LATEX line by line : tips and techniques for document processing / Antoni Diller
LATEX line by line : tips and techniques for document processing / Antoni Diller
Autore Diller, Antoni
Edizione [2. ed.]
Pubbl/distr/stampa Chichester [etc.] : John Wiley & Sons, 1999
Descrizione fisica XV, 311 p. : ill. ; 23 cm
Disciplina 004
Soggetto non controllato Programmi per computer
ISBN 0-471-97918-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009150100403321
Diller, Antoni  
Chichester [etc.] : John Wiley & Sons, 1999
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Z : an introduction to formal methods / Antoni Diller
Z : an introduction to formal methods / Antoni Diller
Autore Diller, Antoni
Pubbl/distr/stampa Chichester [etc.], : Wiley, c1990
Descrizione fisica XXI, 309 p. ; 25 cm
Disciplina 005.13
005.133
Soggetto topico Elaboratori elettronici - Programmazione - Linguaggio Z
ISBN 047192489X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-NAP0398472
Diller, Antoni  
Chichester [etc.], : Wiley, c1990
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui