|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Application of if-conversion to verification and optimization of workflows |
Kalenkova, A. A. |
2010 |
36 | 5 |
p. 276-288 |
artikel |
|
| 2 | Component architecture of model-based testing environment |
Kuliamin, V. V. |
2010 |
36 | 5 |
p. 289-305 |
artikel |
|
| 3 | Interaction semantics with refusals, divergence, and destruction |
Bourdonov, I. B. |
2010 |
36 | 5 |
p. 247-263 |
artikel |
|
| 4 | On complementary principles of object-oriented constraint programming |
Semenov, V. A. |
2010 |
36 | 5 |
p. 264-275 |
artikel |
|
| 5 | PSI’11 call for papers Eighth International Andrei Ershov Conference “Perspectives of System Informatics” 27 June–1 July, 2011, Novosibirsk, Akademgorodok, Russia http://psi.nsc.ru |
Virbitskaite, I. B. |
2010 |
36 | 5 |
p. 306-308 |
artikel |
5 gevonden resultaten