A survey of verification techniques for parallel programs / Howard Barringer

• Record Nr.: UNINA990000470570403321
• Autore: Barringer, Howard
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer-Verlag, ©1985
• ISBN: 3-540-15239-3
• Descrizione fisica: 115 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 191
• Disciplina: 004.35
• Locazione: DINEL
• Collocazione: 10 P.T. 407
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Partial differential equations / Jeffrey Rauch

• Record Nr.: UNISALENTO991001222419707536
• Autore: Rauch, Jeffrey
• Pubbl/distr/stampa: New York : Springer-Verlag, c1991
• ISBN: 0387974725
• Descrizione fisica: x, 263 p. : ill. ; 24 cm.
• Collana: Graduate texts in mathematics, 0072-5285 ; 128
• Classificazione: AMS 35-01; AMS 35A; QA374.R38
• Disciplina: 515.353
• Soggetti: Partial differential equations
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Includes bibliographical references (p. [259]-260) and index

Eastern European politics and societies : EEPS.

• Record Nr.: UNISALENTO991000495559707536
• Pubbl/distr/stampa: Berkeley, Ca. : University of California Press, c1987-
• ISSN: 0888-3254
• Descrizione fisica: v. ; 23 cm
• Altri autori (Enti): American Council of Learned Societies; Joint Committee on Eastern Europe; Social Science Research Council <Stati Uniti>
• Disciplina: 947.0005
• Soggetti: Europa orientale Politica e governo 1945-1989 Periodici; Europa orientale Condizioni sociali Periodici
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Periodico
• Note generali: Pubblicato anche in formato elettronico; Tit. della cop.; I volumi dal 1990- hanno come titolo: East European politics and societies