Sciweavers

    16725 search results - page 229 / 3345
    » Engineering Software Correctness
    Sort
    View
    AII
    1989
    48views Software Engineering» more  AII 1989»
    Inductive Inference for Solving Divergence in Knuth-Bendix Completion
    15 years 7 months ago
    Inductive Inference for Solving Divergence in Knuth-Bendix Completion
    Download  www.dcs.gla.ac.uk
    Muffy Thomas, Klaus P. Jantke
    claim paper
    Read More »
    21
    Voted
    APL
    1989
    ACM
    52views Software Engineering» more  APL 1989»
    What is an Argument?
    15 years 7 months ago
    What is an Argument?
    Download  voyager.dvc.edu
    H. C. Bertuccelli
    claim paper
    Read More »
    APL
    1990
    ACM
    56views Software Engineering» more  APL 1990»
    Arrays and References
    15 years 7 months ago
    Arrays and References
    Download  www.ibm.com
    Jean-Jacques Girardot
    claim paper
    Read More »
    APL
    1990
    ACM
    50views Software Engineering» more  APL 1990»
    Reading to Write
    15 years 7 months ago
    Reading to Write
    Download  www.wingate.edu
    Raymond P. Polivka
    claim paper
    Read More »
    42
    Voted
    APL
    1990
    ACM
    48views Software Engineering» more  APL 1990»
    Writing Applications for Uniform Operation on a Mainframe or PC: A Metric Conversion Program
    15 years 7 months ago
    Writing Applications for Uniform Operation on a Mainframe or PC: A Metric Conversion Program
    Download  www.nist.gov
    Charles A. Schulz
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.