Error[unknown-locale | Frontend.ProductSearchPage | section.bannerbox.prefix] Error[unknown-locale | Frontend.ProductSearchPage | section.bannerbox.publisher.all] Error[unknown-locale | Frontend.ProductSearchPage | section.bannerbox.titles]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.refinesearch]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.refinesearch]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.contenttype]

  1. Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.book] 2,305
  2. Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.series] 41
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.showremaining]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.topics]

  1. Error[unknown-locale | Msc | I14029] 2,346 Remove
  2. Error[unknown-locale | Msc | I14002] 311
  3. Error[unknown-locale | Msc | I1603X] 261
  4. Error[unknown-locale | Msc | I14037] 242
  5. Error[unknown-locale | Msc | I14010] 179
  1. Error[unknown-locale | Msc | I13022] 159
  2. Error[unknown-locale | Msc | I24067] 145
  3. Error[unknown-locale | Msc | I21000] 108
  4. Error[unknown-locale | Msc | I18040] 88
  5. Error[unknown-locale | Msc | I16005] 64
  6. Error[unknown-locale | Msc | 522000] 49
  7. Error[unknown-locale | Msc | I13049] 46
  8. Error[unknown-locale | Msc | I16048] 46
  9. Error[unknown-locale | Msc | I16021] 43
  10. Error[unknown-locale | Msc | I18067] 43
  11. Error[unknown-locale | Msc | I13030] 40
  12. Error[unknown-locale | Msc | I14045] 38
  13. Error[unknown-locale | Msc | 522050] 33
  14. Error[unknown-locale | Msc | I13006] 33
  15. Error[unknown-locale | Msc | I28060] 31
  16. Error[unknown-locale | Msc | 515020] 22
  17. Error[unknown-locale | Msc | I18016] 21
  18. Error[unknown-locale | Msc | I18024] 21
  19. Error[unknown-locale | Msc | T11014] 20
  20. Error[unknown-locale | Msc | I19000] 16
  21. Error[unknown-locale | Msc | I16013] 14
  22. Error[unknown-locale | Msc | I18008] 14
  23. Error[unknown-locale | Msc | I00001] 13
  24. Error[unknown-locale | Msc | I18032] 12
  25. Error[unknown-locale | Msc | I23001] 10
  26. Error[unknown-locale | Msc | I22013] 9
  27. Error[unknown-locale | Msc | I13014] 8
  28. Error[unknown-locale | Msc | I13057] 8
  29. Error[unknown-locale | Msc | I17028] 8
  30. Error[unknown-locale | Msc | T24068] 8
  31. Error[unknown-locale | Msc | T11006] 7
  32. Error[unknown-locale | Msc | T11022] 7
  33. Error[unknown-locale | Msc | T24035] 7
  34. Error[unknown-locale | Msc | I12050] 6
  35. Error[unknown-locale | Msc | I15017] 6
  36. Error[unknown-locale | Msc | I22021] 6
  37. Error[unknown-locale | Msc | I29030] 6
  38. Error[unknown-locale | Msc | T17004] 6
  39. Error[unknown-locale | Msc | I23044] 5
  40. Error[unknown-locale | Msc | 500000] 4
  41. Error[unknown-locale | Msc | 515010] 4
  42. Error[unknown-locale | Msc | I24016] 4
  43. Error[unknown-locale | Msc | I24032] 4
  44. Error[unknown-locale | Msc | I24075] 4
  45. Error[unknown-locale | Msc | I27000] 4
  46. Error[unknown-locale | Msc | I28020] 4
  47. Error[unknown-locale | Msc | T19020] 4
  48. Error[unknown-locale | Msc | T22032] 4
  49. Error[unknown-locale | Msc | 515000] 3
  50. Error[unknown-locale | Msc | 518000] 3
  51. Error[unknown-locale | Msc | 522030] 3
  52. Error[unknown-locale | Msc | M14050] 3
  53. Error[unknown-locale | Msc | M27004] 3
  54. Error[unknown-locale | Msc | T00004] 3
  55. Error[unknown-locale | Msc | T17020] 3
  56. Error[unknown-locale | Msc | T17047] 3
  57. Error[unknown-locale | Msc | 522020] 2
  58. Error[unknown-locale | Msc | A11007] 2
  59. Error[unknown-locale | Msc | I1200X] 2
  60. Error[unknown-locale | Msc | I12077] 2
  61. Error[unknown-locale | Msc | I15009] 2
  62. Error[unknown-locale | Msc | I15025] 2
  63. Error[unknown-locale | Msc | I15041] 2
  64. Error[unknown-locale | Msc | I17001] 2
  65. Error[unknown-locale | Msc | I18059] 2
  66. Error[unknown-locale | Msc | I21040] 2
  67. Error[unknown-locale | Msc | I2301X] 2
  68. Error[unknown-locale | Msc | I24008] 2
  69. Error[unknown-locale | Msc | I24024] 2
  70. Error[unknown-locale | Msc | I24059] 2
  71. Error[unknown-locale | Msc | I25004] 2
  72. Error[unknown-locale | Msc | I29020] 2
  73. Error[unknown-locale | Msc | I29050] 2
  74. Error[unknown-locale | Msc | M24005] 2
  75. Error[unknown-locale | Msc | O36000] 2
  76. Error[unknown-locale | Msc | Q23000] 2
  77. Error[unknown-locale | Msc | T24000] 2
  78. Error[unknown-locale | Msc | T24080] 2
  79. Error[unknown-locale | Msc | 111000] 1
  80. Error[unknown-locale | Msc | 115000] 1
  81. Error[unknown-locale | Msc | 516000] 1
  82. Error[unknown-locale | Msc | 519000] 1
  83. Error[unknown-locale | Msc | 521000] 1
  84. Error[unknown-locale | Msc | 522010] 1
  85. Error[unknown-locale | Msc | 523000] 1
  86. Error[unknown-locale | Msc | 527070] 1
  87. Error[unknown-locale | Msc | 612020] 1
  88. Error[unknown-locale | Msc | B14000] 1
  89. Error[unknown-locale | Msc | C18000] 1
  90. Error[unknown-locale | Msc | G00002] 1
  91. Error[unknown-locale | Msc | H59001] 1
  92. Error[unknown-locale | Msc | I12018] 1
  93. Error[unknown-locale | Msc | I12026] 1
  94. Error[unknown-locale | Msc | I12042] 1
  95. Error[unknown-locale | Msc | I1701X] 1
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.showremaining]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.publicationdate]

  1. Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.older] 2,342 Remove
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.showremaining]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.language]

  1. Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.en] 2,066
  2. Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.de] 279
  3. Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.it] 1
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.showremaining]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.filter.header]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.showingresults]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.whithin] Error[unknown-locale | Msc | I14029] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.older]

