Sciweavers

    17129 search results - page 172 / 3426
    » Applied Computing
    Sort
    View
    BIRTHDAY
    2005
    Springer
    147views Applied Computing» more  BIRTHDAY 2005»
    Bridging Theorem Proving and Mathematical Knowledge Retrieval
    15 years 8 months ago
    Bridging Theorem Proving and Mathematical Knowledge Retrieval
    Download  www.ags.uni-sb.de
    Christoph Benzmüller, Andreas Meier, Volker S...
    claim paper
    Read More »
    CIE
    2005
    Springer
    71views Applied Computing» more  CIE 2005»
    Uniform Operators
    15 years 8 months ago
    Uniform Operators
    Download  www.ams.org
    Ivan N. Soskov
    claim paper
    Read More »
    CIE
    2005
    Springer
    72views Applied Computing» more  CIE 2005»
    The Church-Turing Thesis: Breaking the Myth
    15 years 8 months ago
    The Church-Turing Thesis: Breaking the Myth
    Download  www.cse.uconn.edu
    Dina Q. Goldin, Peter Wegner
    claim paper
    Read More »
    EGICE
    2006
    227views Applied Computing» more  EGICE 2006»
    Formalizing Construction Knowledge for Concurrent Performance-Based Design
    15 years 8 months ago
    Formalizing Construction Knowledge for Concurrent Performance-Based Design
    Download  imac.epfl.ch
    Martin Fischer
    claim paper
    Read More »
    CMSB
    2008
    Springer
    112views Applied Computing» more  CMSB 2008»
    An Exact Brownian Dynamics Method for Cell Simulation
    15 years 8 months ago
    An Exact Brownian Dynamics Method for Cell Simulation
    Download  wwwmosi.informatik.uni-rostock.de
    Koichi Takahashi
    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.