1
出版 2005
書本目錄: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
獲取全文
電子 電子書
2
出版 2013
書本目錄: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
獲取全文
電子 電子書
3
出版 2008
書本目錄: ... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...
獲取全文
電子 電子書
4
書本目錄: ...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...
獲取全文
電子 電子書
5
出版 2013
書本目錄: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
獲取全文
電子 電子書
6
出版 2008
書本目錄: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
獲取全文
電子 電子書