| Your search for 23966 returns 1065 document(s) |
| Articial intelligence: a modern approach 2nd ed. |
|
Author: Russell, Stuart J.; | Call Number: 006.3 Rus a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer vision: a modern approach 2nd ed. |
|
Author: Forsyth, David A.; | Call Number: 006.37 For c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Artificial intelligence: a modern approach 4th ed. |
|
Author: Russell, Stuart; | Call Number: 006.3 Rus a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modern mathematics : an elementary approach/ Ruric E. Wheeler |
|
Author: Wheeler, Ruric E.; | Call Number: 510 Whe m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Translation with optimization from relational calculus to relational algebra having aggregate functions, page 518 |
|
Author: Ryohei N. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid systems and relaxed optimal control: the para metric calculus of variations on finsher manifolds Cartan connections and extracting control autumata, Hal. 7-14 |
|
Author: World Kohn; Anil Neorde; J.B. Remmel; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Semantics and verification of extended phase transition systems in duration calculus, (LNCS-Lecture Notes in Computer Science 1201) Hal 301-315 |
|
Author: Xu Qiwen; | Call Number: 004.33 Mal h | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ucke - efficient u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 468-471 |
|
Author: Armin Biere; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic abstraction techniques for propositional u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 12-23 |
|
Author: Abelardo Pardo; Gary D. Hachtel; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Methods for mu-calculus model checking: a tutorial, (LNCS-Lecture Notes in Computer Science 939) Hal 141 |
|
Author: E. A. Emerson; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result