Alexander Knapp – författare
Visar alla böcker från författaren Alexander Knapp. Handla med fri frakt och snabb leverans.
10 produkter
Ernest Bloch Studies
Av Alexander Knapp, Norman Solomon
Inbunden, 2017
1462 kr
Lägg i varukorg
Ernest Bloch left his native Switzerland to settle in the United States in 1916. One of the great twentieth-century composers, he was influenced by a range of genres and styles - Jewish, American and Swiss - and his works reflect his lifelong struggle with his identity. Drawing on firsthand …
Ernest Bloch Studies
Av Alexander Knapp, Norman Solomon
Häftad, 2020
586 kr
Lägg i varukorg
Ernest Bloch left his native Switzerland to settle in the United States in 1916. One of the great twentieth-century composers, he was influenced by a range of genres and styles - Jewish, American and Swiss - and his works reflect his lifelong struggle with his identity. Drawing on firsthand …
Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Av Alexandre Madeira, Alexander Knapp
Häftad, 2024
1022 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024.The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The …
Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Av Alexander Knapp, Alexandre Madeira
E-bok, 2024
985 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024. The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The …
Go Where the Bugs Are
Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Av Gidon Ernst, Matthias Güdemann m. fl.
Häftad, 2025
824 kr
Lägg i varukorg
This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.After obtaining his PhD in Karlsruhe in 1991, Wolfgang was appointed professor in Ulm in 1994 and then moved …
Go Where the Bugs Are
Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Av Alexander Schiendorfer, Gerhard Schellhorn m. fl.
E-bok, 2025
1059 kr
Lägg i varukorg
This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students. After obtaining his PhD in Karlsruhe in 1991, Wolfgang was appointed professor in Ulm in 1994 and then moved …
Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Av Maurice H. ter Beek, Stefania Gnesi m. fl.
Häftad, 2016
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers …
Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Av Alexander Knapp, Stefania Gnesi m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers …
Radical Innovations of Software and Systems Engineering in the Future
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
Av Martin Wirsing, Alexander Knapp m. fl.
Häftad, 2004
568 kr
Lägg i varukorg
This volume contains the papers from the workshop “Radical Innovations of Software and Systems Engineering in the Future.” This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the …
Radical Innovations of Software and Systems Engineering in the Future
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
Av Simonetta Balsamo, Alexander Knapp m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
This volume contains the papers from the workshop “Radical Innovations of Software and Systems Engineering in the Future.” This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the …
