Skip to contents

  1. Rauchwerger, Lawrence [Editor]

    Languages and Compilers for Parallel Computing : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers - [1st ed. 2019]

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer, 2019

    Published in: Theoretical Computer Science and General Issues ; 11403- Springer eBooks ; Computer Science

  2. Beyer, Dirk [Editor]; Huisman, Marieke [Editor]

    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer, 2018

    Published in: Lecture notes in computer science ; 10806

  3. Hospodár, Michal [Editor]; Jirásková, Galina [Editor]

    Implementation and Application of Automata : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings - [1st ed. 2019]

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer, 2019

    Published in: Theoretical Computer Science and General Issues ; 11601- Springer eBooks ; Computer Science

  4. Hutchison, David [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Svensson, Lars [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Monteiro, José [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5349

  5. Azemard, Nadine [Other]; Svensson, Lars [Other]

    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Published in: Lecture notes in computer science ; 4644

  6. Vounckx, Johan [Other]; Azemard, Nadine [Other]; Maurine, Philippe [Other]

    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) : 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Published in: Lecture notes in computer science ; 4148

  7. de Supinski, Bronis R. [Editor]; Olivier, Stephen L. [Editor]; Terboven, Christian [Editor]; Chapman, Barbara M. [Editor]; Müller, Matthias S. [Editor]

    Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer, 2017

    Published in: Lecture notes in computer science ; 10468

  8. Gallina, Barbara [Editor]; Skavhaug, Amund [Editor]; Schoitsch, Erwin [Editor]; Bitsch, Friedemann [Editor]

    Computer Safety, Reliability, and Security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer, 2018

    Published in: Programming and Software Engineering ; 11094- SpringerLink ; Bücher- Springer eBook Collection ; Computer Science

  9. Klusáček, Dalibor [Editor]; Cirne, Walfredo [Editor]; Rodrigo, Gonzalo P. [Editor]

    Job Scheduling Strategies for Parallel Processing : 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers - [1st ed. 2021.]

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Published in: Theoretical Computer Science and General Issues ; 12985

  10. Nadel, Alexander [Editor]; Rozier, Kristin Yvonne [Editor]

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023

    Books
    View online
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: TU Wien Academic Press, 2023

    Published in: Conference Series: Formal Methods in Computer-Aided Design

  11. Kołodziej, Joanna [Editor]; González-Vélez, Horacio [Editor]

    High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet

    Books
    View online
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019

    Published in: Lecture Notes in Computer Science

  12. Kołodziej, Joanna [Author] ; González-Vélez, Horacio [Editor]

    High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet

    Books
    View online
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019

  13. Moreno-Díaz, Roberto [Author] ; Pichler, Franz [Other]

    Computer Aided Systems Theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers

    Books
    View online
    Close

    Bookmarks

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

    Berlin; Heidelberg: Springer, 2003

    Published in: Lecture notes in computer science ; 280900