Search Result Save to File Save as CSV
Your search for 36705 returns 526 document(s)
Temporal logic for proof-carrying code, Hal. 31-46
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Gradual approach to a more trustworthy, yet scalable, proof-carrying code, Hal. 47-62
Author: Robert R. Schneck; George C. Necula; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Translasi dari varian logika temporal allen ke RPNL dan RNL-RDC
Author: Muhammad Arzaki; | Call Number: T-0964 (Softcopy T-0673) | Edition: 2012 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
The temporal logic of reactive and concurrent systems specification
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Pengujian dan analisa fitur code metrics pada visual studio 2010 untuk aktivitas penjaminan mutu perangkat lunak
Author: Sonya Permata Putri; | Call Number: SK-0962 (Softcopy SK-443) | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Pembuatan Website Personal Branding dan Chat Widget CV.Lumintu Logic
Author: Nabilah Adani Nurulizzah; | Call Number: KP-3760 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Temporal databases: theory, design and implementation/Abdullah UZ Tanzel...[et.al]
Call Number: 005.75 Tem | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Temporal Data and The Relational Model a detailed investigation into the application of interval a detailed investigation into the application of interval and Relation theory to the problem of temporal database management
Author: Date, C.J.; | Call Number: 005.74 Dat t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Formal logic: its scope and limits
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Spatial anti-aliasing for animation sequences with spatio-temporal filtering,Hal 289-296
Author: Mikio Shinya; | Call Number: SEM-199 | 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