Zum Inhalt springen

  2. Plasmeijer, Rinus [VerfasserIn] ; Eekelen, Marko van [Sonstige Person, Familie und Körperschaft]

    Functional programming and parallel graph rewriting - [1. print.]

    Bücher
    Schließen

    Merkliste

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

    Wokingham, England [u.a.]: Addison-Wesley, 1993

    Erschienen in: International computer science series

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

  4. Eekelen, Marko C. van [VerfasserIn] ; Association for Computing Machinery

    Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research

    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.

    Open Univ., Heerlen, The Netherlands: Open Universiteit, Heerlen, 2013

    Erschienen in: ACM Digital Library- ACM Other conferences

  5. Eekelen, Marko van [VerfasserIn] ; Geuvers, Herman [Sonstige Person, Familie und Körperschaft]; Schmaltz, Julien [Sonstige Person, Familie und Körperschaft]; Wiedijk, Freek [Sonstige Person, Familie und Körperschaft]

    Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. 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, 2011

    Erschienen in: Lecture notes in computer science ; 6898

  6. van Eekelen, Marko [HerausgeberIn]; Dal Lago, Ugo [HerausgeberIn]

    Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. 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.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 9964

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

  8. Smetsers, Sjaak [VerfasserIn]; Madlener, Ken [VerfasserIn]; van Eekelen, Marko [VerfasserIn] ; Sjaak Smetsers and Ken Madlener and Marko van Eekelen [MitwirkendeR]

    Formalizing Bialgebraic Semantics in PVS 6.0

    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.

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

  9. van Eekelen, Marko; Eder, Kerstin

    Preface

    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.

    Elsevier BV, 2016

    Erschienen in: Electronic Notes in Theoretical Computer Science

  13. Plasmeijer, Rinus; van Eekelen, Marko

    Applications of Graph Transformations with Industrial Relevance: Term Graph Rewriting and Mobile Expressions in Functional Languages

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

    Erschienen in: Applications of Graph Transformations with Industrial Relevance

  16. Schuderer, Andreas; Bromuri, Stefano; van Eekelen, Marko

    Lecture Notes in Computer Science: Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models

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

    Erschienen in: Lecture Notes in Computer Science

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