Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Electronic books.
(14)
Formal methods (Computer science)
(12)
Artificial intelligence.
(3)
Computer software -- Development.
(3)
Artificial Intelligence (incl. Robotics).
(2)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
0000DEFAULT
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 Verification techniques for system-level design
      13. 
      Verification techniques for system-level design
      by 
      Fujita, Masahiro, 1956-
      ScienceDirect https://www.sciencedirect.com/science/book/9780123706164
      Format: 
      Excerpt: 
      Formal methods (Computer science)
      Cover image for Real-life Applications with Membrane Computing
      14. 
      Real-life Applications with Membrane Computing
      by 
      Zhang, Gexiang. author.
      http://dx.doi.org/10.1007/978-3-319-55989-6
      Format: 
      Excerpt: 
      -to-date guide for all researchers, PhDs and undergraduate students in the fields of computer science
      Cover image for Current Trends on Knowledge-Based Systems
      15. 
      Current Trends on Knowledge-Based Systems
      by 
      Alor-Hernández, Giner. editor.
      http://dx.doi.org/10.1007/978-3-319-51905-0
      Format: 
      Excerpt: 
      from various disciplines within Computer Science, including Knowledge Engineering, Natural Language
      Cover image for Computability, complexity, logic
      16. 
      Computability, complexity, logic
      by 
      Börger, E. (Egon), 1946-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128
      Format: 
      Excerpt: 
      knowledge of computer science and particularly of complexity theory. It is both a textbook for introductory