Browsing “Systems Architecture” for "cedar" (Showing 1 - 2 of 2 results)

Subjects

  • Gerontechnology

    Second International Workshop, IWoG 2019, Cáceres, Spain, September 4–5, 2019, Revised Selected Papers
    by José GarcíaAlonso; ‎César Fonseca
    • Edition: 1st
    • Format: Reflowable
    • From $25.50 USD

  • Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    by Ait Mohamed Otmane; Sofiene Tahar; César Muñoz
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD
Showing 1 - 2 of 2 results