Skip to content
Home Search Guides Journals Learning Our Team Get the App
🌐 ENESFRPT
FRELIP Logo

FRELIP Discovery Search

Open Access Catalog for African Scholarship

  • Channels
Search for more channels:

Author: Botha, Heila-Marié

  • Author: Durant, Kevin
  • Author: Jordaan, Pieter
  • Author: Kruger, Pieter Jan Harm
  • Author: Mohamed, Zhunaid
  • Author: Redelinghuys, Gideon
  • Author: Taljaard, Johannes Hendrik
  • Author: Theron, Piet
  • Author: Uwimbabazi, Aline
  • Show items as search results
  • Explore related channels
  • Quick Look
    Verifying Android applications using Java PathFinder

Author: Dunaiski, Marcel Paul

  • Author: Durant, Kevin
  • Author: Jordaan, Pieter
  • Author: Kruger, Pieter Jan Harm
  • Author: Mohamed, Zhunaid
  • Author: Redelinghuys, Gideon
  • Author: Taljaard, Johannes Hendrik
  • Author: Theron, Piet
  • Author: Uwimbabazi, Aline
  • Show items as search results
  • Explore related channels
  • Quick Look
    Analysing ranking algorithms and publication trends on scholarly citation networks

Similar Items: Verifying Android applications using Java PathFinder

  • Similar Items: Explaining neural networks used for modeling credit risk
  • Similar Items: Cellphone banking at the bottom of the pyramid
  • Similar Items: Symbolic string execution
  • Similar Items: Investigating the non-termination of affine loops
  • Similar Items: Extended probabilistic symbolic execution
  • Similar Items: Criteria for the evaluation of private cloud computing
  • Similar Items: Analysing ranking algorithms and publication trends on scholarly citation networks
  • Similar Items: Impendulo: A Tool for Analysing Programmer Behaviour
  • View Record
  • Explore related channels
  • Quick Look
    Development of Internet of Things (IoT) Enabled Device for Environmental Control In Livestock Structures
  • Quick Look
    Practical measurements of Wi-Fi Direct in content sharing, social gaming android applications
  • Quick Look
    Self-disciplinary time-restricted smartphone addiction management system using (android) mobile technology
  • Quick Look
    Investigation into a smartphone application for household water data management as a tool to improve conservation efforts
  • Quick Look
    Rethinking electrical water heaters
  • Quick Look
    Video game pathfinding and improvements to discrete search on grid-based maps
  • Quick Look
    Supporting mobile developers through a Java IDE
  • Quick Look
    How do South African women journalists perceive the influence of online information disorder campaigns on their journalistic practices?
  • Quick Look
    A structured approach to the implementation of information technology (IT) governance principles to address application software project failure at a strategic and operational level
  • Quick Look
    Digitized Radio broadcast seeker (DRBS)
  • Quick Look
    Applicative Constructions in Igbo
  • Quick Look
    'n Analise van die selfoon-WAT : 'n grondslag vir die verbetering van selfoonwoordeboeke
  • Quick Look
    Implementing a smalltalk to Java translator
  • Quick Look
    Evaluation of a Java microprocessor for use in future SUNSAT satellites
  • Quick Look
    NB-IoT (LTE Cat-NB1 / narrow-band IoT) performance evaluation of variability in multiple LTE vendors, UE devices and MNOs
  • Quick Look
    A pre-R year is it worth it, and what would it cost? An applied policy analysis
  • Quick Look
    Design and evaluation of a formula cache for SMT-based bounded model checking tools
  • Quick Look
    A Java bytecode compiler for the 8051 micro-controller
  • Quick Look
    Software-as-a-Service (SaaS) : considerations and implications for SaaS customers
  • Quick Look
    Making a game of chess sound
  • Quick Look
    Smart transformer communication and application in rural microgrid settings
  • Quick Look
    Efficient radio resource management for future generation heterogeneous wireless networks
  • Quick Look
    Development of an instrument for monitoring and data logging illuminance levels for interior daylighting applications
  • Quick Look
    Validation of a microkernel : a case study

Similar Items: Optimised constraint solving for real-world problems

  • Similar Items: Explaining neural networks used for modeling credit risk
  • Similar Items: Cellphone banking at the bottom of the pyramid
  • Similar Items: Symbolic string execution
  • Similar Items: Investigating the non-termination of affine loops
  • Similar Items: Extended probabilistic symbolic execution
  • Similar Items: Criteria for the evaluation of private cloud computing
  • Similar Items: Analysing ranking algorithms and publication trends on scholarly citation networks
  • Similar Items: Impendulo: A Tool for Analysing Programmer Behaviour
  • View Record
  • Explore related channels
  • Quick Look
    Design and evaluation of a formula cache for SMT-based bounded model checking tools
  • Quick Look
    Making a monument out of a memory
  • Quick Look
    Dynamic co-evolutionary algorithms for dynamic, constrained optimisation problems
  • Quick Look
    An evaluation of the requirements of users of biomedical informational services as provided by the South African Medical Research Council
  • Quick Look
    Toward a meta-methodology for real-world problem solving
  • Quick Look
    An analysis of the relationship between analyst-user cognitive style differences and user resistance to information systems
  • Quick Look
    Challenges faced by the School Management Team (SMT) regarding school safety
  • Quick Look
    The effects of micro data centres for multi-service access nodes on latency and services
  • Quick Look
    Particle swarm optimisation: an algorithm using support vector classification based constraint approximations.
  • Quick Look
    An efficient resilient page store
  • Quick Look
    RESOURCE OPTIMISATION THROUGH CONSTRAINT MANAGEMENT AT MALAS DRIVESTYLE CENTRE
  • Quick Look
    A teaching environment for learning soft skills applicable to information systems development
  • Quick Look
    Evaluating and comparing search engines in retrieving text information from the web
  • Quick Look
    Seed dispersal by black-backed Jackals (Canis mesomelas) and hairy-footed gerbils (Gerbillurus spp.) of !nara (Acanthosicyos horridus) in the central Namib Desert
  • Quick Look
    An overview of municipal information systems of Drakenstein municipality with reference to the Actionit open decision support framework
  • Quick Look
    The investigation of current information system development technologies and the implementation of a systems analysis methodology for a systems engineering firm.
  • Quick Look
    Re-making to re-member: Exploring a living archiving methodology with sensory-based participatory design
  • Quick Look
    Cold storage of Leucospermum cutflowers and Leucadendron greens
  • Quick Look
    Optimisation of blueberry postharvest handling and storage
  • Quick Look
    On two combinatorial optimisation problems involving lotteries
  • Quick Look
    Effect of Aerobic Exercise on Post-Stroke Cognitive Function: A Systematic Review
  • Quick Look
    Collection, evaluation and selection of scientific literature : machine learning, bibliometrics and the World Wide Web
  • Quick Look
    Multi-label feature selection with application to musical instrument recognition
  • Quick Look
    ASSESSMENT OF QUALITY AND HANDLING PROCEDURES OF IMPORTED FROZEN FISH IN OYO STATE, NIGERIA

About FRELIP

Free eLibrary Portal (FRELIP) provides access to academic resources, research materials, and scholarly publications from African universities and global repositories.

Quick Links

  • FRELIP Home
  • About FRELIP
  • Our Team
  • Research Guides
  • Search Catalog
  • Learning Platform
  • Course Catalogue

Resources

Indexed Records: 140,000+
Disciplines: 18
Subjects: 155

FRELIP is the leading open-access discovery platform — born in Nigeria, built for African scholarship, serving the world.

© 2026 FRELIP - Free eLibrary Portal | frelip.org | Powered by VuFind

Follow FRELIP