Search Result Save to File Save as CSV
Your search for 37166 returns 3304 document(s)
Formal methods of program verification and specification
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
XML: the annotated specification/Bob Ducharme
Author: Ducharme, Bob; | Call Number: 005.72 Duc x | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A process algebra for hybrid systems, Hal. 129-135
Author: Jan Joris Vereijken; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Synthezing controllers for hybrid systems, Hal. 361-375
Author: Deepak Kapur; R.K. Siyamasuda; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Hybrid Stepping Stone Detection Method
Author: Mohd Nizasm Omar,Lelyzar Siregar,Rahmat Budiarto; | Call Number: SEM-305 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Using c++
Author: Eckel, Bruce; | Call Number: 005.133 Eck u | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A Corpus analysis approach for automatic query expansion and its extension to multiple database, page 150
Author: Susan G. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Exploiting IPv46 extension header to handle transmission error fo IPv6 packets over high speed networks
Author: Supriyanto; Izanan H. Hasbullah; Rahmat Budiarto; | Call Number: SEM-294 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Understanding and predicting electronic commerce adoption: an extension of the theory of planned behavior, page 115-143
Author: Paul A. Pavlou and Mendel Fygenson | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Study of Decision-Making Model of Brand Extension Based on Unascertained Mathematics (V2-303--V2-307)
Author: Yang Jian; | Call Number: SEM-328 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   6 7 8 9 10 11 12 13 14 15  Next