Search Result
Save to File
Your search for
10433
returns
238
document(s)
Software Engineering: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking
Author: E. Clarke, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic Model Checking of UML Activity Diagrams, page 1-38
Author: R. Eshuis | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic logic & mechanical theorem proving/Chin-Liang Chang
Author: Chang, Chin Liang; | Call Number: 511.3 Cha s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic computing with lisp and prolog/Robert A. Mueller; Rex L. Page
Author: Mueller, Robert A.; | Call Number: 005.133 Mue s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic analysis for automated design of analog integrated circuits/Georges Gielen
Author: Gielen, Georges; | Call Number: 621.381 Gie s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems (648-666)
Author: Giuliano Mega Fabio kon; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Completeness of Cyclic Proofs Symbolic Heaps iwth Inductive Definitions (367-387)
Author: Makoto Tatsuta Koji Nakazawa Daisuke Kimura; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Gatekeeping in the international journal literature of chemistry, page 1652
Author: Tibor Braun | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
8
9
10
11
12
13
14
15
16
17
Next