| Your search for 38198 returns 2770 document(s) |
| Uncertainty in soft constraint problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 865 |
|
Author: Maria Silvia Pini; Francesca Rossi; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Specialised constraints for stable matching problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 869 |
|
Author: Chris Unsworth; Patrick Prosser; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The role of redundant clauses in solving satisfiability problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 873 |
|
Author: Honglei Zeng; Sheila McIlraith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applying decomposition methods to crossword puzzle problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 874 |
|
Author: Yaling Zheng; Berthe Y. Choueiry; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Asymmetric distributed constraints satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 875 |
|
Author: Roie Zivan; Amnon Meisels; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A comparison of CLP (FD) and ASP solutions to NP-complete problems, (LNCS-Lecture Notes in Computer Science 3668) Hal 67-82 |
|
Author: Agostino Dovier; Andrea Formisano; Enrico Pontelli; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical symmetric on-line encryption, (LNCS-Lecture Notes in Computer Science 2887) Hal 362-375 |
|
Author: Pierre-Alain Forque; Gwenaelle Martinet; Guillaume Poupard; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical challenges for industrial formal verification tools, (LNCS-Lecture Notes in Computer Science 1254) Hal 1-2 |
|
Author: F. Erich Marschner; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical higher-order pattern unification with on-the-fly raising, (LNCS-Lecture Notes in Computer Science 3668) Hal 371-386 |
|
Author: Gopalan Nadathur; Natalie Linnell; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the security propeties and attacks againts mobile agent graph head scaling (MGHS), (LNCS-Lecture Notes in Computer Science 5576) Hal. 223-228 |
|
Author: Abid Khan; Qasim Arshad; Xiamu Niu; Zhang Yong; Muhammad Waqas Anwar; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result