Search Result
Save to File
Your search for
1814
returns
415
document(s)
Grid computing for developers
Author: Silva Vladimir; | Call Number: 004.36 Sil g | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Software Engineering: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking
Author: E. Clarke, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Passage-based query refinement (MultiText experiments for TREC-6), page 133
Author: Gordon V. C. | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
On refinement and temporal annotations (LNCS-Lecture Notes in Computer Science 1926) Hal 185-201
Author: Ron van der Meyden; Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Real-time refinement, (LNCS-Lecture Notes in Computer Science 670) Hal 314-331
Author: Colin Fidge; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Using z specification, refinement, and proof/Jim Woodcock, Jim Davies
Author: Woodcock, Jim; | Call Number: 005.113 woo u | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Refinement dengan metode B pada pengembangan modul aplikasi perbankan/ Theresia Budiyanti
Author: Theresia Budiyanti; | Call Number: SK-0611 (Softcopy SK-90) Source Code SK-81 | Edition: L. Stefanus Yohanes | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Local and metropolitan area networks
Author: Stallings, William; | Call Number: 004.6 Sta l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The local network handbook
Call Number: R.004.6 Dav | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Local area network architectures
Author: "Hutchison, David"; | Call Number: 004. 68 Hut l | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
9
10
11
12
13
14
15
16
17
18
Next