Computer Safety, Reliability, and Security Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Computer Safety, Reliability, and Security

Habli, I. (Ed), Sujan, M. (Ed), Bitsch, F. (Ed) (2021)

This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Testing Software and Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Testing Software and Systems

Casola, V. (Ed), De Benedictis, A. (Ed), Rak, M. (Ed) (2020)

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

NASA Formal Methods Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

NASA Formal Methods

Lee, R. (Ed), Jha, S. (Ed), Mavridou, A. (Ed), Giannakopoulou, D. (Ed) (2020)

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Coordination Models and Languages Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Coordination Models and Languages

Bliudze, S. (Ed), Bocchi, L. (Ed) (2020)

This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment

Bruel, J. (Ed), Mazzara, M. (Ed), Meyer, B. (Ed) (2020)

This book constitutes revised selected papers of the Second International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Parallel Processing and Applied Mathematics Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Parallel Processing and Applied Mathematics

Wyrzykowski, R. (Ed), Deelman, E. (Ed), Dongarra, J. (Ed), Karczewski, K. (Ed) (2020)

The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Parallel Processing and Applied Mathematics Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Parallel Processing and Applied Mathematics

Wyrzykowski, R. (Ed), Deelman, E. (Ed), Dongarra, J. (Ed), Karczewski, K. (Ed) (2020)

