Տեքստ| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ |
|---|---|---|---|---|---|---|---|
Books
|
National Polytechnic University Library General Stacks | Scientific Literature Depository | 681.3 А-65 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 30 Days Loan | EU0458364 | |
|
Books
|
National Polytechnic University Library General Stacks | Scientific Literature Depository | 681.3 А-65 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 30 Days Loan | EU0458369 | |
|
Books
|
National Polytechnic University Library General Stacks | Scientific Literature Depository | 681.3 А-65 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 30 Days Loan | EU0458370 | |
|
Books
|
National Polytechnic University Library General Stacks | Scientific Literature Depository | 681.3 А-65 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 30 Days Loan | EU0458371 |
Դիտման National Polytechnic University Library դարակ, Դարակի վրա տեղաբաշխում: General Stacks, Հավաքածու։ Scientific Literature Depository Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
| 681.3 А-50 Вероятностные измерительно-вычислительные устройства / | 681.3 А-65 Биометрические расчеты на ЭВМ "Мир-2" / | 681.3 А-65 Доказательство правильности программ / | 681.3 А-65 Доказательство правильности программ / | 681.3 А-65 Доказательство правильности программ / | 681.3 А-65 Доказательство правильности программ / | 681.3 А-65 Программирование на языке симула-67 / |
ամբողջապես կամ մեկ օրացույցային տարվա ընթացքում հրատարակվող մենագրություն 1982
Оригинал на англ. : Proving Pprograms Correct / Robert B. Anderson - New York : 1979