Zum Inhalt springen

  5. Grumberg, Orna [HerausgeberIn]; Francez, Nissim [GefeierteR]; Kaminski, Michael [Sonstige Person, Familie und Körperschaft]; Kats, Shemuʾel [Sonstige Person, Familie und Körperschaft]; Wintner, Shuly [Sonstige Person, Familie und Körperschaft]

    Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday

    Bücher
    Schließen

    Merkliste

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

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

    Erschienen in: Lecture notes in computer science ; 5533

  6. Katz, Shmuel [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Programming Languages

    Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages

    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.

    New York, NY: ACM, 2012

    Erschienen in: ACM Digital Library- ACM Conferences

  7. Katz, Shmuel [VerfasserIn] ; Mezini, Mira [Sonstige Person, Familie und Körperschaft]; Kienzle, Jörg [Sonstige Person, Familie und Körperschaft]

    Transactions on Aspect-Oriented Software Development VII : A Common Case Study for Aspect-Oriented Modeling

    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, 2010

    Erschienen in: Lecture notes in computer science ; 6210

  8. Katz, Shmuel [VerfasserIn] ; Mezini, Mira [HerausgeberIn]; Schwanninger, Christine [HerausgeberIn]; Joosen, Wouter [HerausgeberIn]

    Transactions on Aspect-Oriented Software Development VIII

    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 ; 6580

  9. Katz, Shmuel [VerfasserIn] ; France, Robert [Sonstige Person, Familie und Körperschaft]; Jézéquel, Jean-Marc [Sonstige Person, Familie und Körperschaft]; Ossher, Harold [Sonstige Person, Familie und Körperschaft]

    Transactions on Aspect-Oriented Software Development VI : Special Issue on Aspects and Model-Driven Engineering

    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 ; 5560

  10. Jääskeläinen, Antti [VerfasserIn]; Katara, Mika [VerfasserIn]; Katz, Shmuel [VerfasserIn]; Virtanen, Heikki [VerfasserIn] ; Antti Jääskeläinen and Mika Katara and Shmuel Katz and Heikki Virtanen [MitwirkendeR]

    Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools

    Aufsätze
    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.

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

  11. Achituv, Yosef [MitwirkendeR]; Amir, Yehoyada [MitwirkendeR]; Farbstein, Ester [MitwirkendeR]; Greenberg, Gershon [MitwirkendeR]; Harvey, Warren Zev [MitwirkendeR]; Ilan, Tova [MitwirkendeR]; Jakobovits, Rabbi Shmuel [MitwirkendeR]; Katz, Steven T. [MitwirkendeR]; Katz, Steven T. [HerausgeberIn]; Michman, Dan [MitwirkendeR]; Novak, David [MitwirkendeR]; Ratzabi, Shalom [MitwirkendeR]; Rosenak, Michael [MitwirkendeR]; Rosenberg, Shalom [MitwirkendeR]; Schweid, Eliezer [MitwirkendeR]; Turner, Joseph A. [MitwirkendeR]

    The Impact of the Holocaust on Jewish Theology

    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.

    New York, NY: New York University Press, [2005]

  12. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Naor, Moni [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]; Wintner, Shuly [Sonstige Person, Familie und Körperschaft]; Grumberg, Orna [Sonstige Person, Familie und Körperschaft]; Kaminski, Michael [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Katz, Shmuel [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]

    Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

    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 ; 5533

  14. Arie, Eran [MitwirkendeR]; Aḥituv, Shmuel [MitwirkendeR]; Beit-Arieh, Itzhaq [MitwirkendeR]; Bunimovitz, Shlomo [MitwirkendeR]; Cline, Eric H [MitwirkendeR]; Dagan, Yehuda [MitwirkendeR]; Fantalkin, Alexander [MitwirkendeR]; Faust, Avraham [MitwirkendeR]; Finkelstein, Israel [MitwirkendeR]; Finkelstein, Israel [HerausgeberIn]; Franklin, Norma [MitwirkendeR]; Goren, Yuval [MitwirkendeR]; Gur-Arieh, Shira [MitwirkendeR]; Herzog, Zeʾev [MitwirkendeR]; Katz, Hayah [MitwirkendeR]; Knauf, Ernst Axel [MitwirkendeR]; Lederman, Zvi [MitwirkendeR]; Lemaire, André [MitwirkendeR]; Lipschits, Oded [MitwirkendeR]; Maeir, Aren M [MitwirkendeR]; Martin, Mario A. S [MitwirkendeR]; Mazar, Amihai [MitwirkendeR]; Na'aman, Nadav [HerausgeberIn]; Naʾaman, Nadav [MitwirkendeR]; [...]

    The Fire Signals of Lachish : Studies in the Archaeology and History of Israel in the Late Bronze Age, Iron Age, and Persian Period in Honor of David Ussishkin

    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.

    University Park, PA: Penn State University Press, [2021] ; [Online-Ausgabe]