Search Result
Save to File
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