| Your search for 13534 returns 3561 document(s) |
| Design interior otomatis menggunakan metode rule-based forward chaining dan constraint satisfaction, Hal. IV.5-IV.10 |
|
Author: Gregorius S. Budhi; Adi Santosa; Awan Setiawan; | Call Number: SEM-272 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A methodology centered on modularization of QoS constraint for the development and performance evaluation of multimeia systems, Hal. 177-191 |
|
Author: Giancardo Forntino; Libero Nigro; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 439-440 |
|
Author: Ricardo Corin; Ari Saptawijaya; Sandro Etalle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ICLP 2005 doctoral consortium silcc is linear concurrent constraint programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 448-449 |
|
Author: Remy Haemmerle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symmetry definitions for constraint satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 17-31 |
|
Author: David Cohen; Peter Jeavons; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A linear-logic semantics for constraint handling rules, (LNCS-Lecture Notes in Computer Science 3709) Hal 137-151 |
|
Author: Hariolf Betz; Thom Fruhwirth; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| GP(Graph): introducing a graph computation domain in constraint programming, (LNCS-Lecture Notes in Computer Science 3709) Hal 211-225 |
|
Author: Gregoire Dooms; Yves Deville; Pierre Dupont; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applying constraint programming to rigid body protein docking, (LNCS-Lecture Notes in Computer Science 3709) Hal 373-387 |
|
Author: Ludwig Krippahl; Pedro Barahona; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Maximum constraint satisfaction on diamonds, (LNCS-Lecture Notes in Computer Science 3709) Hal 388-402 |
|
Author: Andrei Krokhin; Benoit Larose; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Generating corrective explanations for interactive constraint satisfaction, (LNCS-Lecture Notes in Computer Science 3709) Hal 445-459 |
|
Author: Barry O'Callaghan; Barry O'Sullivan; Eugene C. Freuder; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result