検索結果 - intersection constraints programming recursion array based

提案スペルによる検索:
intersection constraints » interaction constraints , interactions constraints , introduction constraints
constraints programming » constraint programming , constrained programming , constraint programing
programming recursion » programming decision , programming session , programming decisions
recursion array » recursion arrays

1

表紙画像

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

出版事項 2006

目次: “... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”
全文の入手

電子媒体 eBook

2

表紙画像

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

出版事項 2005

目次: “... and Integrability of ODE Systems -- Resultant-Based Methods for Plane Curves Intersection Problems -- Symbolic...”
全文の入手

電子媒体 eBook