| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990000470570403321 |
|
|
Autore |
Barringer, Howard |
|
|
Titolo |
A survey of verification techniques for parallel programs / Howard Barringer |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer-Verlag, ©1985 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 191 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991001222419707536 |
|
|
Autore |
Rauch, Jeffrey |
|
|
Titolo |
Partial differential equations / Jeffrey Rauch |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : Springer-Verlag, c1991 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Soggetti |
|
Partial differential equations |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Includes bibliographical references (p. [259]-260) and index |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISALENTO991000495559707536 |
|
|
Titolo |
Eastern European politics and societies : EEPS. |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berkeley, Ca. : University of California Press, c1987- |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Enti) |
|
American Council of Learned Societies |
Joint Committee on Eastern Europe |
Social Science Research Council <Stati Uniti> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Europa orientale Politica e governo 1945-1989 Periodici |
Europa orientale Condizioni sociali Periodici |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
| |