Your search for 38266 returns 2439 document(s) |
Towards an integration of answer set and constraint solving, (LNCS-Lecture Notes in Computer Science 3668) Hal 52-66 |
Author: S. Baselice; P.A. Bonatti; M. Gelfond; | 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
|
Parallel random number generation: long-range correlations among multiple processors, (LNCS-Lecture Notes in Computer Science 1557) Hal 107-116 |
Author: Karl Entacher; Andreas Uhl; Stefan Wegenkittl; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On the covering radius of second order binary reed-muller code in set of resilliet boolean functions, (LNCS-Lecture Notes in Computer Science 2898), Hal. 82-92 |
Author: Yuri Borissov; An Braeken; Svetla Nikova; and Preneel; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Configuration caching and swapping, (LNCS-Lecture Notes in Computer Science 2147) Hal 192-202 |
Author: Suraj Sudhir; Suman Nath; Seth Copen Goldstein; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A music synthesizer on FPGA, (LNCS-Lecture Notes in Computer Science 2147) Hal 377-387 |
Author: Takashi Saito; Tsutomu maruyama; Tsutomu Hoshino; Saburo Hirano; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computer Based Instruction |
Call Number: 4(1980): 1 | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Journal of Computer Based Instruction |
Call Number: [13 (1986): 1-2,4, 11 (1984): 1,2-4, 14 (1987): 1-4] | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Technology trends and adaptive computing, (LNCS-Lecture Notes in Computer Science 2147) Hal 1-5 |
Author: Michael J. Flynn; Albert A. Liddicoat; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An emulator for exploring RaPiD configurable computing architectures, (LNCS-Lecture Notes in Computer Science 2147) Hal 17-26 |
Author: Chris Fisher; Kevin Rennie; Guanbin Xing; Stefan G. Berg; Kevin Bolding; John Naegle; Daniel Parshall; Dmitriy Portnov; Adnan Sulejmanpasic; Carl Ebeling; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|