Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
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 New Data Structures and Algorithms for Logic Synthesis and Verification
      1. 
      New Data Structures and Algorithms for Logic Synthesis and Verification
      by 
      Amaru, Luca Gaetano. author.
      http://dx.doi.org/10.1007/978-3-319-43174-1
      Format: 
      Excerpt: 
      New Data Structures and Algorithms for Logic Synthesis and Verification Amaru, Luca Gaetano. author.
      Cover image for Separation Logic for High-level Synthesis
      2. 
      Separation Logic for High-level Synthesis
      by 
      Winterstein, Felix. author.
      http://dx.doi.org/10.1007/978-3-319-53222-6
      Format: 
      Excerpt: 
      1. Introduction -- 2. High-level Synthesis of Dynamic Data Structures -- 3. Background -- 4. Heap
      Cover image for Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
      3. 
      Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
      by 
      Daniel, Florian. editor.
      http://dx.doi.org/10.1007/978-3-642-40176-3
      Format: 
      Excerpt: 
      Activities on the Basis of Dataflow Structures -- Mixing Paradigms for More Comprehensible Models -- Industry