Sciweavers

    17920 search results - page 154 / 3584
    » Recentering computer science
    Sort
    View
    ECA
    1994
    192views Theoretical Computer Science» more  ECA 1994»
    Abstraction, ethics and software: why don't the rules work?
    15 years 8 months ago
    Abstraction, ethics and software: why don't the rules work?
    Download  www.cse.unsw.edu.au
    Shelly Warwick
    claim paper
    Read More »
    MFCS
    1993
    Springer
    115views Theoretical Computer Science» more  MFCS 1993»
    Completeness Results for Linear Logic on Petri Nets
    15 years 8 months ago
    Completeness Results for Linear Logic on Petri Nets
    Download  www.daimi.au.dk
    Uffe Engberg, Glynn Winskel
    claim paper
    Read More »
    MFCS
    1994
    Springer
    86views Theoretical Computer Science» more  MFCS 1994»
    Full Abstraction for the Second Order Subset of an Algol-Like Language
    15 years 8 months ago
    Full Abstraction for the Second Order Subset of an Algol-Like Language
    Download  scidok.sulb.uni-saarland.de
    Kurt Sieber
    claim paper
    Read More »
    MFCS
    1994
    Springer
    117views Theoretical Computer Science» more  MFCS 1994»
    On-Line Scheduling of Parallel Jobs
    15 years 8 months ago
    On-Line Scheduling of Parallel Jobs
    Download  www.ceid.upatras.gr
    Jiri Sgall
    claim paper
    Read More »
    MFCS
    1994
    Springer
    93views Theoretical Computer Science» more  MFCS 1994»
    Stable Bistructure Models of PCF
    15 years 8 months ago
    Stable Bistructure Models of PCF
    Download  www.brics.dk
    Glynn Winskel
    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.