| Your search for 38325 returns 3397 document(s) |
| Algorithms and programming paradigms for 2-D wavelet packet decomposition on multicomputers and multiprocessors, (LNCS-Lecture Notes in Computer Science 1557) Hal 367-376 |
|
Author: Manfred Feil; Andreas Uhl; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming in hybrid constraint languages, (LNCS-Lecture Notes in Computer Science 999)Hal. 226-251 |
|
Author: Vincent Gupta; Radha Jagadeesan; Vijay Saraswat; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Inductive learning secara incremental pada answer set programs untuk pembuatan peta permainan |
|
Author: Julio Christian Young; | Call Number: T-1233 (Softcopy T-941) Source Code T-312, Mak 40 | Edition: 2019 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Incremental Inductive Learning of Answer Set Programs for Maps Generation Problems (483-488) |
|
Author: Julio Christian Young
Ari Saptawijaya; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Preference Reasoning, (LNCS-Lecture Notes in Computer Science 3668) Hal 5-8 |
|
Author: Francesca Rossi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modelling systems in CLP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 412-413 |
|
Author: Joxan Jaffar; Andrew E. Santosa; Razvan Voicu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Coordination of many agents, (LNCS-Lecture Notes in Computer Science 3668) Hal 98-112 |
|
Author: Joxan Jaffar; Roland H.C.Yap; Kenny Q. Zhu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A type system for CHR,( (LNCS-Lecture Notes in Computer Science 3668) Hal 402-403 |
|
Author: Emmanuel Coquery; Francois Fages; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming language landscape: syntax, semantics and implementations 2nd ed. |
|
Author: Ledgard, Henry F.; | Call Number: 005.13 Led p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result