Search Result Save to File Save as CSV
Your search for 37911 returns 627 document(s)
Exploiting unit propagation to compute lower bounds in branch and bound max-sat solvers, (LNCS-Lecture Notes in Computer Science 3709) Hal 403-414
Author: Chu Min Li; Felip Manya; Jordi Planes; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Penerapan Otentikasi, Kerahasiaan, Dan Keutuhan Data Pada Aplikasi Sistem Informasi Pemerintahan Berbasis Web Dengan Memanfaatkan HTTPS Mutual Authentication Dan Database Encryption (hal 68-73)
Author: Galih Bangun Santosa; | Call Number: SEM-370 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Run-Time Adaptation in River
Author: R. H. Arpaci-Dusseau | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Supporting valid-time indeterminacy
Author: Curtis E. Dyreson | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Real-Time software for control
Author: Auslander, David M.; | Call Number: 629.895 Aus r | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
A performance analysis of time WARP
Author: Nikos Krisvossidis; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Breathing time warp, Hal. 109-118
Author: Jeff S. Steinman; | Call Number: SEM-188 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Advances in real-time systems
Call Number: 004.33 Adv | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time systems
Author: Krishna, C.M.; | Call Number: 004.33 Kri r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Real time systems
Author: Nissanke, Nimal; | Call Number: 004.33 Nis r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next