Zum Inhalt springen

  1. Rauchwerger, Lawrence [HerausgeberIn]

    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]

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

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

  3. Pophale, Swaroop [HerausgeberIn]; Imam, Neena [HerausgeberIn]; Aderholdt, Ferrol [HerausgeberIn]; Gorentla Venkata, Manjunath [HerausgeberIn]

    OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, 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, 2019

    Erschienen in: Programming and Software Engineering ; 11283- Springer eBooks ; Computer Science

  4. Paliouras, Vassilis [Sonstige Person, Familie und Körperschaft]; Verkest, Diederik [Sonstige Person, Familie und Körperschaft]; Vounckx, Johan [Sonstige Person, Familie und Körperschaft]

    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

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

    Erschienen in: Lecture notes in computer science ; 3728

  6. Hospodár, Michal [HerausgeberIn]; Jirásková, Galina [HerausgeberIn]

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

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

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

  7. Beyer, Dirk [HerausgeberIn]; Huisman, Marieke [HerausgeberIn]

    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

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

    Erschienen in: Lecture notes in computer science ; 10806

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

    Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, 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.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10468

  9. Chamberlain, Roger [HerausgeberIn]; Taha, Walid [HerausgeberIn]; Törngren, Martin [HerausgeberIn]

    Cyber Physical Systems. Design, Modeling, and Evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, 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, 2019

    Erschienen in: Information Systems and Applications, incl. Internet/Web, and HCI ; 11267- Springer eBooks ; Computer Science

  10. Heisel, Maritta [VerfasserIn]

    Software Service and Application Engineering : Essays Dedicated to Bernd Krämer 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, 2012

    Erschienen in: Lecture notes in computer science ; 7365

  11. Hutchison, David [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]; Svensson, Lars [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]; Kanade, Takeo [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]; Monteiro, José [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]

    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

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

  12. Azemard, Nadine [Sonstige Person, Familie und Körperschaft]; Svensson, Lars [Sonstige Person, Familie und Körperschaft]

    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. 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, 2007

    Erschienen in: Lecture notes in computer science ; 4644

  13. Vounckx, Johan [Sonstige Person, Familie und Körperschaft]; Azemard, Nadine [Sonstige Person, Familie und Körperschaft]; Maurine, Philippe [Sonstige Person, Familie und Körperschaft]

    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

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

    Erschienen in: Lecture notes in computer science ; 4148

  14. Nadel, Alexander [HerausgeberIn]; Rozier, Kristin Yvonne [HerausgeberIn]

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

    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.

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

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

  15. Piskac, Ruzica [HerausgeberIn]; Whalen, Michael [HerausgeberIn]

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

    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.

    Vienna: TU Wien Academic Press, 2021

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

  16. Piskac, Ruzica [VerfasserIn] ; Whalen, Michael [HerausgeberIn]

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

    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.

    Vienna: TU Wien Academic Press, 2021

  17. Ivrii, Alexander [HerausgeberIn]; Strichman, Ofer [HerausgeberIn]

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

    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.

    Vienna: TU Wien Academic Press, 2020

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

  18. Ivrii, Alexander [VerfasserIn] ; Strichman, Ofer [HerausgeberIn]

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

    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.

    Vienna: TU Wien Academic Press, 2020

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

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

    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.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019

    Erschienen in: Lecture Notes in Computer Science

  20. Kołodziej, Joanna [VerfasserIn] ; González-Vélez, Horacio [HerausgeberIn]

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

    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.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019