Skip to contents

  1. Abdulla, Parosh Aziz [Editor]; Leino, K. Rustan M. [Other] ; TACAS 17 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Published in: Lecture notes in computer science ; 6605

  2. Giele, Janet Zollinger [Author]

    Family policy and the American safety net

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    London [u.a.]: SAGE, 2013

    Published in: Contemporary family perspectives

  3. Kang, Munsu [Author]

    Energy Subsidies in the Middle East : Balancing Social Safety Nets and Climate Change

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [S.l.]: SSRN, [2023]

    Published in: KIEP Research Paper, KIEP Opinions ; No. 251

  4. Hembre, Erik [Author]; Collins, J. Michael [Author]; Wylde, Samuel [Author]

    A Rising Tide Lifts All Homes? Housing Quality Improvements for Safety Net Recipients Since the 1980s

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [S.l.]: SSRN, [2023]

  5. Nasri, Khaled [Author]; Amara, Mohamed [Author]; Helmy, Imane [Author]

    Social safety nets in Tunisia : comparison of different targeting methods

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dokki, Giza, Egypt: Economic Research Forum (ERF), [2022]

    Published in: Economic Research Forum for the Arab Countries, Iran and Turkey: ERF working papers series ; 1593

  6. Abdulla, Parosh Aziz [Author]; Atig, Mohamed Faouzi [Author]; Ciobanu, Radu [Author]; Mayr, Richard [Author]; Totzke, Patrick [Author] ; Parosh Aziz Abdulla and Mohamed Faouzi Atig and Radu Ciobanu and Richard Mayr and Patrick Totzke [Contributor]

    Universal Safety for Timed Petri Nets is PSPACE-complete

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018