Search Results - information system

Refine Results
  1. Cover Image

    Analyzing Timed Systems Using Tree Automata

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Reasoning about Data Repetitions with Counter Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Weighted Pushdown Systems with Indexed Weight Domains

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Detecting Unrealizability of Distributed Fault-tolerant Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Modelling MAC-Layer Communications in Wireless Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Stochastic Parity Games on Lossy Channel Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Approximation systems for functions in topological and in metric spaces

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Vector Addition System Reversible Reachability Problem

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    URSA: A System for Uniform Reduction to SAT

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Dynamic Dependency Pairs for Algebraic Functional Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Formalization of Abstract State Transition Systems for SAT

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Propositional Dynamic Logic for Message-Passing Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    A Type System For Call-By-Name Exceptions

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Security Policies as Membranes in Systems for Global Computing

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Labelled transition systems as a Stone space

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    A Recommendation System Based on Fuzzy Signature

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Module checking of pushdown multi-agent systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Collection Management Matters — BFF: Collaborative Partnerships of Collection Management and Systems Librarians

    Published in Against the Grain (2021)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Refactoring Alma: Simplifying Circulation Settings in the Alma Integrated Library System (ILS)

    Published in Code4Lib Journal (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    "Spatial Distribution of Forest Reserves and Sawmills in Oyo State, Nigeria"

    Published 2017
    Subjects: “…geographic information system…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:

Search Tools: