検索結果 - program message preprocessing https array https*

提案スペルによる検索:
message preprocessing » message processing , image preprocessing , mining preprocessing
preprocessing https » processing https , preprocessing step , processing http
program message » programs message , program mesra , program measures

1

表紙画像

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

出版事項 2007

目次: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
全文の入手

電子媒体 eBook

2

表紙画像

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

出版事項 2007

目次: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
全文の入手

電子媒体 eBook