|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A survey of methods for the extraction of information from Web resources |
Varlamov, M. I. |
2016 |
42 | 5 |
p. 279-291 |
artikel |
|
| 2 | Automatic construction of systems of distributed components from nested Petri nets models |
Dworzanski, L. W. |
2016 |
42 | 5 |
p. 292-306 |
artikel |
|
| 3 | Data representation model for in-depth analysis of network traffic |
Get’man, I. |
2016 |
42 | 5 |
p. 316-323 |
artikel |
|
| 4 | Region analysis for deductive verification of C programs |
Mandrykin, M. U. |
2016 |
42 | 5 |
p. 257-278 |
artikel |
|
| 5 | Synchronous incremental update of materialized views for PostgreSQL |
Quoc Vinh, Nguyen Tran |
2016 |
42 | 5 |
p. 307-315 |
artikel |
|
| 6 | Towards deductive verification of C programs with shared data |
Mandrykin, M. U. |
2016 |
42 | 5 |
p. 324-332 |
artikel |
6 gevonden resultaten