| Your search for 38446 returns 4579 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
|
| 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
|
| Using OCSP to secure certificate-using transactions in m-commerce, (LNCS-Lecture Notes in Computer Science 2576) Hal 280-292 |
|
Author: Jose L. Munoz; Jordi Forne; Oscar Esparza; Bernabe Miguel Soriano; | 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
|
| Task-Parallel programming of reconfigurable systems, (LNCS-Lecture Notes in Computer Science 2147) Hal 172-181 |
|
Author: Markus Weinhardt; Wayne Luk; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A temporal programming language for heterogenous information systems, (LNCS-Lecture Notes in Computer Science 3668) Hal 444-445 |
|
Author: Vitor Noguiera; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| HYPROLOG: A new logic programming language with assumptions and abduction, (LNCS-Lecture Notes in Computer Science 3668) Hal 159-173 |
|
Author: Henning Christiansen; Veronica Dahl; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203 |
|
Author: Hans Tompits; Stefan Woltran; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result