The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Dependable Software Engineering. Theories, Tools, and Applications Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Dependable Software Engineering. Theories, Tools, and Applications

Guan, N. (Ed), Katoen, J. (Ed), Sun, J. (Ed) (2019)

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Parallel Computing Hits the Power Wall Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Parallel Computing Hits the Power Wall

Francisco Lorenzon, A., Beck Filho, A. C. S. (2019)

This book describes several approaches to adaptability that are applied for the optimization of parallel applications, such as thread-level parallelism exploitation and dynamic …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Verification and Evaluation of Computer and Communication Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Verification and Evaluation of Computer and Communication Systems

Ganty, P. (Ed), Kaâniche, M. (Ed) (2019)

This book constitutes the proceedings of the 13th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2019), held in Porto, …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]

Testing Software and Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Testing Software and Systems

Gaston, C. (Ed), Kosmatov, N. (Ed), Le Gall, P. (Ed) (2019)

This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Software Engineering for Resilient Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Software Engineering for Resilient Systems

Calinescu, R. (Ed), Di Giandomenico, F. (Ed) (2019)

This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Software Technologies Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Software Technologies

van Sinderen, M. (Ed), Maciaszek, L. A. (Ed) (2019)

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Joint Conference on Software Technologies, ICSOFT 2018, held in Porto, …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Programming and Performance Visualization Tools Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Programming and Performance Visualization Tools

Bhatele, A. (Ed), Boehme, D. (Ed), Levine, J. A. (Ed), Malony, A. D. (Ed), Schulz, M. (Ed) (2019)

This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Software Analysis, Testing, and Evolution Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Software Analysis, Testing, and Evolution

Bu, L. (Ed), Xiong, Y. (Ed) (2018)

This book constitutes the refereed proceedings of the 8th International Conference on Software Analysis, Testing, and Evolution, SATE 2018. The conference was co-located with the …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Product-Focused Software Process Improvement Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Product-Focused Software Process Improvement

Kuhrmann, M. (Ed), Schneider, K. (Ed), Pfahl, D. (Ed), Amasaki, S. (Ed), Ciolkowski, M. (Ed), Hebig, R. (Ed), Tell, P. (Ed), Klünder, J. (Ed), Küpper, S. (Ed) (2018)

This book constitutes the refereed proceedings of the 19th International Conference on Product-Focused Software Process Improvement, PROFES 2018, held in Wolfsburg, Germany, in …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Parallel Processing and Applied Mathematics Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Parallel Processing and Applied Mathematics

Wyrzykowski, R. (Ed), Dongarra, J. (Ed), Deelman, E. (Ed), Karczewski, K. (Ed) (2018)

The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Parallel Processing and Applied Mathematics Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Parallel Processing and Applied Mathematics

Wyrzykowski, R. (Ed), Dongarra, J. (Ed), Deelman, E. (Ed), Karczewski, K. (Ed) (2018)

The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]

Measurement, Modelling and Evaluation of Computing Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Measurement, Modelling and Evaluation of Computing Systems

German, R. (Ed), Hielscher, K. (Ed), Krieger, U. R. (Ed) (2018)

This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018, held in Erlangen, …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Software Engineering for Self-Adaptive Systems III. Assurances Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Software Engineering for Self-Adaptive Systems III. Assurances

de Lemos, R. (Ed), Garlan, D. (Ed), Ghezzi, C. (Ed), Giese, H. (Ed) (2017)

A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when …

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.previous] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.page] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.notavalidpagenumber] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.pleaseenteranumber] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.of] 2