SWS

Results: 2096



#Item
101

FALL 2006  VOLUME XXIII NO. 3 Networknews The Newsletter of Sociologists for Women in Society SWS in Montréal: C’est Magnifique!

Add to Reading List

Source URL: www.socwomen.org

    102

    The Newsletter of Sociologists for Women in SocietyWinter Meeting, JanuaryGender in the Context of Globalization: Exploring Diversity and Change By: Christine E. Bose SWS President-Elect

    Add to Reading List

    Source URL: www.socwomen.org

      103

      Anhang I: Lernziele und Kreditpunkte Modul Einführung in die slavische Sprach- und Literaturwissenschaft Veranstaltungen: Einführungsseminar „Einführung in die Literaturwissenschaft“ (2 SWS, 6 ECTS, benotet); Einf

      Add to Reading List

      Source URL: www.unibe.ch

      - Date: 2016-12-21 11:51:23
        104

        Hey Jane! Making Cold Introductions Welcome to Column 39 of Hey Jane! This is a project of the SWS Career Development Committee. Questions are generated by the committee and SWS members. The response for this issue was w

        Add to Reading List

        Source URL: socwomen.org

          105

          DRAFT Repairing Sequential Consistency in C/C++11 Ori Lahav Viktor Vafeiadis

          Add to Reading List

          Source URL: plv.mpi-sws.org

          - Date: 2016-11-16 10:34:47
            106

            The Iris 2.0 Documentation August 24, 2016 Contents 1 Algebraic Structures 1.1 COFE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

            Add to Reading List

            Source URL: plv.mpi-sws.org

            - Date: 2016-08-24 11:28:43
              107

              Mother’s Day By Julie Shayne For Sociologists for Women in Society (SWS) Winter Meeting February 2010 A version of this essay appears as the Afterword in my edited collection Taking Risks: Feminist Activism and Researc

              Add to Reading List

              Source URL: www.julieshayne.net

              - Date: 2014-08-30 16:59:34
                108

                Higher-Order Ghost State Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer ICFP 2016 in Nara, Japan Max Planck Institute for Software Systems (MPI-SWS), Aarhus University

                Add to Reading List

                Source URL: people.mpi-sws.org

                - Date: 2016-10-11 12:45:07
                  109

                  The Iris 3.0 Documentation http://plv.mpi-sws.org/iris/ December 12, 2016 Abstract This document describes formally the Iris program logic. Every result in this document has

                  Add to Reading List

                  Source URL: plv.mpi-sws.org

                  - Date: 2016-12-12 11:17:52
                    110

                    A Higher-Order Logic for Concurrent Termination-Preserving Refinement Joseph Tassarotti1 , Ralf Jung2 , and Robert Harper1 1 Carnegie Mellon University, Pittsburgh, USA

                    Add to Reading List

                    Source URL: people.mpi-sws.org

                    - Date: 2016-10-22 08:05:55
                      UPDATE