| Your search for 13411 returns 5985 document(s) |
| Proving concurrent constraint programs correct,Hlm 98-108 |
|
Author: Frank S.de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The architecture of concurrent programs/ Per Brinch Hansen |
|
Author: Hansen, Per Brinch; | Call Number: 005.13 Han a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Quantitative system performance computer system analysis using queueing network models |
|
Author: Lazowska, Edward D.; | Call Number: 621.381 9 Laz q | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Gender determination based on the forehead shape of skull using fourier and wavelet analysis/ Dina Chahyati; T. Munisywara; and Aniati Murni |
|
Author: Chahyati, Dina; Munisywara; Suharsini, M.; Murni, Aniati | Call Number: Pub. Staf PI-0030 | Type: Indeks Artikel Prosiding Inter
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel simulation of communicating finite state machines, Hal. 143-150 |
|
Author: Carl Tropper and Azzedine Boukerche; | Call Number: SEM-188 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penerapan finite state machine dalam skema transaksi tokopedia |
|
Author: Aji Imawan Omi; | Call Number: KP-2943 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Inter-procedural analysis for parallelization of java programs, (LNCS-Lecture Notes in Computer Science 1557) Hal 594-595 |
|
Author: Antonio Magnaghi; Shuichi Sakai; Hidehiko Tanaka; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Empirical analysis of the value of complete information for eCRM models, page 247-267 |
|
Author: Balaji Padmanabhan, Zhiqiang Zheng, and Steven O. Kimbrough | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Analysis of Pricing Models in the Electronic Book Market, page 1017-1032 |
|
Author: Lin Hao and Ming Fan | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Synthesis of extended transaction models using ACTA, page 450 |
|
Author: Chrysanthis, P.K. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result