Search Result Save to File Save as CSV
Your search for 38316 returns 2763 document(s)
PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 439-440
Author: Ricardo Corin; Ari Saptawijaya; Sandro Etalle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
ICLP 2005 doctoral consortium silcc is linear concurrent constraint programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 448-449
Author: Remy Haemmerle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Hybridization of genetic algorithms and constraint propagation for the BACP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 421-423
Author: Tony Lambert; Carlos Castro; Eric Monfroy; Maria Christina Riff; Frederic Saubion; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Gentra4cp: a generic trace format for constraint programming, ((LNCS-Lecture Notes in Computer Science 3668) Hal 433-434
Author: Ludovic Langevine; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
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 
A distributed and probabilistic concurrent constraint programming language, (LNCS-Lecture Notes in Computer Science 3668) Hal 143-158
Author: Luca Bortolussi; Herbert Wiklicky; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Constraint-based inference: a bridge between constraint processing and probability inference, (LNCS-Lecture Notes in Computer Science 3709) Hal 844
Author: Le Chang; Alan K. Mackworth; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A mathematical approach towards trust based security in pervasive computing environment, (LNCS-Lecture Notes in Computer Science 5576) Hal 702-711
Author: Naima Iltaf; Mukhtar Hussain; Farrukh Kamran; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Towards an optimal CNF Encoding of boolean cardinality constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 827-831
Author: Carsten Sinz; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next