Sciweavers

    102 search results - page 1 / 21
    » jucs 2007
    Sort
    View
    JUCS
    2007
    76views more  JUCS 2007»
    Balance in Systems of Finite Sets with Applications
    15 years 2 months ago
    Balance in Systems of Finite Sets with Applications
    Download  www.jucs.org
    Dragos Radu Popescu
    claim paper
    Read More »
    JUCS
    2007
    74views more  JUCS 2007»
    Software Is More Than Code
    15 years 2 months ago
    Software Is More Than Code
    Download  www.cs.man.ac.uk
    Sriram K. Rajamani
    claim paper
    Read More »
    JUCS
    2007
    87views more  JUCS 2007»
    Formal Methods for Specifying, Validating, and Verifying Requirements
    15 years 2 months ago
    Formal Methods for Specifying, Validating, and Verifying Requirements
    Download  www.cs.man.ac.uk
    Constance L. Heitmeyer
    claim paper
    Read More »
    JUCS
    2007
    76views more  JUCS 2007»
    Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages
    15 years 2 months ago
    Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages
    Download  www.jucs.org
    Roberto da Silva Bigonha, Martin A. Musicante
    claim paper
    Read More »
    JUCS
    2007
    77views more  JUCS 2007»
    Formal Methods: Theory Becoming Practice
    15 years 2 months ago
    Formal Methods: Theory Becoming Practice
    Download  www.cs.man.ac.uk
    Jean-Raymond Abrial
    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.