Suggested Topics within your search.
Search alternatives:
international constraints » international contracts, informational constraints, international contacts
constraints programming » constraint programming, constrained programming, constraint programing
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays a » arrays _
1
Cover Image
Published 2008
Table of Contents: “... -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2008
Table of Contents: “... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2006
Table of Contents: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2005
Table of Contents: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2012
Table of Contents: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2007
Table of Contents: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2005
Table of Contents: “... Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams A Case...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search