Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Software testing for conventional and logic programming
      1. 
      Software testing for conventional and logic programming
      by 
      Jack, Oliver.
      Click to View
      Format: 
      Excerpt: 
      Software testing for conventional and logic programming Jack, Oliver.
      Cover image for An inductive logic programming approach to statistical relational learning
      2. 
      An inductive logic programming approach to statistical relational learning
      by 
      Kersting, Kristian.
      Click to View
      Format: 
      Excerpt: 
      An inductive logic programming approach to statistical relational learning Kersting, Kristian.
      Cover image for Introduction to programming : learn to program in java with data structures, algorithms, and logic
      3. 
      Introduction to programming : learn to program in java with data structures, algorithms, and logic
      by 
      Samoylov, Nick, author.
      Click to View
      Format: 
      Excerpt: 
      Introduction to programming : learn to program in java with data structures, algorithms, and logic /
      Cover image for Evolving knowledge bases specification and semantics
      4. 
      Evolving knowledge bases specification and semantics
      by 
      Leite, João Alexandre.
      Click to View
      Format: 
      Excerpt: 
      Logic programming.
      Cover image for Arithmetic and logic in computer systems
      5. 
      Arithmetic and logic in computer systems
      by 
      Lu, Mi.
      Click to View
      Format: 
      Excerpt: 
      Logic programming.
      Cover image for Reliability prediction from burn-in data fit to reliability models
      6. 
      Reliability prediction from burn-in data fit to reliability models
      by 
      Bernstein, Joseph B., author.
      Click to View
      Format: 
      Excerpt: 
      Logic programming.
      Cover image for Digital design and computer architecture
      7. 
      Digital design and computer architecture
      by 
      Harris, Sarah L., author.
      Click to View
      Format: 
      Excerpt: 
      From Zero to One -- Combinational Logic Design -- Sequential Logic Design -- Hardware Description
      Cover image for Systematic program design from clarity to efficiency
      8. 
      Systematic program design from clarity to efficiency
      by 
      Liu, Yanhong Annie, 1965-
      Click to View
      Format: 
      Excerpt: 
      -oriented programming languages with different data, control, and module abstractions. Designed for courses or self
      Cover image for Practical foundations for programming languages
      9. 
      Practical foundations for programming languages
      by 
      Harper, Robert.
      Click to View
      Format: 
      Excerpt: 
      . Generic programming; Part VI. Infinite Data Types: 18. Inductive and co-inductive types; 19. Recursive