Sciweavers

    15777 search results - page 106 / 3156
    » Engineering in Software
    Sort
    View
    TACS
    2001
    Springer
    99views Software Engineering» more  TACS 2001»
    Nominal Logic: A First Order Theory of Names and Binding
    15 years 7 months ago
    Nominal Logic: A First Order Theory of Names and Binding
    Download  www.cl.cam.ac.uk
    Andrew M. Pitts
    claim paper
    Read More »
    APAQS
    2000
    IEEE
    82views Software Engineering» more  APAQS 2000»
    Keynote Address I
    15 years 7 months ago
    Keynote Address I
    Download  www.cecs.uci.edu
    K. H. Lau
    claim paper
    Read More »
    104
    Voted
    CSMR
    2000
    IEEE
    100views Software Engineering» more  CSMR 2000»
    Generation of Stateless Components from Procedural Programs for Reuse in a Distributed System
    15 years 7 months ago
    Generation of Stateless Components from Procedural Programs for Reuse in a Distributed System
    Download  www.caseconsult.com
    Harry M. Sneed
    claim paper
    Read More »
    ICRE
    2000
    IEEE
    122views Software Engineering» more  ICRE 2000»
    Requirements-Related Risks in Critical Systems
    15 years 7 months ago
    Requirements-Related Risks in Critical Systems
    Download  www.cse.msu.edu
    Peter G. Neumann
    claim paper
    Read More »
    SIGSOFT
    2000
    ACM
    75views Software Engineering» more  SIGSOFT 2000»
    The shape of things to come?
    15 years 7 months ago
    The shape of things to come?
    Download  www.statewatch.org
    Richard F. Rashid
    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.