Sciweavers

    17129 search results - page 204 / 3426
    » Applied Computing
    Sort
    View
    TAMC
    2010
    Springer
    219views Applied Computing» more  TAMC 2010»
    Different Approaches to Proof Systems
    15 years 4 months ago
    Different Approaches to Proof Systems
    Download  www.thi.uni-hannover.de
    Olaf Beyersdorff, Sebastian Müller
    claim paper
    Read More »
    TAMC
    2010
    Springer
    229views Applied Computing» more  TAMC 2010»
    Revisiting the Minimum Breakpoint Linearization Problem
    15 years 4 months ago
    Revisiting the Minimum Breakpoint Linearization Problem
    Download  hal.archives-ouvertes.fr
    Laurent Bulteau, Guillaume Fertin, Irena Rusu
    claim paper
    Read More »
    TGC
    2010
    Springer
    196views Applied Computing» more  TGC 2010»
    Responsive Choice in Mobile Processes
    15 years 4 months ago
    Responsive Choice in Mobile Processes
    Download  www.gamboni.org
    Maxime Gamboni, António Ravara
    claim paper
    Read More »
    BIRTHDAY
    2009
    Springer
    85views Applied Computing» more  BIRTHDAY 2009»
    Ten Reasons to Metamodel ASMs
    15 years 4 months ago
    Ten Reasons to Metamodel ASMs
    Download  www.unibg.it
    Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
    claim paper
    Read More »
    CIE
    2009
    Springer
    90views Applied Computing» more  CIE 2009»
    Immunity for Closed Sets
    15 years 4 months ago
    Immunity for Closed Sets
    Download  www.math.ufl.edu
    Douglas Cenzer, Rebecca Weber, Guohua Wu
    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.