Search Result Save to File Save as CSV
Your search for 29156 returns 3464 document(s)
Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30
Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Speed up estimation for a parallel method for systems of linear ordinary differential equations, (LNCS-Lecture Notes in Computer Science 1557) Hal 598-599
Author: Miron Pavlus; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The industrial take-up of formal methods in safety-critical and other areas: a perspective, (LNCS-Lecture Notes in Computer Science 670) Hal 183-195
Author: Jonathan Bowen; Victoria Stavridou; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan kerangka kerja dan analisa pengukuran tingkat kesiapan implementasi electronic customer relationship management organisasi: studi kasus pada perusahaan Start-UP
Author: Latifah Helmy M; | Call Number: SK-1029 (Softcopy SK-510) | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
XMl resources page, page 100
Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
In This Issue, page 1-4
Author: Vicki Smith-Daniels | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Bersatu Lewat Intranet, page 68
Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Perlunya Pentahapan Implementasi, page 25
Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Asia Highlights, page 96
Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Perlu Parameter yang Jelas, page 83
Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next