Skip to contents

  1. Paliouras, Vassilis [Other]; Verkest, Diederik [Other]; Vounckx, Johan [Other]

    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3728

  5. 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
    Schließen
    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

  6. 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
    Schließen
    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

  7. 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
    Schließen
    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

  8. 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
    Schließen
    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

  9. 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
    Schließen
    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

  10. 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
    Schließen
    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

  11. 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
    Schließen
    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

  13. 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
    Schließen
    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

  16. 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
    Schließen
    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

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

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

    Books
    View online
    Schließen
    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