Search

Your search keyword '"Hernandez, Jaime"' showing total 103 results

Search Constraints

Start Over You searched for: Author "Hernandez, Jaime" Remove constraint Author: "Hernandez, Jaime" Publication Type eBooks Remove constraint Publication Type: eBooks
103 results on '"Hernandez, Jaime"'

Search Results

1. SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications

2. Offline Algorithm Selection of CMA-ES Variants in Bayesian Optimal Sensor Placement: Application to Buildings and Recommendations to the Philippine Instrumentation Practice

3. Seismic Assessment of the Carillon Tower in the Philippines Using a Finite Element Model Updated with Operational Modal Analysis

5. White-Box Path Generation in Recursive Programs

7. A Generic Intermediate Representation for Verification Condition Generation

8. Formalizing a Broader Recursion Coverage in SQL

9. A Fully Abstract Semantics for Constructor Systems

10. Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics

11. Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation

12. Rewriting and Call-Time Choice: The HO Case

15. Proving Failure in Functional Logic Programs

16. Long Stories Cut Short : Fictions from the Borderlands

17. Diálogos sobre transdisciplina: Los investigadores y su objeto de estudio

Catalog

Books, media, physical & digital resources