1
出版 2008
书本目录: ... of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint...
获取全文
电子 电子书
2
出版 2008
书本目录: ... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...
获取全文
电子 电子书
3
出版 2006
书本目录: ... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...
获取全文
电子 电子书
4
出版 2005
书本目录: ... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...
获取全文
电子 电子书
5
出版 2012
书本目录: ... of Impulsive Control System with Cone Constraint on the Control and Their Estimates.-Optimal Mass...
获取全文
电子 电子书
6
出版 2007
书本目录: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
获取全文
电子 电子书
7
出版 2005
书本目录: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
获取全文
电子 电子书
8
出版 2010
书本目录: ... for Intelligent Multimodal HCI -- Constraint Satisfaction -- Optimization of Investment Options Using SQL -- A...
获取全文
电子 电子书