SWS

Results: 2096



#Item
471

住友電装株式会社 ２０１５年９月１６日 【人事異動】 発令日：２０１５年１０月１日 新　　　　　　　　　　職

Add to Reading List

Source URL: www.sws.co.jp

- Date: 2015-09-15 20:08:45
    472

    SoK: The Evolution of Sybil Defense via Social Networks Lorenzo Alvisi UT Austin Allen Clement MPI-SWS

    Add to Reading List

    Source URL: www.cs.utexas.edu

    Language: English - Date: 2013-03-08 13:56:21
      473

      住友電装株式会社 ２０１５年７月１６日 【人事異動】 発令日：２０１５年８月１日 新　　　　　　　　　　職

      Add to Reading List

      Source URL: www.sws.co.jp

      - Date: 2015-07-15 23:39:51
        474

        Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland

        Add to Reading List

        Source URL: www.mpi-sws.org

        Language: English - Date: 2009-12-15 08:18:45
          475

          PFLICHTVERANSTALTUNGEN ART/SWS/ECTS/ ABGELEISTER BEI

          Add to Reading List

          Source URL: www.studienbueros09.uni-mainz.de

          Language: German - Date: 2009-05-25 05:21:30
            476

            Interactive Synthesis of Code Snippets Tihomir Gvero, Viktor Kuncak, and Ruzica Piskac? Swiss Federal Institute of Technology Lausanne (EPFL) Abstract. We describe a tool that applies theorem

            Add to Reading List

            Source URL: www.mpi-sws.org

            Language: English - Date: 2011-07-16 18:16:48
              477

              On the Reliability of Profile Matching Across Large Online Social Networks Oana Goga Patrick Loiseau

              Add to Reading List

              Source URL: www.mpi-sws.org

              Language: English - Date: 2015-08-02 05:09:33
                478

                Formal Correctness of Result Checking for Priority Queues by Ruzica Piskac

                Add to Reading List

                Source URL: www.mpi-sws.org

                Language: English - Date: 2008-01-26 07:58:20
                  479

                  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.informatik.uni-kl.de

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

                    Dual Analysis for Proving Safety and Finding Bugs Corneliu Popeea Max Planck Institute for Software Systems (MPI-SWS)

                    Add to Reading List

                    Source URL: www.comp.nus.edu.sg

                    Language: English - Date: 2013-07-17 06:32:08
                      UPDATE