Zum Inhalt springen

  4. Brown, Nathan J. [VerfasserIn]; Hamzawy, Amr [VerfasserIn] ; Carnegie Endowment for International Peace

    Arab Peace Initiative II : Arab leadership could design a peace plan in Israel and Palestine

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Washington, DC: Carnegie Endowment for International Peace, November 2023

    Erschienen in: Working paper / Carnegie Endowment for International Peace

  7. Tillam, Thomas [VerfasserIn]

    Banners of love displaied over the Church of Christ, walking in the order of the Gospel at Hexham: by the out-stretched arm of the King of Saints, against the jesuitical design lately attempted by the false Iew. Or, An answer to a narrative stuff'd with untruths, by four Newcastle gentlemen

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    London: Printed by Hen. Hills, and are to be sold at his house at the sign of Sir John Old Castle in Py-Corner, 1654 ; Ann Arbor, Mich: UMI, 1999

    Erschienen in: Early English Books Online / EEBO

  8. Brender, Adi [VerfasserIn]; Strawczynski, Michel [VerfasserIn]

    The EITC program in Israel : employment effects and evidence on the differential impacts of family vs. individual-income based design

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Jerusalem, Israel: The Maurice Falk Institute for Economic Research in Israel Ltd., June 2019

    Erschienen in: ham- Māḵôn le-Meḥqār Kalkālî be-Yiśrā'ēl ʿal Šēm Môrîs Fâlq: Discussion paper ; 2019,6

  9. Israel Conference on Computer Systems and Software Engineering (7th :1996 :Hertseliyah, Israel), IEEE Computer Society Israel Chapter

    Proceedings of the Seventh Israeli Conference on Computer Systems and Software Engineering, June 12-13, 1996, Herzliya, Israel

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Los Alamitos, Calif: IEEE Computer Society Press, 1996

  11. Dershowitz, Nachum [VerfasserIn] ; Lindenstrauss, Naomi [Sonstige Person, Familie und Körperschaft]

    Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

    Erschienen in: Lecture notes in computer science ; 968

  12. Dolev, Danny [VerfasserIn] ; Galil, Zvi [Sonstige Person, Familie und Körperschaft]; Rodeh, Michael [Sonstige Person, Familie und Körperschaft]

    Theory of Computing and Systems : ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

    Erschienen in: Lecture notes in computer science ; 601

  13. Grumberg, Orna [VerfasserIn]

    Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

    Erschienen in: Lecture notes in computer science ; 1254

  14. Yorav, Karen [Sonstige Person, Familie und Körperschaft]

    Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 4899

  15. Abiteboul, Serge [VerfasserIn] ; Shamir, Eli [Sonstige Person, Familie und Körperschaft]

    Automata, Languages, and Programming : 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1994

    Erschienen in: Lecture notes in computer science ; 820

  16. Namjoshi, Kedar [VerfasserIn] ; Zeller, Andreas [HerausgeberIn]; Ziv, Avi [HerausgeberIn]

    Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6405

  17. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Chockler, Hana [Sonstige Person, Familie und Körperschaft]; Hu, Alan J. [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]

    Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5394

  18. Akehurst, David [Sonstige Person, Familie und Körperschaft]; Koontz, Dean R. [Sonstige Person, Familie und Körperschaft]; Vogel, Regis [Sonstige Person, Familie und Körperschaft]

    Model Driven Architecture- Foundations and Applications : Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4530

  19. Yahav, Eran [VerfasserIn]

    Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8855

  20. Biere, Armin [VerfasserIn] ; Nahir, Amir [HerausgeberIn]; Vos, Tanja [HerausgeberIn]

    Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 7857