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

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.whithin] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.book] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.en]

High Performance Computing Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

High Performance Computing

Varbanescu, A. (Ed), Bhatele, A. (Ed), Luszczek, P. (Ed), Marc, B. (Ed) (2022)

This book constitutes the refereed proceedings of the 37th International Conference on High Performance Computing, ISC High Performance 2022, held in Hamburg, Germany, during May …

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]

Cross-Cultural Design. Interaction Design Across Cultures Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Cross-Cultural Design. Interaction Design Across Cultures

Rau, P. P. (Ed) (2022)

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI …

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]

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Collart-Dutilleul, S. (Ed), Haxthausen, A. E. (Ed), Lecomte, T. (Ed) (2022)

This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, 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]

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks

Poole, S. (Ed), Hernandez, O. (Ed), Baker, M. (Ed), Curtis, T. (Ed) (2022)

This book constitutes the proceedings of the 8th OpenSHMEM Workshop, held in virtually in August 2021. The 11 full papers and 1 short paper presented in this book were carefully …

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]

Computer Science – CACIC 2021 Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Computer Science – CACIC 2021

Pesado, P. (Ed), Gil, G. (Ed) (2022)

This book constitutes revised selected papers from the 27th Argentine Congress on Computer Science, CACIC 2021, held in Salta, Argentina in October 2021. Due to the COVID-19 …

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

Deshmukh, J. V. (Ed), Havelund, K. (Ed), Perez, I. (Ed) (2022)

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 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]

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

Testing Software and Systems

Clark, D. (Ed), Menendez, H. (Ed), Cavalli, A. R. (Ed) (2022)

This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, 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]

Music Representation and Transformation in Software Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.textbook]

Music Representation and Transformation in Software

Pazel, D. P. (2022)

This book takes the reader on a journey through music concepts in an organized approach that develops music essentials from the concepts of tone, pitch, and time, through notes, …

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]

Functional and Logic Programming Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Functional and Logic Programming

Hanus, M. (Ed), Igarashi, A. (Ed) (2022)

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022. The 12 papers …

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]

Service-Oriented and Cloud Computing Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Service-Oriented and Cloud Computing

Montesi, F. (Ed), Papadopoulos, G. A. (Ed), Zimmermann, W. (Ed) (2022)

This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, 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]

Software Quality: The Next Big Thing in Software Engineering and Quality Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Software Quality: The Next Big Thing in Software Engineering and Quality

Mendez, D. (Ed), Wimmer, M. (Ed), Winkler, D. (Ed), Biffl, S. (Ed), Bergsmann, J. (Ed) (2022)

This book constitutes the refereed proceedings of the 14th Software Quality Days Conference, SWQD 2022, held in Vienna, Austria, during May 17-19, 2022. The Software Quality Days …

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]

Distributed Computing for Emerging Smart Networks Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Distributed Computing for Emerging Smart Networks

Jemili, I. (Ed), Mosbah, M. (Ed) (2022)

This book constitutes the refereed proceedings of the Third International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2022, held in Bizerte, Tunisia, 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]

Simulation Tools and Techniques Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Simulation Tools and Techniques

Jiang, D. (Ed), Song, H. (Ed) (2022)

This proceedings constitutes the refereed post-conference proceedings of the 13th International Conference on Simulation Tools and Techniques, SIMUTools 2021, held in November …

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]

Fundamental Approaches to Software Engineering Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Fundamental Approaches to Software Engineering

Johnsen, E. B. (Ed), Wimmer, M. (Ed) (2022)

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April …

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]

Domain-Specific Conceptual Modeling Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Domain-Specific Conceptual Modeling

Karagiannis, D. (Ed), Lee, M. (Ed), Hinkelmann, K. (Ed), Utz, W. (Ed) (2022)

This book demonstrates the significance of domain-specific conceptual modeling through new research and development approaches that are manifested in each of the chapters. They …

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

Requirements Engineering: Foundation for Software Quality Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Requirements Engineering: Foundation for Software Quality

Gervasi, V. (Ed), Vogelsang, A. (Ed) (2022)

This book constitutes the refereed proceedings of the 28th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2022, which was …

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]

Patterns of Software Construction Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Patterns of Software Construction

Rylander, S. (2022)

Master how to implement a repeatable software construction system. This book closely examines how a system is designed to tie a series of activities together that are needed 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]

Ernst Denert Award for Software Engineering 2020 Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Ernst Denert Award for Software Engineering 2020

Felderer, M. (Ed), Hasselbring, W. (Ed), Koziolek, H. (Ed), Matthes, F. (Ed), Prechelt, L. (Ed), Reussner, R. (Ed), Rumpe, B. (Ed), Schaefer, I. (Ed) (2022)

This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by …

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

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

Software Verification

Bloem, R. (Ed), Dimitrova, R. (Ed), Fan, C. (Ed), Sharygina, N. (Ed) (2022)

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical 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]

Evaluation of Novel Approaches to Software Engineering Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Evaluation of Novel Approaches to Software Engineering

Ali, R. (Ed), Kaindl, H. (Ed), Maciaszek, L. A. (Ed) (2022)

The present book includes extended and revised versions of a set of selected papers from the 16th International Conference on Evaluation of Novel Approaches to 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]