Search Result Save to File Save as CSV
Your search for 37399 returns 2989 document(s)
The surface coal minie in China based surpac three-dimenensional visualization and applications, Hal. 3734-3736
Author: Pengcheng Fei; Ziling Song; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
File techniques for database organization in COBOL
Author: "Johnson, Leroy F."; | Call Number: 005.133 Joh f | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Data abstraction and structures
Author: Riley, David P.; | Call Number: 005.7 Ril d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
New Methods and Tool for the Development and Verification of Safety Functions during Development of Pedestrian Detection Systems (434-438)
Author: Hadj Hamma Tadjine Karsten Schulze Rene Roelling Herold Daniel; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The fourier transform and its applications/Ronald N. Bracewell
Author: Bracewell, Ronald N.; | Call Number: 515.723 04 Bra f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Testing client/server applications/Patricia A.Goglia
Author: Goglia, Patricia A.; | Call Number: 004.36 Gog t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Testing client/server applications/Patricia A. Goglia
Author: Goglin, Patricia; | Call Number: 004.36 Gog t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Information retrieval system for heterogeneous database through mobile agent, HAL. 1322-1332
Author: Pradeep Sharma, Sanjeev Kumar Prasad; Pallavi Sinha; | Call Number: SEM-291B | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Modeling and Verification of Web Applications uisng Formal Techniques Methods (220-229)
Author: Atsushi Togashi Yuh Kitano Satoru Izumi Kaoru Takahashic kei Homma; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   9 10 11 12 13 14 15 16 17 18  Next