Automata, languages and programming : Proceedings of a symposium organized by Iria : July 3-7, 1972 / Nivat M. (Ed.)

• Record Nr.: UNISA990003220310203316
• Pubbl/distr/stampa: Amsterdam : North Holland, 1973
• ISBN: 0-7204-2074-1
• Descrizione fisica: 622 p. : ill. ; 23 cm
• Disciplina: 511.3
• Soggetti: Logica matematica
• Collocazione: 511.3 AUT (A)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report / Hartmut Rhrig...[et al.](Eds.)

• Record Nr.: UNISA990002962270203316
• Autore: EHRIG, Hartmut
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2004
• ISBN: 3-540-22152-2
• Descrizione fisica: VIII, 538 p. : ill. ; 24 cm.
• Collana: Lecture notes in computer science ; 3041 , State of the Art Survey
• Disciplina: 004.071245
• Soggetti: Informatica - Impiego in ingegneria
• Collocazione: 001 LNCS 3147
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

The Emperor : Downfall of an autocrat / Ryszard Kapuscinski

• Record Nr.: UNIORUON00078315
• Autore: KAPUŚIŃSKI, Ryszard
• Pubbl/distr/stampa: London, : Quartet Books, c1983
• ISBN: 07-04-32415-6
• Descrizione fisica: 164 p. ; 22 cm
• Disciplina: 320.963
• Soggetti: ETIOPIA - Politica e governo - 1889-1974
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

En lisant Pascal : notes sur les "Pensees" et "L'economie du monde" / Gilbert Chinard

• Record Nr.: UNIORUON00426234
• Autore: Chinard, Gilbert
• Pubbl/distr/stampa: Lille, : Librairie Giard ; Geneve, : Librairie Droz, 1948
• Descrizione fisica: 136 p. ; 20 cm.
• Disciplina: 844
• Soggetti: Pascal Blaise
• Lingua di pubblicazione: Francese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia