Sciweavers

    12766 search results - page 224 / 2554
    » collective
    Sort
    View
    DAGSTUHL
    2007
    102views Software Engineering» more  DAGSTUHL 2007»
    07471 Abstracts Collection - Equilibrium Computation
    15 years 8 months ago
    07471 Abstracts Collection - Equilibrium Computation
    Download  drops.dagstuhl.de
    P. Jean-Jacques Herings, Marcin Jurdzinski, Peter ...
    claim paper
    Read More »
    DAGSTUHL
    2007
    75views Software Engineering» more  DAGSTUHL 2007»
    06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis
    15 years 8 months ago
    06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis
    Download  drops.dagstuhl.de
    Jean-Raymond Abrial, Uwe Glässer
    claim paper
    Read More »
    DAGSTUHL
    2008
    98views Software Engineering» more  DAGSTUHL 2008»
    08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures
    15 years 8 months ago
    08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures
    Download  drops.dagstuhl.de
    Wolfram Luther, Annie A. M. Cuyt, Walter Kräm...
    claim paper
    Read More »
    DAGSTUHL
    2008
    96views Software Engineering» more  DAGSTUHL 2008»
    08071 Abstracts Collection -- Scheduling
    15 years 8 months ago
    08071 Abstracts Collection -- Scheduling
    Download  drops.dagstuhl.de
    Jane W.-S. Liu, Rolf H. Möhring, Kirk Pruhs
    claim paper
    Read More »
    DAGSTUHL
    2008
    89views Software Engineering» more  DAGSTUHL 2008»
    08061 Abstracts Collection -- Types, Logics and Semantics for State
    15 years 8 months ago
    08061 Abstracts Collection -- Types, Logics and Semantics for State
    Download  drops.dagstuhl.de
    Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
    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.