Статистика для Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих системах обробки інформації
Всього відвідувань
| views | |
|---|---|
| Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих системах обробки інформації | 199 |
Всього відвідувань за місяць
| views | |
|---|---|
| червня 2024 | 0 |
| липня 2024 | 0 |
| серпня 2024 | 0 |
| вересня 2024 | 0 |
| жовтня 2024 | 0 |
| листопада 2024 | 0 |
| грудня 2024 | 0 |
Скачувань файлів
| views | |
|---|---|
| Sirota_aref.doc | 27 |
Топ за країнами
| views | |
|---|---|
| Сполучені Штати | 81 |
| Україна | 70 |
| Росія | 10 |
| Німеччина | 8 |
| Китай | 7 |
| Індія | 3 |
| Вʼєтнам | 2 |
| Чехія | 1 |
| Велика Британія | 1 |
| Ірландія | 1 |
| Іран | 1 |
| Швеція | 1 |
Топ за містами
| views | |
|---|---|
| Kiev | 33 |
| San Ramon | 18 |
| Mountain View | 9 |
| Ashburn | 8 |
| Moscow | 7 |
| Fairfield | 6 |
| Kharkiv | 6 |
| Louisville | 4 |
| Poltava | 4 |
| Odessa | 3 |
| Rivne | 3 |
| Boardman | 2 |
| Burlington | 2 |
| Frankfurt | 2 |
| Hanoi | 2 |
| Nanchang | 2 |
| Nikolaev | 2 |
| Uzhgorod | 2 |
| Vladikavkaz | 2 |
| Beijing | 1 |
| Changsha | 1 |
| Chernivtsi | 1 |
| Des Moines | 1 |
| Dnepropetrovsk | 1 |
| Dublin | 1 |
| Kherson | 1 |
| Los Angeles | 1 |
| Lviv | 1 |
| Monmouth Junction | 1 |
| Nanjing | 1 |
| Rovno | 1 |
| Saint Petersburg | 1 |
| Stockholm | 1 |
| Ternopil | 1 |
| Walnut | 1 |
| Zaporozhye | 1 |