| Your search for 38451 returns 3593 document(s) |
| 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
|
| Preference reasoning, (LNCS-Lecture Notes in Computer Science 3709) Hal 9-12 |
|
Author: Francesca Rossi; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tractable clones of polynomials over semigroups, (LNCS-Lecture Notes in Computer Science 3709) Hal 196-210 |
|
Author: Victor Dalmau; Ricard Gavalda; Pascal Tesson; Denis Therien; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Preference Reasoning, (LNCS-Lecture Notes in Computer Science 3668) Hal 5-8 |
|
Author: Francesca Rossi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A key recovery mechanism for reliable group key management, (LNCS-Lecture Notes in Computer Science 2576) Hal 372-386 |
|
Author: Taenam Cho; Sang-Ho Lee; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rule contxts in active databases a mechanism for dynamic rule grouping (LNCS-Lecture Notes in Computer Science 985) hal. 117-130 |
|
Author: Martin Skold, Esa Falkenroth, Tore Risch; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| FPGA Implementation of Elliptic Curve Point Multiplication over GF (2191), (LNCS-Lecture Notes in Computer Science 5576) Hal 619-634 |
|
Author: Sameh m. Shohdy; Ashraf b. El-sisi; Nabil Ismail; | Call Number: 005.8 Adv | 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
|
Search Result