| Your search for 52213 returns 81 document(s) |
| Automatic extraction of biligual word pairs using inductive chain learning in various languages, page 1294 |
|
Author: Hiroshi E. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Computer algebra symbolic and algebraic computation 2nd ed./ edited by B. Buchberger |
|
Author: Buchberger, B.; | Call Number: 512 Buc c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic computation: computer aided design/ editor by Encarnacao P. Hayes |
|
Author: Encarnacao, J.; | Call Number: 620.004 Enc 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
|
Search Result