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
    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. Del Ninno, Carlo [Author] ; Del Ninno, Carlo [Other]; Mills, Bradford [Other]

    Les filets sociaux en Afrique : Des methodes efficaces pour cibler les populations pauvres et vulnerables en Afrique Sub-Saharienne - [Online-Ausg.]

    Books
    View online
    Close

    Bookmarks

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

    Washington, D.C: The World Bank, 2015

    Published in: Africa Development Forum- World Bank E-Library Archive

  4. 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

  5. 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