| Your search for 38150 returns 2847 document(s) |
| Solving over-constrained problems with sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 838 |
|
Author: Josep Argelich; Felip Manya; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mechanism design for preference aggregation over coalitions, (LNCS-Lecture Notes in Computer Science 3709) Hal 852 |
|
Author: Eric Hsu; Sheila McIlraith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Augmenting branching temporal logics with existential quantification over atomic propositions, (LNCS-Lecture Notes in Computer Science 939) Hal 325-338 |
|
Author: Orna Kupferman (Bernholtz); | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422 |
|
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422 |
|
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multi-point constructive search, (LNCS-Lecture Notes in Computer Science 3709) Hal 737-741 |
|
Author: J. Christopher Beck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Timing attack against implementation of a parallel algorithm for modular exponentiation, (LNCS-Lecture Notes in Computer Science 2576) Hal 319-330 |
|
Author: Yasuyuki Sakai; Kouichi Sakurai; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementation of (normalised) RLS lattice on virtex, (LNCS-Lecture Notes in Computer Science 2147) Hal 91-100 |
|
Author: Felix Albu; Jiri Kadlec; Chris Softley; Rudolf Matousek; Antonim Hermanek; Nick Coleman; Anthony Fagan; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementation of a NURBS to bezier conversor with constant latency, (LNCS-Lecture Notes in Computer Science 2147) Hal 213-222 |
|
Author: Paula N. Mallon; Montserrat Boo; Javier D. Bruguera; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design and implementation of an accelerated gabor filter bank using parallel hardware, (LNCS-Lecture Notes in Computer Science 2147) Hal 451-460 |
|
Author: Nikolaus VoR; Barbel Mertsching; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result