| Your search for 39708 returns 2754 document(s) |
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: Ringdis-014 | Type: Ringkasan Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Study on the impact factors of insulation material in the long-distance pipeline based on grey relational analysis and itc C# programs, 285-287 |
|
Author: Zhou Yi, Zhao Xiao-gang, Zhao Jian-yu; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Creating High-Value Real-World Impact through Systematic Programs of Research, Page 335-351 |
|
Author: Jay F. Nunamaker, Nathan W. Twyman, Justin Scott Giboney, and Robert O. Briggs | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Michael Allen's guide to e-learning: building interactive, fun and effective learning programs for any company/ Michael W. Allen |
|
Author: Allen Michael W.; | Call Number: 658.3 All m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 100 ready to run programs & subroutines for the IBM PC/Jeff Bretz & John Clark Craig |
|
Author: Bretz, Jeff; | Call Number: 005.3 Bre 1 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SPSSx user code: adding user programs to SPSSx on IBM MVS and CMS systems/ SPSS Inc |
|
Call Number: 005.3 Sps | Edition: Eighth edition | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Debugging system 360/370 programs using OS and VS storage dumps/ Daniel H. Rindfleisch |
|
Author: Rindfleisch, Daniel H.; | Call Number: 005.365 Rin d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Gourman report: a rating of graduate and professional programs in American and International Universities/Jack Gourman |
|
Call Number: SEM-067 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Epistemic logic for AI and computer science |
|
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result