Search Result Save to File Save as CSV
Your search for 13420 returns 4342 document(s)
Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
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: Ringdis-014 | Type: Ringkasan Disertasi
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 
Link68 an M6800 linking loader
Author: Grappel, Robert D.; | Call Number: 005.43 Gra l | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Automatic linking of thesauri, Hal. 181-186
Author: S. Amba; | Call Number: SEM-248 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Mobile and replicated aligment of arrays in data parallel programs, Hal. 420-429
Author: Siddhartha Chatterjee; John R. Gilbert; Robert schreiber; | Call Number: SEM-193 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
On lazy randomized incremental construction,hal 105-114
Author: Mark de berg; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Dynamic mixed-strategy evaluation of tabled logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 250-264
Author: Ricardo Rocha; Fernando Silva; Vitor Santos Costa; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Dynamic User Interface Berbasis Database untuk Front End Mobile Development
Author: Michael Giorgio Wirawan; | Call Number: KP-3173 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Performance Analysis of Dynamic Location Updation Strategies for Mobile Users (428-435)
Author: A. Bera N. Das; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next