Zum Inhalt springen

  1. Eekelen, Marko van [Sonstige Person, Familie und Körperschaft]; Shkaravska, Olha [Sonstige Person, Familie und Körperschaft]; Eekelen, Marko C. van [HerausgeberIn] ; FOPARA 1 2009 Eindhoven

    Foundational and practical aspects of resource analysis : first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010 ; revised selected papers

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

    Erschienen in: Lecture notes in computer science ; 6324

  2. Peña, Ricardo [VerfasserIn] ; Eekelen, Marko [Sonstige Person, Familie und Körperschaft]; Shkaravska, Olha [Sonstige Person, Familie und Körperschaft]

    Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, 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, 2012

    Erschienen in: Lecture notes in computer science ; 7177

  3. Eekelen, Marko C. van [HerausgeberIn]; Shkaravska, Olha [HerausgeberIn]

    Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 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, 2010

    Erschienen in: Lecture notes in computer science ; 6324

  6. Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro

    Foundational and Practical Aspects of Resource Analysis: Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists

    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.

    Springer International Publishing, 2014

    Erschienen in: Foundational and Practical Aspects of Resource Analysis

  8. Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro

    Implementation and Application of Functional Languages: Collected Size Semantics for Functional Programs over Lists

    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.

    Springer Berlin Heidelberg, 2011

    Erschienen in: Implementation and Application of Functional Languages

  10. Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo

    Foundational and Practical Aspects of Resource Analysis: Interpolation-Based Height Analysis for Improving a Recurrence Solver

    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.

    Springer Berlin Heidelberg, 2012

    Erschienen in: Foundational and Practical Aspects of Resource Analysis

  14. Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha

    Logic for Programming, Artificial Intelligence, and Reasoning: Automatic Certification of Heap Consumption

    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.

    Springer Berlin Heidelberg, 2005

    Erschienen in: Logic for Programming, Artificial Intelligence, and Reasoning

  16. Hintz, Florian; Shkaravska, Olha; Dijkhuis, Marjolijn; van ‘t Hoff, Vera; Huijsmans, Milou; van Dongen, Robert C. A.; Voeteé, Levi A. B.; Trilsbeek, Paul; McQueen, James M.; Meyer, Antje S.

    IDLaS-NL – A platform for running customized studies on individual differences in Dutch language skills via the Internet

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Springer Science and Business Media LLC, 2023

    Erschienen in: Behavior Research Methods