Search Result Save to File Save as CSV
Your search for 47720 returns 1861 document(s)
Semantic theory/ Jerrold J. Katz
Author: Katz, Jerrold J.; | Call Number: 410 Kat s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Formal systems specification: the RPC memory specification case study/Manfred Broy
Author: Broy, Manfred; | Call Number: 005.131 Bro f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Translation of specification in behavior tree to an executable abstract behavioral specification
Author: Emerson Chan Simbolon; | Call Number: SK-1101 Softcopy SK-582 Source code SK-424 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Query language for XML, HAL. 811-816
Author: Regina Fernandes, A.S. Alfi; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
GLOBAL QUERY OPTIMIZATION (191-206)
Author: Timos k. sellis; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Query-by-Humming on Internet (589-600)
Author: Naoko Kosugi Hidenobu Nagata Tadashi Nakanishi; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Protocol specification, testing, and verification VI
Call Number: 004.62 Pro | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The specification of computer programs/Wladyslaw M. Turski
Author: Turski, Wladyslaw M.; | Call Number: 005.1 Tur s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Prev   5 6 7 8 9 10 11 12 13 14  Next