Hoppa till sidans huvudinnehåll

Alexander Knapp - Böcker

Visar alla böcker från författaren Alexander Knapp.
6 produkter

Ernest Bloch Studies

AvAlexander Knapp,Norman Solomon,University of London) Knapp, Alexander (School of Oriental and African Studies

Häftad, Engelska, 2020

549 kr

Skickas inom 7-10 vardagar

Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

AvAlexandre Madeira,Alexander Knapp

Häftad, Engelska, 2024

999 kr

Skickas inom 7-10 vardagar

Go Where the Bugs Are

Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

AvGidon Ernst,Matthias Güdemann,Alexander Knapp,Florian Nafz,Frank Ortmeier,Hella Ponsar,Gerhard Schellhorn,Alexander Schiendorfer,Matthias Gudemann

Häftad, Engelska, 2025

909 kr

Skickas inom 10-15 vardagar

Del 9933 - Lecture Notes in Computer Science

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

AvMaurice H. ter Beek,Stefania Gnesi,Alexander Knapp,Maurice H. Ter Beek

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Radical Innovations of Software and Systems Engineering in the Future

9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

AvMartin Wirsing,Alexander Knapp,Simonetta Balsamo

Häftad, Engelska, 2004

709 kr

Skickas inom 10-15 vardagar

Ernest Bloch Studies

AvAlexander Knapp,Norman Solomon,University of London) Knapp, Alexander (School of Oriental and African Studies

Inbunden, Engelska, 2017

1 659 kr

Tillfälligt slut