Sciweavers

    15777 search results - page 251 / 3156
    » The Reformulation-Optimization Software Engine
    Sort
    View
    FSTTCS
    2005
    Springer
    101views Software Engineering» more  FSTTCS 2005»
    From Logic to Games
    15 years 8 months ago
    From Logic to Games
    Download  www.labri.fr
    Igor Walukiewicz
    claim paper
    Read More »
    ISSTA
    2004
    ACM
    144views Software Engineering» more  ISSTA 2004»
    Automated black-box testing of functional correctness using function approximation
    15 years 8 months ago
    Automated black-box testing of functional correctness using function approximation
    Download  www.nada.kth.se
    Karl Meinke
    claim paper
    Read More »
    ARCS
    2004
    Springer
    129views Software Engineering» more  ARCS 2004»
    DIGORGAO - A Digital Problem Solution Concept
    15 years 8 months ago
    DIGORGAO - A Digital Problem Solution Concept
    Download  subs.emis.de
    Helmut Kiesewetter
    claim paper
    Read More »
    FSTTCS
    2004
    Springer
    77views Software Engineering» more  FSTTCS 2004»
    Representable Disjoint NP-Pairs
    15 years 8 months ago
    Representable Disjoint NP-Pairs
    Download  www.informatik.hu-berlin.de
    Olaf Beyersdorff
    claim paper
    Read More »
    ICESS
    2004
    Springer
    114views Software Engineering» more  ICESS 2004»
    Abstraction and the C++ Machine Model
    15 years 8 months ago
    Abstraction and the C++ Machine Model
    Download  www2.research.att.com
    Bjarne Stroustrup
    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.