Search Result Save to File Save as CSV
Your search for 53040 returns 2167 document(s)
Module checking revisited, (LNCS-Lecture Notes in Computer Science 1254) Hal 36-47
Author: Orna Kupferman; Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Using SPIN model checking for transmission control protocol, 33-37
Author: Nan Jiang, Zhiqiang Chen; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Effient model checking of network authentication protocol based on SPIN, 100-104
Author: Zhi-hua Tan, Da-fang Zang, Li MIAO, Dan Zhao; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Inmplementasi mekanisme fraud checking setelah pembayaran terverifikasi pada aplikasi tokopedia
Author: Zulia Putri Rahmadhani; | Call Number: KP-3165 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Graph-based Study on Consistency Checking for Point Objects (V1-444 -- V1-446)
Author: Liu Zheng-lin Gao Ai-Hua Zhao Yong-Gang Guan Jian Wei Rui; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Extending Relational Database with Deferred Referential Integrity Checking and Intelligent Joins (88-97)
Author: Stephanie Cammarata Prasadram Ramachandra Darrell Shane; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan semi-automated and database performance management system HR information system speed dan click HR divisi BI (Business Intelligence) operational support DANIS (Danone Informationo System) PT. Nutricia Indonesia Sejahtera (Danone Group)
Author: David Bayu Ananda; | Call Number: KP-1486 (Softcopy KP-1047) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
GSS for Presentation Support
Author: Robert M. Davison, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Novell: encyclopedia network support
Call Number: 004.6 Nov | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Decision support for managing
Author: Sprague, Ralph H.; | Call Number: 658.403 8 Spr i | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next