Search Result Save to File Save as CSV
Your search for 37643 returns 4634 document(s)
A Caching Model for Real-Time Database in Mobile Ad-Hoc Networks (186-196)
Author: Yanghong Li Le Gruenwald; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Replica Allocation Method Adapting to Topology Changes in Ad Hoc Networks(868-878)
Author: Hideki Hayashi Takahiro Hara Shojiro Nishio; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Vehicular Ad-hoc Networks Security Analysis (V1-387 -- V1-389)
Author: Farzad Sabahi; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
SURVEI PENERAPAN ALGORITMA GOSSIP JARINGAN AD HOC BERGERAK MARITIM
Author: Qurrotul Aini dan Syaifuddin; | Call Number: SEM-361 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A data re-use based compiler optimization for FPGAs, (LNCS-Lecture Notes in Computer Science 2147) Hal 648-652
Author: Ram Subramanian; Santosh Pande; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Solving irregular inter-processor data dependency in image understanding tasks, (LNCS-Lecture Notes in Computer Science 1557) Hal 236-245
Author: Yongwha Chung; Jin-Won Park; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Data-structures for the verification of timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 346-360
Author: Eugene Asarin; Marius Bozga; Alain Kerbrat; Oded Maler; Amir Pnueli; Anne Rasse; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An EVES data abstraction example, (LNCS-Lecture Notes in Computer Science 670) Hal 578-596
Author: Mark Saaltink; Sentot Kromodimoeljo; Bill Pase; Dan Craigen; Irwin Meisels; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999)
Author: Ahmed BBouajjani; Rachid Echahed; Riadh Robbana; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Toward a logical theory of program data, (LNCS-Lecture Notes in Computer Science 131) Hal. 37-51
Author: Robert Cartwright; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next