Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
2017
(5)
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
5 Results Found Subscribe to search results
00000DEFAULT
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 Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
      1. 
      Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
      by 
      Zhan, Naijun. author.
      http://dx.doi.org/10.1007/978-3-319-47016-0
      Format: 
      Excerpt: 
      /Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic
      Cover image for Formal Methods for Discrete-Time Dynamical Systems
      2. 
      Formal Methods for Discrete-Time Dynamical Systems
      by 
      Belta, Calin. author.
      http://dx.doi.org/10.1007/978-3-319-50763-7
      Format: 
      Excerpt: 
      -- Parameter Synthesis -- Temporal Logic Control -- Finite Bisimulations -- Language Guided Controller
      Cover image for Introduction to Morphogenetic Computing
      3. 
      Introduction to Morphogenetic Computing
      by 
      Resconi, Germano. author.
      http://dx.doi.org/10.1007/978-3-319-57615-2
      Format: 
      Excerpt: 
      database, language, nanotechnology with defects, biological genetic structure, electrical circuit, and big
      Cover image for On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
      4. 
      On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
      by 
      Trillas, Enric. author.
      http://dx.doi.org/10.1007/978-3-319-56053-3
      Format: 
      Excerpt: 
      a new perspective on fuzzy logic and Zadeh’s “computing with words” grounded in both language and
      Cover image for Proceedings of the International Conference on Data Engineering and Communication Technology ICDECT 2016, Volume 2
      5. 
      Proceedings of the International Conference on Data Engineering and Communication Technology ICDECT 2016, Volume 2
      by 
      Satapathy, Suresh Chandra. editor.
      http://dx.doi.org/10.1007/978-981-10-1678-3
      Format: 
      Excerpt: 
      Side Scan Sonar Image Using Block Processing and Fuzzy Logic Methods -- Chapter 36. Leveraging
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page