Your search for 44049 returns 142 document(s) |
Introduction to numerical computation/ J. Thomas King |
Author: King, J. Thomas; | Call Number: 519.402 Kin i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to automata theory, languages and computation |
Author: Hopcroft, John E.; | Call Number: 629.831 2 Hop i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Hanbook of analog computation 2nd ed. |
Author: Joseph F. P Luhukay; | Call Number: R 510.782 Han | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to the theory of computation/Michael Sipser |
Author: Sipser, Michael; | Call Number: 511.3 Sip i | Type: Buku
|
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
|
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
|