Search Result
Save to File
Your search for
37158
returns
197
document(s)
LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49
Author: Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Hierarchical gate-level verification of speed-independent circuits, Hal. 128-137
Author: Oriol Roig; Jordi Cortadella and Enric Pastor; | Call Number: SEm-234 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
The foundations of program verification 2nd ed/ Jacques Loeckx and Kurt Sieber
Author: Loeckx, Jacques; | Call Number: 005.14 Loe f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Soundness Verification of Business Processes Specifed in the Pi-Calculus (6-23)
Author: Frank Puhlmann; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning (405-424)
Author: Long H. Pham Jun Sun Quang Loc Le; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Implementing a Device DTM and Integrating into FDUIA for Verification (V1-479 -- V1-483)
Author: Zhang Yu Pan Dongbo Liu Feng; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Local Verification of Global Integrity Constrains in Distributed Databases (49-58)
Author: Ashish Gupta Jennifer Widom; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Handbook of theoritical computer science: vol. B. formal models and semantics/J.Van Leeuwen
Call Number: R. 004.02 Han | Type: Buku Referensi
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal Languages and Complexity Theory: On the Generating Sequences of Regular Languages on k Symbols
Author: M. -P. Beal, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal Languages and Complexity Theory: The Expressibility of Languages and Relations by Word Equations
Author: J. Karhumaki, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
5
6
7
8
9
10
11
12
13
14
Next