Your search for 38412 returns 3513 document(s) |
Analyses, optimizations and extensions of constraint handling rules: Ph.D. Summary, ((LNCS-Lecture Notes in Computer Science 3668) Hal 435-436 |
Author: Tom Schrijvers; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallelizing union-find in constraint handling rules using confluence analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 113-127 |
Author: Thom Fruhwirth; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Planning complex updates to satisfy constraint rules using a constraint logic search engine (LNCS-Lecture Notes in Computer Science 985) |
Author: Suzanne M. Embury, Peter M.D. Gray; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Interconection networking for large-scale processing |
Author: Siegel, Howard Jay; | Call Number: 004.65 Sie i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A parallel strongly implicit algorithm for solving of diffusion equations, (LNCS-Lecture Notes in Computer Science 1557) Hal 78-84 |
Author: Ladislav Halada; Maria Lucka; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Solving irregular inter-processor data dependency in image understanding tasks, (LNCS-Lecture Notes in Computer Science 1557) Hal 236-245 |
Author: Yongwha Chung; Jin-Won Park; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Effecient zero-knowledge proofs for some practical graph problems, (LNCS-Lecture Notes in Computer Science 2576) Hal 290-302 |
Author: Yvo Desmedt; Yongge Wang; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A comparison of CLP (FD) and ASP solutions to NP-complete problems, (LNCS-Lecture Notes in Computer Science 3668) Hal 67-82 |
Author: Agostino Dovier; Andrea Formisano; Enrico Pontelli; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Efficient software implementation of LFSR and boolean function and its application in nonlinear combiner model, (LNCS-Lecture Notes in Computer Science 2576) Hal 387-402 |
Author: Sandeepan Chowdhury; Subhamoy Maitra; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On-line, reflexive constraint satisfaction for hybrid systems: first steps ( Invited presentation ), (LNCS-Lecture Notes in Computer Science 1201) Hal 93-107 |
Author: Michael S. Branicky; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|