SWS

Results: 2096



#Item
441

1ML – Core and Modules United (F-ing First-class Modules) Andreas Rossberg Google, Germany Abstract

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2015-06-18 02:26:59
    442

    UNDERSTANDING and EXPRESSING SCAL ABLE C ONCURRENCY F Aaron Turon April 19, 2013

    Add to Reading List

    Source URL: www.mpi-sws.org

    Language: English - Date: 2013-04-27 02:25:22
      443

      1ML – Core and Modules United (F-ing First-class Modules) Andreas Rossberg Google, Germany Abstract

      Add to Reading List

      Source URL: www.mpi-sws.org

      Language: English - Date: 2015-06-18 02:27:18
        444

        SWS-L Series Compact and high-power AC/DC power supply ・All specifications are subject to change without notice. Low Profile

        Add to Reading List

        Source URL: www.tdk-lambda.com

        Language: English - Date: 2011-07-15 02:21:18
          445

          Ordered Sets in the Calculus of Data Structures

          Add to Reading List

          Source URL: www.mpi-sws.org

          Language: English - Date: 2010-06-07 15:38:49
            446

            Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults Allen Clement, Edmund Wong, Lorenzo Alvisi, Mike Dahlin The University of Texas at Austin Mirco Marchetti The University of Modena and Reggio Emilia

            Add to Reading List

            Source URL: www.mpi-sws.org

            Language: English - Date: 2011-10-12 07:23:13
              447

              Bedienungsanleitung Schaltsteckdose SWS-1200 Original Betriebsanleitung Stand:

              Add to Reading List

              Source URL: www.stepcraft-systems.com

              Language: German - Date: 2015-07-07 06:13:52
                448

                Verification of an Off-Line Checker for Priority Queues Hans de Nivelle, Ruzica Piskac Max Planck Institut f¨ur Informatik StuhlsatzenhauswegSaarbr¨ucken, Germany {nivelle, rpiskac}@mpi-inf.mpg.de

                Add to Reading List

                Source URL: www.mpi-sws.org

                Language: English - Date: 2005-06-28 07:20:48
                  449

                  Decision Procedures for Automating Termination Proofs Ruzica Piskac1 and Thomas Wies2 1 ´

                  Add to Reading List

                  Source URL: www.mpi-sws.org

                  Language: English - Date: 2011-02-08 09:22:10
                    450

                    IT-Forschung in Kaiserslautern: Ingenieurmäßige Konstruktion von Informatiksystemen MPI-SWS Max Planck Institut für Software Systeme

                    Add to Reading List

                    Source URL: www.cs.uni-kl.de

                    - Date: 2013-02-14 08:16:53
                      UPDATE